๐Ÿ“ E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

Collaborative Coding and Generative AI: The Future of Code Pairing
thenewstack.ioยท17h
๐Ÿ”„Language Evolution
Practical Combinatorial Testing
csrc.nist.govยท20hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
Vibe coding a Perl interface to a C library - Part 1
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Concrete Syntax
TypeSanitizer: a detector for strict type aliasing violations
clang.llvm.orgยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸงฎAlgebraic Datatypes
How AI on Microcontrollers Actually Works: Operators and Kernels
danielmangum.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠQuantization
llvm: InstCombine: improve optimizations for ceiling division with no overflow - a PR by Alex Gaynor and Claude Code
simonwillison.netยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฉSystems Programming
Quantifying analogy of concepts via ologs and wiring diagrams
arxiv.orgยท6h
๐Ÿ”—Topological Sorting
A collaborative digital twin built on FAIR data and compute infrastructure
arxiv.orgยท6h
๐Ÿ”„Lens Laws
Implementing Distributed Locks in Go: A Practical Guide for Backend Devs
dev.toยท9hยท
Discuss: DEV
๐Ÿ”’Linear Types
Building the Unbreakable Contract: A Pipeline for AI-Powered Vulnerability Classification and Repair
hackernoon.comยท20h
๐Ÿ“Code Metrics
VEDA: Efficient LLM Generation Through Voting-based KV Cache Eviction and Dataflow-flexible Accelerator
arxiv.orgยท6h
๐Ÿš€SIMD Text Processing
Single Core Hundred Thousand Concurrency๏ผˆ1751327856613900๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
WebAssembly for Client-Side Image Processing
dev.toยท21hยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Recommending Variable Names for Extract Local Variable Refactorings
arxiv.orgยท6h
๐Ÿฆ€Rust Macros
Learning Constraints Directly from Network Data
arxiv.orgยท1d
๐Ÿง Machine Learning
Outlier Weighed Layerwise Sparsity (OWL): A Missing Secret Sauce for Pruning LLMs to High Sparsity
arxiv.orgยท6h
๐Ÿ’ปLocal LLMs
Make C++ a better place #4: Go as an alternative
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Correlated Mutations for Integer Programming
arxiv.orgยท1d
๐ŸŒธBloom Variants
Distributed Sorting at Scale
systemdesignacademy.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธByzantine Fault Tolerance
MoNE: Replacing Redundant Experts with Lightweight Novices for Structured Pruning of MoE
arxiv.orgยท6h
๐Ÿง Intelligence Compression