🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

LLVM Begins Landing Distributed ThinLTO "DTLTO" Support
phoronix.com·18h
🏭Compiler Backends
Mapping Out the Library of Babel
carlnewton.github.io·2d·
Discuss: Hacker News
📚MARC Archaeology
Exhausted Man Defeats AI Model In World Coding Championship
developers.slashdot.org·3d
🎯Performance Proofs
Why Every Go Library Should Implement Must* Methods
blog.cansu.dev·3d·
Discuss: Hacker News
💧Liquid Types
AI Is the Answer to Everything
banagale.com·1d·
Discuss: Hacker News
🤖AI Translation
The Consulting Crash Is Coming
thefp.com·16h·
Discuss: Hacker News
📡RSS
(Gradient) Descent into Mediocrity
hey.paris·1h·
Discuss: Hacker News
🌍Cultural Algorithms
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·2d·
Discuss: Hacker News
📰Content Curation
"I think about this often" (2023)
dejavucoder.substack.com·3d·
Discuss: Substack
🔍BitFunnel
Chatbots to robots: The rise of 'physical AI'
computerworld.com·18h·
Discuss: Hacker News
🤖Tape Automation
Rethinking CLI Interfaces for AI
notcheckmark.com·2d·
Discuss: Lobsters, Hacker News
🔒WASM Capabilities
Mathematics Uncover Hidden Geometry of Imperfect Crystals
scitechdaily.com·3d
🌀Differential Geometry
Efforts to measure companies' environmental impacts have global effects—here's how to make them more just
phys.org·1d
⚖️Legal Compliance
XRL Resources
github.com·3d·
Discuss: Hacker News
🔗Constraint Handling
Semantic Segmentation based Scene Understanding in Autonomous Vehicles
arxiv.org·1h
🧠Machine Learning
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·3d·
Discuss: Hacker News
🌐WASI
[R] Paper recommendations?
reddit.com·3d·
Discuss: r/MachineLearning
🧠Machine Learning
Compressed data structures for Heegaard splittings
arxiv.org·6d
🕳️Persistent Homology
Towards an ABM on Proactive Community Adaptation for Climate Change
arxiv.org·1h
🔲Cellular Automata
Why Albanese tried to do a Hawke during last week's China trip
abc.net.au·1d
📡RSS