Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🏗️Constructive Logic
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4h·
Discuss: Hacker News
🎯Interactive Provers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·10h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Students, here are 5 key things to know when learning how to train large language models
techradar.com·8h
💻Local LLMs
Machine Learning Fundamentals: decision trees project
dev.to·10h·
Discuss: DEV
🔗Topological Sorting
Hierarchical Modeling (H-Nets)
cartesia.ai·6h·
Discuss: Hacker News
🌀Hyperbolic Geometry
Asymmetry of Verification and Verifier's Law
jasonwei.net·18m·
Discuss: Hacker News
🔮Proof Search
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Billions of Edges per Second with Postgres
onesparse.com·7h·
Discuss: Hacker News
🗜️Graph Compression
Historical highlights?
logicmatters.net·14h
🔀Category Theory
Alignment
languagelog.ldc.upenn.edu·5h
🔄Language Evolution
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·8h
🧮Kolmogorov Bounds
A distributed systems reliability glossary
antithesis.com·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·21h
✨Effect Handlers
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·2d·
Discuss: Substack
⚡Incremental Computation
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·21h
🔲Proof Irrelevance