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