Roadmap for Improving the Type Checker
forums.swift.org·2d·
Discuss: Lobsters, Hacker News
📐Type Theory
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
⚡Zig
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
⚡Zig
Flag this post
Yes, you should understand backprop (2016)
karpathy.medium.com·10h·
Discuss: Hacker News
🤖ai
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
⚡Zig
Flag this post
2025 Component Abuse Challenge: A Transistor As A Voltage Reference
hackaday.com·19h
🔍eBPF
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧩WebAssembly
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·1d·
Discuss: Hacker News, Hacker News
🤖ai
Flag this post
Side project advice
nedbatchelder.com·3d
❄️Nix
Flag this post
The Impossible Optimization, and the Metaprogramming to Achieve It
verdagon.dev·6d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
Flag this post
Nim 2.2.6
nim-lang.org·2d·
Discuss: Hacker News
⚡Zig
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.com·22h·
Discuss: Hacker News
💻programming
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.com·1d·
Discuss: Hacker News
🧩WebAssembly
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
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.ai·4d·
Discuss: Hacker News
💾Databases
Flag this post
How to Use Zorn's Lemma
gowers.wordpress.com·6d·
Discuss: Hacker News
📐Type Theory
Flag this post
AI Broke Interviews
yusufaytas.com·17h·
Discuss: Hacker News, r/programming
🤖ai
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·4d·
Discuss: Hacker News
⚡Zig
Flag this post
SQLite concurrency and why you should care about it
jellyfin.org·1d·
Discuss: Hacker News
🔄Concurrency
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·1d
🔍eBPF
Flag this post