The philosopher Dan Dennett, in his recent book Intuition Pumps and Other Tools For Thinking, devotes a rather large section to URMs titled The Seven Secrets Of Computing Power Revealed.
I will demo a DSL, that is an interesting use of higher order functions, for a kind of URM . The hope is that by simulating the simplest possible register machine and building up complex algorithms you can understand what it means to compute, how a computer works and along the way we will prove the undecidability of the Halting Problem.
YOU MAY ALSO LIKE:
- The Genuine Sieve of Eratosthenes (SkillsCast recorded in September 2015)
- E113 - Dr Philip Conway - Peril Pricing in Insurance & What It Means for You (Online Meetup on 14th August 2022)
- LJC: I Started Testing In Production... Then I Went On Holiday (Online Meetup on 15th August 2022)
- Keynote — Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation (SkillsCast recorded in November 2021)
- Adopting F# on a Consultancy Project: From Zero to MVP to V0 Launch (SkillsCast recorded in October 2021)
Unlimited Register Machines
Tom Hall
Doing a mixture of Dev and Ops that might be called DevOps. Tom is a mathematician, theatre fan, occasional mountaineer, part time runner, thoroughly nice chap and available in fine bookstores everywhere.