Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·7h
🔬Refinement Types
What you see may not be what you get
thoughtbot.com·3h
🔣Unicode
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
We trained LLM to find reentrancy vulnerabilities in smart contracts
blog.unvariant.io·12h·
Discuss: Hacker News
🧪Binary Fuzzing
Quantum-RAG and PunGPT2: Advancing Low-Resource Language Generation and Retrieval for the Punjabi Language
arxiv.org·23h
🌀Brotli Internals
Be Careful with Go Struct Embedding
mattjhall.co.uk·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsing
04 – eBPF Uprobes: Tracing gRPC Headers by Unpacking Go Function Internals
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·20h
✅Archive Validation
A New Concurrent ML in Guile Scheme
wingolog.org·18h·
Discuss: Hacker News
🔄Lens Laws
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
A Library Approach to Constant Template Parameters
brevzin.github.io·3d·
Discuss: Hacker News, r/cpp
🦀Rust Macros
DNS at IETF 123
potaroo.net·4h
🌐DNS Security
GoLang appreciation post
reddit.com·6h·
Discuss: r/golang
📜Proof Carrying Code
How we made JSON.stringify more than twice as fast
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
OpenAI's new open weight (Apache 2) models are really good
simonwillison.net·6h·
Discuss: Hacker News
⚡Homebrew CPUs
Arenas in Rust
russellw.github.io·1h·
Discuss: Hacker News
🦀Rust Borrowing
Why Computer Science Is No Good, Redux
cacm.acm.org·10h
🎯Performance Proofs
The hiring test that defeated AI
bitecode.dev·12h·
Discuss: Hacker News
✅Shell Verification
Relative Completeness of Incorrectness Separation Logic
arxiv.org·23h
🧠Separation Logic