📐 Type Theory

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

More than $70tn of inherited wealth over next decade will widen inequality, economists warn
theguardian.com·15h·
Discuss: Hacker News, r/Economics
🔗P2P Networks
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·6d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
Rust-Based Redox OS Gets Servo Web Engine Running - Sort Of
phoronix.com·14h
🧩WebAssembly
Flag this post
Linux gamers on Steam finally cross over the 3% mark
gamingonlinux.com·1d·
Discuss: Hacker News, r/SteamDeck
❄️Nix
Flag this post
Chat Control proposal fails again after public opposition
andreafortuna.org·2d·
Discuss: Hacker News
🔍eBPF
Flag this post
2,400 HP FDNY Super Pumper could extinguish hell itself
bangshift.com·16h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·2d·
Discuss: Lobsters, Hacker News
❄️Nix
Flag this post
From VS Code to Helix
ergaster.org·6d·
Discuss: Lobsters, Hacker News, r/programming
🧩WebAssembly
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·4d·
Discuss: Lobsters, Hacker News
⚡Zig
Flag this post
Supercon 2025: Streaming Live
hackaday.com·2d
🌐Distributed Systems
Flag this post
A URL to respond with when your boss says "But ChatGPT Said "
stopcitingai.com·5d·
Discuss: Hacker News, r/InternetIsBeautiful, r/webdev
🤖ai
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·4d·
Discuss: Lobsters, Hacker News, r/linux
🔄Concurrency
Flag this post
Things you can do with diodes
lcamtuf.substack.com·1d·
Discuss: Substack
🌐Distributed Systems
Flag this post
China intimidated UK university to ditch human rights research, documents show
bbc.com·1d·
Discuss: Hacker News
🔍eBPF
Flag this post
Minecraft HDL, an HDL for Redstone
github.com·4d·
Discuss: Hacker News
⚡Zig
Flag this post
3D Printering: Liquid-Filled Filament Was Not On Our Bingo Card
hackaday.com·1d
🧮Functional Programming
Flag this post
Backpressure in Distributed Systems
blog.pranshu-raj.me·5d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Why You Shouldn’t Trade Walter Cronkite for an LLM
hackaday.com·4d
✅Formal Methods
Flag this post
Google pulls AI model after senator says it fabricated assault allegation
theverge.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·2d
🔍eBPF
Flag this post