derived set
ncatlab.org·9h
🧮Algebraic Archives
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Godel's Incompleteness Theorem
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Type Theory
Travels, 10
cameroncounts.wordpress.com·9h
🎯Performance Proofs
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·3d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.uk·2d
🔗Combinatory Logic
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Oxford Entrance Exam How Many Distinct Real Solutions
mindyourdecisions.com·5h
⚔️Lean Tactics
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Belief elicitation in theory versus practice
statmodeling.stat.columbia.edu·7h
🧠Intelligence Compression
Proving that every program halts
ntietz.com·2d
👑Isabelle
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·14h·
Discuss: Hacker News
🌀Brotli Internals
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·5h·
Discuss: DEV
🌊Stream Processing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·16h·
Discuss: DEV
📐Error Bounds
The more LLMs think, the worse they translate
nuenki.app·12h·
Discuss: Hacker News
⚙️Compression Benchmarking
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
arxiv.org·1d
🏗️Constructive Mathematics
A Principled Approach to Randomized Selection under Uncertainty
arxiv.org·19h
🌸Bloom Variants