📐 Type Theory

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

How to Secure a Linux Server
github.com·1d·
Discuss: Hacker News
🔍eBPF
Reverse engineering some updates to Claude
simonwillison.net·1d
💻programming
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.net·5h·
Discuss: Hacker News
🧩WebAssembly
Making Libcurl Work in WebAssembly
jeroen.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Playing with open source LLMs
alicegg.tech·4d·
Discuss: Hacker News
🧩WebAssembly
Show HN: KubeForge – A GUI for Kubernetes YAMLs
github.com·1d·
Discuss: Hacker News
❄️Nix
Ivermectin could help control malaria transmission by killing the mosquitoes
ndm.ox.ac.uk·1h·
Discuss: Hacker News
🔍eBPF
Long Term Support(SQLite)
sqlite.org·22h·
Discuss: Lobsters, Hacker News
⚡Zig
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·14h·
Discuss: Hacker News
⚙️Systems Programming
How Long Before Superintelligence?
nickbostrom.com·1d·
Discuss: Hacker News
🌐Distributed Systems
Benchmarks in CI: Escaping the Cloud Chaos
codspeed.io·2d·
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
OpenAI's "Study Mode" and the risks of flattery
resobscura.substack.com·1d·
Discuss: Substack
🤖ai
Make any website load faster with 6 lines of HTML
docuseal.com·1d·
Discuss: Hacker News, r/webdev
🧩WebAssembly
Bitmapist: We built an open-source cohorts analytics tool that saved millions
doist.dev·2d·
Discuss: Hacker News
❄️Nix
Engineering Buy-In
venki.dev·1d·
Discuss: Hacker News
🌐Distributed Systems
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·1d
🔍eBPF
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·2d·
Discuss: Hacker News
🤖ai
The Sail instruction-set semantics specification language
alasdair.github.io·6d·
Discuss: Hacker News
⚙LLVM