📐 Type Theory

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

Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚡Zig
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·19h·
Discuss: Substack
⚡Zig
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·1d·
Discuss: Hacker News
🤖ai
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·23h
⚡Zig
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·9h·
Discuss: Lobsters, Hacker News
⚡Zig
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
github.com·11h·
Discuss: Hacker News
🔒Cryptography
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·4h·
Discuss: Hacker News
🤖ai
Flag this post
Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset
phoronix.com·12h·
Discuss: Hacker News
⚡Zig
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·3d·
Discuss: Hacker News
💾Databases
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🧩WebAssembly
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
⚡Zig
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·21h·
Discuss: Hacker News
🔄Concurrency
Flag this post
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·3d
🔄Concurrency
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·14h
🔍eBPF
Flag this post
Side project advice
nedbatchelder.com·2d
❄️Nix
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·6d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
The Green Tea Garbage Collector
go.dev·4d·
Discuss: Lobsters, Hacker News, r/golang
⚡Zero-Copy
Flag this post