1. A Severe Misalignment of AI in Mathematics - Terence Tao et al (mathandai.org)
Read the declaration and add your name.
3. I spent $220 on Google app ads. 60% of the installs were robots (dayzlegame.com)
Google reported 21 installs in a day. The admin panel said 1. What the other 20 were, how a bot farm gets paid, and what we changed.
4. So you want to use OpenRouter? (mmoustafa.com)
Might seem simple on the face of it, but unfortunately it's pain all the way down.
5. Claude is no longer available for minors (support.claude.com)
6. The EPA Is Planning to Scrap Public Review Rules for Data Center Pollution (capitalbnews.org)
Proposed rule changes would leave residents with less say over pollution in their communities.
7. Astra for Coding: Why Are We Doing This Again? (lucumr.pocoo.org)
Some thoughts on Astra and newfangled long-horizon models.
8. A Design Space Exploration of Async/Await (cel.cs.brown.edu)
9. Houthis 'take control' of key island in global shipping route (www.bbc.com)
10. Mexican student creates an acoustic fire extinguisher to put out fire in seconds (www.upsocl.com)
Optimismo que nos une
11. Google will buy half the electricity of a nuclear power plant (www.bbc.com)
The US tech giant says the €13bn data centre project will create tens of thousands of jobs.
12. The Waymo effect: how AI is quietly making research less collaborative (www.researchagenda.news)
How frictionless technologies teach us to prefer our own company – and why research leaders should worry.
13. GrapheneOS' rewritten Messages app is released (github.com)
Notable changes in version 13:
Version 13 replaces the legacy interface with Jetpack Compose and Material 3. It rebuilds every screen, adds new conversation controls and large-screen support, and f...
Version 13 replaces the legacy interface with Jetpack Compose and Material 3. It rebuilds every screen, adds new conversation controls and large-screen support, and f...
14. Logo Programming Language (el.media.mit.edu)
15. If coding is solved, what now?: Measuring the sloppiness of code (earendil.com)
Exploring how to measure code sloppiness, why correct code can still erode a codebase, and why human intuition and taste still matter.
16. HuggingFace: Security.txt (huggingface.co)
17. The Deathray: A simple way for an untrusted site to freeze a Mac (auberon.xyz)
18. I've operated petabyte-scale ClickHouse clusters for 5 years (www.tinybird.co)
What I learned operating ClickHouse at scale: the wins, the failures, and the lessons that only come from production experience.
19. Cherenkov Radiation - traveling faster than light (www.iaea.org)
20. Rune is now open source (rune.build)
Rune is now open source under the GPLv3. A native, keyboard-driven IDE written primarily in Go is ready for Go developers to inspect, change, and help build.
21. Mind-altering drugs played key role in rise of Andean civilization (www.science.org)
22. Show HN: Hacker News, without AI (hcker.news)
A better Hacker News reader for following stories, filtering noise, and keeping up with discussions.
23. Show HN: Hacker News, Without AI (www.unslop.news)
Hacker News with AI content removed.
24. Nine coding harnesses vs. your laptop (nasutton.notion.site)
A collaborative AI workspace, built on your company context. Build and orchestrate agents right alongside your team
26. Λ Snap – An inviting programming language for kids and adults for CS study (snap.berkeley.edu)
The Snap! Community. Snap! is a blocks-based programming language built by UC Berkeley and used by hundreds of thousands of programmers around the world.
27. Feeling Sad about AI (artificialworlds.net)
Coding in Rust and others; making coding videos.
28. Litelm: LiteLLM Without the Bloat (github.com)
litellm without the bloat. Contribute to kennethwolters/litelm development by creating an account on GitHub.
29. RTK reports token savings, but our cost benchmarks disagree (quesma.com)
We tested RTK (Rust Token Killer) with Claude Code on Fable 5.0, and OpenCode with DeepSeek V4 Pro 0813 on Terminal-Bench 2.1.