🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Conference on TDA: Recent Developments and Applications, University of Missouri – Columbia, November 22-24, 2025
appliedtopology.org·2d
🕸️Algebraic Topology
How documentation can improve everything
devtips.stribny.name·15h
👁️System Observability
Catholic Theology and Code
theologyandcode.com·1d·
Discuss: Hacker News
⛪Church Encoding
Writing a book in the age of open source
blog.incrementalforgetting.tech·3d·
Discuss: Lobsters
💾Persistence Strategies
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.de·2d·
Discuss: Hacker News, r/programming
🧠Personal Knowledge Base
Show, don’t tell: ChatGPT 5 marginalizing Gelman’s measurment error model in Stan
statmodeling.stat.columbia.edu·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Rust's Enterprise Breakthrough Year
rust-trends.com·3d·
Discuss: Hacker News
🦀Embedded Rust
'Bond King' Bill Gross says he's worried AI giants are wasting money — and their stocks could pay the price
businessinsider.com·19h
🔍BitFunnel
Python Mystery Quiz: Can You Crack This Code?
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Agents of Discovery
arxiv.org·2d
📡Information theory
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·2d
🎧Learned Audio
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·2d
🔲Cellular Automata
Claude’s memory architecture is the opposite of ChatGPT’s
dev.to·15h·
Discuss: DEV
⚡Hardware Transactional Memory
Building a Free AI-Powered ATS Checker: From Problem to Production
dev.to·6h·
Discuss: DEV
🔍BitFunnel
Optimization Methods and Software for Federated Learning
arxiv.org·2d
🧠Machine Learning
ChatGPT Code Reviews: How AI Feedback in 3 Minutes Beat Human Reviews Every Time
dev.to·2d·
Discuss: DEV
📏Code Metrics
From Limited Data to Rare-event Prediction: LLM-powered Feature Engineering and Multi-model Learning in Venture Capital
arxiv.org·2d
🎵Audio ML
Multithreading: Interview Questions and Practice Problems
dev.to·1d·
Discuss: DEV
🌊Stream Processing
A Maslow-Inspired Hierarchy of Engagement with AI Model
arxiv.org·3d
🔲Cellular Automata
Real-Time Genome Sequencing Error Correction via Dynamic Bayesian Graph Refinement
dev.to·3d·
Discuss: DEV
🧬Bitstream Evolution