Beating the L1 cache with value speculation (2021)
mazzo.li·5h·
Discuss: Lobsters
🔮Branch Predictors
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·17h·
Discuss: DEV
🌳Pattern Match Compilation
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·1d·
Discuss: r/webdev
🚀Code Motion
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·1d·
Discuss: Hacker News
🛡️Stack Safety
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·17h
📱Bytecode Design
Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·1h·
Discuss: r/programming
🌳Tree Shaking
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Property-based testing of batch-invariant operations
mmaaz.ca·22h·
Discuss: Hacker News
🎲Property Testing
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·50m
🎯Symbolic Execution
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
⚡functional programming
Optimizing queries by using observability
infoworld.com·9h
📈Query Optimization
GSoC 2025 - Support simple C++20 modules use from the Clang driver without a build system
blog.llvm.org·21h·
Discuss: r/cpp
🪆Embedded DSLs
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·44m
🏷️Memory Tagging
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·15h·
Discuss: Hacker News
⚡Cache Optimization
How Much Should You Tell Your AI Agent?
raymondyxu.com·1d·
Discuss: Hacker News
💬Interactive REPLs
CodeSOD: A Monthly Addition
thedailywtf.com·15h
🚀Code Motion
Understanding the KV Cache (feat. Self-Attention)
dev.to·14h·
Discuss: DEV
🔄Subinterpreters
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·7h·
Discuss: Hacker News
🌐WASM Runtimes