Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.toยท1dยท
Discuss: DEV
๐ŸŽจGraph Coloring
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.ioยท6h
๐Ÿ”—Hash Algorithms
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgยท2d
๐Ÿ”ถLattice Theory
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.comยท1d
๐Ÿ”ML Language
Flag this post
How LLM Inference Works
arpitbhayani.meยท1d
๐Ÿš€Tokenizer Performance
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
medium.comยท10hยท
Discuss: DEV
๐Ÿ”„Copy Propagation
Flag this post
RFT Theorems
reddit.comยท1dยท
Discuss: r/compsci
๐Ÿ”ขAlgebraic Datatypes
Flag this post
10000
jro.sgยท18h
๐Ÿ“ฆExecutable Size
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.phยท1d
๐Ÿ”ขBit Manipulation
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.orgยท1d
๐Ÿ”—Hash Functions
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.comยท10hยท
Discuss: Hacker News
๐ŸงฉConstraint Solvers
Flag this post
AK-TSYS: An enhanced active learning Kriging model for time-dependent system reliability analysis
sciencedirect.comยท17h
๐Ÿ”„Loop Optimization
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.comยท1dยท
Discuss: Hacker News
๐Ÿ’ซEffect Systems
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.comยท13hยท
๐Ÿ“ŠRegister Machines
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท9h
๐Ÿ—‚๏ธType Indexing
Flag this post
Downsampling: Largest-Triangle-Three-Buckets and the Fourier Transform
daniel.mitterdorfer.nameยท1dยท
Discuss: Hacker News
๐Ÿ“ฆCompression Algorithms
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgยท1dยท
โ™พ๏ธCodata Types
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.toยท1dยท
Discuss: DEV
๐ŸงฎCombinator Calculus
Flag this post