Ruby Conference 2007 Essential Incompleteness in Program Modeling by Luke Kanies

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Teaches Gödel's incompleteness theorem applied to program modeling and its implications. Instruction in mathematical foundations of computation and limits of systems.

A 44-minute video from Confreaks: “Ruby Conference 2007 Essential Incompleteness in Program Modeling by Luke Kanies”.

Programming & CS Philosophy

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

Part of Ruby Conference 2007

Consciousness in Artificial Intelligence | John Searle | Talks at Google Talks at GooglePhilosophy

481K views

Joscha: Computational Meta-Psychology media.ccc.dePhilosophy

85.2K views

Joscha: From Computation to Consciousness (31c3)Joscha BachPhilosophy

28.5K views

Seymour Papert 1983 Cynthia SolomonLectures

28.2K views

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich ConfreaksProgramming & CS

65.7K views

RailsConf 2014 - All the Little Things by Sandi Metz ConfreaksProgramming & CS

190K views

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

Intro25.1M views

The spelled-out intro to neural networks and backpropagation: building micrograd Andrej KarpathyProgramming & CS

Intro4.41M views

Let's build GPT: from scratch, in code, spelled out.Andrej KarpathyProgramming & CS

8.21M views

Transformers, the tech behind LLMs | Deep Learning Chapter 5 3Blue1BrownProgramming & CS

Intro11.6M views

24:26

The Beauty of Bézier Curves Freya HolmérProgramming & CS

2.23M views

58:19

Irving Finkel | The Ark Before Noah: A Great Adventure The Institute for the Study of Ancient CulturesHistory

Intro5.09M views

Consciousness in Artificial Intelligence | John Searle | Talks at Google

Talks at Google

481K views

John Searle argues that syntax isn't semantics — the Chinese Room — and that computation alone can't produce consciousness, then takes questions from Google engineers.

Joscha: Computational Meta-Psychology

media.ccc.de

85.2K views

Joscha Bach's 32C3 talk on computational meta-psychology: how a mind could be built from computational principles and what that says about motivation and consciousness.

Joscha: From Computation to Consciousness (31c3)

Joscha Bach

28.5K views

Cognitive scientist Joscha Bach outlines a computational account of mind, from how minds model the world to how consciousness might arise.

Seymour Papert 1983

Cynthia Solomon

28.2K views

A 1983 excerpt of Seymour Papert, creator of Logo, on children learning abstract ideas by acting out the turtle.

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

Confreaks

65.7K views

Jim Weirich derives the Y combinator live, step by step, using nothing but Ruby lambdas, and along the way teaches the refactorings of lambda calculus.

RailsConf 2014 - All the Little Things by Sandi Metz

Confreaks

190K views

Sandi Metz refactors the notorious Gilded Rose kata live, showing how small, disciplined steps and duplication-over-wrong-abstraction lead to clean object-oriented code.

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.

The spelled-out intro to neural networks and backpropagation: building micrograd

Andrej Karpathy

Intro4.41M views

Building micrograd, a tiny autograd engine, to understand backpropagation completely.

Let's build GPT: from scratch, in code, spelled out.

Andrej Karpathy

8.21M views

Building a GPT-style language model from scratch in code, following 'Attention Is All You Need'.

Transformers, the tech behind LLMs | Deep Learning Chapter 5

3Blue1Brown

Intro11.6M views

How transformer models (the 'T' in GPT) turn text into vectors and predict the next token, step by step.

24:26

The Beauty of Bézier Curves

Freya Holmér

2.23M views

Freya Holmér builds Bézier curves from linear interpolation up, covering de Casteljau's algorithm, derivatives, arc length and their use in games and graphics.

58:19

Irving Finkel | The Ark Before Noah: A Great Adventure

The Institute for the Study of Ancient Cultures

Intro5.09M views

Irving Finkel of the British Museum tells how he decoded a cuneiform tablet describing a round ark, and what Mesopotamian flood stories reveal about the Genesis account.