A community fork of the defunct software forge Phabricator.
A less centralized Nix.
A simple code editor for the Mac.
On being a systems programmer.
By James Mickens.
High-level, safe, hot-reloading programming language for ESP32 microcontrollers.
A mistake even some economists make.
On the importance of property rights and how to think as an economist.
An ebook, free to download.
An ebook reader for the Web that has good support for browser plugins that help you read Japanese (dictionaries and such). (GitHub)
How to deal with legacy code bases. Not purely technical.
Domain-specific language for diagrams.
Online programming classes.
Cross-platform Epic Games, GOG, and Amazon Prime Games launcher with Wine/Crossover/Proton/Whisky integration.
A web book on cryptography, written in a way that interested programmers can understand while not skimping on number-theoretic details.
A domain-specific programming language for cryptographic code.
A domain-specific programming language for constant-time cryptographic code.
CSS that looks like Windows 98.
CSS that looks like Apple Macintosh System 6.
An efficient user-space IA32 / AMD64 emulator for AArch64, similar to Box86 / Box64.
An efficient user-space IA32 / AMD64 emulator for AArch64. It effectively replicates Appleβs Rosetta 2 on GNU/Linux, enabling you to run IA32 or AMD64 binaries on an AArch64 machine as if they were native executables.
In order to attain performance comparable to Rosetta 2, which Apple manage via special hardware support, Box86 cheats by sacrificing correctness in some places. So donβt run your scientific code on Box86 β games and productivity apps should be better candidates.
A fork of the Checker Framework with support for JSpecify.
The first public release is here. I can hardly wait to add it to my libraries.