Skip to content
HomeVideos
AllLongsCategoriesPlaylists
BooksBlogsPodcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Living Computation: Robust-first programming in ULAM

    Dave Ackley

    2 HN recommenders · recommended in 4 months, 2015–2025

    YouTube

    15:03 · 3.9K views · Sep 8, 2015

    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.

    Hardware & ElectronicsComputer architecture & CPUsProgramming language design
    1. 14:46
      Robust-first computing: Beyond efficiencyDave Ackley7.9K views • 13 years ago
    2. 27:13
      Robust-first computing: Demon Horde Sort (full version)Dave Ackley14K views • 13 years ago
    3. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    4. 1:03:31
      Brian Goetz - Stewardship: the Sobering PartsClojureTV39K views • 11 years ago
    5. 59:23
      28c3: The Science of Insecurity28c342K views • 14 years ago
    6. 40:00
      "Agility & Robustness: Clojure spec" by Stuart HallowayStrange Loop Conference25K views • 10 years ago
    7. 54:14
      Zig: A programming language designed for robustness, optimality, and clarity –  Andrew KelleyRecurse Center75K views • 8 years ago
    8. 36:58
      "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference26K views • 9 years ago
    9. 25:06
      "Making Impossible States Impossible" by Richard Feldmanelm-conf63K views • 10 years ago
    10. 1:14:52
      Effective Programs - 10 Years of Clojure - Rich HickeyClojureTV176K views • 9 years ago
    11. 1:04:16
      Simon Peyton-Jones: Escape from the ivory tower: the Haskell journeyChurchill College, University of Cambridge170K views • 9 years ago
    12. 51:32
      Great Impractical Ideas in Computer Science: PowerPoint ProgrammingTom Wildenhain2.2M views • 7 years ago
    13. 44:43
      Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry OnCurry On!25K views • 11 years ago
    14. 1:00:10
      Functional architecture - The pits of success - Mark SeemannNDC Conferences152K views • 10 years ago
    15. 17:26
      Lecture 1 | Programming Paradigms (Stanford)Stanford1.2M views • 18 years ago
    16. 34:55
      "Outperforming Imperative with Pure Functional Languages" by Richard FeldmanStrange Loop Conference98K views • 5 years ago
    17. 41:06
      "Unison: a new distributed programming language" by Paul ChiusanoStrange Loop Conference45K views • 7 years ago
    18. 56:39
      Alan Kay - Programming and ScalingColin McDonnell36K views • 11 years ago
    19. 36:14
      Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg RosenblattClojureTV7.9K views • 9 years ago
    20. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago

    4 comments from Hacker News

    1. @sgentleAug 2019· 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
    2. @DonHopkinsJul 2025· 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
    3. @akkartikJul 2019· 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
    4. @daveackleyNov 2015· 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