An Experiment In Educational Technology with Julia Programming Language and Flux.jl
- I built a library of of koans using the Julia programming language as part of a course project last semester! You can Run them on Colab here
- The koans themselves are hosted on Jupyter Notebooks, and built from Julia source code with Literate.jl
- Flux.jl is deep learning library I used
- The koans are run locally, the project Github repo is here
- Although I’ve finished my first run of chapters, I’m still in the process of exploring these concepts, and would appreciate feedback!
Let’s Begin with definitions!
First, a koan is a programming language problem with three aspects: - A text section that contains the introduction of a concept - A short snippet of no working code - A “test” or proof that will work once the understanding of the above concept has been used to fix the code
And deep learning is well, a buzzword, but I took it hear to mean a library, or API, that is capable of building modular neural networks using GPU acceleration.
Literate programming is the idea that your source code is both human readable, and machine runnable. Literate.jl takes this up a step, and let’s the user programatically build Jupyter notebooks from executable scripts. For instance,
# # This would be a text # right here is a continuation of that text x_str = "now we are in a source code cell" y = 1 # The first comment brings us back to text!
With that set up, building koans is pretty simple as we can alternate explanations with koans, and have the user interactively test and change their code.
An example koan would be:
# # A Demo Koan # array indexing in Julia is 1-based xarray = ["a", "b", "c", "solution"] ind = 0 # Fix me ! ind = 4 #src @assert xarray[ind] == "solution"
And we can see a screen shot of the notebook.
#src tag will be filtered out by Literate.js when compiling the notebook, allowing the koan writer to test all the koans by sourcing the script, and the user to look up the solution in the source code if necessary. My script for generating the notebooks from Julia is available here, and you can find more information in The Literate Julia Docs
Julia is a great programming language, and probably the best option for building neural networks for two reasons: - Julia runs fast, is gradually typed so you can write it fast, and compiles down to LLVM which means no calls to C/C++! - For the above reasons, a neural network can be programmed entirely with Julia, making differential programming much simpler, and building neural network easier!
Flux is still under active development, with notable improvements happening in the area of differential programming over the last year, and the next generation differentiation system, Zygote is being integrated into Flux now!
So how do we teach Flux? My approach was to write 7 chapters, first covering Julia, then covering what I believed to be the the most important aspects of using a new DL library: working with data, building models, training models, using the GPU.
My strategy was inspired by a project I did earlier this fall to implement a variational auto-encoder in Flux, and I tried to create the document I would have wanted to read given my knowledge base (know math, ML, R/Python), if I were to implement a similar project. If I get a chance, I’ll talk about that project in another post!
Therefore, I set up 7 chapters, as collections of koans, in the following way:
1. Introduction to Julia
2. Working With Data In Julia
3. Intro to Flux
4. Convolutional Neural Networks and Layers in Flux
5. Recurrent Neural Networks and Layers in Flux
6. Flux optimization
7. Putting in all together, and more examples!
For the content of the koans, I wrote many of them myself, and was heavily inspired by the tutorial examples in the Flux source code.
Whether through the use of “koans”, the chrome inspect tool, or the command line, if you are going to learn a new library, you need to play with it. Although I am not sure if koans via Jupyter notebook are here to stay, I think there is an acute need for easy ways to play around with code when you are trying to learn something new. Adding insight to this process should be the goal of any good koan writer!