⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Maria Farrell - Break Ground. Plant Seeds. Rewild the Internet!
labs.ripe.net·10h
📡DNS Archaeology
QtGrpc - Tips, Tricks & Sweet Spots
qt.io·14h
🌐Network Protocols
Test whether a large integer is a square
johndcook.com·3d
📐Interval Arithmetic
How to get a job at Canonical
ubuntu.com·12h·
Discuss: Hacker News
🗺️Competency Maps
It’s Sapolsky time: About that bogus claim that “chess grandmasters” burn 6000 calories per day
statmodeling.stat.columbia.edu·10h·
Discuss: Hacker News
🧠Intelligence Compression
A web tool extracting vocabulary from any web page in minutes
anyvocabulary.com·8h·
Discuss: Hacker News
🌀Brotli Internals
What's coming to JavaScript
deno.com·4d·
Discuss: Hacker News
🎯Gradual Typing
SQL injection vulnerability in WHERE clause allowing retrieval of hidden data — PortSwigger
infosecwriteups.com·16h
🗃️Database Forensics
ClassPilot v1.0.1
dev.to·14h·
Discuss: DEV
🔌Interface Evolution
A Playbook for Application Security Pentest Reports
infosecwriteups.com·1d
🕵️Penetration Testing
The Evolution of Caching Libraries in Go and Ristretto's zero hit rate mystery
maypok86.github.io·1d·
Discuss: Hacker News, r/golang
🔄Sync Engine
Top 10 SoapUI Alternatives That Won't Give You a Headache in 2025
dev.to·15h·
Discuss: DEV
🌐Web Standards
Node.js – Open-Sourced Identity
nodejs.org·1d·
Discuss: Hacker News
🏛Digital humanities
Ran out of idea for AI product, so I talked to Gemini
dev.to·1d·
Discuss: DEV
🏛Digital humanities
**Go Database Optimization: 5 Performance Patterns That Boost Application Speed by 700%**
dev.to·1d·
Discuss: DEV
🗄️Database Internals
Just a Baby in Coding (That's Okay)
dev.to·4d·
Discuss: DEV
λLambda Formalization
Asymmetric Graph Error Control with Low Complexity in Causal Bandits
arxiv.org·20h
🧠Machine Learning
Distilling Normalizing Flows
arxiv.org·3d
📥Feed Aggregation
Building Autonomous AI Agents in .NET: Let GPT Handle Your Business Workflows
dev.to·6h·
Discuss: DEV
⚡Proof Automation
How to Crater Your Database, Part Five - Summary
dev.to·3h·
Discuss: DEV
🗄️Database Internals