Great Ideas in Theoretical Computer Science
ocw.mit.edu·4d·
Discuss: Hacker News
✅formal methods
Protein Soda Review Time
cremieux.xyz·4d·
Discuss: Hacker News
🌐network programming
We are all genetic mutants
crimsoniris.com·3d·
Discuss: Hacker News
⚙️systems programming
Show HN: Griddle – a daily logical deduction puzzle
dailygriddle.com·5d·
Discuss: Hacker News
✅formal methods
I built ad-hoc analytics service with Reveal
vlaaad.github.io·5d·
Discuss: Hacker News
🔄compilers
The #1 Reason Buyers Choose Competitors Who Aren't Better Than You
businessofsoftware.org·4d·
Discuss: Hacker News
⚙️systems programming
IBM, Google claim breakthroughs in push for quantum computers
nypost.com·4d·
Discuss: Hacker News
✅formal methods
Beyond Compliance to Securing Advantage Under EU Digital Regulation
whybyproduct.substack.com·4d·
Discuss: Substack
⚙️systems programming
The SSD write cliff in real life (2012)
storagemojo.com·6d·
Discuss: Hacker News
⚙️systems programming
Einstein Fields: A Neural Perspective to Computational General Relativity
arxiviq.substack.com·6d·
Discuss: Substack
✅formal methods
Best Vibe Coding Tools in 2025
observer.bearblog.dev·5d·
Discuss: Hacker News
⚙️systems programming
Poisoned telemetry can turn AIOps into AI Oops, researchers show
theregister.com·5d·
Discuss: Hacker News
⚙️systems programming
AI Is Different
antirez.com·4d·
Discuss: Hacker News
⚙️systems programming
Starlink tries to block Virginia’s plan to bring fiber Internet to residents
arstechnica.com·3d·
Discuss: Hacker News
🌐network programming
Placing Arguments
blog.yoshuawuyts.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🐫ocaml
Will AI Usher in the End of Deep Thinking?
theringer.com·4d·
Discuss: Hacker News
✅formal methods
Is Meta Scraping the Fediverse for AI?
wedistribute.org·5d·
Discuss: Hacker News
🗄️databases
Do we understand how neural networks work?
verysane.ai·4d·
Discuss: Hacker News
✅formal methods
My tiny (1000 lines), fastish, embeddable scripting language can be AOT compiled
wareya.wordpress.com·6d·
Discuss: Lobsters, Hacker News
🔄compilers
Some users report their Firefox browser is scoffing CPU power
theregister.com·4d·
Discuss: Hacker News, Hacker News
⚙️systems programming