📐 Type Theory

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

Bourdain, My Camera, and Me (2021)
melaniedunea.com·5d·
Discuss: Hacker News
🦀rust
Compute Express Link Code Further Cleaned Up In Linux 6.17
phoronix.com·5d
❄️Nix
NVIDIA CUDA 13.0 Available With Unified Arm Platform Support
phoronix.com·4d
⚙️Systems Programming
Did Craigslist decimate newspapers? Legend meets reality.
poynter.org·6d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
The Day MOOCs Died: Coursera's Preview Mode Kills Free Learning
classcentral.com·5d·
Discuss: Hacker News
🤖ai
Exploring VersaLOGIC pre-LSI Logic Cards With the Data/620
hackaday.com·6d
🌐Distributed Systems
F2FS Sees New Improvements Merged For Linux 6.17 While Bcachefs Languishes
phoronix.com·4d
⚡Zero-Copy
Open-Source, Flexible E-Reader
hackaday.com·4d
🔗P2P Networks
A Simple Simulator For Model Rocket Performance
hackaday.com·4d
❄️Nix
Linux 6.17 Getting More Rusty With Many Rust Language Additions
phoronix.com·6d
🦀rust
Meejah/shwim: Peer-to-peer terminal sharing
github.com·6d·
Discuss: Hacker News
🔗P2P Networks
Cow vs. Water Buffalo Mozzarella
itscheese.com·6d·
Discuss: Hacker News
🤖ai
Ex-Barclays VP who completed a PhD in prison: "All my former colleagues ignore"
efinancialcareers.com·5d·
Discuss: Hacker News
🔒Cryptography
Trump Administration Moves to Destroy Satellite That Monitors Greenhouse Gases
gizmodo.com·3d·
Discuss: Hacker News
🌐Distributed Systems
Google has dropped more than 50 DEI-related orgs from one of its funding lists
cnbc.com·5d·
Discuss: Hacker News
❄️Nix
The ChatGPT sharing dialog demonstrates how difficult it is to design privacy preferences
simonwillison.net·5d·
Discuss: Hacker News
🔗P2P Networks
Ivermectin could help control malaria transmission by killing the mosquitoes
ndm.ox.ac.uk·6d·
Discuss: Hacker News
🔍eBPF
The Scourge of Fake Retro Unijunction Transistors
hackaday.com·4d
🔒Cryptography
Marking 13 Years on Mars, NASA's Curiosity Picks Up New Skills
jpl.nasa.gov·4d·
Discuss: Hacker News
🌐Distributed Systems
Lenovo’s rollable laptop is the coolest computer I’ve used all year
theverge.com·5d·
Discuss: Hacker News
⚙️Systems Programming