In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The Church numerals are a representation of the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way. Terms that are usually considered primitive in other notations (such as integers, booleans, pairs, lists, and tagged unions) are mapped to higher-order functions under Church encoding. The Church-Turing thesis asserts that any computable operator (and its operands) can be represented under Church encoding. In the untyped lambda calculus the only primitive data type is the function. (Wikipedia).
The fidelity on the QR code and noise applied is superb - so impressed with this work. The source is here: https://gist.github.com/remy/9383007af8d54ce7a34505962ca45e7d
From playlist Speccy stuff
Bet You Didn't Know: Easter Traditions | History
How did Easter traditions like the Easter bunny and egg hunts become part of the holiday celebration? HISTORY®, now reaching more than 98 million homes, is the leading destination for award-winning original series and specials that connect viewers with history in an informative, immersive
From playlist Bet You Didn't Know | History
Christmas time is upon us and with that comes decorations, mistletoe, eggnog, and of course, our favorite jolly old man, Santa Claus. This icon of Christmas historically visits all of the good children of the world that celebrate Christmas and gives them presents. While we know without a d
From playlist Concerning Engineering
Installing TrueType fonts on openSUSE 11.2
More videos like this at http://www.theurbanpenguin.com : A simple demonstration on how to install TrueType fonts in openSUSE 11.2
From playlist Linux
Lambda Calculus - Computerphile
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus. http://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: http://bit.ly/nott
From playlist Subtitled Films
RubyConf 2021 - Programming with Something by Tom Stuart
Programs which manipulate other programs are extremely fun and incredibly powerful. To write them, we need a way to represent code as a data structure which we can analyse, manipulate and eventually execute. In this talk we’ll learn how to store executable code as data in Ruby, and explore
From playlist RubyConf 2021
6. TM Variants, Church-Turing Thesis
MIT 18.404J Theory of Computation, Fall 2020 Instructor: Michael Sipser View the complete course: https://ocw.mit.edu/18-404JF20 YouTube Playlist: https://www.youtube.com/playlist?list=PLUl4u3cNGP60_JNv2MmK3wkOt9syvfQWY Quickly reviewed last lecture. Showed that various TM variants are al
From playlist MIT 18.404J Theory of Computation, Fall 2020
George Church, PhD: Rewriting Genomes to Eradicate Disease and Aging
George Church, Ph.D. is a professor of genetics at Harvard Medical School and of health sciences and technology at both Harvard and the Massachusetts Institute of Technology. Dr. Church played an instrumental role in the Human Genome Project and is widely recognized as one of the premier s
From playlist Interviews
Follow Christian Löffler: http://www.christian-loeffler.net https://web.facebook.com/christianloefflerofficial https://soundcloud.com/christianloeffler Tracklist: 1. Myiami 2. Athlete 3. Neo 4. Mosaics 5. lid 6. Silk 7. Haul 8. Wilderness 9. Swim
From playlist Classical
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
English Bible Translations Family Tree
Download the chart: https://usefulcharts.com/blogs/charts/english-bible-translations-family-tree CREDITS: Charts & Narration by Matt Baker Animation by Syawish Rehman Intro music: "Lord of the Land" by Kevin MacLeod and licensed under Creative Commons Attribution license 4.0. Available f
From playlist Religious Studies
SBERT: CROSS - ENCODER for Zero-Shot Classification, Question & Answer (QA), Update 2022 (SBERT 27)
SBERT Sentence Transformers include Cross-Encoders for sentence pair score (Question and Answer - QA) and zero-shot classification tasks. Pytorch code in Jupyter, Colab. Cross-encoder are pre-trained from HuggingFace for Zero-Shot classifications or Question and Answer (QA) w/ long sequ
From playlist Learn SBERT CROSS-Encoder: Sentence Transformers for Semantic Search, Zero-shot, QA and Domain Knowledge Transfer
Adding vs. concatenating positional embeddings & Learned positional encodings
When to add and when to concatenate positional embeddings? What are arguments for learning positional encodings? When to hand-craft them? Ms. Coffee Bean’s answers these questions in this video. Outline: 00:00 Concatenated vs. added positional embeddings 04:49 Learned positional embedding
From playlist The Transformer explained by Ms. Coffee Bean
Deep thoughts: Theory of Computation (Apr 27, 2021)
This is a recording of a live class for Math 3342, Theory of Computation, an undergraduate course for math & computer science majors at Fairfield University, Spring 2021. Download class notes from class website. Class website: http://cstaecker.fairfield.edu/~cstaecker/courses/2021s3342/
From playlist Math 3342 (Theory of Computation) Spring 2021
Theory of Computation: The Halting Problem
This video is for my Spring 2020 section of MA 342, for the class meeting on Tuesday April 21. Fast forward music is from "Now Get Busy" by the Beastie Boys, licensed Creative Commons Noncommercial Sampling Plus.
From playlist Math 342 (Theory of Computation) Spring 2020
The Mysterious Origins of Easter
Easter is one of the most important celebrations in Christianity. So why do some people believe it was originally a pagan ritual? SUBSCRIBE | http://bit.ly/stdwytk-sub WEBSITE | http://bit.ly/stdwytk-home AUDIO PODCAST | http://bit.ly/stdwytk-audio-itunes TWITTER | http://bit.ly/s
From playlist Strange Stuff