- 2Re: Working Group Last Call: Incremental HTTP Messages (lists.w3.org)
- 1The SpiNNaker2 chip: a many-core platform for brain-inspired computing (arxiv.org)
- 1Counterexample to the Lean Conjecture (Soundness Bug) (leanprover.zulipchat.com)
- 1My ultimate setup: a £40 box that codes while I poop (byk.im)
- 2Bare server: a minimal static file in memory web server in Rust (crates.io)
- 1Alternate Explanation for the Dark Forest (markatwood.substack.com)
- 1Anybody.dev – The Open Source AI App Builder (anybody.dev)
- 1Gilbreath's Conjecture (en.wikipedia.org)
- 3A Russian phone number, WhatsApp, and 140 outbound SSH alerts (nox.sh)
- 1Gabor Fields: Orientation-Selective Level-of-Detail for Volume Rendering (arcanous98.github.io)
- 6With Texas' Data Center Boom, Uncertainty Is the Business Plan (texasobserver.org)
- 2Claire Blackshaw: Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem (claire-blackshaw.com)
- 1Advanced Vulkan Compute: The Power of Parallelism (docs.vulkan.org)
- 102The iPhone Upgrade Program is being replaced by Apple Upgrade (apple.com)
- 4Distilling proprietary model reasoning into open-source search agents (arxiv.org)
- 1The Entropy of a Markov Chain (chillphysicsenjoyer.substack.com)
- 2Tighter on-device Cleanup with Epilude Model 4.1 (epilude.com)
- 2I Don't Know What I'm Doing Here (shitmypants.bearblog.dev)
- 2Sun goes to 'sleep' could reveal space weather when it wakes (ras.ac.uk)
- 8Myanmar Passes Law Allowing the Death Penalty for Scam Operators (bloomberg.com)
- 2When the Future Doesn't Need Us (borretti.me)
- 2AI value alignment for evolving social norms (arxiv.org)
- 1Brain – a local-first second brain that turns videos and podcasts into notes (github.com)
- 1Linear Attention, Visualized (snowchord.com)
- 1Technical founders are building Europe's latest unicorns (reveliolabs.com)
- 1Ask HN: Which Jabber clients support SCRAM+ and XEP-0474 ()
ask - 2Show HN: Storeshot - Apple/Google Play store screenshots built for agents (github.com)
- 4American Red Cross: 2nd-Ever Blood Supply Crisis, Urges Immediate Donations (redcross.org)
- 2A Closed-Loop Framework for Scored Text Synthesis (github.com)
- 3LLMs Can't Jump [pdf] (philsci-archive.pitt.edu)