The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·1d
🌀Brotli Internals
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·19h·
Discuss: r/golang
🦀Rust Borrowing
Show HN: I've built C# source code generator Fluent API library
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
A Manifesto for the Programming Desperado
github.com·11h·
Discuss: Hacker News
💻Programming languages
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Love C, Hate C: Web Framework Memory Problems
alew.is·23h·
Discuss: Hacker News
🔩Systems Programming
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·22h
🔗Graph Isomorphism
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Alias and references as localized macros
gustedt.wordpress.com·3d·
Discuss: Hacker News
🦀Rust Macros
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·2d·
Discuss: Hacker News
🧬Functional Programming
Vexing Exceptions
ericlippert.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·22h
🔗Parser Combinators
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog·2d
📜Proof Carrying Code
Next steps for BPF support in the GNU toolchain
lwn.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
The Porcelain to Come
stackdiver.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math