⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

How Originalism Killed the Constitution
theatlantic.com·2h
📜Text Collation
Converting JWKS JSON to PEM using Python
akrabat.com·1d
📝ABNF Parsing
Animistic Physics
dothemath.ucsd.edu·22h
🏛️Philosophy
Unicode 17.0 Release Announcement
blog.unicode.org·15h
🔣Unicode
Recommended Books for Learning Ruby
rubynewbie.org·23h·
Discuss: Hacker News
📝Concrete Syntax
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·1d·
Discuss: Hacker News
🏺Kerberos Archaeology
Is using constructor in golang a bad pattern?
reddit.com·1d·
Discuss: r/golang
🔧Binary Parsing
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·17h·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·10h·
Discuss: Hacker News
🚀Indie Hacking
Eat Your Vegetables Before AI Dessert
writings.alethia.news·22h·
Discuss: Hacker News
⚙️Proof Engineering
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·20h·
Discuss: Hacker News
🌊Streaming Systems
What would you learn to become a "full stack web developer"?
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Macros
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·2d
🎙️Whisper
CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection
arxiv.org·2d
🔍Information Retrieval
AraHalluEval: A Fine-grained Hallucination Evaluation Framework for Arabic LLMs
arxiv.org·2d
💻Programming languages
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·1d
🤖Advanced OCR
Reconstruction Alignment Improves Unified Multimodal Models
arxiv.org·8h
📐Projective Geometry
13 MCP Servers Every Developer Should Use 💻
dev.to·1d·
Discuss: DEV
🔩Systems Programming
Automated Anomaly Detection in Nanopore Sequencing Data via Multi-Resolution Spectral Decomposition
dev.to·1d·
Discuss: DEV
🔍FLAC Forensics
You are not going to turn into Google eventually
idiallo.com·1h·
Discuss: Hacker News
❄️Nix Flakes