📐 Type Theory

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

The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
✅Formal Methods
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·1d·
Discuss: Hacker News
⚡Zig
A Periodic Table of System Design Principles
github.com·2d·
Discuss: Hacker News
🔄Concurrency
2000 words about arrays and tables
buttondown.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Functional Programming
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·15h·
Discuss: Hacker News
⚡Zig
Formal specs as sets of behaviors
surfingcomplexity.blog·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·11h
🧩WebAssembly
Carbon Language: An experimental successor to C++
docs.carbon-lang.dev·17h·
Discuss: Hacker News, r/programming
⚙LLVM
Go Assembly Mutation Testing
words.filippo.io·14h·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Raspberry Pi RP2350 A4 Stepping Addresses E9 Current Leakage Bug
hackaday.com·2h
🔍eBPF
Matrix Is Not Safe for EU Data Privacy
wire.com·18h·
Discuss: Hacker News
🔍eBPF
Introduction to Computer Music an Electronic Textbook
cmtext.com·20h·
Discuss: Hacker News
✅Formal Methods
Releasing open weights for FLUX.1 Krea
krea.ai·18h·
Discuss: Hacker News, r/LocalLLaMA
🤖ai
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·8h·
Discuss: DEV, Hacker News
✅Formal Methods
From XML to JSON to CBOR
cborbook.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧩WebAssembly
NSW Fair Trading – Dark Patterns
nsw.gov.au·18h·
Discuss: Hacker News
✅Formal Methods
Emacs: The macOS Bug
xlii.space·1d·
Discuss: Lobsters, Hacker News
⚡Zig
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
arxiviq.substack.com·20h·
Discuss: Substack
🤖ai
PHP-ORT: Machine Learning Inference for the Web
krakjoe.github.io·2d·
Discuss: Lobsters, Hacker News
🧩WebAssembly
Benchmarking MicroPython
blog.miguelgrinberg.com·16h·
Discuss: Hacker News, r/programming
⚙️Systems Programming