⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

SwiNOG 40: Reliability of High-Speed Transceivers
blog.ipspace.net·2d
⚙️Tape Engineering
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·2d·
Discuss: Hacker News
🎯Gradual Typing
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·23h·
Discuss: DEV, Hacker News
🏠Homelab Automation
Experimenting with local LLMs on macOS
blog.6nok.org·3d·
Discuss: Lobsters, Hacker News
💻Local LLMs
Roadmap to Becoming a Data Analyst (Step-by-Step Guide).
dev.to·1d·
Discuss: DEV
🧪Data science
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·5d·
Discuss: Hacker News
🔲Cellular Automata
Sanitize Your AI-Generated Content: A Free Invisible Character Remover
dev.to·5h·
Discuss: DEV
🔤Character Encoding
Adaptive Acoustic Metamaterial Composites for Broadband Noise Reduction via Topology Optimization
dev.to·1d·
Discuss: DEV
⚙️Tape Engineering
AI Code Alchemist: Transmuting Research Ideas into Working Software
dev.to·2d·
Discuss: DEV
🤖AI Curation
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Strategies for Improving Communication Efficiency in Distributed and Federated Learning: Compression, Local Training, and Personalization
arxiv.org·15h
🧠Machine Learning
Adaptive Mitochondrial Network Modeling for Enhanced Cardiac Resilience via Multi-Scale Bayesian Inference
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Optimal Variance and Covariance Estimation under Differential Privacy in the Add-Remove Model and Beyond
arxiv.org·3d
🔐Homomorphic Encryption
The Hanamaruki Method for AI Dialogue Design — 03
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·15h
🎧Learned Audio
Building AI-Resistant Technical Debt
oreilly.com·1d
📏Code Metrics
Unlock the Power of Python Strings: Tips, Tricks, and Essential Methods
dev.to·8h·
Discuss: DEV
📝Concrete Syntax
DevOps Automation with Python: Intelligent System Monitoring with Auto Recovery
dev.to·1d·
Discuss: DEV
👁️System Observability
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·15h
🕸️Algebraic Topology
Reasoning Language Model for Personalized Lung Cancer Screening
arxiv.org·2d
🔗Constraint Handling