Async BOFs – “Wake Me Up, Before You Go Go”
outflank.nl·1d
🔍eBPF
Coroutines in C
hackaday.com·2d
🔩Systems Programming
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·6h
🔄Reproducible Builds
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
oapi-codegen v2.5.0 is out
github.com·1d·
Discuss: r/golang
📜Proof Carrying Code
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Training a Chunker with Burn
elijahpotter.dev·17h·
Discuss: Hacker News
📝Concrete Syntax
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·10h
💻Programming languages
Zero-cost statics in C++
cofault.com·3d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
Python Fundamentals: case
dev.to·2h·
Discuss: DEV
✅Format Verification
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·5h·
Discuss: Hacker News
🦋Format Metamorphosis
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Wrote a blog about using Dapr and mirrord together
metalbear.co·2h
📦Container Security
Solving the Context Rot Problem for Coding Agents
install.md·19h·
Discuss: Hacker News
🌳Incremental Parsing
Inheritance over composition, sometimes
death.andgravity.com·2d
🦀Rust Macros
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Debugging Bash Like a Sire
blog.brujordet.no·1h·
Discuss: Hacker News
🐚Bash FP
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Working with Rust is super fun coming from C++
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros