The Universality of the Lambda Calculus
This post demonstrates that the lambda calculus can simulate any Turing machine.
From Kagi Small Web
Discover
Wander the web like a shoreline.
Something new washes up every time: pages from all kinds of people, made with all kinds of tools. Beachcomb shows you what it found, then gets out of the way.
Pick a few topicsWhat is double cover
In this article, we will talk about double cover . We will not discuss about \(SU(2)\) , \(SO(3)\) or spinors, as there are enough videos on YouTube on this topic; you may pick your preferred flavor of education and watch them. Here’s what I get from guessing, without reading any literature:…
From Kagi Small Web
Surprises in time series analysis
Part of Time Series Connect webinar series Monday 26 October 2026, 6:00 PM Eastern Time Abstract I will present a statistical framework for identifying anomalies in three time series settings: unusual observations within a single historical series, unusual series within a large collection, and…
Something different
How Voting Is Like a Klein Bottle
A new topological model connects a centuries-old voting paradox to a surface with no distinct inside or outside. The post How Voting Is Like a Klein Bottle first appeared on Quanta Magazine
From Quanta Magazine
AI Proved the Quasi-Riemann Hypothesis. What Happens Now?
Unlike other recent AI proofs, this one has been unpacked by human experts. The implications, one mathematician said, are “staggering.” The post AI Proved the Quasi-Riemann Hypothesis. What Happens Now? first appeared on Quanta Magazine
Something different
That's this stretch.
Walk on