🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Unsupervised Learning NO. 497
newsletter.danielmiessler.com·1d
🖥️Terminal Renaissance
X Open Sourced Algorithm Code, So I analyzed it to learn how to grow on X
supabird.io·1d·
Discuss: Hacker News
⚖️Feed Ranking
Why – Decompression Through Inquiry
williamolivers.substack.com·4d·
Discuss: Substack
📡Information theory
Why I'm lukewarm on graph neural networks
singlelunch.com·3d·
Discuss: Hacker News
🕸️Graph Embeddings
The LLM models the user, and then it models itself
animassteward.substack.com·2d·
Discuss: Substack
🔢Denotational Semantics
The 100MHz 6502
e-basteln.de·6h·
Discuss: Hacker News
⚡Homebrew CPUs
How Construction Management Software Supports Sustainable Building Practices?
dev.to·4h·
Discuss: DEV
🏺Format Archaeology
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
📏Code Metrics
Nuclear Data Adjustment for Nonlinear Applications in the OECD/NEA WPNCS SG14 Benchmark -- A Bayesian Inverse UQ-based Approach for Data Assimilation
arxiv.org·1d
✨Effect Handlers
Bringing Multi-Modal Multi-Task Federated Foundation Models to Education Domain: Prospects and Challenges
arxiv.org·1d
🏠Homelab Federation
The End of Engineering's Blank Check • Laura Tacho & Charles Humble • GOTO 2025
youtube.com·3d
🔓Open Source Software
Innovations in Cloud-Based Standards Management: Shaping the Future of Global Compliance
hackernoon.com·17h
🔓Open Source Software
Domain Knowledge is Power: Leveraging Physiological Priors for Self Supervised Representation Learning in Electrocardiography
arxiv.org·17h
🧠Machine Learning
We're training LLMs to hallucinate by rewarding them for guessing
lightcapai.medium.com·3d·
Discuss: Hacker News
💻Local LLMs
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·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
What is Context Engineering?
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Big Bang AI Festival: ‘Doing is like wanting, only more extreme’
heise.de·12h
⚖️Lossy Compression Ethics
How to Make Your Data Science Project the Beyoncé of the Boardroom
dev.to·1d·
Discuss: DEV
⚡Performance Mythology
Automated Knowledge Graph Reconstruction for Enhanced Dynamic System Modeling
dev.to·1d·
Discuss: DEV
⚡Incremental Computation