Beating the L1 cache with value speculation (2021)
mazzo.li·10h·
Discuss: Lobsters
🔮Branch Predictors
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·22h
📱Bytecode Design
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·6h·
Discuss: DEV
🎮Language Ergonomics
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·10h·
Discuss: Hacker News
🗺️Region Inference
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·19h·
Discuss: Hacker News
⚡Cache Optimization
What happened to Longcat models? Why are there no quants available?
huggingface.co·8h·
Discuss: r/LocalLLaMA
✨Gleam
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·1h·
Discuss: Substack
🖥️Minimal VMs
Is Odin Just a More Boring C?
dayvster.com·15h·
Discuss: Hacker News
🐹Go Internals
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
The Best Performance Optimization Is Sometimes Changing Your Architecture
reddit.com·1d·
Discuss: r/webdev
🚀Code Motion
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·2h·
Discuss: Hacker News
🏗️Custom Allocators
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·5h
🎯Symbolic Execution
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Mojo: Can It Finally Give Python the Speed of Systems Languages?
ponderwall.com·5h·
Discuss: r/programming
🌳Tree Shaking
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·5h
🏷️Memory Tagging
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·5h
⚡functional programming
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·21h·
Discuss: DEV
🌳Pattern Match Compilation
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation