A misalignment of AI in mathematics | 168
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
I spent $220 on Google app ads and 60% of the installs were robots | 31

dayzlegame.com
I spent $220 on Google app ads. 60% of the installs were robots. — Dayzle
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.
A Design Space Exploration of Async/Await | 19

cel.cs.brown.eduA Design Space Exploration of Async
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of async/await so you can find out where your language stands.
OpenAI agents carried out an undisclosed attack on RubyGems | 71

rubyhack.ai
OpenAI agents carried out an undisclosed attack on RubyGems
On May 11th, 2026, hundreds of malicious packages were uploaded to RubyGems by AI agents performing web-lookup tasks with significant overlap with the German Wiki Incident.
AI researchers debate how close we are to recursive self-improvement | 9

dwarkesh.com
AI researchers debate how close we are to recursive self-improvement
“We're nowhere near the ceiling.”
GrapheneOS' rewritten Messages app is released | 18
GrapheneOS/MessagingRelease 13 · GrapheneOS
Release 13 · GrapheneOS/Messaging · GitHub
Messaging app. Contribute to GrapheneOS/Messaging development by creating an account on GitHub.
Litelm: LiteLLM Without the Bloat | 15
kennethwolters/litelmGitHub - kennethwolters
GitHub - kennethwolters/litelm: litellm without the bloat · GitHub
litellm without the bloat. Contribute to kennethwolters/litelm development by creating an account on GitHub.
Show HN: ResolveHQ – A Helpdesk Built on Cloudflare Workers, D1, R2 and Queues | 7
mirza-rizvi/ResolveHQGitHub - mirza-rizvi
GitHub - mirza-rizvi/ResolveHQ: Cloudflare-native shared support inbox for small teams · GitHub
Cloudflare-native shared support inbox for small teams - mirza-rizvi/ResolveHQ
Hepburn Romanization: How to Read Japanese in the Latin Alphabet | 8

fink-translate.com
What Is Hepburn Romanization? Japanese in Latin Letters
The most widely used system for writing Japanese in Latin letters, since 1867. How Hepburn romanization works, how it compares to Kunrei-shiki, and why Japan made it the national standard in 2025.
Λ Snap – An inviting programming language for kids and adults for CS study | 14
snap.berkeley.edu
Λ Snap – An inviting programming language for kids and adults for CS study
AlphaGenome maps 9B DNA variants | 3

spectrum.ieee.org
AlphaGenome Atlas Maps 9 Billion Possible DNA Variants - IEEE Spectrum
Google DeepMind’s AlphaGenome Atlas predicts the regulatory effects of all 9 billion possible single-letter DNA variants.
The oldest known Snakes and Ladders board is probably a forgery | 1

en.quantumgame.love
How Old Is Snakes and Ladders? The Evidence for "Ancient" Keeps Coming Apart
The board that was the oldest known for thirty years is now suspect. The medieval manuscript was never documented and changed date between tellings. What survives is a chart made in Lucknow in 1780-82.
Starlink Signal Leakage Threatens Radio Astronomy's Most Critical Frequencies | 5

gadgetreview.com
Starlink's Signal Leakage Is Threatening Radio Astronomy's Most Critical Frequencies - Gadget Review
Starlink signal leakage is contaminating SKA-Low's critical frequencies, with emissions up to 10,000 times stronger than the cosmic signals astronomers need to detect.
I've operated petabyte-scale ClickHouse clusters for 5 years | 22

tinybird.co
5 Years Running Petabyte-Scale ClickHouse® | Tinybird
What I learned operating ClickHouse at scale: the wins, the failures, and the lessons that only come from production experience.
Rune is now open source | 24

rune.build
Rune is now open source. Rune Blog
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.
The EPA is planning to scrap public review rules for data center pollution | 44

capitalbnews.org
Black Communities Could Lose a Having Say on Data Centers - Capital B News
Proposed rule changes would leave residents with less say over pollution in their communities.
Show HN: Graphify C# – Compiler-accurate Find Usages for coding agents | 2
zachsaw/graphify-csharpGitHub - zachsaw
GitHub - zachsaw/graphify-csharp: Give your LLM agents the power of JetBrains Rider IDE! Supports C# 15 Syntax! · GitHub
Give your LLM agents the power of JetBrains Rider IDE! Supports C# 15 Syntax! - zachsaw/graphify-csharp
How we rebuilt complex permissions without migrating to Zanzibar | 8

infisical.com
How we rebuilt complex permissions without migrating to Zanzibar
Infisical now grants and denies access per folder. Why permissions systems are never a killer feature, and why building one is still a hard engineering problem.
QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf] 2
vldb.org
QueryBrew: System-Agnostic SQL-to-SQL Query Optimization [pdf]
Show HN: Bodily Oddities | 41

vester.si
Bodily Oddities: strange things the human body can (sometimes) do
A collection, normal things human bodies can (sometimes) do: reflexes, illusions, sounds, tricks and rare abilities.
Zep AI (YC W24) Is Hiring a Head of Forward Deployed Engineering 0

getzep.com
Careers — Zep | Zep
Join the team building the Context Lake for AI agents. Open roles in engineering and applied research.
Claude is only available to people over 18 years | 108

support.claude.com
Age assurance on Claude | Claude Help Center
Testing Race Conditions | 0

projectzero.google
Testing race conditions with memory access tracing and stack-based delay injection - Project Zero
Many security bugs are race conditions, where multi-threaded execution has to occur with the right interleaving for a negative effect to appear. This creates...
RTK reports token savings, but our cost benchmarks disagree | 28

quesma.com
RTK reports huge token savings, but our cost benchmarks disagree - Quesma Blog
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.
CIA Releases President's Daily Briefs in Commemoration of 9/11 | 8
cia.govCIA Releases President's Daily Briefs in Commemoration of the 25th Anniversary of 9
