HackerTube.dev

"I See What You Mean" by Peter Alvaro

Strange Loop Conference · 59.1K views · 2015-09-26 · 52:29

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

Peter Alvaro's Strange Loop 2015 talk argues that query languages let you state what you mean, and applies that to distributed programming. It covers Datalog, Dedalus and the Bloom lineage for reasoning about distributed systems.

On Hacker News

Recommended as a fantastic introduction to declarative and Datalog-based distributed systems and failure modeling.

Recommended by 6 HN people across 5 months · HN mentions 2016–2019

Topics

Distributed systemsDatabases & storageProgramming language design
Search by tags
datalogdedalusbloomquery languages

What people said

alexmingoia · 2019-03 · Strong recommendation

Not anything I’d want to use. The closest is prolog. But at a higher level this is what Eve attempted to do. Eve was built using the semantics of Dedalus which is built from datalog. I highly recommend watching Peter Alvaro’s Strangeloop talk about creating Dedalus - it’s exactly the same train of thought you’re onto. [VIDEO]

Read the original HN comment ↗
roller · 2016-10 · Strong recommendation

For an introduction to Dedalus with less reading, Peter Alvaro's 2015 Strange Loop talk was fantastic. [VIDEO] --- Edit: Actually Chris Granger gave an Eve talk at the same conference. It's interesting to see how Eve has evolved since. [LINK]

Read the original HN comment ↗
ComNik · 2019-03 · Recommendation

If model-theoretic semantics and the various ways to slice, dice, and extend Datalog are interesting to you, then almost any talk by Peter Alvaro might be as well. In particular: [VIDEO]

Read the original HN comment ↗

Sources

Video by Strange Loop Conference, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources