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

    "Datafun: a functional query language" by Michael Arntzenius

    Strange Loop Conference

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

    YouTube

    42:31 · 9.2K views · Oct 2, 2017

    Michael Arntzenius's Strange Loop talk on Datafun, a functional query language that brings database-style querying into a general-purpose language. It discusses bridging database theory and programming languages.

    HN recommends it as an approachable talk on a total functional generalization of Datalog, by the language's author.

    Systems, Networks & SecurityDatabases & storageFunctional programmingProgramming language design
    1. 52:29
      "I See What You Mean" by Peter AlvaroStrange Loop Conference59K views • 11 years ago
    2. 36:31
      Hey Underscore, You're Doing It Wrong!InfoQ141K views • 13 years ago
    3. 1:06:24
      Rich Hickey: Deconstructing the DatabaseInfoQ106K views • 14 years ago
    4. 39:58
      "Production Prolog" by Michael HendricksStrange Loop Conference58K views • 12 years ago
    5. 43:04
      "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)Strange Loop Conference468K views • 4 years ago
    6. 41:06
      "Unison: a new distributed programming language" by Paul ChiusanoStrange Loop Conference45K views • 7 years ago
    7. 34:55
      "Outperforming Imperative with Pure Functional Languages" by Richard FeldmanStrange Loop Conference98K views • 5 years ago
    8. 40:20
      "Shen: A Sufficiently Advanced Lisp" by Aditya SiramStrange Loop Conference26K views • 12 years ago
    9. 43:16
      Pure Functional Programming in Excel • Felienne Hermans • GOTO 2016GOTO Conferences26K views • 10 years ago
    10. 53:22
      Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks66K views • 13 years ago
    11. 36:18
      "Data Driven UIs, Incrementally" by Yaron MinskyStrange Loop Conference20K views • 8 years ago
    12. 47:43
      "Turning the database inside out with Apache Samza" by Martin KleppmannStrange Loop Conference206K views • 12 years ago
    13. 45:50
      "The Mess We're In" by Joe ArmstrongStrange Loop Conference398K views • 12 years ago
    14. 39:15
      The Maximal Graph - Wilker SilvaClojureTV7.5K views • 6 years ago
    15. 1:12:56
      Lecture 1A: Overview and Introduction to LispMIT OpenCourseWare421K views • 7 years ago
    16. 40:55
      "Controlling Time and Space: understanding the many formulations of FRP" by Evan CzaplickiStrange Loop Conference69K views • 12 years ago
    17. 1:04:45
      Stanford Seminar - Concatenative Programming: From Ivory to MetalStanford Online14K views • 8 years ago
    18. 51:40
      Domain Modeling Made Functional - Scott WlaschinNDC Conferences71K views • 9 years ago
    19. 1:05:51
      The Functional Programmer's Toolkit - Scott WlaschinNDC Conferences79K views • 7 years ago
    20. 31:44
      The Value of Values with Rich HickeyInfoQ145K views • 14 years ago

    4 comments from Hacker News

    1. @fogzenJun 2025· in “Implementing Logic Programming”

      Yes, for some kinds of operations on some kinds of data structures. The keyword/property is "monotonicity". Monotonic functions are guaranteed to terminate under fixed-point semantics. Look into Datafun: A total functional language that generalizes Datalog. Also be sure to watch Datafun author Michael Arntzenius's Strangeloop talk. [LINK] this video

      RecommendsView on HN
    2. @a-salehMay 2018· in “A relatively simple Datalog engine”

      "Streams of solution trees" kinda reminds me of mikro-kanren [1]. When I was using Clojure roughly 3 years ago, kanren was quite popular embedded logic. W.r.t. Datafun, i learned about it from a talk its creator gave on strangeloop last year [2], for me it seemed quite approachable :) [1] [LINK] [2] this video

      RecommendsView on HN
    3. @tracnarJul 2022· in “Why Can't Database Tables Index Themselves? (2006)”

      This talk explored a bit that idea, you could have a (full) programming language which is more like SQL so you get good enough datastructures (and indexing- without manual tuning: this video I think Prolog (another commenter pointed it out) and datalog do this to some extend.

      CitesView on HN
    4. @refsetMar 2023· in “Deconstructing Datalog [pdf]”

      Thanks for sharing the summary. There's also this Strange Loop 2017 talk "Datafun: a functional query language" with an early overview of this research: this video

      CitesView on HN