HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

Living Computation: Robust-first programming in ULAM

Dave Ackley2 HN recommenders · recommended in 2 months, 2015-2025
YouTube
4K views · 11 years ago · demo · evergreen

Dave Ackley presents robust-first computing and the ULAM programming language for the Movable Feast Machine, a cellular-automata-like architecture. It was a short video for the Future Programming Workshop 2015.

HN points to it as an entry into Ackley's indefinitely scalable computing project, with a network-switch demo recommended as the best place to start.

Computer architecture & CPUsProgramming language design#movablefeastmachine#ulam#cellularautomata#robustness#indefinitescalability

4 comments from Hacker News

@DonHopkins2025 · in “LLMs bring new nature of abstraction – up and sideways”

Me to, and I'm always battling with the LLM's obsession with lazily writing reams of ridiculously defensive code and masking errors in the code it generates and calls, instead of finding the root cause and solving that. (Yes, I'm referring to the code LLMs generate, not the API for generating code itself, but "fail early and spectacularly" should apply to all code and apis.) But you have to draw the line at failures that happen in the real world, or in code you can't control. I'm a huge fan of Dave Ackley's "Robust First" computing architecture, and his Moveable Feast Machine. His "Robust First" philosophy is extremely relevant and has a lot of applications to programming with LLMs, not just hardware design. Robust First | A conversation with Dave Ackley (T2 Tile Project) | Functionally Imperative Podcast link Robust-first computing: Beyond efficiency link Bottom up engineering for robust-first computing link Living Computation: Robust-first programming in ULAM ▶ this video link DonHopkins on Feb 11, 2020 | parent | context | favorite | on: Growing Neural Cellular Automata: A Differentiable... Also check out the "Moveable Feast Machine", Robust-first Computing, and this Distributed City Generation example: link DonHopkins on Oct 26, 2017 | parent | favorite | on: Cryptography with Cellular Automata (1985) [pdf] A "Moveable Feast Machine" is a "Robust First" asynchronous distributed fault tolerant cellular-automata-like computer architecture. It's similar to a Cellular Au

RecommendsView on HN
@sgentle2019 · in “Local Routing in a new Indefinitely Scalable Architecture [pdf]”

I'll always upvote Dave Ackley. His vision for computing is so audacious it seems unbelievable. Global consistency? Don't need it! Determinism? An illusory safety blanket for wimps and suckers! Sure, everyone talks a big game about eventual consistency, but who's signing up to use an eventually consistent CPU? Dave freakin' Ackley, that's who. And the whole thing would sound like blue-sky bullshit except he's out there actually building it. I think the best place to start is this demo of a network switch made out of cells: ▶ this video (and then watch the rest of the video if you liked that) His more recent videos are weekly updates on a "T2 Tile" prototype made out of 3d printed parts, custom PCBs, and like a hundred BeagleBones: link Also, all his code is on GitHub: link

Strongly recommendsView on HN
@akkartik2019 · in “Robust-First Computing: Distributed City Generation (2015) [video]”

More links. The underlying project for programming using Cellular Automata: ▶ this video . Previously on HN: link There's a Youtube channel: link Sources: link Paper for city generation in particular: link

CitesView on HN
@daveackley2015 · in “The Movable Feast Machine”

There's also a more recent 'router' demo(1) that -- though still rigid and rectangular -- does build its own boundary rather than relying on the grid boundary. (1) ▶ this video

CitesView on HN
Robust-first computing: Beyond efficiency14:46

Robust-first computing: Beyond efficiency

Dave Ackley
8K views • 13 years ago
Robust-first computing: Demon Horde Sort (full version)27:13

Robust-first computing: Demon Horde Sort (full version)

Dave Ackley
14K views • 13 years ago
"Agility & Robustness: Clojure spec" by Stuart Halloway40:00

"Agility & Robustness: Clojure spec" by Stuart Halloway

Strange Loop Conference
25K views • 10 years ago
"Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
143K views • 11 years ago
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram36:58

"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram

Strange Loop Conference
26K views • 9 years ago
Zig: A programming language designed for robustness, optimality, and clarity –  Andrew Kelley54:14

Zig: A programming language designed for robustness, optimality, and clarity –  Andrew Kelley

Recurse Center
75K views • 8 years ago
Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On44:43

Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On

Curry On!
25K views • 11 years ago
Brian Goetz - Stewardship: the Sobering Parts1:03:31

Brian Goetz - Stewardship: the Sobering Parts

ClojureTV
39K views • 11 years ago
Lecture 1 | Programming Paradigms (Stanford)17:26

Lecture 1 | Programming Paradigms (Stanford)

Stanford
1.2M views • 18 years ago
Edward Kmett - Type Classes vs. the World1:42:53

Edward Kmett - Type Classes vs. the World

Boston Haskell
36K views • 11 years ago
Great Impractical Ideas in Computer Science: PowerPoint Programming51:32

Great Impractical Ideas in Computer Science: PowerPoint Programming

Tom Wildenhain
2.2M views • 7 years ago
28c3: The Science of Insecurity59:23

28c3: The Science of Insecurity

28c3
42K views • 14 years ago
"Systems that run forever self-heal and scale" by Joe Armstrong (2013)1:10:23

"Systems that run forever self-heal and scale" by Joe Armstrong (2013)

Strange Loop Conference
85K views • 5 years ago
Lars Bak - The Making of a Secure and Robust IoT Development Platform1:06:20

Lars Bak - The Making of a Secure and Robust IoT Development Platform

Curry On!
3K views • 7 years ago
Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey1:04:16

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

Churchill College, University of Cambridge
170K views • 9 years ago
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt36:14

Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

ClojureTV
8K views • 9 years ago
Alan Kay - Programming and Scaling56:39

Alan Kay - Programming and Scaling

Colin McDonnell
36K views • 11 years ago
Functional architecture - The pits of success - Mark Seemann1:00:10

Functional architecture - The pits of success - Mark Seemann

NDC Conferences
152K views • 10 years ago
Stanford Seminar - Concatenative Programming: From Ivory to Metal1:04:45

Stanford Seminar - Concatenative Programming: From Ivory to Metal

Stanford Online
14K views • 8 years ago
"Making Impossible States Impossible" by Richard Feldman25:06

"Making Impossible States Impossible" by Richard Feldman

elm-conf
63K views • 10 years ago