🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How to give a talk
karagila.org·5d
⚔️Lean Theorem
2025-09-08 One Year Later
stucky.tech·13h
🎯Gradual Typing
Introspeculative, Autospeculative
exple.tive.org·17h
🌀Brotli Internals
How to train your Dragon^H^H AI overlord
virtuallyfun.com·2d
🧲RISC-V Archaeology
My Favorite Word Is Discrete, What's Yours?
jacksonslipock.bearblog.dev·1d·
Discuss: Hacker News
💎Information Crystallography
Neural Logic Gates
blog.typeobject.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·22h·
Discuss: r/programming, r/webdev
🌊Streaming Systems
The Three Laws of Humanics
pinchito.es·1d·
Discuss: Hacker News
🔲Cellular Automata
LLMs Are Adaptive Data Organisms
worldgov.org·2d·
Discuss: Hacker News
🔐Capability Systems
pathwaycom/llm-app
github.com·1d
🔄Archive Workflows
ASCENDgpt: A Phenotype-Aware Transformer Model for Cardiovascular Risk Prediction from Electronic Health Records
arxiv.org·1d
✨Effect Handlers
Circular Imports in Python: The Architecture Killer That Breaks Production
dev.to·14h·
Discuss: DEV
💧Liquid Types
Announcing slimcontext: A Lightweight, Model-Agnostic Chat History Compression Utility 🚀
dev.to·1d·
Discuss: DEV
🎙️Whisper
Automated Dynamic Resource Allocation via Reinforcement Learning in Serverless Cloud Environments
dev.to·7h·
Discuss: DEV
🌊Stream Processing
MRI-Based Brain Tumor Detection through an Explainable EfficientNetV2 and MLP-Mixer-Attention Architecture
arxiv.org·5h
🧠Machine Learning
Solving Inverse Acoustic Obstacle Scattering Problem with Phaseless Far-Field Measurement Using Deep Neural Network Surrogates
arxiv.org·1d
🔗Tailscale
Mu Puzzle
en.wikipedia.org·5d·
Discuss: Hacker News
🔲Proof Irrelevance
CodeAnt AI vs Panto AI: A Fair AI Review Showdown
dev.to·5h·
Discuss: DEV
📏Code Metrics
We Pushed Go, Rust, and Node to One Million Users, Here’s Who Broke First
dev.to·21h·
Discuss: DEV
🦀Embedded Rust
**Modern Python API Development: FastAPI, GraphQL, and Production-Ready Best Practices**
dev.to·1d·
Discuss: DEV
🔌Archive APIs