⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·4d
⚔️Lean Tactics
Semantic Kernel for JavaScript
kerneljs.com·1h·
Discuss: Hacker News
🎙️Whisper
A Rubyist's guide to big-O notation
honeybadger.io·4d
🌳Trie Structures
adityachandelgit/BookLore
github.com·19h
🔄Sync Engine
Microservices to Monolith, Rebuilding Our Back End in Rust
influxdata.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Agile Was Never Your Problem
thecynical.dev·2h·
Discuss: Lobsters, Hacker News
🔄Language Evolution
Linux to DevOps journey
dev.to·1d·
Discuss: DEV
❄️Nix Adoption
What is Infrastructure as Code (IaC) and why It's a Game-Changer in DevOps
dev.to·2h·
Discuss: DEV
🧱Immutable Infrastructure
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Exposure Protocol: Information Disclosure in the Wild [Part 4] ️
infosecwriteups.com·1d
🏺ZIP Archaeology
Complete Tutorial: Building Your First React Component on Paseo Network with PAPI Simulator
dev.to·2d·
Discuss: DEV
✅Format Verification
The Untold Worker Exploitation Behind Large Language Models
hackernoon.com·20h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Data Types, Data Structures, and Abstract Data Types – What’s the Difference
dev.to·2d·
Discuss: DEV
🧮Algebraic Datatypes
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·3d
✅Format Verification
LR(1) parse-tables generator
github.com·5d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Machine Learning Fundamentals: anomaly detection with python
dev.to·5h·
Discuss: DEV
👁️Observatory Systems
Navigating the Future of Tech: Trends, Innovations, and Best Practices Every New Developer Should Know
dev.to·5h·
Discuss: DEV
🔄Language Evolution
I built a Swift GraphQL client that generates the query using macros
github.com·3d·
Discuss: Hacker News
✅Format Verification
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·6d
λLambda Encodings
Perfect Landing: Hug Your Cat Day
dev.to·9h·
Discuss: DEV
🔗Concatenative Programming