29
3
Formal Methods and the Future of Programming (janestreet.com)
3
How fast is autonomous AI cyber capability advancing? (aisi.gov.uk)
7
An FAQ on Reinforcement Learning Environments (epoch.ai)
4
An x86-64 back end for raven-uxn (mattkeeter.com)
1
An FAQ on Reinforcement Learning Environments (epoch.ai)
2
Epiplexity: Rethinking Information for Computationally Bounded Intelligence (arxiv.org)
2
Reflections on Vibe Researching (joshuagans.substack.com)
4
Distributional AGI Safety (DeepMind) (arxiv.org)
1
Project Vend: Phase Two (anthropic.com)
2
16 charts that explain the AI boom (understandingai.org)
5
In the economy of user effort, be a bargain, not a scam (verou.me)
2
Is the "cost of inference" going up or down? (crespo.business)
6
Playable preview of ARC-AGI-3 (arcprize.org)
6
LLMs show cultural theory was right about the death of the author (programmablemutter.com)
4
Highlights from the Claude 4 system prompt (simonwillison.net)
2
LLM-only RAG for small corpora (crespo.business)
2
Palantir's Call to Arms Is Also a Sales Pitch (bloomberg.com)
1
MLscript (github.com/hkust-taco)
4
System prompts used by the Claude web UI and native UIs (anthropic.com)
1
Riven remake coming out June 25th (twitter.com/cyanworlds)
2
Ultraspeaking (meaningness.substack.com)
109
Unison Cloud (unison.cloud)
52
The Future of CSS: Easy Light-Dark Mode Color Switching with Light-Dark() (bram.us)
1
Software and Its Discontents, Part 2: An Explosion of Complexity (laughingmeme.org)
109
Bret Victor update (worrydream.com)
2
TypeSpec (microsoft.github.io)
3
Pando, the Heaviest Known Organism (wikipedia.org)
134
Tailscale Funnel now available in beta (tailscale.com)
125