📐 Type Theory

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

Ivermectin could help control malaria transmission by killing the mosquitoes
ndm.ox.ac.uk·23h·
Discuss: Hacker News
🔍eBPF
Engineering Buy-In
venki.dev·2d·
Discuss: Hacker News
🌐Distributed Systems
Microsoft is taking steps to open-sourcing Windows 11 user interface framework
neowin.net·1d·
Discuss: Hacker News, r/technews
🧩WebAssembly
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·2d
🔍eBPF
Flourishing chemosynthetic life at the greatest depths of hadal trenches
nature.com·3d·
Discuss: Hacker News
🦀rust
Agencies tap Atherton's surveillance system; town fails to follow own rules
almanacnews.com·3d·
Discuss: Hacker News, Hacker News
🔍eBPF
Launch HN: Lucidic (YC W25) – Debug, test, and evaluate AI agents in production
news.ycombinator.com·3d·
Discuss: Hacker News
🤖ai
Crafting your own Static Site Generator using Phoenix (2023)
fly.io·2d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Make any website load faster with 6 lines of HTML
docuseal.com·2d·
Discuss: Hacker News, r/webdev
🧩WebAssembly
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
dougmacdowell.com·1d·
Discuss: Hacker News
⚙️Systems Programming
2025 One Hertz Challenge: Learn Morse Code One Second at a Time
hackaday.com·15h
🔨Compilers
Try Deep Think in the Gemini app
blog.google·2d·
Discuss: Hacker News
🤖ai
Mezzano, an operating system written in Common Lisp
github.com·3d·
Discuss: Hacker News
⚙️Systems Programming
Chilling warnings from 1930s Europe: "Reality is stronger than all our wishes"
doomsdayscenario.co·16h·
Discuss: Hacker News
🦀rust
You might not need tmux
bower.sh·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/neovim
⚡Zero-Copy
The Rule of Law Is Dead in the US
thenation.com·1d·
Discuss: Hacker News
🦀rust
Coverage.py regex pragmas
nedbatchelder.com·5d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Actions Reflect Your Priorities
tombrady.com·3d·
Discuss: Hacker News
🧮Functional Programming
Anthropic Revokes OpenAI's Access to Claude
wired.com·1d·
Discuss: Hacker News, r/technews
🤖ai
Paradise Lost
alexandermigdal.com·3d·
Discuss: Hacker News
🤖ai