Generalizing Test-Time Compute-Optimal Scaling as an Optimizable Graph
huggingface.co·2d·
Discuss: Hacker News
⚙️Compilers
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2w
📐Linear Algebra
Flag this post
An Embodied Mathematics
3quarksdaily.com·1d
📐Mathematics
Flag this post
Book review: Overfitting and heuristics in philosophy
ndpr.nd.edu·1w·
Discuss: Hacker News
🔢Number Theory
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·4d·
Discuss: DEV
🔢Number Theory
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·3d
📐Linear Algebra
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·1w·
Discuss: Hacker News
⚙️Compilers
Flag this post
essential spectrum
ncatlab.org·2d
📐Linear Algebra
Flag this post
A Sparse Polynomial Multiplier for HQC Integrating Parallelism and Power-Based Side-Channel Countermeasures
eprint.iacr.org·1w
⚡SIMD
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·2d·
Discuss: Hacker News
⚙️Compilers
Flag this post
Do Math Reasoning LLMs Help Predict the Impact of Public Transit Events?
arxiv.org·3d
🔢Number Theory
Flag this post
The Mathematician Who Tried to Convince the Catholic Church of Two Infinities
wired.com·2d
📐Mathematics
Flag this post
Bounded-Equivocable Pseudorandom Functions
eprint.iacr.org·3w
🔐Cryptography
Flag this post
Free applicatives, the handle pattern, and remote systems
exploring-better-ways.bellroy.com·3w·
Discuss: Lobsters, Hacker News, r/programming
⚙️Compilers
Flag this post
The Best Way to Learn Might Be Starting at the End
interjectedfuture.com·2w·
Discuss: Lobsters, Hacker News
🔢Number Theory
Flag this post
First Try Matters: Revisiting the Role of Reflection in Reasoning Models
paperium.net·2w·
Discuss: DEV
⚙️Compilers
Flag this post
Is Zadeh's Least-Entered Pivot Rule Exponential?
arxiv.org·2w
📐Linear Algebra
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·2w
⚙️Compilers
Flag this post
Functional Programming and Climate Impact Research
github.com·3w·
Discuss: Hacker News
⚙️Compilers
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·3d
⚙️Compilers
Flag this post