-
2
We Put a Browser in Everything and Called It Progress
(dayvster.com)
-
6
AI Proved the Quasi-Riemann Hypothesis. What Happens Now?
(quantamagazine.org)
-
3
Decoding base64 in Python at 10 gigabytes per second
(lemire.me)
-
2
Show HN: ProvLedger – stops coding agents repeating mistakes
(github.com)
-
2
The Bourgain Project
(terrytao.wordpress.com)
-
2
Anthropic commits 5% of shares to new public benefit fund
(cnbc.com)
-
7
I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs
(medium.com)
-
1
Surveying the landscape of CSS microframeworks (2023)
(blakewatson.com)
-
2
Toronto man accused of driving rental car 30k kms in just 7 days
(toronto.citynews.ca)
-
3
Linux KVM guest-host escape rated critical
(theregister.com)
-
2
Building a Dependency Graph of Our Python Codebase
(hudsonrivertrading.com)
-
2
Maths, Metal, and Mandelbrot
(blog.jacobstechtavern.com)
-
1
Who Will Benefit from the AI Revolution?
(time.com)
-
1
Spirit Room – Test whether agents can find and use your MCP tools
(spiritroom.app)
-
1
Claude Code, Codex and OpenCode Find MCP Tools
(spiritroom.app)
-
1
The Download: preserving the Arctic permafrost, and playful AI agents
(technologyreview.com)
-
1
Why TypeScript lets you overrule its type checker
(ultracite.ai)
-
1
Python's binary wheels and supply chain attacks
(rushter.com)
-
1
How tough can emoji be?
(totaldraw.com)
-
2
Show HN: Earshot – talk to Claude Code with AirPods, nod to send
(github.com)
-
1
Show HN: Daymark – private iPhone habit tracker ($14.99 once)
(daymark.one)
-
3
Curl proposes "Every vulnerability report < HIGH is immediately made public"
(github.com)
-
2
Latchkey CI: Keep Running CI Even When GitHub Is Down (Which It Is)
(latchkey.dev)
-
4
Zombie Copyright: It's déjà vu all over again
(lessig.medium.com)
-
3
Nathan Fielder Tells Us Everything
(wired.com)
-
2
How Grok Bot Works
(peterp.me)
-
1
Show HN: An outliner to replace Workflowy and Obsidian – as a Claude connector
(claude.ai)
-
1
New Rules Push Power Grids Toward Domestic Inverters
(spectrum.ieee.org)
-
1
JAMA AI
(jamanetwork.com)
-
181
Android apps running native on macOS
(github.com)