Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·4h·
Discuss: Hacker News
⚡Cache Optimization
smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·7h
🔒Rust Borrowing
Souvenir
deprogrammaticaipsum.com·7h
🔗Weak References
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6h
📱Bytecode Design
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·15h·
Discuss: Hacker News
🛡️Stack Safety
Four years, Five failures, One compiler
daymare.net·1d·
Discuss: Hacker News, r/programming
🌱Minimal Languages
Focus more time toward C or C++ development as decent C++ programmer
reddit.com·8h·
Discuss: r/embedded
📖Literate Programming
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·17h·
Discuss: r/programming
🧠Memory Models
New comment by debugnik in "A comparison of Ada and Rust, using solutions to the Advent of Code"
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Rust Borrowing
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔮Lisp Interpreters
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·10h·
Discuss: r/cpp
🪆Embedded DSLs
Understanding the KV Cache (feat. Self-Attention)
dev.to·3h·
Discuss: DEV
🔄Subinterpreters
std::ranges may not deliver the performance that you expect
lemire.me·13h·
Discuss: Hacker News
🏃Escape Analysis
What Happens Behind the Scenes When You Run Python Code
fusion-institute.com·1h·
Discuss: DEV
🔧Error Recovery
My custom two realtime concurrency primitives
blog.inkreas.ing·1d·
Discuss: r/rust
🔗Concurrency Primitives
How we trained an ML model to detect DLL hijacking
securelist.com·2h
🏷️Memory Tagging
C? Rewrite it in Brainfuck
iacgm.pages.dev·2d·
Discuss: r/programming, r/rust
🪄C Metaprogramming