Subsystem many-hypercube codes: High-rate concatenated codes with low-weight syndrome measurements
link.aps.orgยท21h
Binary Algorithms
exystence.netยท1d
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.orgยท46m
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ยท10h
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...