LINQ and Learning to Be Declarative
nickstambaugh.dev·2h·
Discuss: Hacker News
🔗Concatenative Programming
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·13h
🧮Kolmogorov Complexity
The Automatic Door System: With Statements Explained
dev.to·16h·
Discuss: DEV
🧠Program Logic
Interviewing Intel's Chief Architect of x86 Cores
chipsandcheese.com·1h·
Discuss: Hacker News, r/hardware
🧲RISC-V Archaeology
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·1d
📺VT100
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·6h·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Getting a Hypergraph of Functions to a Browser
systeminit.com·59m·
Discuss: Hacker News
📐E-graphs
Tips for C Programming from Nic Barker
hackaday.com·1d
🔩Systems Programming
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·19h
🔍eBPF
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·4h
⚡Proof Automation
Next steps for BPF support in the GNU toolchain
lwn.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Souvenir
deprogrammaticaipsum.com·3d
🔩Systems Programming
How to Tame Varnish Memory Usage Safely
fastly.com·17h
🎯Performance Forensics
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·1d
🧪Binary Fuzzing
Memory fragmentation? leak? in Rust/Axum backend
reddit.com·1d·
Discuss: r/rust
🏷️Memory Tagging
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·13h
📏Linear Logic