๐Ÿ”ฌ Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

How to keep package.json under control
blog.val.townยท17h
๐Ÿ”—Topological Sorting
Unsupervised Learning NO. 497
newsletter.danielmiessler.comยท1d
๐Ÿ–ฅ๏ธTerminal Renaissance
Why โ€“ Decompression Through Inquiry
williamolivers.substack.comยท4dยท
Discuss: Substack
๐Ÿ“กInformation theory
GPT-5โ€™s Ethics Guidelines for Using It in Philosophical Research
dailynous.comยท1d
โš–๏ธArchive Ethics
The LLM models the user, and then it models itself
animassteward.substack.comยท2dยท
Discuss: Substack
๐Ÿ”ขDenotational Semantics
How Construction Management Software Supports Sustainable Building Practices?
dev.toยท1hยท
Discuss: DEV
๐ŸบFormat Archaeology
Deploying AI to the Balkans
hapseer.comยท2dยท
Discuss: Hacker News
๐Ÿค–AI Curation
Beast instead of for-loop: AI develops programming language in Gen-Z slang
heise.deยท2d
๐Ÿ’ปProgramming languages
The End of Engineering's Blank Check โ€ข Laura Tacho & Charles Humble โ€ข GOTO 2025
youtube.comยท3d
๐Ÿ”“Open Source Software
AI-Driven Predictive Maintenance Optimization via Quantum-Enhanced Feature Extraction for Infineon Power Modules
dev.toยท3dยท
Discuss: DEV
โš›๏ธQuantum Error Correction
๐Ÿš€ Meet the first Small Language Model built for DevOps ๐Ÿš€
dev.toยท23hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Hyperbolic Large Language Models
arxiv.orgยท2d
๐ŸŒ€Hyperbolic Geometry
What is Context Engineering?
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Constraint Handling
Yes, Python is Slow, but it doesnโ€™t matter for AI SaaS
dev.toยท23hยท
Discuss: DEV
๐ŸŒŠStream Processing
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
Automated Vulnerability Prioritization via Semantic Similarity & Code Attribution Graph Analysis
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Code Metrics
Maximally Useful and Minimally Redundant: The Key to Self Supervised Learning for Imbalanced Data
arxiv.orgยท13h
๐Ÿง Machine Learning
DOE Experimental Condensed Matter Physics PI Meeting 2025 - Day 2
nanoscale.blogspot.comยท16hยท
Discuss: www.blogger.com
๐ŸŒก๏ธPreservation Physics
GPT-5 vs GPT-5-chat: what exactly is the difference?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Reasoning Language Model for Personalized Lung Cancer Screening
arxiv.orgยท2d
๐Ÿ”—Constraint Handling