An intellectual personal trainer'– one bookshop's elite subscription
thetimes.com·13h·
Discuss: Hacker News
🐫ocaml
Flag this post
The Sega Master System
bumbershootsoft.wordpress.com·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
Everyone's Getting Trapped by Hosting Renewals. Here's What I Did About It
veerhost.com·2d·
Discuss: Hacker News
🌐network programming
Flag this post
The reverse tabnabbing vulnerability in HTML
techblog.topdesk.com·1d·
Discuss: Hacker News
⚡query optimization
Flag this post
Nubank announces a new hybrid model for 2026
international.nubank.com.br·3d·
Discuss: Hacker News, Hacker News
⚙️systems programming
Flag this post
The Power of Limit Thinking
asimov.press·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Thumbs Up 👍
brainbaking.com·13h·
Discuss: Hacker News
🐫ocaml
Flag this post
Reimagining cybersecurity in the era of AI and quantum
technologyreview.com·5h·
Discuss: Hacker News
✅formal methods
Flag this post
Pixels. Coins. People
armidas.substack.com·5h·
Discuss: Substack
⚙️systems programming
Flag this post
Missing Link: How Linux would continue without Linus Torvalds
heise.de·1d·
Discuss: Hacker News
⚙️systems programming
Flag this post
DARPA has selected eleven quantum computing companies to enter the second stage
darpa.mil·1d·
Discuss: Hacker News, r/hardware
✅formal methods
Flag this post
Google's Gemini Deep Research can now read your Gmail and rummage through Google Drive
theregister.com·3d·
Discuss: Hacker News
⚙️systems programming
Flag this post
A Scientific Comparison with Meditation App
news.ycombinator.com·2d·
Discuss: Hacker News
⚙️systems programming
Flag this post
a tale of vulkan/nouveau/nvk/zink/mutter + deadlocks
airlied.blogspot.com·16h·
Discuss: airlied.blogspot.com, Lobsters, Hacker News
🔄compilers
Flag this post
Dennis Ritchie's story of dabbling in the cryptographic world
web.archive.org·4d·
Discuss: Hacker News
✅formal methods
Flag this post
Show HN: I got fired so I built a bank statement converter
aussiebankstatements.com·6d·
Discuss: Hacker News
✅formal methods
Flag this post
Context Engineering with Real-Time, Processed Data
confluent.io·5d·
Discuss: Hacker News
⚡query optimization
Flag this post
A self-hosted Security Operations Center in a box to avoid vendor lock
github.com·3d·
Discuss: DEV, Hacker News, r/opensource
⚙️systems programming
Flag this post
The Algorithmic Turn: The Emerging Evidence on AI Tutoring That's Hard to Ignore
carlhendrick.substack.com·21h·
Discuss: Substack
✅formal methods
Flag this post
Old Eight Eighty
newyorker.com·1d·
Discuss: Hacker News
✅formal methods
Flag this post