🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

No, Your Domains and Bounded Contexts Don’t Map 1 on 1
verraes.net·1d
🔢Denotational Semantics
Learning PostgreSQL Internals
blog.cleverelephant.ca·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
Notes on Autograd
aschrein.github.io·3d·
Discuss: Hacker News
⚡Incremental Computation
On Continuous Test Improvement
dsyme.net·1d·
Discuss: Hacker News
📏Code Metrics
Neural Spline Operators for Risk Quantification in Stochastic Systems
arxiv.org·4h
🧮Kolmogorov Bounds
Boss-Ship vs. Management and Math
medium.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Building an AI-Powered Domain Name Generator: Technical Deep Dive
dev.to·15h·
Discuss: DEV
⚡Proof Automation
Reinforcement Learning for Search Tree Size Minimization in Constraint Programming: New Results on Scheduling Benchmarks
arxiv.org·1d
🔗Constraint Handling
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·2d
🔲Cellular Automata
ReSURE: Regularizing Supervision Unreliability for Multi-turn Dialogue Fine-tuning
arxiv.org·1d
✨Effect Handlers
Python Auto Function Parenthesis hack
dev.to·16h·
Discuss: DEV
🔗Concatenative Programming
MathBuddy: A Multimodal System for Affective Math Tutoring
arxiv.org·1d
📊Learned Metrics
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·1d·
Discuss: Hacker News
🔲Cellular Automata
SEMANTIC HTML
dev.to·10h·
Discuss: DEV
📇Dublin Core
Inference-Time Alignment Control for Diffusion Models with Reinforcement Learning Guidance
arxiv.org·4h
🔲Cellular Automata
ConfTuner: Training Large Language Models to Express Their Confidence Verbally
arxiv.org·2d
🧠Intelligence Compression
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·2d
🧮Theorem Proving
InSQuAD: In-Context Learning for Efficient Retrieval via Submodular Mutual Information to Enforce Quality and Diversity
arxiv.org·4h
🔍Information Retrieval
Prompting Strategies for Language Model-Based Item Generation in K-12 Education: Bridging the Gap Between Small and Large Language Models
arxiv.org·4h
⚡Proof Automation