🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

An Amazon SageMaker Container for Hugging Face Inference on AWS Graviton
julsimon.medium.com·1d
⚙️Proof Engineering
Pygmalion Effect
en.wikipedia.org·8h·
Discuss: Hacker News
🔲Cellular Automata
Canonical's hiring process is a case study in crapness
tomkranz.com·2h·
Discuss: Hacker News
📟Terminal Forensics
Brilliant Halo smartglasses: limited run FOMO, grotesque Discord "community"
jfloren.net·18h·
Discuss: Hacker News
🚀Indie Hacking
Show HN: I built an SEO tool for the terminal
seofor.dev·1d·
Discuss: Hacker News
🚀Indie Hacking
A protein researcher shares his easy go-to breakfast for strong muscles and good health
businessinsider.com·4h
📰Feed Readers
Tramell Tillman on His Emotional Coming Out Story, ‘Severance’ Delays and Acting With Tom Cruise the Day After He Got ‘Mission: Impossible’ Script
variety.com·6h
🧮Theoretical Computer Science
How the art of Chinese calligraphy can bring creative freedom in the age of AI
phys.org·40m
📐Mathematical Art
📊 Smart Data 2025 — Big Data Is Dead, Here’s What’s Next 🚀
dev.to·1d·
Discuss: DEV
📰RSS Archaeology
Ask HN: Any Creative AI Uses That Work with Kids?
news.ycombinator.com·4h·
Discuss: Hacker News
🎯Content Recommendation
Which one makes more sense? PCI to SATA vs M.2 to SATA
reddit.com·1d·
Discuss: r/homelab
⚡Homebrew CPUs
Inside gomarklint: Building a High-Performance Markdown Linter in Go
dev.to·4d·
Discuss: DEV
⟷Bidirectional Programming
How We Built Rooh London — the story, the tech, the headaches, and what’s next
dev.to·2d·
Discuss: DEV
🦋Format Metamorphosis
Federated Online Learning for Heterogeneous Multisource Streaming Data
arxiv.org·1d
🧠Machine Learning
Automated Biomarker Signature Mapping for Paleoecological Reconstruction via Deep Learning
dev.to·1d·
Discuss: DEV
🦴Binary Paleontology
How Automation is Transforming Token Campaigns in 2025
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Shape Completion and Real-Time Visualization in Robotic Ultrasound Spine Acquisitions
arxiv.org·15h
🤖Advanced OCR
Enhanced Spectroscopic Characterization of Perovskite Films via Dynamic Raman-Mie Scattering Analysis
dev.to·13h·
Discuss: DEV
🌈Spectroscopy
I am a chief security officer and here's why I think AI Cybersecurity has only itself to blame for the huge problem that's coming
techradar.com·11h
🔐Capability Systems
Automated Anomaly Detection in Distributed System Log Streams via Graph-Based Temporal Pattern Recognition
dev.to·4d·
Discuss: DEV
📝Log Parsing