⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

The counter-intuitive mathematical phenomenon hiding at the Men's Under-21 Euros
kityates.substack.com·3h·
Discuss: Substack
🔲Cellular Automata
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·2d
🔐Quantum Security
YC AI Startup School 2025 – Highlights
chipinsights.substack.com·10h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
[$] Supporting kernel development with large language models
lwn.net·1d
💻Local LLMs
"Claude Code Said Thanks When I Upgraded to Max Plan 😂"
dev.to·5h·
Discuss: DEV
🌳Incremental Parsing
pac-man with python, pygame
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Fine-Tuning and Prompt Engineering of LLMs, for the Creation of Multi-Agent AI for Addressing Sustainable Protein Production Challenges
arxiv.org·2d
🧮Theorem Proving
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·1d
🗜️Graph Compression
Entelligence vs CodeRabbit
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·4d
🔐Quantum Security
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
Building a Super Mario-Style Platformer Game with Amazon Q Developer
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
🚦 Dijkstra's Algorithm Explained – A Beginner's Guide
dev.to·2d·
Discuss: DEV
🕸️Graph Algorithms
What I Wish I Knew Before Building My First Client Website
dev.to·12h·
Discuss: DEV
✅Format Verification
AG Spielmann advises CJEU to rule that a derivative work may be original and protection could also stem from efforts to reconstruct missing parts in someone els...
ipkitten.blogspot.com·1d·
Discuss: ipkitten.blogspot.com
⚖️Emulation Ethics
Structural System Identification via Validation and Adaptation
arxiv.org·1d
🧠Machine Learning
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·21h·
Discuss: DEV
📊Feed Optimization
The Googly way of Making AI Agents
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Building A Wallet System - Part 1: Authentication with Apollo Server
dev.to·16h·
Discuss: DEV
🔌Interface Evolution
Deciding Termination of Simple Randomized Loops
arxiv.org·4d
🌳Persistent Data Structures