📐 Type Theory

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

This is your brain without sleep
news.mit.edu·6d·
Discuss: Hacker News, Hacker News
🤖ai
Flag this post
SF neighborhood mourns loss of bodega cat allegedly killed by Waymo
sfgate.com·5d·
Discuss: Hacker News
❄️Nix
Flag this post
Ex-Mossad chief brags Israel has installed a global sabotage network
middleeastmonitor.com·6d·
Discuss: Hacker News
🔍eBPF
Flag this post
Changes to Warp’s pricing: Introducing Build
warp.dev·6d·
Discuss: Hacker News
⚡Zero-Copy
Flag this post
America is bracing for political violence — and a significant portion think it’s sometimes OK
politico.com·2d·
Discuss: Hacker News
🦀rust
Flag this post
Free software scares normal people
danieldelaney.net·6d·
Discuss: Hacker News
❄️Nix
Flag this post
How OpenAI Uses Complex and Circular Deals to Fuel Its Multibillion-Dollar Rise
nytimes.com·5d·
Discuss: Hacker News
🔗P2P Networks
Flag this post
NPM flooded with malicious packages downloaded more than 86,000 times
arstechnica.com·6d·
Discuss: Lobsters, Hacker News, r/technews
❄️Nix
Flag this post
Recovering Data from the OceanGate depths
hackaday.com·4d
❄️Nix
Flag this post
Hacking Together an Expensive-Sounding Microphone At Home
hackaday.com·5d
❄️Nix
Flag this post
Qt Creator 18 Released With Experimental SUpport For Development Containers
phoronix.com·6d
❄️Nix
Flag this post
100-Year Old Wagon Wheel Becomes Dynamometer
hackaday.com·5d
🤖ai
Flag this post
2025 Component Abuse Challenge: An Input Is Now An Output
hackaday.com·4d
🤖ai
Flag this post
Photographing the rare brown hyena stalking a diamond mining ghost town
bbc.com·4d·
Discuss: Hacker News
🦀rust
Flag this post
A century of reforestation helped keep the eastern US cool
news.agu.org·6d·
Discuss: Hacker News
🔍eBPF
Flag this post
Wine 10.18 Released With More WoW64 Mode Improvements
phoronix.com·4d
⚡Zig
Flag this post
Volumetric Display Takes a Straight Forward (and Backward) Approach
hackaday.com·4d
🤖ai
Flag this post
Krita Lands Basic HDR Support On Wayland
phoronix.com·5d·
Discuss: Hacker News
⚙LLVM
Flag this post
Sam Altman wants a refund for his $50,000 Tesla Roadster deposit
arstechnica.com·4d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Taking Money off the Table
zachholman.com·6d·
Discuss: Hacker News
❄️Nix
Flag this post