📐 Type Theory

Dependent Types, Proving Program Correctness, Curry-Howard Isomorphism, Formal Verification

Ivermectin could help control malaria transmission by killing the mosquitoes
ndm.ox.ac.uk·10h·
Discuss: Hacker News
🔍eBPF
Long Term Support(SQLite)
sqlite.org·1d·
Discuss: Lobsters, Hacker News
⚡Zig
How Long Before Superintelligence?
nickbostrom.com·2d·
Discuss: Hacker News
🌐Distributed Systems
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io·3d·
Discuss: Hacker News, Hacker News, r/programming
🔍eBPF
I Know When You're Vibe Coding
alexkondov.com·3d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·1d·
Discuss: Hacker News
🧩WebAssembly
OpenAI's "Study Mode" and the risks of flattery
resobscura.substack.com·2d·
Discuss: Substack
🤖ai
Make any website load faster with 6 lines of HTML
docuseal.com·2d·
Discuss: Hacker News, r/webdev
🧩WebAssembly
KernelScript eBPF-centric programming language
github.com·4d·
Discuss: Lobsters, Hacker News
🔍eBPF
Bitmapist: We built an open-source cohorts analytics tool that saved millions
doist.dev·3d·
Discuss: Hacker News
❄️Nix
Engineering Buy-In
venki.dev·2d·
Discuss: Hacker News
🌐Distributed Systems
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.net·14h·
Discuss: Hacker News, r/technews
🧩WebAssembly
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·1d
🔍eBPF
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Agencies tap Atherton's surveillance system; town fails to follow own rules
almanacnews.com·2d·
Discuss: Hacker News, Hacker News
🔍eBPF
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·3d·
Discuss: Hacker News
🤖ai
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·2d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Actions Reflect Your Priorities
tombrady.com·3d·
Discuss: Hacker News
🧮Functional Programming
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·2h
🔨Compilers
Try Deep Think in the Gemini app
blog.google·1d·
Discuss: Hacker News
🤖ai