An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·1d
🧮Kolmogorov Complexity
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·14h·
Discuss: Hacker News
🎯Interactive Provers
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Cactus Language • Stylistics 4
inquiryintoinquiry.com·20h
🌳Context free grammars
Proof by Intimidation
en.wikipedia.org·2h·
Discuss: Hacker News
🎯Proof Tactics
Cancellative Convex Semilattices
arxiv.org·7h
⚔️Lean Theorem
Texas sharpshooter fallacy - Wikipedia
en.m.wikipedia.org·17m
🧠Intelligence Compression
Extensions and Shadows (6)
sites.psu.edu·1d
🎯Proof Tactics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·14h
🔢Bitwise Algorithms
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·14h·
Discuss: Hacker News
🌀Differential Geometry
Asymmetry of Verification and Verifier's Law
jasonwei.net·10h·
Discuss: Hacker News
🔮Proof Search
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·7h
🌳Context free grammars
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·18h
🧮Kolmogorov Bounds
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·3h·
Discuss: Hacker News
🌀Brotli Internals
Linkage
11011110.github.io·20h
🕸️Algebraic Topology