Compiler Bootstrapping in Nixpkgs
blog.obsidian.systems·3h·
Discuss: Hacker News
❄️Nixpkgs
Machine Learning Fundamentals: data preprocessing tutorial
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Functional Abstract Interpretation
simon.peytonjones.org·19h·
Discuss: Hacker News
🔗Functional Compilers
A distributed systems reliability glossary
antithesis.com·4h·
Discuss: Lobsters, Hacker News
✅Archive Fixity
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Fileless DPAPI Credential Extraction With PowerShell
infosecwriteups.com·1d
🎯NTLM Attacks
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·19h·
Discuss: Hacker News
🔍Type Inference
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
You Are in a Box
jyn.dev·1d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Parsing Safetensors File Format in C
leetarxiv.substack.com·4h·
Discuss: Substack, r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·5h
🦀Rust Verification
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·4h·
Discuss: Hacker News, r/programming
🔒Type Safety
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·19h·
Discuss: Hacker News
🦀Rust Borrowing
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·3d
🔗Static Linking
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Song recommendations with pipes and filters
blog.ploeh.dk·1d
λLambda Formalization
A Rust Shaped Hole
mnvr.in·8h·
Discuss: Hacker News
🦀Rust Macros