The Potential Link Between an FAA Bulletin and the Air India Disaster
aviacionline.com·1d·
Discuss: Hacker News
🔍Formal Verification
Rimworld Odyssey DLC will be released today
ludeon.com·2d·
Discuss: Hacker News
🔬Unikernels
How You Loose 51B
hugston.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·1d·
Discuss: Hacker News
🎮Verification Games
Nearly everyone opposes Trump’s plan to kill space traffic control program
arstechnica.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Super Easy* 2-Stage Git Deployment
ratfactor.com·22h·
Discuss: Hacker News
❄️Nixified Development
The Spiritual World
pilledtexts.com·6h·
Discuss: Hacker News
➡️Category Theory
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Waitico – 58 HTML and Bootstrap Coming Soon Templates
tapsage.gumroad.com·1d·
Discuss: Hacker News
🍎Apple
A model for IV&V that's useful
waldo.jaquith.org·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: I made a private, portable, virtual LLM OS with JavaScript and Gemini
oopisos.neocities.org·17h·
Discuss: Hacker News
🔬Unikernels
How TimescaleDB helped us scale analytics and reporting
blog.cloudflare.com·5d·
Discuss: Hacker News
👁️System Observability
Assumptions
theprogrammersparadox.blogspot.com·2d·
Discuss: theprogrammersparadox.blogspot.com, Hacker News
🔬Static Analysis
I don't think LLM's are making us stupider
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Static Analysis
Are Developers Out of a Job?
argmin.net·1d·
Discuss: Hacker News
👁️System Observability
Issue Tracking Ecosystems: Context and Best Practices
arxiv.org·3d
⎈Kubernetes
Cybersecurity’s global alarm system is breaking down
technologyreview.com·2d·
Discuss: Hacker News, r/technews
🛡️seL4
uncertainty is an evocative state
startingfromnix.com·23h·
Discuss: Hacker News
➡️Category Theory
AI First Hiring, Teamwork and Org Structures, Staying Relevant in an an AI World
madhavajay.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Ground Truth Ambient Occlusion
github.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure