⚡ Fusion Laws

Stream Fusion, Deforestation, Foldr/Build, GHC Rewrite Rules

Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Python is adding Zstandard to the standard library in 3.14
discuss.python.org·20h·
Discuss: Hacker News
🪄Macros
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·2h
💬Smalltalk VMs
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
🔢Bit Manipulation
Forking-Sequences
arxiv.org·2h
🪜Recursive Descent
Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·1d
🌳Tree Shaking
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·2h
✅Type Checking
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Theorem Provers
Towards a Typology of LLM Chains-of-Thought
1a3orn.com·11h·
Discuss: Hacker News
🔍ML Language
Recurse Checkins
404wolf.com·1d
🔄Bootstrapping
CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm
skoredin.pro·1d·
Discuss: Hacker News
⚡Cache Optimization
Causal Abstractions, Categorically Unified
arxiv.org·2h
💫Effect Systems
The Stack Unpacked Episode 4: to Query or Not to Query
dev.to·18h·
Discuss: DEV
🗄️Database Engines
LLM-Guided Evolutionary Program Synthesis for Quasi-Monte Carlo Design
arxiv.org·2h
🎭Program Synthesis
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1d
🔬Nanopasses
How AI broke the DRY principle — and why that’s a good thing
dev.to·15h·
Discuss: DEV
🎭Program Synthesis
We built a CUDA emulator that profiles GPU code with zero hardware
rightnowai.co·6h·
Discuss: Hacker News
🏗️Custom Allocators
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·2h
🌱Minimal ML
Distilling Reasoning into Student LLMs: Local Naturalness for Selecting Teacher Data
arxiv.org·2h
🌱Minimal ML
The Debate on RLVR Reasoning Capability Boundary: Shrinkage, Expansion, or Both? A Two-Stage Dynamic View
arxiv.org·2h
💫Effect Systems