Tagged "Ruby"
-
Integrating Agda's HTML Output with Hugo
4001 words, about 19 minutes to read.
One of my favorite things about Agda are its clickable HTML pages. If you don’t know what they are, that’s pages like Data. ...
-
Digit Sum Patterns and Modular Arithmetic
6089 words, about 29 minutes to read.
When I was in elementary school, our class was briefly visited by our school’s headmaster. He was there for a demonstration, probably intended to get us to practice our multiplication tables. ...
-
Rendering Mathematics On The Back End
2244 words, about 11 minutes to read.
Due to something of a streak of bad luck when it came to computers, I spent a significant amount of time using a Linux-based Chromebook, and then a Pinebook Pro. ...