📐 Type Theory

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

Happy Bees Make Delicious Honey
shop.bouldervalleyhoney.com·3d·
Discuss: Hacker News
❄️Nix
What is Debounce and how does it work
developer.mozilla.org·3d·
Discuss: Hacker News
🔍eBPF
‘A million calls an hour’: Israel relying on Microsoft cloud for expansive surveillance of Palestinians
theguardian.com·1d·
Discuss: Hacker News, r/news, r/technews
🔍eBPF
No point in fighting Drivers who appeal speed cameras almost guaranteed to lose
abcactionnews.com·1d·
Discuss: Hacker News
🔍eBPF
Hiding secret codes in light protects against fake videos
news.cornell.edu·5d·
Discuss: Hacker News
🔒Cryptography
The Untold Impact of Cancellation
pretty.direct·6d·
Discuss: Hacker News, r/Longreads
🧮Functional Programming
Grounded
xkcd.com·3d
🦀rust
Proxmox Virtual Environment 9.0 with Debian 13 released
proxmox.com·2d·
Discuss: Lobsters, Hacker News
❄️Nix
Hackaday Links: August 3, 2025
hackaday.com·3d
🔍eBPF
Wired Called Our AirGradient Monitor 'Not Recommended' over a Broken Display
airgradient.com·1d·
Discuss: Hacker News
🔍eBPF
Time Theft at the Terminal
marginalrevolution.com·4d·
Discuss: Hacker News
🔍eBPF
"If you can rack it, you can run UniFi OS" Ubiquiti self-hosted UniFi OS release
deluisio.com·4d·
Discuss: Hacker News
🔍eBPF
Cognitive Decline Can Be Slowed Down With Lifestyle Changes, From Diet to Exercise and Social Time, New Study Suggests
smithsonianmag.com·1d·
Discuss: Hacker News
⚙️Systems Programming
Raja Koduri Announces New GPU Software & IP Startup - OXPython For CUDA AI On Non-NVIDIA GPUs
phoronix.com·2d·
Discuss: Hacker News
⚡Zero-Copy
Introduction to Unikernel: Building, Deploying Lightweight, Secure Applications
tallysolutions.com·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚙️Systems Programming
When Did Apple's Obsession with Design Stagnate?
mirz.ai·4d·
Discuss: Hacker News
🧩WebAssembly
Mozilla flags phishing wave aimed at hijacking trusted Firefox add-ons
theregister.com·3d·
Discuss: Hacker News
🧩WebAssembly
Spatial Audio in a Hat
hackaday.com·2d
🔍eBPF
Your Computer Interviewed Chris Curry (1981)
computeradsfromthepast.substack.com·5d·
Discuss: Substack
🌐Distributed Systems
Linux 6.17 Standardizes The Keycode For The "Performance Boost" Key
phoronix.com·2h
⚙️Systems Programming