- OpenSSH 10.4/10.4p1 Released (www.openssh.org)
- Dropping in on Gottfried Leibniz (2013) (writings.stephenwolfram.com)
- Learning to code is still worthwhile (stevekrouse.com)
- The Making of Claude Code (www.anthropic.com)
- NSA and IETF: Fairness (blog.cr.yp.to)
- Kani: A Model Checker for Rust (arxiv.org)
- Rotman Lens (en.wikipedia.org)
- Clojure 1.13 adds support for checked keys (clojure.org)
- A verification loop 4x'd DeepSeek's intelligence, matching Opus at 1/7 the cost (ironbee.medium.com)
- M/PC – A Concatenative OS (wiki.xxiivv.com)
- Introduction to Genomics for Engineers (learngenomics.dev)
- EndBASIC 0.14: Are we multimedia yet? (www.endbasic.dev)
- Evaluation order and nontermination in query languages (www.rntz.net)
- Poly/ML – A Standard ML Implementation (github.com)
- The LLVM Compiler Infrastructure (cacm.acm.org)
- Full Writeup of the Windows GDID (github.com)
- Show HN: Pulpie – Models for Cleaning the Web (usefeyn.com)
- As Amazon lets Mechanical Turk fade, Mercor hits a $2B gross run rate (runtimewire.com)
- Egypt Is Building a New Nile (www.theb1m.com)
- Aluminum foil (2021) (dernocua.github.io)
- 1k Words: A Writing Contest (writingclub.world)
- Organic Maps (organicmaps.app)