Show more

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

Algorithm W is the original algorithm for infering types in the Damas-Hindley-Milner type system

"How I'm able to take notes in mathematics lectures using LaTeX and Vim" by Gilles Castel

watched "How Microservices and a Key-Value Store transformed India into a cashless society" (~ 15m)

Show more

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!