A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1h
🔧RISC-V Assembler
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Sandboxing AI - Extending AI Responsibly
dev.to·16h·
Discuss: DEV
🔒WASM Capabilities
Janet Feature Demos
github.com·13m·
Discuss: Lobsters
🧠Lisp Dialects
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·15h·
Discuss: Lobsters, Hacker News
❄️Nixpkgs
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·2h
🔌Interface Evolution
Zero-cost statics in C++
cofault.com·2d·
Discuss: Hacker News, Hacker News
🦀Rust Macros
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·1d
📝ABNF Parsing
Inheritance over composition, sometimes
death.andgravity.com·23h
🦀Rust Macros
Coroutines in C
hackaday.com·1d
🔩Systems Programming
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·14h
🖥️Terminal Renaissance
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·16h·
Discuss: Hacker News
🔐CBOR
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·16h
🦀Rust Verification
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.com·8h·
Discuss: Hacker News
🌐WASI