🧠 Laws, Theories, Principles and Patterns for developers and technologists.

Emoji for everyone. https://twemoji.twitter.com/

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

A guide to how rustc works and how to contribute to it.

A webfont of the typeface used in Edward Tufte’s books.

Technical specifications for the IPFS protocol stack

eXtremely Minimal Hugo theme: about 140 lines of code in total, including HTML and CSS (with no dependencies)

A website built for the Rust community

A home for compiler team planning documents, meeting minutes, and other such things.

Drltrace is a library calls tracer for Windows and Linux applications.

Python Exploration with Z3

Metamath source file for logic and set theory

Mirror of Software Foundations in PDF

A collection of tools for writing technical documents that mix Coq code and prose.

Reverse Engineering Resources

NixOS Weekly Newsletter

International Journal of Proof-of-Concept or Get The F*** Out (PoC||GTFO or PoC or GTFO)

Website for the PureDarwin project

Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account details or dealing with untrustable proxies.

Source for rustacean.net, home page of Ferris the Crab.

A simple Emacs mode for marking papers with Org.

My site at http://catern.com

Proof that sqrt(2) is irrational in Coq.