Popular
- Quarkdown: A modern Markdown-based typesetting system github.com
- There should be no Computer Art (1971) dam.org
- Plutonium Mountain: The 17-year mission to guard remains of Soviet nuclear tests belfercenter.org
- EU Commission refuses to disclose authors behind its mass surveillance proposal old.reddit.com
- My AI skeptic friends are all nuts fly.io
- GUIs are built at least 2.5 times patricia.no
- Spark AI (YC W24) Is Hiring a Full Stack Engineer in San Francisco ycombinator.com
- AI makes the humanities more important, but also weirder resobscura.substack.com
- A Complete Guide to Meta Prompting prompthub.us
- Cloudlflare builds OAuth with Claude and publishes all the prompts github.com
- The Metamorphosis of Prime Intellect (1994) localroger.com
- Fun with Futex blog.fredrb.com
- Ask HN: Who is hiring? (June 2025)
- How to Store Data on Paper? monperrus.net
- Rsync's defaults are not always enough rachelbythebay.com
- A High-Level View of TLA+ lamport.azurewebsites.net
- Implementing a Forth ratfactor.com
- Show HN: Kan.bn – An open-source alterative to Trello github.com
- How to post when no one is reading jeetmehta.com
- Show HN: A toy version of Wireshark (student project) github.com
- Show HN: I build one absurd web project every month absurd.website
- 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
- Teaching Program Verification in Dafny at Amazon (2023) dafny.org
- MonsterUI: Python library for building front end UIs quickly in FastHTML apps answer.ai
- Magic Ink: Information Software and the Graphical Interface worrydream.com
- Largest punk archive to find new home at MTSU's Center for Popular Music mtsunews.com
- ThorVG: Super Lightweight Vector Graphics Engine thorvg.org
- The Creepy, Surprisingly Routine Business of Animal Cloning theatlantic.com