- 2Games of Incomplete Information(2002) [pdf] (web.stanford.edu)
- 2AIs-welcome Lean library downstream of Mathlib (github.com)
- 5Quil – a reboot-proof terminal multiplexer that resumes AI sessions (github.com)
- 2The math of traffic jams and how to avoid them (theconversation.com)
- 2Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for (fortune.com)
- 20Why Would Meta Download So Much Porn? (theatlantic.com)
- 2A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf] (boazbarak.org)
- 4Why My Open-Source Project Hasn't Done Better ()
- 5CP/M-68K and Motorola 68000 Emulator (kobolt.github.io)
- 2Type checker may be wrong – Lean and the Curry-Howard correspondence (max-amb.github.io)
- 7Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS (cygnus.run)
- 2Personal context data isn't a moat, tacit knowledge is (cse.ac)
- 3Show HN: I made an algorithmic arena game with physics in 3D (algohol.net)
- 2Git rebase -I is not that scary (cachebag.sh)
- 2Show HN: An industrial designer's take on a portfolio tracker (stockfly.app)
- 2Trajectory: A Standard Format for Agent Experience Data (letta.com)
- 3Systems and Delays (martin.janiczek.cz)
- 3Show HN: Tawrida – Global Trade Export Documents Generator Tool (tawrida.xyz)
- 9What if the RAM/GPU shortage is deliberate? (xn--vk5b17r.online)
- 2Copyfarleft (wiki.p2pfoundation.net)
- 6Trump announces 2028 presidential bid (smh.com.au)
- 3Scientist with 1k Patents Fueling a Drug Powerhouse (wsj.com)
- 3FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript (frontalign.dev)
- 3How we pushed CDC into Postgres, and turned replication into clockwork (snowflake.com)
- 4The University After AI (chronicle.com)
- 4Things I wish Datomic had: Map values (blog.danieljanus.pl)
- 4Saga: Source Attribution of Generative AI Videos (identifies the model used) (arxiv.org)
- 4What's horned, fluffy, and ethically dubious? Yak clones (cnn.com)
- 7The Rise of Anti-Flock Influencers Who Make Things Up for Clout (404media.co)
- 5Epistemic Engine – verify AI-generated code and forecast what will break (github.com)