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

    "Production Prolog" by Michael Hendricks

    Strange Loop Conference

    6 HN recommenders · recommended in 8 months, 2015–2023

    YouTube

    39:58 · 58K views · Sep 21, 2014

    Michael Hendricks of PriceCharting shares tricks and pain points from running Prolog in production for 18 months at Strange Loop. It argues Prolog is a productive modern language beyond logic puzzles, and includes a demo of changing code mid-execution.

    It is the go-to answer to whether Prolog is used for real-world work, praised as a survey of its uses, advantages and drawbacks.

    Software Engineering & LanguagesFunctional programmingProgramming language design
    1. 43:04
      "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)Strange Loop Conference468K views • 4 years ago
    2. 56:03
      A Tour of PrologThe Power of Prolog33K views • 4 years ago
    3. 40:20
      "Shen: A Sufficiently Advanced Lisp" by Aditya SiramStrange Loop Conference26K views • 12 years ago
    4. 42:43
      "Propositions as Types" by Philip WadlerStrange Loop Conference144K views • 11 years ago
    5. 43:58
      "The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)Strange Loop Conference141K views • 3 years ago
    6. 42:31
      "Datafun: a functional query language" by Michael ArntzeniusStrange Loop Conference9.2K views • 9 years ago
    7. 39:40
      "Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference15K views • 8 years ago
    8. 46:17
      miniKanren - Dan Friedman and William ByrdClojureTV9.6K views • 13 years ago
    9. 1:01:39
      "Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference220K views • 5 years ago
    10. 41:06
      "Unison: a new distributed programming language" by Paul ChiusanoStrange Loop Conference45K views • 7 years ago
    11. 1:09:38
      "How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)Strange Loop Conference9.3K views • 5 years ago
    12. 45:50
      "The Mess We're In" by Joe ArmstrongStrange Loop Conference398K views • 12 years ago
    13. 47:41
      "Programming Should Eat Itself" by Nada AminStrange Loop Conference43K views • 12 years ago
    14. 59:03
      Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17Dyalog User Meetings7.2K views • 9 years ago
    15. 52:29
      "I See What You Mean" by Peter AlvaroStrange Loop Conference59K views • 11 years ago
    16. 1:12:10
      Practical Common LispGoogle TechTalks98K views • 19 years ago
    17. 1:12:56
      Lecture 1A | MIT 6.001 Structure and Interpretation, 1986MIT OpenCourseWare995K views • 17 years ago
    18. 59:04
      On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]PapersWeLove27K views • 7 years ago
    19. 7:48
      Conway's Game Of Life in APLDyalog236K views • 17 years ago
    20. 34:55
      "Outperforming Imperative with Pure Functional Languages" by Richard FeldmanStrange Loop Conference98K views • 5 years ago

    10 comments from Hacker News

    1. @abathologistMar 2015· in “Learn Prolog Now”

      You might be interested in these SO answers regarding "Real world Prolog Usage": [LINK] The answers are replete with claims about good use-cases for Prolog. Michael Hendricks' talk at last year's Strange Loop on "Production Prolog" gives an excellent high-level survey of the uses, advantages, and drawbacks of Prolog: this video BTW, I have played a tiny bit with Flora2 myself. It seemed really neat. If you're interested in the intersection of OO and Prolog, you may also want to look at Logtalk[0]. FWIW, if I understand your meaning correctly, it is very easy to "pass rules as parameters to other rules" in vanilla Prolog. It facilitates all sorts of higher-order approaches and is very good for meta-programming. [0]: [LINK]

      Strongly recommendsView on HN
    2. @samuellOct 2019· in “Swish: SWI Prolog Notebook”

      For an awesome video showcasing a bit of the real power of Prolog, you need to check (if you haven't already) this Strangeloop talk: "Production Prolog" by Michael Hendricks this video

      Strongly recommendsView on HN
    3. @profquailMar 2015· in “Learn Prolog Now”

      I found a page from 1994(!) asking the same question: [LINK] Given that Prolog isn't super-widely used (compared to say, C++), there are going to be a limited number of developers with Prolog expertise. That means companies who use it in their tech stack are generally going to have to hire developers who fit the other qualifications for the role then put them through some internal Prolog training. The listings for such positions probably won't have Prolog as a "required" skill but a "desired" skill. One other point -- just because there aren't any/many jobs where Prolog is required doesn't mean there aren't many cases where Prolog could be useful. Prolog hasn't been widely taught for a couple of decades, so a significant proportion of developers today won't recognize a problem that Prolog would be a good solution for as a problem that Prolog would be a good solution for. There's a Strange Loop 2014 talk on YouTube, "Production Prolog", that might give ideas about jobs that use (or could use) Prolog: this video

      RecommendsView on HN
    4. @simplifyApr 2020· in “Ask HN: How to rediscover the joy of programming?”

      I recommend starting with [0] to get a feel for what's possible. [1] is great when you have time to dive deeper. [2] is good motivation, and [3] will show you how to build a practical roles & permissions system. Keep in mind that you don't have to build your app in 100% prolog to use prolog. There are likely implementations in your favorite language. For example, Rust[a] JavaScript[b], and Ruby[c]. [0] [LINK] [1] [LINK] [2] this video [3] [LINK] [a] [LINK] [b] [LINK] [c] [LINK]

      RecommendsView on HN
    5. @StreamBrightApr 2017· in “The Power of Prolog”

      Same here, I don't think this is a particularly great way of starting with Prolog. I have found these videos helpful for understanding Prolog: [LINK] this video

      RecommendsView on HN