🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Rotten Windowsills: Repair or Replace?
popularmechanics.com·10h
🕵️Format Recovery
When voting becomes paradoxical Condorcet, Arrow, and democracy
freakonometrics.hypotheses.org·1d
🔲Cellular Automata
Browsers battle over PDF capabilities
pdfa.org·1d
📋Document Standards
The C3 Programming Language
c3-lang.org·3d·
Discuss: Hacker News
💧Liquid Types
Approximate First Principal Component
30fps.net·1d·
Discuss: Hacker News
📐Vector Dimensionality
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Rust is a great fit for the agentic era
kerkour.com·2d·
Discuss: Hacker News
🦀Rust Macros
Life Update – On Health
jiha-kim.github.io·1d·
Discuss: Hacker News
⬜Minimalism
To the Moon and quack: Books in brief
nature.com·20h
🌡️Preservation Physics
Yield curve for engineers has inverted
mvcalder-01701.medium.com·3d·
Discuss: Hacker News
📏Code Metrics
UK Government Recruiting Puzzle
mindyourdecisions.com·4d
🔲Cellular Automata
🚀 Introducing 𝗗𝗲𝘃𝗗𝗶𝗮𝗿𝘆: The Easiest Project Tracker, for Developers
dev.to·5h·
Discuss: DEV
🚀Indie Hacking
What are Matrix Operations?
dev.to·3d·
Discuss: DEV
📐Linear Algebra
Understand AI parameters: Behind all modern LLMs
dev.to·2d·
Discuss: DEV
💻Local LLMs
Smarter Code Reviews: OpenAI Meets GitHub PRs
dev.to·1d·
Discuss: DEV
🤖Archive Automation
MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
arxiv.org·2d
🚀SIMD Text Processing
HCOMC: A Hierarchical Cooperative On-Ramp Merging Control Framework in Mixed Traffic Environment on Two-Lane Highways
arxiv.org·2d
🔲Cellular Automata
EV-STLLM: Electric vehicle charging forecasting based on spatio-temporal large language models with multi-frequency and multi-scale information fusion
arxiv.org·4d
🧠Machine Learning
AI Improves at Improving Itself Using an Evolutionary Trick
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
Synthesizing Reality: Leveraging the Generative AI-Powered Platform Midjourney for Construction Worker Detection
arxiv.org·1d
🤖Advanced OCR