📐 Type Theory

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

What is Debounce and how does it work
developer.mozilla.org·3d·
Discuss: Hacker News
🔍eBPF
The Constitution Has Been Changed
slrpnk.net·1d·
Discuss: Hacker News
🦀rust
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·6d·
Discuss: DEV, Hacker News
✅Formal Methods
‘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
SDL Library Lands Precision Scrolling For X.Org Usage
phoronix.com·2d
⚙️Systems Programming
No point in fighting Drivers who appeal speed cameras almost guaranteed to lose
abcactionnews.com·1d·
Discuss: Hacker News
🔍eBPF
Windows Subsystem For Linux "WSL" Updated For A Yet-To-Be-Public Security Vulnerability
phoronix.com·19h·
Discuss: Hacker News
❄️Nix
Science Titan sub firm used intimidation tactics and flawed safety practices
bbc.com·1d·
Discuss: Hacker News
🔍eBPF
Synthetic Biology for Space Exploration
nature.com·3d·
Discuss: Hacker News
🌐Distributed Systems
KDE Plasma prepares crackdown on focus-stealing window behavior under Wayland
neowin.net·3d·
Discuss: Hacker News
🔍eBPF
Scientists Shine a Laser Through a Human Head
spectrum.ieee.org·3d·
Discuss: Hacker News, r/technews
🔍eBPF
Buying Large LiFePO4 Batteries: How Cheap is Too Cheap?
hackaday.com·2h
⚙️Systems Programming
AppArmor For Linux 6.17 Set To Introduce AF_UNIX Mediation, Other Improvements
phoronix.com·3d·
Discuss: r/linux
❄️Nix
The Untold Impact of Cancellation
pretty.direct·6d·
Discuss: Hacker News, r/Longreads
🧮Functional Programming
Hiding secret codes in light protects against fake videos
news.cornell.edu·5d·
Discuss: Hacker News
🔒Cryptography
Meta eavesdropped on period-tracker app's users, SF jury rules
sfgate.com·1d·
Discuss: Hacker News
🔍eBPF
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