📐 Type Theory

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

CLI to manage your SQL database schemas and migrations
github.com·2d·
Discuss: Hacker News
💾Databases
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·6d·
Discuss: Hacker News
⚡Zig
Flag this post
Google pulls AI model after senator says it fabricated assault allegation
theverge.com·20h·
Discuss: Hacker News
🤖ai
Flag this post
Show HN: Deep Research Hacker News, ArXiv and Google (Without LLMs)
sturdystatistics.com·6d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
The AI bubble has reached its ‘fried chicken’ phase
ft.com·3d·
Discuss: Hacker News
🤖ai
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·5d
🔄Concurrency
Flag this post
Pi Zero Powers A Little Indoor Rover
hackaday.com·1d
🤖ai
Flag this post
Apple Plans To Open-Source An LLVM Tool To Security Harden Large C++ Codebases
phoronix.com·5d·
Discuss: Hacker News, Hacker News
⚡Zig
Flag this post
Why do AI models use so many em-dashes?
seangoedecke.com·5d·
Discuss: Hacker News, Hacker News, Hacker News
🤖ai
Flag this post
From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey
blog.tymscar.com·2d·
Discuss: Hacker News
🔍eBPF
Flag this post
Rust-Based Redox OS Gets Servo Web Engine Running - Sort Of
phoronix.com·9h
🧩WebAssembly
Flag this post
Linux gamers on Steam finally cross over the 3% mark
gamingonlinux.com·1d·
Discuss: Hacker News, r/SteamDeck
❄️Nix
Flag this post
Chat Control proposal fails again after public opposition
andreafortuna.org·2d·
Discuss: Hacker News
🔍eBPF
Flag this post
From VS Code to Helix
ergaster.org·5d·
Discuss: Lobsters, Hacker News, r/programming
🧩WebAssembly
Flag this post
2,400 HP FDNY Super Pumper could extinguish hell itself
bangshift.com·11h·
Discuss: Hacker News
🌐Distributed Systems
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·1d·
Discuss: Lobsters, Hacker News
❄️Nix
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·4d·
Discuss: Lobsters, Hacker News
⚡Zig
Flag this post
Supercon 2025: Streaming Live
hackaday.com·2d
🌐Distributed Systems
Flag this post
A URL to respond with when your boss says "But ChatGPT Said "
stopcitingai.com·5d·
Discuss: Hacker News, r/InternetIsBeautiful, r/webdev
🤖ai
Flag this post
China intimidated UK university to ditch human rights research, documents show
bbc.com·23h·
Discuss: Hacker News
🔍eBPF
Flag this post