Create Nilla projects that manage your packages, development shells, systems, and more!

A guide to creating a LetsEncrypt client from scratch in < 150 lines of Ruby

An English translation of Grothendieck's Fondements de la Géometrie Algébrique

An English translation of the Séminaire de Géométrie Algébrique du Bois Marie

Caddy module which feeds HTTP request data directly to Umami's API

A Typst-friendly static Zettelkästen site generator.

Use preamble in Obsidian / switch preambles note to note

An opinionated list of resources for learning Haskell

Ninja-compatible incremental build system for Nix

The Montreal Haskell Compiler

🧠 Cognitive load is what matters

📚 A collection of resources about supercompilation

Demo of how to run socket-activated nginx with Podman. Source IP address is preserved.

❄️ My nix config and dotfiles

Direct File

A tutorial on infinite canvas

Papers from the computer science community to read and discuss.

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

1 page per day, to get started on Emacs

A list of back-end related questions you can be inspired from to interview potential candidates, test yourself or completely ignore

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

A service to claim reimbursement from the Tooth Fairy for missing teeth

FFmpeg Assembly Language Lessons

Lean 4 programming language and theorem prover

A Web Application for Learning OCaml

Learn computer graphics by writing GPU shaders!

Resources for learning and using recursion schemes.

Koka language compiler and interpreter

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

The cryptography-based networking stack for building unstoppable networks with LoRa, Packet Radio, WiFi and everything in between.