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.
A naming convention for CSS-styled HTML classes.
It is short, yet there are so many gems in this one. Recommended.
A book on designing systems using hypermedia.
An alternative explanation.
Of course there are reasons for the other direction, too. They just aren’t in this article.
A slide deck advocating for more Unpoly and less imperative JavaScript.
Extends HTML with an expression language that enables dynamic modifications in a declarative way.
Another htmx-like set of interactive extensions to HTML. Can be used for hypermedia-driven applications.
A hypermedia approach to mobile app development.