- 152OpenAI’s Navier-Stokes release included a Lean 4 formal proof (johndcook.com)
- 3Something is shifting in the inflation picture (stayathomemacro.substack.com)
- 4AI Is an Intelligence Multiplier (johndcook.com)
- 1Project Tailwind is a call for ambitious AI safety initiatives (coefficientgiving.org)
- 1The New GDP Series and Its Critics (tcaanant426616.substack.com)
- 3Wall Labels Are in a Sorry State (news.artnet.com)
- 8How Pokémon Go turned its players into Pentagon cartographers (thecradle.co)
- 1Halaska UI Kit (ui.halaska.com)
- 1Smart Learning for Developers: How AI Is Changing the Way We Master New Things (portotheme.com)
- 1Show HN: Stitchwink – Cross-stitch pattern making with AI (stitchwink.com)
- 2The AI Takeover Checklist: A Devil's Advocate Audit (nochan.net)
- 1From Idea to Operating Business: How Solo Runs Listmycar.ai (thesolo.ai)
- 3Japan can turn AI demand into industrial strength (governance.fyi)
- 6Anthropic details distillation campaigns from Alibaba, Moonshot AI, and DeepSeek (techcrunch.com)
- 2Apple Health and Quest team up for $119 blood panel (appleinsider.com)
- 1Lcars-k8 – Star Trek LCARS inspired Kubernetes dashboard (github.com)
- 2DeepSeek-v4-flash-0731-spark-sparkinfer: DeepSeek V4 Flash on one DGX Spark (github.com)
- 1Kafka Simulator v1.5 and v1.6 – stretched clusters (monedula.dev)
- 2Ramp: How we built OCA, our AI on-call assistant (builders.ramp.com)
- 1Codex Rate Limit Reset: Weekly Caps, 5-Hour Window, Credits (provenbrief.com)
- 1Claude Zero Data Retention: Anthropic's Five States, Mapped (provenbrief.com)
- 6AI-powered biowarfare is coming; the Army lays plans to 'fight through' it (defenseone.com)
- 6The secretive process that will decide the BBC's future (theguardian.com)
- 5Tylenol use in pregnancy may be linked with uterus, ovary changes in daughters (reuters.com)
- 3My favourite agent does a simple job (chiragdesai.uk)
- 2California's Governor Signs Landmark Online Child Safety Bills (nytimes.com)
- 6Bending Spoons agrees to buy Miro for $1.355B, weeks after Airtable (thenextweb.com)
- 8The Palm Pre Is the Reason You Love Your Phone (2009) [video] (youtube.com)
- 3From Git to Fossil (lucio.albenga.es)
- 2Oracle Q1 FY2027 Earnings Results [pdf] (s23.q4cdn.com)