📐 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
I analyzed 180M jobs to see what jobs AI is replacing today
bloomberry.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
Türkiye will not sell rare earth elements to the USA
ceenergynews.com·1d·
Discuss: Hacker News
🦀rust
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
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·9h
⚙️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
AI Broke Interviews
yusufaytas.com·2d·
Discuss: Hacker News, r/programming
🤖ai
Flag this post
Signs of introspection in large language models
anthropic.com·6d·
Discuss: Hacker News, Hacker News, r/ClaudeAI
🤖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
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·3d
🔍eBPF
Flag this post
Tech workers' fight for living wages and a 32-hour workweek is a battle for all
thechiefleader.com·1d·
Discuss: Hacker News
🦀rust
Flag this post
Ask HN: Do you have an aversion to recent TLDs?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀rust
Flag this post
Dual-Arm Mobile Bot Built on IKEA Cart Costs Hundreds, Not Thousands
hackaday.com·1d
🧩WebAssembly
Flag this post