🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Teaching programming languages
kmjn.org·1d
💻Programming languages
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·17h
⬆️Lambda Lifting
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·16h·
Discuss: DEV
🔲Cellular Automata
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Outlandish Recursive Query Examples
sqlite.org·9h·
Discuss: Lobsters
🗄️SQLite Internals
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·15h·
Discuss: DEV
🧠Intelligence Compression
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·4d·
Discuss: Hacker News
⚔️Lean Theorem
Did GPT-5 Solve 'New Math'?
tech2geek.net·23h·
Discuss: Hacker News
🎯Performance Proofs
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·11h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Boss-Ship vs. Management and Math
medium.com·16h·
Discuss: Hacker News
⚙️Proof Engineering
Reloading classes in python and shared borders
andrewpwheeler.com·22h·
Discuss: Hacker News
🦀Rust Macros
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·15h·
Discuss: Hacker News
🦀Rust Macros
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·18h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·5h
🧠Intelligence Compression
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·5h
🔲Cellular Automata