⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

14 Themes for Beautifying Your Ghostty Terminal
itsfoss.com·5h
⌨️Terminal Customization
Loading Ian Piumarta's Smalltalk terminal emulator code
eighty-twenty.org·4d
📟Terminals
Sunday Sundries
ipkitten.blogspot.com·20h·
Discuss: ipkitten.blogspot.com
🔐Certificate Analysis
Too Big to Stay Small: Why Manufacturing Hasn't Taken Off in India (Yet)
dealflowiq.com·3h·
Discuss: Hacker News
🌍Cultural Algorithms
A Universal Declaration of Human Responsibilities (1997)
interactioncouncil.org·1d·
Discuss: Hacker News
⚖️Archive Ethics
How to Write a Crash Reporter
gamesbymason.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Cat Shoggoth
hgreer.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Isolated(any)
nshipster.com·6d·
Discuss: Hacker News
⛪Church Encoding
Vibe Coding a Broadcasting Graphics Solution in 6 Hours
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
🎙️Whisper
DNA methylation influences human centromere positioning and function
nature.com·1d·
Discuss: Hacker News
🧬Copy Number Variants
How to Discover the Binary System as a Child • Simon Peyton Jones & Chelsea Troy • GOTO 2025
youtube.com·6d
⚔️Lean Tactics
Adaptive Predictive Maintenance Framework for Multi-Level Inverter Topologies via Bayesian Sensor Fusion
dev.to·10h·
Discuss: DEV
🌡️Preservation Entropy
ML needs a new programming language – Interview with Chris Lattner
dev.to·2d·
Discuss: DEV
🔗Functional Compilers
My 3-Step Workflow for Turning Ideas into Articles with AI
dev.to·1d·
Discuss: DEV
🎯Content Recommendation
Show HN: Ion, a Rust/Tokio powered JavaScript runtime for embedders
github.com·20h·
Discuss: Hacker News
🦀Rust Borrowing
BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection
arxiv.org·3d
🔗Binary Similarity
Automated Spectral Analysis for Marine Noise Footprint Detection and Mitigation
dev.to·14h·
Discuss: DEV
🎵Acoustic Fingerprinting
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·3d·
Discuss: DEV
👁️System Observability
VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report
arxiv.org·3d
✅Format Verification
Dynamic Accessibility Allocation via Reinforcement Learning and Spatial-Temporal Prediction
dev.to·2d·
Discuss: DEV
✋Tactile Computing