📐 Type Theory

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

Show HN: Sourcebot, the self-hosted Perplexity for your codebase
github.com·1d·
Discuss: Hacker News
🚀JIT Compilation
Every American Is Bilingual
justevilenough.com·3d·
Discuss: Hacker News
🔨Compilers
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·2d·
Discuss: Hacker News
🔍eBPF
Kaizen (YC X25) Is Hiring Engineers to Build Browser Agents That Work
ycombinator.com·14h·
Discuss: Hacker News
🤖ai
A Retrospective on Paradigms of AI Programming (2002)
norvig.com·4d·
Discuss: Hacker News
🧮Functional Programming
I Know When You're Vibe Coding
alexkondov.com·2d·
Discuss: Hacker News, Hacker News, r/programming
💻programming
Blog series on creating an OS in Rust
os.phil-opp.com·1d·
Discuss: Hacker News
⚡Zig
Nova: A New Web Framework for Erlang
news.ycombinator.com·18h·
Discuss: Hacker News
🧩WebAssembly
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·1d·
Discuss: Hacker News
💻programming
Intel XeSS 2.1 Released With Frame Generation For Non-Intel GPUs But Still A Binary Mess
phoronix.com·7h
⚙LLVM
500 virtual Linux devices on ARM 64
underjord.io·2d
⚙️Systems Programming
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·1d·
Discuss: Hacker News
🔨Compilers
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·1d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
Writing memory efficient structs in C
tomscheers.github.io·2d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
⚡Zig
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·15h·
Discuss: Hacker News
🤖ai
clj-coll: Clojure collections and sequences in Common Lisp
github.com·5d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Opsqueue: Lightweight batch processing queue for heavy loads – now open-source
channable.com·1d·
Discuss: Lobsters, Hacker News
🔄Concurrency
Hawaiian petroglyphs reemerge on Oahu's shores after years of being hidden
archaeologymag.com·9h·
Discuss: Hacker News
🧮Functional Programming
Playing with open source LLMs
alicegg.tech·3d·
Discuss: Hacker News
🧩WebAssembly
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·6h·
Discuss: Lobsters, Hacker News
🤖ai