derived set
ncatlab.orgยท4h
๐ŸงฎAlgebraic Archives
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Godel's Incompleteness Theorem
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐Ÿ”คType Theory
Travels, 10
cameroncounts.wordpress.comยท4h
๐ŸŽฏPerformance Proofs
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.comยท2dยท
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ยท32m
โš”๏ธLean Tactics
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Belief elicitation in theory versus practice
statmodeling.stat.columbia.eduยท3h
๐Ÿง 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ยท10hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Exploring High Efficiency Web Analysis Results๏ผˆ1750876031390300๏ผ‰
dev.toยท57mยท
Discuss: DEV
๐ŸŒŠStream Processing
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท19h
๐ŸงฎProlog Parsing
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท11hยท
Discuss: DEV
๐Ÿ“Error Bounds
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท3h
๐Ÿ“Concrete Syntax
The more LLMs think, the worse they translate
nuenki.appยท7hยท
Discuss: Hacker News
โš™๏ธCompression Benchmarking
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
arxiv.orgยท1d
๐Ÿ—๏ธConstructive Mathematics
Double Maths First Thing: Issue 2A
aperiodical.comยท11h
๐Ÿ‘‘Isabelle