ETAPS 2023 - Verifying Probabilistic Programs: From Theory to Automation

Why it's on BrighterTube

Advanced · Editorial review · 85% confidence

Round-15 hunt: picked; source: named-course / course-code long-video search (r15, wave 2); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

What you'll learn

A 100-minute video from LIP6: “ETAPS 2023 - Verifying Probabilistic Programs: From Theory to Automation”.

Science & Math

Video by LIP6, played through YouTube's embedded player.

1:03:15

Du calcul mécanique au calcul quantique LIP6Science & Math

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math

Intro25.1M views

But what is the Fourier Transform? A visual introduction.3Blue1BrownScience & Math

Intro12.6M views

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005 MIT OpenCourseWareScience & Math

4.93M views

Math's Fundamental Flaw VeritasiumScience & Math

30.8M views

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)AT&T Tech ChannelEngineering

474K views

The Most Misunderstood Concept in Physics VeritasiumScience & Math

31.5M views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math

Intro9.37M views

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock CuriousMarcEngineering

465K views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering

857K views

27:13

The Longest Year in Human History (46 B.C.E.)Historia CivilisHistory

7.36M views

1. Introduction to Human Behavioral Biology StanfordScience & Math

Intro20.5M views

1:03:15

Du calcul mécanique au calcul quantique

LIP6

A 63-minute video from LIP6: “Du calcul mécanique au calcul quantique”.

But what is a neural network? | Deep learning chapter 1

3Blue1Brown

Intro25.1M views

Builds up what a neural network actually is — neurons as numbers, layers, weights and biases — using handwritten-digit recognition as the running example.

But what is the Fourier Transform? A visual introduction.

3Blue1Brown

Intro12.6M views

A visual introduction to the Fourier transform: winding a signal around a circle to find its frequencies.

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005

MIT OpenCourseWare

4.93M views

Gilbert Strang's first lecture of MIT 18.06: the geometry of linear equations.

Math's Fundamental Flaw

Veritasium

30.8M views

Gödel's incompleteness, Turing's halting problem and the limits of mathematics.

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)

AT&T Tech Channel

474K views

Bell Labs' J.N. Shive uses a mechanical wave machine to show reflection, standing waves, resonance and impedance matching — the ideas behind transmission lines.

The Most Misunderstood Concept in Physics

Veritasium

31.5M views

Entropy, the arrow of time and why the Sun is a source of low entropy rather than just energy.

Lecture 1: Introduction to Superposition

MIT OpenCourseWare

Intro9.37M views

MIT 8.04 Quantum Physics I, lecture 1: superposition, introduced through experiments with 'hardness' and 'color'.

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock

CuriousMarc

465K views

CuriousMarc opens an HP 5061A caesium beam clock and explains, module by module, how it locks to an atomic transition.

Doug McLean | Common Misconceptions in Aerodynamics

Michigan Engineering

857K views

Boeing aerodynamicist Doug McLean dismantles popular wrong explanations of lift and explains what really happens.

27:13

The Longest Year in Human History (46 B.C.E.)

Historia Civilis

7.36M views

How Julius Caesar's calendar reform produced the 445-day year of 46 BCE and gave us the Julian calendar.

1. Introduction to Human Behavioral Biology

Stanford

Intro20.5M views

Robert Sapolsky's opening lecture on human behavioral biology — and on avoiding categorical thinking.