🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Stochastic computing
scottlocklin.wordpress.com·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Help me get Claude Code vibes on my local setup (9950X3D + RTX 5090 + 2TB RAG)
reddit.com·6h·
Discuss: r/homelab
🎮Switch Archaeology
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
λLambda Formalization
Flag this post
Thought Engineering
pranavc28.github.io·2d·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
💻Programming languages
Flag this post
Bright Data vs Browse AI: Choosing the Right Web Scraping Stack Without Regret
dev.to·4h·
Discuss: DEV
💾Persistence Strategies
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·2d
🌀Riemannian Computing
Flag this post
Quantum AI: Revolutionizing Collateral Management in Finance
dev.to·8h·
Discuss: DEV
🔐Quantum Cryptography
Flag this post
Bio-Inspired Microvascular Scaffold Optimization via Algorithmic Topology Grading
dev.to·10h·
Discuss: DEV
🌐Computational Topology
Flag this post
Developers vs AI: How Smart Tools Make Us Dumber Coders
dev.to·23h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·5d
🎯Dependent Parsing
Flag this post
Metis-SPECS: Decoupling Multimodal Learning via Self-distilled Preference-based Cold Start
arxiv.org·2d
📊Learned Metrics
Flag this post
The True Guide to Omniscience And Why Everyone Lies to You About Knowledge
hackernoon.com·3d
🐚Shell Calculus
Flag this post
The 7 Paid Subscriptions I Use in 2025 as a Freelance Software Developer
dev.to·18h·
Discuss: DEV
🚀Indie Hacking
Flag this post
Intervaltree with Rust Back End
github.com·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
✅ Day 57 of My Data Analytics Journey!
dev.to·3d·
Discuss: DEV
📊Count-Min Sketch
Flag this post
Hyper-Dimensional Bayesian Optimization for Enhanced Statistical Process Control
dev.to·1d·
Discuss: DEV
⚙️Modern Assembly
Flag this post