HackerTube

THE VIDEO SHELF · program synthesis

"Type-Driven Program Synthesis" by Nadia Polikarpova

Nadia Polikarpova's Strange Loop talk on program synthesis driven by refinement types, as in Synquid. It shows how rich type specifications can be turned into verified, executable code.

Watch & explore the libraryYouTube ↗

Why HN readers recommended it

HN points to it as a motivating introduction to what program synthesis is and what types can do for it.

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel
Strange Loop Conference
Topic
program synthesis
Format
talk
Level
intermediate
HN recommenders in dataset
2
HN mentions in dataset
4
Recommendation years in dataset
2018–2024

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

  • For an introduction and motivation to TLA+ I recommend Hillel Wayne's talk Everything About Distributed Systems is Terrible [0] and basically anything he has written on his blog about the TLA+. I think following along with the TLA+ video course is really thorough and digestible …

    agentultra on Hacker News · 2019-03
    In Keeping CALM: when distributed consistency is easy

  • Oh yeah, you just reminded me of this cool talk I saw at Strange Loop a while back. Not about the AI parts but re: program synthesis in Haskell: "Type-Driven Program Synthesis" by Nadia Polikarpova [VIDEO] Links to more projects and papers by Prof. Polikarpova: …

    ddellacosta on Hacker News · 2024-03
    In Show HN: Fructose – LLM calls as strongly typed functions

Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.

Keep exploring