Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·16h
⚙Functional Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔄Category Theory
Towards Knowledge-Aware Document Systems: Modeling Semantic Coverage Relations via Answerability Detection
arxiv.org·1d
🧮Programming Language Theory
Automated Knowledge Graph Construction & Reasoning for Biomedical Literature Mining
dev.to·5h·
Discuss: DEV
🧩Theorem Proving
CRT-structured Collatz blocks
researchgate.net·2h·
Discuss: r/mathematics
🧭SMT Solvers
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·21h·
Discuss: Hacker News
🧮Programming Language Theory
Paul's Online Math Notes
tutorial.math.lamar.edu·5h·
Discuss: Hacker News
🧩Theorem Proving
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
🎲Probabilistic Programming
[D] Math foundations to understand Convergence proofs?
reddit.com·13h·
Discuss: r/MachineLearning
🧩Theorem Proving
Human vs. AI in Logic Tasks: a Study
dailynous.com·2d
🧩Theorem Proving
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·2h·
Discuss: Lobsters, Hacker News
🔐Cryptography
Depth-Bounded Epistemic Planning
arxiv.org·1d
📈Complexity Theory
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
🎲Probabilistic Programming
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·15h·
Discuss: Hacker News
🧮Programming Language Theory
Contradictions
arxiv.org·2d
🧮Programming Language Theory
Gauss, an Agent for Autoformalization
math.inc·12h·
Discuss: Hacker News
🧭SMT Solvers
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·14h
🧭SMT Solvers
The Data Backbone of LLM Systems
infoq.com·16h·
Discuss: Lobsters
🔧Compiler Design
Is the Prob Method `Just Counting'- I say no and HELL NO
blog.computationalcomplexity.org·12h·
Discuss: blog.computationalcomplexity.org
🧭SMT Solvers
Day 3 of My Quantum Computing Journey: When Physics Meets Computing Reality
dev.to·15h·
Discuss: DEV
🔐Cryptography