🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Codeminer42 Dev Weekly #69
blog.codeminer42.com·2d
🔄Reproducible Builds
Ada Beats SQL, Perl, and Fortan for #10 Spot on Programming Language Popularity Index
developers.slashdot.org·2h
🏛️COBOL Archaeology
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·4d·
Discuss: Hacker News
🔍RegEx Engines
WASM the Hard Way: Porting the Chicory Compiler to Android
blog.evacchi.dev·2d·
Discuss: Lobsters, Hacker News
🧩WASM Components
Large Hadron Collider: When Quantum and AI Collide
perimeterinstitute.ca·22h·
Discuss: Hacker News
⚛️Quantum Algorithms
How to scale RL to 10^26 FLOPs
blog.jxmo.io·3d·
Discuss: Hacker News
🔮Proof Search
Ruby on Rails creator David Heinemeier Hansson says he looks for 2 key things when hiring
businessinsider.com·16h
🐚Nordic Shell
System Design Basics - Databases and Connection Pools
javarevisited.substack.com·15h·
Discuss: Substack, r/programming
🗄️Database Sharding
Building an AI-Powered Gmail Assistant with TypeScript
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·5d
📏Code Metrics
Day 22/100: Useful List Methods in Python (append, pop, sort, and more)
dev.to·18m·
Discuss: DEV
⭐Awesome lists
🧩 Go middleware: turn your tangled handlers into clean, composable magic.
dev.to·4h·
Discuss: DEV
🌐Web Standards
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·3d
🔲Cellular Automata
Learning to Unlearn: The Superpower Developers Need in the AI Era
dev.to·9h·
Discuss: DEV
🔄Language Evolution
New Energy-Based Transformer architecture aims to bring better "System 2 thinking" to AI models
the-decoder.com·2d
🧠Intelligence Compression
BayesTTA: Continual-Temporal Test-Time Adaptation for Vision-Language Models via Gaussian Discriminant Analysis
arxiv.org·3h
🗜️LZW Variants
Claude Opus Analysis of Twitter's 2023 ML Algorithm
github.com·1d·
Discuss: Hacker News
📊Feed Optimization
[D] Has anyone encountered a successful paper reading group at your company?
reddit.com·1d·
Discuss: r/MachineLearning
📜Document Physics
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3d·
Discuss: r/golang
🔗Concatenative Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🔌Interface Evolution