- 2Cloudflare Secrets Manager for Worker secrets and vars (github.com)
- 2The longer you wait, the longer you should expect to wait (world.hey.com)
- 2LLM Driven AutoForecasting with Sktime's `Craft()` (pub.towardsai.net)
- 2So I'm making my own Spotify Wrapped this year but better (nickiedemakos.substack.com)
- 2Functional Programming in Lean (leanprover.github.io)
- 1Excerpts from Pope Leo XIV's manifesto about humanity in the AI era (apnews.com)
- 1Ghost CMS SQL injection flaw exploited in large-scale ClickFix campaign (bleepingcomputer.com)
- 1GridOS – State Machine Challenges (everybody.codes)
- 2PayPal's online checkout empire under siege as rivals squeeze its core business (apnews.com)
- 250 Years of Proof Assistants (lawrencecpaulson.github.io)
- 2Deterministic Automation for a Probabilistic System (stack72.dev)
- 1Tensor Cryptographic Behavioural Audit (TCBA) (physivitis.tech)
- 3Show HN: Local-first PDF redaction for permanently removing data ()
- 1Interleaved Deltas (mmapped.blog)
- 2Skills vs. MCP vs. prompts: which agent setup works best? (agentvoyagerproject.com)
- 6For the average price of a car in the US, you could buy 5 new Chinese EVs (reuters.com)
- 1Model is currently experiencing high demand (mayberay.bearblog.dev)
- 1Domestic Transport Usage by Mode (gov.uk)
- 1The Challenge of Cross-language Interoperability (2013) (queue.acm.org)
- 2Nvidia Vera CPU seems to beat AMD and Intel on server workloads (phoronix.com)
- 1GTA V – Graphics Study (2015) (adriancourreges.com)
- 1A Wetland Without Water (theguardian.com)
- 1Show HN: Kakeibo – a simple budget tracking app for simple people (getkakeibo.com)
- 1Show HN: Compile-time model-id validation with declared capability (github.com)
- 2Why Dags Are Taking over Auto-Research (With the Founders of Paradigma) (youtube.com)
- 1Erich's Packing Center (erich-friedman.github.io)
- 2Schrödinger's Kittens Are All Grown Up (nautil.us)
- 1AdminLTE 4.0.0 – first stable release of the v4 line (github.com)
- 1Stack-nudge – Stop babysitting your AI agent's terminal (github.com)
- 6Some rare examples of AIs being underconfident (futuresearch.ai)