🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

A Snapshot of IIIF 2025: Key Takeaways from the Annual Conference
dpconline.org·17h
🏛️PREMIS
denialism and its counterfeits
blog.ayjay.org·1d
🌡️Preservation Entropy
How AI Boosted Performance Engineering Productivity
engineering.salesforce.com·2d
🌊Stream Processing
Htmlpp, an HTML Preprocessor? (2000)
htmlpp.sourceforge.net·3d·
Discuss: Hacker News
📄PostScript
If You're So Smart, Why Are You So Poor?
terminaldrift.substack.com·4d·
Discuss: Substack
🔲Cellular Automata
Show HN: Elf0 – Build and run AI agent workflows in YAML (CLI)
elf0.com·1d·
Discuss: Hacker News
👑Isabelle
The protein craze: scientists talk supplements — and who should take them
nature.com·6h
🧮Algorithmic Cooking
Can a Thermal Printer Cure ADHD?
hackaday.com·15h
🧪Cassette Hacks
The Evolution of Software Engineering Through Java Development
dev.to·19h·
Discuss: DEV
🔄Language Evolution
What CMMC 3.0 Really Means for Government Contractors
darkreading.com·12h
🎯Threat Hunting
The End of Missed Insurance Claims: How AI Agents Keep You Ahead of Every Deadline
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Tutor Perini Corporation (TPC) Q2 2025 Earnings Call Transcript
seekingalpha.com·2h
🎙️Whisper
LoRA-based methods on Unet for transfer learning in Subarachnoid Hematoma Segmentation
arxiv.org·1d
🧠Machine Learning
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·3d·
Discuss: DEV
🎙️Whisper
The Toyota Corolla Of Programming
deprogrammaticaipsum.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Language Evolution
Protean Funds Scandinavia AB July 2025 Partner Letter
seekingalpha.com·2d
🧊Arctic Storage
Meta - Small Projects Weekly Thread?
reddit.com·2d·
Discuss: r/golang
🦀Rust Macros
Integrating Machine Learning with Multimodal Monitoring System Utilizing Acoustic and Vision Sensing to Evaluate Geometric Variations in Laser Directed Energy D...
arxiv.org·22h
🔬Optical Physics
AI and the Software Engineering Landscape: Is Your Career Safe?
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Argumentatively Coherent Judgmental Forecasting
arxiv.org·5d
📊Feed Optimization