Mastering the Open File
lichess.org·3d·
Discuss: Hacker News
🎮Verification Games
Dam sabotage blamed on pro-Russia hackers
newsinenglish.no·1d·
Discuss: Hacker News
🛡️seL4
Show HN: Simple VSCode ext to edit Postgres fixtures
marketplace.visualstudio.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Violence as Disease
traum-und-verantwortung.de·2d·
Discuss: Hacker News
➡️Category Theory
Dexter Cows and Kefir Cheese
smallfarmersjournal.com·3d·
Discuss: Hacker News
❄️Nix
What Happened When Canada Gave Citizens the Right to Die
theatlantic.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Crypto Firm Bullish Surges 143% in Debut After $1.1 Billion IPO
bloomberg.com·2d·
Discuss: Hacker News
🍎Apple
Canonical's hiring process is a case study in crapness
tomkranz.com·2d·
Discuss: Hacker News
🛡️seL4
Mosfet Dreams
blog.ajith.fyi·4d·
Discuss: Hacker News
🐫Embedded OCaml
Need Feedback: Chat with Google Search Console
asktheconsole.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Scaling the Memory Wall: The Rise and Roadmap of HBM
semianalysis.com·4d·
Discuss: Hacker News
⚙️Operating System Design
How AI Is Revolutionizing Hospital Staff Scheduling in 2025
shiftly.cloud·1d·
Discuss: Hacker News
🤖Program Synthesis
Should you be coding with agents?
algorithmictradeoff.substack.com·5d·
Discuss: Substack
🤖Program Synthesis
OpenAI Moves Fast and Breaks ChatGPT
spyglass.org·4d·
Discuss: Hacker News
🔬Unikernels
New homelab (and new user): plans, software and hardware questions
pcpartpicker.com·4d·
Discuss: r/homelab
🏠HomeLab
Doctors Were Worse at Spotting Cancer After Leaning on AI, Study Finds
gizmodo.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Interpretable Rheumatoid Arthritis Scoring via Anatomy-aware Multiple Instance Learning
arxiv.org·5d
✓Automated Theorem Proving
Mediator-Guided Multi-Agent Collaboration among Open-Source Models for Medical Decision-Making
arxiv.org·5d
✓Automated Theorem Proving
Why Does AI Feel So Different?
blog.nilenso.com·4d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Diffusing the Blind Spot: Uterine MRI Synthesis with Diffusion Models
arxiv.org·4d
🤖Program Synthesis