Recursion schemes | Category theory
In computer science, and in particular functional programming, a hylomorphism is a recursive function, corresponding to the composition of an anamorphism (which first builds a set of results; also known as 'unfolding') followed by a catamorphism (which then folds these results into a final return value). Fusion of these two recursive computations into a single recursive pattern then avoids building the intermediate data structure. This is an example of deforestation, a program optimization strategy. A related type of function is a metamorphism, which is a catamorphism followed by an anamorphism. (Wikipedia).
Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC
From playlist Computer Science Concepts
Computer Science and Homotopy Theory - Vladimir Voevodsky
Vladimir Voevodsky Professor, School of Mathematics April 27, 2011 For more videos, visit http://video.ias.edu
From playlist Mathematics
Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------
From playlist Computer Science
The Biggest Misconception about Computer Science Degrees
There are often misconceptions of what to expect from a Computer Science degree and what you learn. One in particular - well, I guess two - are really at the forefront that could give prospective Computer Science students false information. I'd love to hear your thoughts on the subject.
From playlist Computer Science
Ash‘arism Encounters Avicennism: Sayf Al-Dīn Al-Āmidī (d. 631/1233) on Creation - Laura Hassan
Author’s Voice Topic: Ash‘arism Encounters Avicennism: Sayf Al-Dīn Al-Āmidī (d. 631/1233) on Creation Speaker: Laura Hassan Affiliation: Associate Faculty Member, Faulty of Oriental Studies, University of Oxford Date: December 9, 2021 Competing theories about the origins of the cosmos ha
From playlist Historical Studies
Linguistic Engineering - Computers and Linguistics
This introductory E-Lecture about Linguistic Engineering discusses the role of the computer in linguistics. Furthermore, it defines Artificial Intelligence and Computational Linguistics from a theoretical and a practical point of view. Numerous examples illustrate Handke's main points.
From playlist Linguistic Engineering
Why Study Computer Science? | College Majors | College Degrees | Study Hall
What can you do with a Computer Science major? In Computer Science you can expect to study discrete mathematics, probability and statistics, linear algebra, physics and so much more. Basically, Computer Science is the study of computer systems and how they function. If you want to dig de
From playlist Fast Guides: To Electives and Majors
Thoughts, Thinking, & Thinkers (Tim Crane - 2017 Frege Lectures)
Professor Tim Crane gives a series of talks called "Thoughts, Thinking, & Thinkers" as part of the 2017 Frege Lectures in theoretical philosophy at the University of Tartu. Note, this is a re-upload. One of Frege’s most famous principles was ‘always to separate sharply the psychological
From playlist Philosophy of Mind
COMPUTER SCIENCE TERMINOLOGY 2
Welcome to part two of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We started with the basics in part one and get a bit more complex in this episode. --------------------------------------------
From playlist Computer Science
Unix for Programmers - My Computer Science Degree in the Real World
I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu
From playlist Computer Science
Monodromy of nFn−1 hypergeometric functions and arithmetic groups I - T.N. Venkatara
Speaker: T. N. Venkataramana (TIFR) Title: Monodromy of nFn−1 hypergeometric functions and arithmetic groups I Abstract: We describe results of Levelt and Beukers-Heckman on the explicit computation of monodromy for generalised hypergeometric functions of one variable. We then discuss the
From playlist Mathematics
Creating World Class Computer Science at Stanford
The panelists discussed Stanford's Computer Science Department within the historical context of higher education, technological innovations, and the Silicon Valley. They talked about how it grew from the university’s administrative needs and those of science and engineering research.
From playlist Stanford Historical Society
Expanding the Frontiers of Computer Science Education
by Mehran Sahami, Professor (Teaching) of Computer Science, Associate Chair for Education and Director of Educational Affairs, Computer Science, Robert and Ruth Halperin, University Fellow in Undergraduate Education
From playlist Stanford Computer Science 50th Anniversary
Summer App Space: Demo Day Keynote Speaker: Professor Coleen Lewis - 8/4/17
Dr. Colleen Lewis is a professor of computer science at Harvey Mudd College who specializes in computer science education. Lewis researches how people learn computer science and how people feel about learning computer science. Her research seeks to identify effective teaching practices for
From playlist Innovation Speaker Series - Summer App Space 2017
Everything You Need to Know as a Computer Science Student
Get two months of Skillshare Premium for free --- https://bit.ly/forrestknight18 My answers to every computer science question asked by y'all. What's the best/most useful major in computer science? I want to be a software engineer. (0:33) What part time jobs should I get as a computer s
From playlist Computer Science
The Open Source Computer Science Degree
This is my curated list of free courses from reputable universities like MIT, Stanford, and Princeton that satisfy the same requirements as an undergraduate Computer Science degree, minus general education. Everything is open source online and free. My GitHub Repo --- https://github.com/F
From playlist Computer Science
Open Source Computer Science Degree
In this video, I will be taking you through the various resources that make up the open-source computer science degree. The OSSU curriculum is a complete education in computer science using online materials. It's not merely for career training or professional development. It's for those wh
From playlist Ethical Hacking & Penetration Testing - Complete Course
27c3: Hackers and Computer Science (en)
Speaker: Sergey Although most academics and industry practitioners regard "hacking" as mostly ad-hoc, a loose collection of useful tricks essentially random in nature, I will argue that hacking has in fact become a "distinct research and engineering discipline" with deep underlying engine
From playlist 27C3: We come in peace
Panel Discussion on Teaching Computational Social Science
This event held on June 22, 2020 was part of the 2020 SICSS Festival. Speakers: Matti Nelimarkka (SICSS-Princeton 17, SICSS-Helsinki 18, SICSS-Istanbul 19, 20), Rochelle Terman (SICSS-Princeton 17), and Jae Yeon Kim (SICSS-Princeton 19, SICSS-Bay Area 20) Moderator: Matthew Salganik (SIC
From playlist All Videos