Three Solutions to Nondeterminism in AI
blog.hellas.ai·21h·
Discuss: Hacker News
🎯Performance Proofs
The Automatic Door System: With Statements Explained
dev.to·8h·
Discuss: DEV
🧠Program Logic
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·5h
🧮Kolmogorov Complexity
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·20h
📺VT100
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·1d
🧮Compute Optimization
Tips for C Programming from Nic Barker
hackaday.com·1d
🔩Systems Programming
Next steps for BPF support in the GNU toolchain
lwn.net·19h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Monads
Need to sanity check my backup plan before I implement it
youtube.com·1d·
Discuss: r/homelab
💿Backup Strategies
Souvenir
deprogrammaticaipsum.com·3d
🔩Systems Programming
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·19h
🧪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
Defeating Return Type Polymorphism
philipphagenlocher.de·12h·
Discuss: Hacker News
🧬Functional Programming
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·1d
🔓Decompilation
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·5h
📏Linear Logic
SAT problems are kind of cool
blog.karanjanthe.me·17h·
Discuss: Hacker News
🧮SMT Solvers
Less Is More: Recursive Reasoning with Tiny Networks
github.com·18h·
Discuss: Hacker News
📊Quantization
Beating the L1 cache with value speculation (2021)
mazzo.li·2d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.com·1d
📦Container Security