- 39
Combinatorial Games in Lean
(github.com)
- 5
Building a Financial Exchange from first principles
(harshiyer.in)
- 5
Claude can now use your 1Password credentials for you
(theverge.com)
- 544
Building and shipping Mac and iOS apps without opening Xcode
(scottwillsey.com)
- 67
The Second Life of Sanskrit
(openthemagazine.com)
- 147
Linux on the Sega 32X. Who needs hardware synchronization primitives anyway?
(cakehonolulu.github.io)
- 10
Manual Work Is a Bug
(queue.acm.org)
- 107
Is x86 ready to ACE it?
(chipsandcheese.com)
- 4
The Refusal Residue: When Probes Catch Alignment Faking and When They Don't
(arxiv.org)
- 6
Show HN: I made ts-node alternative, ttsc/ttsx, a TypeScript-go toolchain
(github.com)
- 91
No Spanish reading crisis?
(commonreader.co.uk)
- 15
Treating generic drugs as something special can wreck affordability
(46brooklyn.com)
- 153
The zero-cost fallacy: open-source software in the agentic era
(thoughtworks.com)
- 28
Surprising lessons from my research scientist job search
(yongzx.github.io)
- 148
The Economics of Recursive Self-Improvement [pdf]
(elasticity.institute)
- 8
Rzk: A Proof Assistant for Synthetic ∞-Categories
(arxiv.org)
- 24
French parliament approves landmark assisted-dying bill
(reuters.com)
- 6
GPT-5.6 unexpected file deletions
(twitter.com)
- 3
Notes on Structured Programming [pdf]
(cs.utexas.edu)
- 99
World-First 'Super Alloy' Could Transform the Way Metals Are Made
(sciencealert.com)
- 6
Kimi K3 is live on kimi code
(twitter.com)
- 16
Odin 2 Portal Exploded
(github.com)
- 38
Show HN: For 10 World Cups, my model's 2 favorites had the champion every time
(papers.ssrn.com)
- 99
MorphoHDL: A minimalistic language for growing circuits
(paradigms-of-intelligence.github.io)
- 10
Accelerating Block Low-Rank Foundation Model Inference on MemoryConstrained GPUs
(dl.acm.org)
- 243
The largest available Minecraft world, totalling 15 TB
(2b2t.place)
- 95
Coding agents think ahead of time
(arxiv.org)
- 281
SpaceX stock erases all its gains and slides below IPO price in intraday trading
(latimes.com)
- 449
The git history command
(lalitm.com)
- 7
Reverse-engineering a forgotten 80s arcade game for the Taito SJ System
(fippi.io)