Subsystem many-hypercube codes: High-rate concatenated codes with low-weight syndrome measurements
link.aps.org·1d
Binary Algorithms
exystence.net·1d
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·4h
Exploring Text Compression
denvaar.dev·1d
Dealing with alternatives
jemarch.net·1d
A Visual Guide to Quantization
newsletter.maartengrootendorst.com·2d
Randomization in Typst
idraluna-archives.bearblog.dev·14h
Gated DeltaNet: The “Surgical Eraser” Solving Linear Attention’s Memory Problem
pub.towardsai.net·1d
Proof by Ivy (Floating Point Formatting, Part 4)
research.swtch.com·2d
Loading...Loading more...