⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Report from OSS EU 2025 and AI_dev: What’s next for OSAID
opensource.org·20h
🔓Open Source Software
Continual learning with the Marketplace algorithm: model learns new data through inference, not training
fangpenlin.com·2d
📊Learned Metrics
A suggestion to people who assign nicknames to meeting rooms
devblogs.microsoft.com·1d
📚MARC Evolution
Deep Copy
developer.mozilla.org·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Does the world need another distributed queue?
techblog.cloudkitchens.com·1d·
Discuss: r/programming
🌊Streaming Systems
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·12h·
Discuss: Hacker News
🚀Indie Hacking
RomM 4.2 Launches with Console Mode and Smarter Library Tools
gardinerbryant.com·1d·
Discuss: Hacker News
🕹️Retro Gaming
Built an AI news agent that stops information overload
reckoning.dev·2d·
Discuss: Hacker News
🎯Content Recommendation
Nvidia Rubin CPX: New AI inference accelerator set to launch by late 2026
heise.de·1d
🖥️Terminal Renaissance
Getting Started with Clustering Algorithms in Machine Learning
dev.to·2h·
Discuss: DEV
🌊Spectral Clustering
Spatial Mining in Data Mining: The Basics You Should Know
dev.to·1d·
Discuss: DEV
📏Range Queries
🚀 SQL Stored Procedures vs. Python Functions: Two Worlds, Same Idea
dev.to·2d·
Discuss: DEV
🧮Datalog
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.to·2d·
Discuss: DEV
⛏️SQL Archaeology
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Symmetry Interactive Transformer with CNN Framework for Diagnosis of Alzheimer's Disease Using Structural MRI
arxiv.org·5h
🤖Advanced OCR
Automated Semantic Disentanglement of Hierarchical Visual Features for Pattern Recognition
dev.to·10h·
Discuss: DEV
🤖Advanced OCR
Quantifying Driver Cognitive Load Through Dynamic Saccade Analysis & Predictive Risk Modeling
dev.to·10h·
Discuss: DEV
🎯Threat Hunting
LangChain's New Middleware: The Missing Piece for Production-Ready Agents?
dev.to·5h·
Discuss: DEV
⚙️TLA+
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.to·3d·
Discuss: DEV
⚛️Quantum Error Correction
ProfilingAgent: Profiling-Guided Agentic Reasoning for Adaptive Model Optimization
arxiv.org·2d
📊Quantization