15,000 lines of verified cryptography now in Python
jonathan.protzenko.fr
Show HN: I made a Doom-like game fit inside a QR code
github.com
Understanding the Origins and the Evolution of Vi and Vim
pikuma.com
Full Text Search of US Court records
judyrecords.com
Hextraction, a free and open source board game
playhextraction.com
UML diagram for the DDD example in Evans' book
github.com
Judge Rules Blanket Search of Cell Tower Data Unconstitutional
404media.co
Show HN: (bits) of a Libc, Optimized for Wasm
github.com
Ink and Switch Constraint System (2023)
inkandswitch.com
Cyberpunk 1958: The Early Days of the Polish IT Industry
culture.pl
Electric Propulsion's Dirty Secret: Why Lithium Can't Fly (Or Float) Profitably
kumarletter.com
A New ASN.1 API for Python
blog.trailofbits.com
How a yacht works: sailboat physics and design
onemetre.net
Principles for Building One-Shot AI Agents
edgebit.io
There's Life Inside Earth's Crust
noemamag.com
Dot (YC S21) is hiring a sales engineer to automate analytics (fully remote)
ycombinator.com
Loglan'82: programming language for object-oriented and distributed programming
lem12.uksw.edu.pl
Show HN: Attune - Build and publish APT repositories in seconds
github.com
The most famous carbon dioxide absorber
howequipmentworks.com
Defold: cross-platform game engine
defold.com
College Towns: Urbanism from a Past Era
governance.fyi
Unique bacteria that survive by employing multicellular behavior
phys.org
AMP and why emails are not (and should never be) interactive
buttondown.com
Those are cool machines, but I think their website would be better if they focused on that instead of making you click several times to see them.