⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

A suggestion to people who assign nicknames to meeting rooms
devblogs.microsoft.com·1d
📚MARC Evolution
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·15h·
Discuss: Hacker News
📼Cassette Hacking
False Confidence
theaiunderwriter.substack.com·2d·
Discuss: Substack
💻Local LLMs
Optimizing Home Energy Efficiency: What Developers Can Learn from Furnace AFUE Ratings
dev.to·21h·
Discuss: DEV
📏Code Metrics
LangChain's New Middleware: The Missing Piece for Production-Ready Agents?
dev.to·1h·
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
SQLStorm & CogniSQL: An AI-Augmented SQL Dataset(202508)
dev.to·2d·
Discuss: DEV
⛏️SQL Archaeology
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
What is Context Engineering?
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Symmetry Interactive Transformer with CNN Framework for Diagnosis of Alzheimer's Disease Using Structural MRI
arxiv.org·2h
🤖Advanced OCR
Quantifying Driver Cognitive Load Through Dynamic Saccade Analysis & Predictive Risk Modeling
dev.to·7h·
Discuss: DEV
🎯Threat Hunting
ProfilingAgent: Profiling-Guided Agentic Reasoning for Adaptive Model Optimization
arxiv.org·2d
📊Quantization
Knowledge Isn't Power: The Ethics of Social Robots and the Difficulty of Informed Consent
arxiv.org·1d
🔲Cellular Automata
An information metric for comparing and assessing informative interim decisions in sequential clinical trials
arxiv.org·3d
📈Entropy Estimation
Software dev isn’t life or death (but it sure feels like it)
dev.to·14h·
Discuss: DEV
🔩Systems Programming
Gut-Brain Axis as a Closed-Loop Molecular Communication Network
arxiv.org·1d
⚛️Information Physics
Universal Graph Learning for Power System Reconfigurations: Transfer Across Topology Variations
arxiv.org·2h
🕸️Network Topology
Automated Modal Assurance Criterion Validation via Fourier-Slepian Analysis and Machine Learning
dev.to·4d·
Discuss: DEV
📊Spectral Analysis
AI Solves the Unsolvable: Automating Optimization with LLMs by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
💻Local LLMs
AI: Your Co-Pilot in the Quest for Scientific Discovery
dev.to·1d·
Discuss: DEV
🤖AI Curation