Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·1h·
Discuss: Hacker News
🔗Concatenative Programming
Parsing Protobuf Like Never Before
mcyoung.xyz·21h
🔧Binary Parsers
Go interfaces and json.Unmarshal
fbrs.io·8h
🔧Binary Parsers
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
A Wide Reduction Trick (2022)
words.filippo.io·1h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
AwesomeAssertions/AwesomeAssertions
github.com·13h
✅Format Verification
What people said about an OpenZFS bug
despairlabs.com·12h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Building Production-Grade Network Telemetry: A gRPC Journey Into the Heart of Network Monitoring
dev.to·7h·
Discuss: DEV
📡Network Monitoring
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
Bazel Knowledge: Beyond _deploy.jar for OCI images
fzakaria.com·23h
🔌Interface Evolution
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Machine Code Isn't Scary
jimmyhmiller.github.io·2d
🔤Character Encoding
All About Server Side Template Injection (SSTI)
infosecwriteups.com·17h
🛡️WASM Security
AtCoder Finals Problem Statement
atcoder.jp·10h·
Discuss: Hacker News
🇯🇵Japanese Computing
The C3 Programming Language
c3-lang.org·1d·
Discuss: Hacker News
💧Liquid Types
A http parser single-header library written in C89 which is 50 lines total.
github.com·4d·
Discuss: Hacker News, r/programming
🔧Binary Parsers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust