🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Open Science & Open Knowledge – similar but yet different worlds
blog.okfn.org·2h
🔓Open Source Software
Physics+ MIN/MAX of Functional: UNIZOR.COM - Physics+ 4 All - Lagrangian
unizor.blogspot.com·6d·
Discuss: www.blogger.com
⚔️Lean Theorem
Show HN: CoverPaste – A simple cover letter generator
app.coverpaste.com·2d·
Discuss: Hacker News
📡RSS
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·3d·
Discuss: Hacker News
📊Quantization
maxsim-cpu: Maximising Maxsim Efficiency
mixedbread.com·1d·
Discuss: Hacker News
🌊Streaming Algorithms
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
All the wrong ways to think about AI customer support
mux.com·2h·
Discuss: Hacker News
🏠Homelab Automation
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.org·1d·
Discuss: Hacker News, Hacker News
🦀Rust Borrowing
Fine-tune TabPFN on proprietary tabular data
medium.com·2d·
Discuss: Hacker News
📊Quantization
Longer scans boost prediction and cut costs in brain-wide association studies
nature.com·5h
🧠Intelligence Compression
Enhance Craft Videos Using AI Descriptions
dev.to·2h·
Discuss: DEV
📱QR Archaeology
LF: Online Multi-Robot Path Planning Meets Optimal Trajectory Control
arxiv.org·16h
🔲Cellular Automata
Leveraging Advanced Machine Learning to Predict Turbulence Dynamics from Temperature Observations at an Experimental Prescribed Fire
arxiv.org·16h
🧪Data science
How to Architect a Scalable Agentic AI System: Tools, Frameworks, and Best Practices
dev.to·8h·
Discuss: DEV
⚙️TLA+
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·5d·
Discuss: Hacker News
🔩Systems Programming
From the Tensor to the Transformer: Building the AI stack from first principles
github.com·3d·
Discuss: Hacker News
📊Quantization
Jules - The AI Agent I'd Happily Delegate My Least Favorite Tasks To
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Integrating Biological Knowledge for Robust Microscopy Image Profiling on De Novo Cell Lines
arxiv.org·16h
🕸️Algebraic Topology
Unveiling AWS S3 Vector: Revolutionizing AI Data Storage and Retrieval for Developers
dev.to·7h·
Discuss: DEV
🗂️Vector Databases
The Future of AI Agent Communication with ACP
towardsdatascience.com·1d
🔌Interface Evolution