Unsplittable Cost Flows from Unweighted Error-Bounded Variants
arxiv.org·21h
🧮Algebraic Datatypes
Flag this post
PMPP-Eval Journey
🔍Concolic Testing
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·19h
🧠Intelligence Compression
Flag this post
HigherOrderCO/Bend2
github.com·1d
🔗Functional Compilers
Flag this post
Turing Machine Visualization (2016)
🎞️Tape Combinatorics
Flag this post
A moonlit week
λLambda Encodings
Flag this post
10-26-building-the-rope-operation-for-tensorrent-hardware at Clehaxze
clehaxze.tw·16h
⚡SIMD Vectorization
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·12h
👁️System Observability
Flag this post
Stock Market Shark: More Multidimensional DP
mmhaskell.com·16h
🔗Constraint Handling
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.org·4h
🧮Theoretical Computer Science
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
The New Calculus of AI-based Coding
🔄Reproducible Builds
Flag this post
Neural Networks for Chess
⚡Homebrew CPUs
Flag this post
The Hallelujah Algorithm
🎨Graph Coloring
Flag this post
An intro to the Tensor Economics blog
💻Local LLMs
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·21h
🧮Kolmogorov Complexity
Flag this post
Test-time Verification via Optimal Transport: Coverage, ROC, & Sub-optimality
arxiv.org·4d
🧮Kolmogorov Complexity
Flag this post
Loading...Loading more...