📐 Type Theory

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

The Woman Who Wouldn’t Stop Having Children
nytimes.com·2d·
Discuss: Hacker News, Hacker News, r/Longreads
❄️Nix
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·5d
✅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
I analyzed 180M jobs to see what jobs AI is replacing today
bloomberry.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
Introducing Composer Composer is our new agent model designed for software engineering intelligence and speed. research · Oct 29, 2025
cursor.com·6d·
Discuss: Hacker News, r/programming
🔄Concurrency
Flag this post
When Stick Figures Fought
animationobsessive.substack.com·1d·
Discuss: Substack
🤖ai
Flag this post
OpenAI Moves To Complete Potentially The Largest Theft In Human History
thezvi.substack.com·4d·
Discuss: Substack
🤖ai
Flag this post
Is Health Insurance Even Worth It Anymore?
church.substack.com·1d·
Discuss: Substack
💻programming
Flag this post
SUSE Provides U-Boot Support For The Raspberry Pi 5
phoronix.com·6h
⚙️Systems Programming
Flag this post
Does 3D-Printed Foam Make Good Custom Tires?
hackaday.com·1d
❄️Nix
Flag this post
CLI to manage your SQL database schemas and migrations
github.com·2d·
Discuss: Hacker News
💾Databases
Flag this post
Building a Robot Dog (with an airsoft gun)
erikschluntz.com·6d·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Hello World in C Without Linking in Libraries
hackaday.com·5d
⚡Zig
Flag this post
S.a.r.c.a.s.m: Slightly Annoying Rubik's Cube Automatic Solving Machine
github.com·3d·
Discuss: Hacker News
🤖ai
Flag this post
No Socials November
bjhess.com·3d·
Discuss: Hacker News
💻programming
Flag this post