⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.org·2d
🌊Stream Ciphers
A Rubyist's guide to big-O notation
honeybadger.io·5d
🌳Trie Structures
Idler Game Loop
samhogy.co.uk·12h·
Discuss: Hacker News
🕹Emulation
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·5d
⚖️Hoare Logic
Flame Graph Performance Truth Analysis（1750918443851900）
dev.to·3d·
Discuss: DEV
⚡Performance Tools
⚔️ The Josephus Problem Explained: Constant-Time Solution for k = 2
dev.to·3d·
Discuss: DEV
🌳Trie Structures
HackTheSite Basic 6
dev.to·1d·
Discuss: DEV
🔓Password Cracking
🧠 Day 01: Python Basics Unlocked – Variables, Operators & I/O
dev.to·1d·
Discuss: DEV
📚Lempel-Ziv
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·4d·
Discuss: Hacker News
🌀Brotli Internals
Examples of Rust bindings for C++ libraries using CXX
reddit.com·20h·
Discuss: r/rust
🦀Rust Macros
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
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·7h·
Discuss: DEV
🧱Immutable Infrastructure
The Untold Worker Exploitation Behind Large Language Models
hackernoon.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿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
Navigating the Future of Tech: Trends, Innovations, and Best Practices Every New Developer Should Know
dev.to·9h·
Discuss: DEV
🔄Language Evolution
I built a Swift GraphQL client that generates the query using macros
github.com·3d·
Discuss: Hacker News
✅Format Verification