📐 Type Theory

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

Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
⚡Zig
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·4h·
Discuss: Substack
⚡Zig
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·18h·
Discuss: Hacker News
🤖ai
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·8h
⚡Zig
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
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
Introducing SWE-1.5: Our Fast Agent Model
simonwillison.net·2d
🔄Concurrency
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·6h·
Discuss: Hacker News
🔄Concurrency
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·22h
🔍eBPF
Flag this post
Side project advice
nedbatchelder.com·2d
❄️Nix
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.com·4h
🧩WebAssembly
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.com·1h·
Discuss: Hacker News
💻programming
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·5d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
The Green Tea Garbage Collector
go.dev·3d·
Discuss: Lobsters, Hacker News, r/golang
⚡Zero-Copy
Flag this post
AI scrapers request commented scripts
cryptography.dog·1d·
Discuss: Lobsters, Hacker News
🤖ai
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·3d·
Discuss: Hacker News
🚀JIT Compilation
Flag this post
I'm Independently Verifying Go's Reproducible Builds
agwa.name·3d·
Discuss: Lobsters, Hacker News, r/golang
❄️Nix
Flag this post