• 16 Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
  by measurablefunc 4 days ago | discuss
• 74 LISP Comes of Age (1980) (microship.com)
  by so-cal-schemer 4 days ago | 19 comments
• 51 Reforming English Spelling (blog.oup.com)
  by jruohonen 3 days ago | 124 comments
• 25 Noyb win: German DPA finds microtargeting by major political parties illegal (noyb.eu)
  by dgellow a day ago | 2 comments
• 24 Focused Company Operating Principles (focused.io)
  by mooreds a day ago | 13 comments
• 44 Moreutils: The utilities package every Unix/Linux/Mac OS developer should know (rentes.github.io)
  by jcbhmr 3 days ago | 12 comments
• 55 A whirlwind tour of systemd-nspawn containers (2025) (quantum5.ca)
  by ibobev 3 days ago | 12 comments
• 57 A Bicycle Journey Across Brazil to Find a Vanishing Savanna (e360.yale.edu)
  by throwaway2037 6 days ago | 13 comments
• 8 Crosscut – Drawing Dynamic Models (inkandswitch.com)
  by andsoitis a day ago | discuss
• 176 Air Purifiers as White Noise Machines (jefftk.com)
  by luu 3 days ago | 172 comments
• 235 Show HN: OnKey – I'm a bad singer, so I built an app to show where I'm off-key (github.com)
  by dsmurrell 4 days ago | 94 comments
• 77 Show HN: Swurf – Swipe through the real web (swurf.org)
  by webtjb096 4 days ago | 37 comments
• 180 Dream-1 (dreamlabs.ai)
  by GaggiX 2 days ago | 77 comments
• 69 Launch HN: Alter (YC S25) – Access control for multi-user agents (alterauth.com)
  by simfinii 6 days ago | 55 comments
• 215 Good type against all odds (unsung.aresluna.org)
  by firloop 6 days ago | 24 comments
• 130 Semantic search across major museums (lastmuseum.com)
  by surprisetalk 4 days ago | 34 comments
• 769 Voxtral 3 (mistral.ai)
  by ilreb 6 days ago | 202 comments
• 56 Everything (github.com)
  by ent101 7 hours ago | 53 comments
• 134 Cloudflare deploys protections against php2shell vulnerability (blog.cloudflare.com)
  by Maxious 5 days ago | 24 comments
• 462 LLMs are making formal software verification feasible at a much larger scale (anthropic.com)
  by johnbender 4 days ago | 311 comments
• 58 Superhuman Hardware Design Is the Easy Part (a16z.news)
  by gmays 3 days ago | 45 comments
• 707 EA is shutting down BioWare (theverge.com)
  by aaronbrethorst 5 days ago | 478 comments
• 27 The Chalk and the Airplane (unintendedconsequenc.es)
  by paulorlando 5 days ago | 12 comments
• 665 Woman charged with computer fraud due to scam CashApp account being in her name (404media.co)
  by oidar 4 days ago | 728 comments
• 126 Gemma-4-26B-A4B with 39-69% less thinking at same accuracy (bottlecapai.com)
  by armcat 3 days ago | 34 comments
• 32 Reactive Optimizers: rewrite the optimizer's source code during training (xingjianbai.com)
  by matt_d 5 days ago | 3 comments
• 637 No signs of AI payoff outside the tech sector (apollo.com)
  by the-mitr 2 days ago | 668 comments
• 8 Vibe coding is turning the music gear world upside down (theverge.com)
  by saikatsg 17 hours ago | discuss
• 1157 eMudhra to exit global SSL/TLS certificate business (emudhra.com)
  by bo0tzz 4 days ago | 749 comments
• 160 Using thousands of AI agents to uncover new leads in biological data (openai.com)
  by raahelb 5 days ago | 106 comments