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.
For partial updates of your web page, just stream HTML to the client.
Declarative HTML extensions for interactivity that degrade gracefully in the absence of JavaScript. Can be used for hypermedia-driven applications. Compared to htmx it is also older and more comprehensive, but accordingly more complex.
Interactive HTML extensions for hypermedia-driven applications.