🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Chapter 6: The art of deception in the White House
english.elpais.com·2d
🛡️Proof-Carrying Archives
check-markdown-files: pre-commit checks for blog postings written in Markdown
andreas.scherbaum.la·1d
✅Document Verification
Linux 6.16 released, Bootlin contributions
bootlin.com·9h
🔌Operating system internals
What People Are Getting Wrong This Week: Do Celebrities Always Die in Threes?
lifehacker.com·5h
🛡Cybersecurity
Californias
map.simonsarris.com·15h·
Discuss: Hacker News
💻Local first
Can small AI models think as well as large ones?
seangoedecke.com·2d·
Discuss: Hacker News
💻Local LLMs
Linux kernel 6.16 lands without any headline features but 38M lines of code
theregister.com·3h
🔩Systems Programming
What to do when wasps crash your picnic: A scientist's guide to dining safely with these insects
phys.org·1d
🔲Cellular Automata
🎓 7 Smart ChatGPT Prompts Every Student Should Be Using in 2025!
dev.to·2d·
Discuss: DEV
📝Text Parsing
🚀 Just discovered this morning productivity hack:
dev.to·2d·
Discuss: DEV
⛏️File Carving
ResearchWize for Language Learning: Flashcards and Quizzes for Vocabulary
dev.to·2d·
Discuss: DEV
🔬Academic Search
Piaggio & C. SpA (PIAGF) Q2 2025 Earnings Call Transcript
seekingalpha.com·4h
🖥️Modern Terminals
[AutoBE] We made AI Friendly Compilers for Vibe Coding
dev.to·6d·
Discuss: DEV
📜Proof Carrying Code
Building a Real-Time Recipe Discovery Platform with Algolia MCP Server
dev.to·2d·
Discuss: DEV
🔄Sync Engine
🎙️ Turning Microsoft Teams Meetings into Actionable AI Reports with AssemblyAI 🧠💼
dev.to·1d·
Discuss: DEV
🎙️Whisper
Turning the Software Factory into an Intelligence Engine
devops.com·1d
🔌Interface Evolution
FED-PsyAU: Privacy-Preserving Micro-Expression Recognition via Psychological AU Coordination and Dynamic Facial Motion Modeling
arxiv.org·14h
📊Learned Metrics
Machine Learning Fundamentals: gradient descent with python
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Dual-Stream Global-Local Feature Collaborative Representation Network for Scene Classification of Mining Area
arxiv.org·14h
📊Learned Metrics
Meta Is Going to Let Job Candidates Use AI During Coding Tests
wired.com·5h·
Discuss: Hacker News
🗺️Competency Maps