Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.orgยท19h
๐ŸงฎTheorem Proving
Announcing the 2025 NDSA Excellence Award Winners
ndsa.orgยท10h
๐Ÿ›๏ธPREMIS Metadata
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.comยท6hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Categorical systems theory
topos.instituteยท11h
๐Ÿ”€Category Theory
People rescuing forgotten knowledge trapped on old floppy disks
bbc.comยท10hยท
Discuss: Hacker News
๐Ÿ“ผCassette Archaeology
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
An enough week
blog.mitrichev.chยท1dยท
๐ŸงฎZ3 Solver
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.ioยท3hยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Boundaries
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท7h
๐Ÿ”ขDenotational Semantics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท13h
๐Ÿ’ŽInformation Crystallography
Welcome to LILโ€™s Data.gov Archive Search
lil.law.harvard.eduยท3h
๐Ÿ’พData Preservation
Never Ever Use Content Addressable Storage
frederic.vanderessen.comยท2dยท
Discuss: Hacker News
๐Ÿ›ก๏ธPreservation Proofs
The Library Method: Understanding @cache
dev.toยท22hยท
Discuss: DEV
โšกCache Theory
Three ways formally verified code can go wrong in practice
buttondown.comยท6h
๐Ÿ“œProof Carrying Code
New Articles: Journal of Contemporary Archival Studies
archivespublishing.comยท1d
โš–๏ธArchive Ethics
No Bullshit Guide to Statistics prerelease
minireference.comยท5hยท
Discuss: Hacker News
๐ŸงฎKolmogorov Bounds
A Proof of the Riemann Hypothesis
future.forem.comยท1dยท
Discuss: DEV
๐ŸŽฏArithmetic Coding Theory
Living Off the Cloud: Abusing Cloud Services for Red Teaming | Cyber Codex
infosecwriteups.comยท11h
๐Ÿ Homelab Federation