Living Computation: Robust-first programming in ULAM
Dave Ackley2 HN recommenders · recommended in 2 months, 2015-2025
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.
14:46Robust-first computing: Beyond efficiency
Dave Ackley
8K views • 13 years ago
27:13Robust-first computing: Demon Horde Sort (full version)
Dave Ackley
14K views • 13 years ago
40:00"Agility & Robustness: Clojure spec" by Stuart Halloway
Strange Loop Conference
25K views • 10 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
36:58"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
26K views • 9 years ago
54:14Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley
Recurse Center
75K views • 8 years ago
44:43Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
25K views • 11 years ago
1:03:31Brian Goetz - Stewardship: the Sobering Parts
ClojureTV
39K views • 11 years ago
17:26Lecture 1 | Programming Paradigms (Stanford)
Stanford
1.2M views • 18 years ago
1:42:53Edward Kmett - Type Classes vs. the World
Boston Haskell
36K views • 11 years ago
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
2.2M views • 7 years ago
59:2328c3: The Science of Insecurity
28c3
42K views • 14 years ago
1:10:23"Systems that run forever self-heal and scale" by Joe Armstrong (2013)
Strange Loop Conference
85K views • 5 years ago
1:06:20Lars Bak - The Making of a Secure and Robust IoT Development Platform
Curry On!
3K views • 7 years ago
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
170K views • 9 years ago
36:14Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
8K views • 9 years ago
56:39Alan Kay - Programming and Scaling
Colin McDonnell
36K views • 11 years ago
1:00:10Functional architecture - The pits of success - Mark Seemann
NDC Conferences
152K views • 10 years ago
1:04:45Stanford Seminar - Concatenative Programming: From Ivory to Metal
Stanford Online
14K views • 8 years ago
25:06"Making Impossible States Impossible" by Richard Feldman
elm-conf
63K views • 10 years ago
4 comments from Hacker News
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
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
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
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