🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Claude Code's 19 cent Parser
blogger.com·2d
🔧Binary Parsers
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·4h
🌳Archive Merkle Trees
Thinking About Thinking
funcall.blogspot.com·42m·
Discuss: www.blogger.com
🔗Constraint Handling
Learning Perl in one day and the importance of building strong foundations
guilhermenl.dev·3h·
Discuss: Hacker News
🔗Concatenative Programming
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Go experiments with SIMD
golangweekly.com·16h
💧Liquid Types
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·18h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·12h
🧠Intelligence Compression
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·12h
🔲Cellular Automata
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·1d
🧠Machine Learning
Capture Checking in Scala
nrinaudo.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·1d
🔧Hardware Verification
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·1h·
Discuss: Hacker News
⚡Proof Automation
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
The Emacs thread-related code needs a maintainer
lists.gnu.org·7h·
Discuss: Hacker News
🦀Rust Macros
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·4h
🦀Rust Macros
Universal Algorithmic Intelligence
uaiasi.com·15h·
Discuss: Hacker News
🔲Cellular Automata