Alonzo Church

Atrial Cross, convento, Acolman

Atrial Cross, convento San Agustín de Acolman, mid-16th century Speakers: Dr. Lauren Kilroy-Ewbank and Dr. Beth Harris For more on this cross and more art history: http://smarthistory.org/atrial-cross-acolman/.

From playlist Art of the Americas to World War I | Art History | Khan Academy

I believe in Christ

my cover of the LDS hymn #134, "I believe in Christ"

From playlist music

ARTH 2020/4037 15th Century Italian Renaissance Sculpture

Art Historian Dr. Vida Hull ETSU Online Programs - http://www.etsu.edu/online Italian Renaissance Art History Survey II

From playlist ETSU: ARTH 4037 Italian Renaissance | CosmoLearning.org Art

Stanford Seminar - Preventing Successful Cyberattacks Using Strongly-typed Actors

Carl Hewitt MIT John Perry Stanford University UC Riverside June 17, 2021 Carl and John discuss how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambi

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

LAMBDA Functions: Powerful And Elegant Abstractions

Python’s lambda, a tiny anonymous function, can be useful in a pinch when you’re feeling too lazy to type that extra d-e-f. But did you know that behind this little lambda is actually one of the most powerful & elegant abstractions in the history of computer science? The lambda calculus,

From playlist Functional Programming

Lambda Functions Debut In Excel - 2381

New! Post your LAMBDA functions to https://www.mrexcel.com/board/forums/excel-lambda-functions.40/ Ground-breaking news in Excel. The partner to the LET function was just released. Check out the new LAMBDA function in Excel. This makes the Excel formula language Turing Complete. Store for

From playlist New in 2020

Nicola and Giovanni Pisano, 1260-1301

Nicola Pisano, Pulpit, Pisa Baptistery, 1260 Giovanni Pisano, Slaughter of the Innocents, Marble, 1301, Pulpit, Sant'Andrea church, Pistoia Speakers: Dr. David Drogin, Dr. Beth Harris. Created by Beth Harris and Steven Zucker.

From playlist Renaissance & Reformation in Europe | Art History | Khan Academy

History of Arch Lecture 25 Michelangelo

From playlist Ohio State: History of Architecture I with Prof. Jacqueline Gargus | CosmoLearning

BeDMaSH - Christos Vasilakis

From playlist BeDMaSH

Church and Monastery of St. Francis in Quito Ecuador - Galapagos Islands Vacation

Before flying to the Galapagos Islands, we spent an entire day in Quito, Ecuador. The Church and Convent of St. Francis (Spanish: Iglesia y Convento de San Francisco), commonly known as el San Francisco, is a 16th-century Roman Catholic complex in Quito, Ecuador. It fronts onto its namesak

From playlist Galapagos Islands Trip - Celebrity Flora

Pozzo, Saint Ignatius Chapel, Il Gesù

Andrea Pozzo, Saint Ignatius Chapel in the left transept of the church, Il Gesù, Rome (commissioned in 1695). Many artists contributed including Alessandro Algardi, Pierre Legros, Bernardino Ludovisi, Il Lorenzone and Jean-Baptiste Théodon. Materials include bronze, gold, silver, and many

From playlist Baroque to Neoclassical art in Europe | Art History | Khan Academy

10.2.6 Computability, Universality

MIT 6.004 Computation Structures, Spring 2017 Instructor: Chris Terman View the complete course: https://ocw.mit.edu/6-004S17 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP62WVs95MNq3dQBqY2vGOtQ2 10.2.6 Computability, Universality License: Creative Commons BY-NC-SA M

From playlist MIT 6.004 Computation Structures, Spring 2017

We Love our Parents

From playlist Life at ASU

!!Con 2022 - La-La-Lambda Calculus: A Functional Musical Journey! by Anjana Vakil

La-La-Lambda Calculus: A Functional Musical Journey! The lambda calculus is a logical formalism that lets us represent programs - all their logic and data - as nothing but pure, anonymous, single-parameter functions. Numbers, operators, booleans, control flow, data structures… any way you

From playlist !!Con 2022

Live CEOing Ep 589: Language Design in Wolfram Language [SystemException, CosineDistance & More]

In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram

From playlist Behind the Scenes in Real-Life Software Design

Stanford Seminar - Propositions as Types

"Propositions as Types" - Philip Wadler of University of Edinburgh About the talk: The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of the

From playlist Engineering

Family At Christmas Tree

Isaac, Hien Luong, Dennis Big D Ho at the Christmas tree

From playlist Family Videos

Computation Ep26, Turing Machine basics (Apr 5, 2022)

This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math and computer science majors at Fairfield University, Spring 2022. The course is about finite automata, Turing machines, and related topics. Homework and handouts at the class websi

From playlist Math 3342 (Theory of Computation) Spring 2022

Lecture 5B: Computational Objects

MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005 Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman View the complete course: https://ocw.mit.edu/6-001S05 YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090 Computational Objects D

From playlist MIT 6.001 Structure and Interpretation, 1986

Charlie Hall sings "Rock of Ages"

Charlie Hall sings "Rock of Ages" at the Community Coffeehouse in Danbury, CT. For more info go to www.communitycoffeehouse.org

From playlist Sunday Morning Worship 9.17.17