🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Yayflies and Rebugnant Conclusions
schwitzsplinters.blogspot.com·9h·
Discuss: www.blogger.com
🔲Cellular Automata
Week 28 – 2025
thisweekin4n6.com·1d
🏺Kerberos Archaeology
Galois field instructions on 2021 CPUs
corsix.org·4d·
Discuss: Hacker News
🔐RISC-V Cryptography
Python: From Zero to Hero
pythonz2h.com·1d·
Discuss: Hacker News
📝Concrete Syntax
From Engineer to Manager: A Practical Guide to Your First Months in Leadership
humansinsystems.com·11h·
Discuss: Hacker News
🧠Personal Knowledge Base
One person, one project, one month: Building Svitlogics from Kyiv
dev.to·3d·
Discuss: DEV
⚡Proof Automation
How Rapid7 automates vulnerability risk scores with ML pipelines using Amazon SageMaker AI
aws.amazon.com·8h
⚡Proof Automation
Building SolSistr: Pitfalls and Lessons Learned
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Building a CLI to Automate Etsy Listings with AI and Fetch Hacks
dev.to·14h·
Discuss: DEV
🤖Archive Automation
HNOSeg-XS: Extremely Small Hartley Neural Operator for Efficient and Resolution-Robust 3D Image Segmentation
arxiv.org·21h
🌀Riemannian Computing
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·4d
⚡Incremental Computation
Intelligent Control of Spacecraft Reaction Wheel Attitude Using Deep Reinforcement Learning
arxiv.org·21h
✨Effect Handlers
Python Fundamentals: bounded typevar
dev.to·3d·
Discuss: DEV
⬆️Lambda Lifting
Setting Up OpenTelemetry on the Frontend Because I Hate Myself
thenewstack.io·12h
👁️System Observability
🚀 Introducing CodeWhiz: Your AI-Powered Code Commenting Sidekick for VS Code 🧠✨
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Insanely productive in Go... rethinking everything
reddit.com·3d·
Discuss: r/golang
🦀Rust Macros
🚰 Buffering in Go: faster I/O without the headaches
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Sometimes Breaking Docker Best Practices Actually Works in Your Favor
hackernoon.com·13h
🧱Immutable Infrastructure
Claude Keeps Forgetting Stuff. So I Built This…
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
My Journey into System Design: A Back-End Developer's Exploration
dev.to·2d·
Discuss: DEV
💾Persistence Strategies