Quarkdown: A modern Markdown-based typesetting system
github.com
Show HN: I wrote a Java decompiler in pure C language
github.com
Covert Web-to-App Tracking via Localhost on Android
localmess.github.io
Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests
belfercenter.org
AI makes the humanities more important, but also weirder
resobscura.substack.com
My AI skeptic friends are all nuts
fly.io
GUIs are built at least 2.5 times
patricia.no
Cloudlflare builds OAuth with Claude and publishes all the prompts
github.com
Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco
ycombinator.com
The Metamorphosis of Prime Intellect (1994)
localroger.com
Ask HN: Who is hiring? (June 2025)
How to Store Data on Paper?
monperrus.net
A High-Level View of TLA+
lamport.azurewebsites.net
Show HN: Kan.bn – An open-source alterative to Trello
github.com
A Complete Guide to Meta Prompting
prompthub.us
Ukraine's autonomous killer drones defeat electronic warfare
spectrum.ieee.org
How to post when no one is reading
jeetmehta.com
Show HN: A toy version of Wireshark (student project)
github.com
Sid Meier's Pirates – In-depth (2017)
shot97retro.blogspot.com
Conformance checking at MongoDB: Testing that our code matches our TLA+ specs
mongodb.com
Show HN: Onlook – Open-source, visual-first Cursor for designers
github.com
There should be no Computer Art (1971)
dam.org
It's easy to miss since it's a small link near the top of the post, but something that will help a lot in understanding this post is this video:
The most beautiful program: https://www.youtube.com/watch?v=OyfBQmvr2Hc
It essentially gives you a quick 5-min overview of the lisp language, then shows you how to implement lisp in lisp with only a few lines of code.
IMO, understanding lambda calculus is much easier for the uninitiated after watching that video.