🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Credit Market Math Is Making Buyers Cash No Matter What Rates Do
bloomberg.com·7h
🎯Arithmetic Coding Theory
After Flight
nybooks.com·4h
🎯Gradual Typing
Bild AI (YC W25) Is Hiring
ycombinator.com·1h·
Discuss: Hacker News
🤖AI Translation
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·1d·
Discuss: Hacker News
🌈Spectroscopy
Substrates ’25 Vision Statement
programmingmadecomplicated.wordpress.com·4d
⚖️Emulation Ethics
A Look Back at Research from 1875
bcmullins.github.io·2d·
Discuss: Hacker News
📡BGP Archaeology
preparing for the worst
daniel.haxx.se·1d·
Discuss: Hacker News
📡Feed Security
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·2d·
Discuss: Hacker News
⚡Performance Mythology
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·5d·
Discuss: Substack
🎯Gradual Typing
[D] IJCNLP-AACL 2025: Paper Reviews (ARR July 2025 Cycle)
reddit.com·22h·
Discuss: r/MachineLearning
📡Information theory
Software dev isn’t life or death (but it sure feels like it)
dev.to·3h·
Discuss: DEV
🔩Systems Programming
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·2d
🔲Cellular Automata
A Knowledge-Guided Cross-Modal Feature Fusion Model for Local Traffic Demand Prediction
arxiv.org·14h
🧠Machine Learning
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·1d
🔍Vector Forensics
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
⚡Proof Automation
Turbocharge Your Go Microservices: Memory Optimization Made Simple
dev.to·2d·
Discuss: DEV
🧠Memory Allocators
Why Task-Based Evaluations Matter
towardsdatascience.com·4h
📏Code Metrics
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·2d
📈Time Series
CoRe-GS: Coarse-to-Refined Gaussian Splatting with Semantic Object Focus
arxiv.org·2d
🏺Computational Archaeology
Performance of Conformal Prediction in Capturing Aleatoric Uncertainty
arxiv.org·1d
🧮Kolmogorov Bounds