Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·12h·
Discuss: Lobsters, Hacker News, r/programming
📦Compression Algorithms
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
The Danger of High (or Small) Numbers In Your Computer And ML Models
pub.towardsai.net·6h
🎯Bit Vectors
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·12h·
Discuss: Hacker News
🗺️Region Inference
From Matmul to Meaning
evis.dev·1h·
Discuss: Hacker News
🧮Linear Algebra
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·23h·
Discuss: DEV
🌳Pattern Match Compilation
Self-Extracting F3
buttondown.com·10h·
Discuss: Hacker News
📊Row Polymorphism
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
News for September 2025
ptreview.sublinear.info·2d
🎲Property Testing
What happened to Longcat models? Why are there no quants available?
huggingface.co·10h·
Discuss: r/LocalLLaMA
✨Gleam
Predictive Coding Light
nature.com·1d
🗺️Region Inference
Operator entanglement in SU(2)-symmetric dissipative quantum many-body dynamics
journals.aps.org·3h
📡Async Channels
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
A Global Mining Dataset
tech.marksblogg.com·17h·
Discuss: Hacker News
📈Earley Parsing
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·8h·
Discuss: Hacker News
✨Gleam
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·7h
🏷️Memory Tagging
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·11h
🔶Lattice Theory
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·13h·
Discuss: DEV
🌿Trie Variants
The Art of Abstraction — Polymorphic Memory Allocator
unboxthecat.medium.com·1h·
Discuss: r/cpp
🏗️Custom Allocators