📐 Interval Arithmetic - matmat · Scour

Synthesizing Backward Error Bounds, Backward 📐Error Bounds

Precision Timed (PRET) Machines Edward Lee ⚡Homebrew CPUs

ptolemy.berkeley.edu·19h

dlatrs.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·2d

Ramanujan-Pi Series and Nvidia Blackwell B200 : FP64 Architecting Transcendental Entropy for Bitcoin Security 🔢Bitwise Algorithms

zenodo.org·6d·Hacker News

Learning in Low Precision 🧠Machine Learning

rachitsingh.com·4d

dlatdf.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·2d

A Rocq Formalization of Simplicial Lagrange Finite Elements 👑Coq Tactics

pygridsynth: A fast numerical tool for ancilla-free Clifford+T synthesis 🌐Computational Topology

dlarrd.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·3d

dgtsvx.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·3d

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic 🔗Combinatory Logic

dlalsa.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·3d

dlaqtr.f (3) Linux Manual Page 🦀Rust Macros

systutorials.com·3d

Resource-aware Mixed-precision Quantization for Enhancing Deployability of Transformers for Time-series Forecasting on Embedded FPGAs 📊Quantization

dlarrj.f (3) Linux Manual Page 🔓Reverse engineering

systutorials.com·3d

How Much Cache Does Reasoning Need? Depth-Cache Tradeoffs in KV-Compressed Transformers ⚡Cache Theory

dlarrf.f (3) Linux Manual Page ✅Format Verification

systutorials.com·3d

dlatps.f (3) Linux Manual Page 📐Linear Algebra

systutorials.com·2d

dlarrk.f (3) Linux Manual Page 💧Liquid Types

systutorials.com·3d

dlarrb.f (3) Linux Manual Page 🦀Rust Macros

systutorials.com·3d

Log in to enable infinite scrolling