Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·22h
🧮Theorem Proving
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·13h
🏛️PREMIS Metadata
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·9h·
Discuss: Hacker News
📐Linear Algebra
Categorical systems theory
topos.institute·14h
🔀Category Theory
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·11h
📐Mathematical Art
People rescuing forgotten knowledge trapped on old floppy disks
bbc.com·13h·
Discuss: Hacker News, Hacker News
📼Cassette Archaeology
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·2h
🌊Stream Processing
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·6h·
Discuss: Hacker News
🛡️Error Boundaries
Cactus Language • Semantics 3
inquiryintoinquiry.com·10h
🔢Denotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·16h
💎Information Crystallography
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·6h
💾Data Preservation
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·22h
⛪Church Encoding
A Proof of the Riemann Hypothesis
future.forem.com·1d·
Discuss: DEV
🎯Arithmetic Coding Theory
No Bullshit Guide to Statistics prerelease
minireference.com·8h·
Discuss: Hacker News
🧮Kolmogorov Bounds