Kryptos K4: The Solution Auction
rrauction.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Software upgrade economics: some real numbers
successfulsoftware.net·4d·
Discuss: Hacker News
❄️Nixified Development
When a Bug Saved the Company
weblog.rogueamoeba.com·4d·
Discuss: Hacker News, Hacker News
🍎Apple
Turning Neighborhoods into Communities
supernuclear.substack.com·3d·
Discuss: Substack
🧱Immutable Infrastructure
Introducing a smarter, faster Lumo 1.1
proton.me·5d·
Discuss: Hacker News
🐫OCaml
Remembering the Hysteria over Windows 95 Launch, 1995
rarehistoricalphotos.com·2d·
Discuss: Hacker News
💾Retro Computing
The Unbearable Slowness of AI Coding
joshuavaldez.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Graphite Chat
graphite.dev·6d·
Discuss: Hacker News
🧪Property-Based Testing
I don't buy Macs anymore
jasonsaidwhat.substack.com·3d·
Discuss: Substack
🍎Apple
Show HN: I've launched my app on Hacker News and here is what happened
indiehackers.com·6d·
Discuss: Hacker News
🍎Apple
The AGENTS.md Standard: A simple, open format for guiding coding agents
agents.md·6d·
Discuss: Hacker News
🛡️seL4
DO NOT BUY FROM A-TECH MEMORY !
reddit.com·3d·
Discuss: r/homelab
🐫Embedded OCaml
Google will require developer verification for Android apps outside the Play Store
techcrunch.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
An Empirical Study on How Video-LLMs Answer Video Questions
arxiv.org·4d
🛡️seL4
New Apple TV 4K will get my upgrade for one feature alone
9to5mac.com·18h
🍎Apple
LM Agents May Fail to Act on Their Own Risk Knowledge
arxiv.org·6d
🔍Formal Verification
LLMs generate ‘fluent nonsense’ when reasoning outside their training zone
venturebeat.com·6d·
Discuss: Hacker News
✓Automated Theorem Proving
Building my first mini home NAS/homelab — advice wanted!
reddit.com·5d·
Discuss: r/homelab
🏠HomeLab
Graph Concept Bottleneck Models
arxiv.org·5d
➡️Category Theory