Show more

writefreely.el is a small library to publish your thoughts to a Write Freely instance from within github.com/dangom/writefreely.

Algorithm W is the original algorithm for infering types in the Damas-Hindley-Milner type system github.com/tomprimozic/type-sy

"How I'm able to take notes in mathematics lectures using LaTeX and Vim" by Gilles Castel castel.dev/post/lecture-notes-

watched "How Microservices and a Key-Value Store transformed India into a cashless society" youtu.be/p16q4_Z-DGk (~ 15m)

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!