🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Quantum computing enables Lego-like design of porous materials
phys.org·29m
⚛️Quantum Circuits
I am a former NATO scientific advisor, and here are five things businesses should know about AI
techradar.com·22h
🌍Cultural Algorithms
How to Use Promise.any(): When First Success Is Enough
jsdevspace.substack.com·1d·
Discuss: Substack
🌊Stream Processing
Rendering the Mandelbulb
4rknova.com·1d·
Discuss: Hacker News
📐Mathematical Art
Stop writing CLI validation. Parse it right the first time
hackers.pub·3d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
A quarter century of chasing simplicity
loopwerk.io·1d·
Discuss: Hacker News
🔄Language Evolution
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.com·1d·
Discuss: r/devops
🏠Homelab Pentesting
What would you learn to become a "full stack web developer"?
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Automated Media Literacy Assessment & Bias Mitigation via Multi-Modal Semantic Analysis
dev.to·16h·
Discuss: DEV
📰Content Curation
Language Native Lightly Structured Databases for Large Language Model Driven Composite Materials Research
arxiv.org·1d
🗂️Vector Databases
Bayesian Calibration Optimization for High-Dimensional Monte Carlo Simulations
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·2d
💻Local LLMs
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·2d
✨Effect Handlers
Why I Bet on FastAPI Over Django (After 10 Years of Using It)
dev.to·17h·
Discuss: DEV
🔌Interface Evolution
Graphical Quadratic Algebra
arxiv.org·6d
🔄Graph Rewriting
Enhanced Residual Stress Mapping via Multi-Modal Fusion and Bayesian Inversion
dev.to·1d·
Discuss: DEV
🌀Differential Geometry
Beyond Boundaries: A New Approach to Solving Infinite-Choice Problems with AI
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
An Analysis of Layer-Freezing Strategies for Enhanced Transfer Learning in YOLO Architectures
arxiv.org·1d
🧮Kolmogorov Bounds
QualityFM: a Multimodal Physiological Signal Foundation Model with Self-Distillation for Signal Quality Challenges in Critically Ill Patients
arxiv.org·1d
🎯Arithmetic Coding Theory
Language Model Perplexity Predicts Scientific Surprise and Transformative Impact
arxiv.org·1d
🏛Digital humanities