🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·2d
🤝Paxos Consensus
Breaking AI Testing Barriers: Dynamic Assertions and AI Automation Deliver 1000%+ Productivity Gains
engineering.salesforce.com·5h
🔍Concolic Testing
Answer: Best ways to do just-in-time learning. Part 3: getting a teaching summary with NotebookLM
searchresearch1.blogspot.com·4h·
Discuss: searchresearch1.blogspot.com
🤖Automated Parsing
Thinking About Thinking
funcall.blogspot.com·9h·
Discuss: www.blogger.com
🔗Constraint Handling
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·20h
🔲Cellular Automata
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·1d
🧠Machine Learning
Go experiments with SIMD
golangweekly.com·1d
💧Liquid Types
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
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·10h·
Discuss: Hacker News
⚡Proof Automation
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·2h·
Discuss: DEV
📄Document Digitization
The Emacs thread-related code needs a maintainer
lists.gnu.org·15h·
Discuss: Hacker News
🦀Rust Macros
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·12h
🦀Rust Macros
Hmf4j parallelizes as well as orders message processing
handy-messaging-framework.github.io·5h·
Discuss: Hacker News
🌊Apache Kafka
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
Boss-Ship vs. Management and Math
medium.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
Universal Algorithmic Intelligence
uaiasi.com·1d·
Discuss: Hacker News
🔲Cellular Automata
A 20-Year-Old Algorithm Can Help Us Understand Transformer Embeddings
ai.stanford.edu·6h·
Discuss: Hacker News
🧮Vector Embeddings