Elementary open problems in Algebra (with consequences in computational complexity) - Avi Wigderson
Computer Science/Discrete Mathematics Seminar II Topic: Elementary open problems in Algebra (with consequences in computational complexity) Speaker: Avi ...
Institute for Advanced Study
Stanford Seminar - Concatenative Programming: From Ivory to Metal
EE380: Computer Systems Colloquium Seminar Concatenative Programming: From Ivory to Metal Speaker: Jon Purdy, Microsoft Concatenative programming is ...
stanfordonline
Ron Pressler - The Practice and Theory of TLA+
Abstract “Thinking is not the ability to manipulate language; it's the ability to manipulate concepts. Computer science should be about concepts, not languages.
Curry On!
"Understanding TypeScript's Structural Type System" by Drew Colthorp
I was wrong. I thought TypeScript was something like a Java-ey type system layered atop JavaScript, bringing a dose of brittleness and losing the flexibility I ...
Strange Loop
Unix50 - Unix Today and Tomorrow: The Languages
Brian Kernighan discussed the little languages of Unix and how it works well with other programming languages while Bjarne Stroustrup focused on the journey ...
Nokia Bell Labs
The minimalist program and language acquisition
VideoLectures.Net Single Lectures Series View the complete series: http://videolectures.net/single_lecture_series/ Speaker: Noam Chomsky License: Creative ...
VideoLecturesChannel
Formal semantics and pragmatics: Origins, issues, impact
Barbara Partee, University of Massachusetts at Amherst Semantics” can mean quite different things in different contexts; fields concerned with semantics are as ...
Dartmouth
Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging
Future graphics and imaging applications�from photorealistic real-time rendering, to 4D light field cameras and pervasive sensing, to multi-material 3D ...
Microsoft Research
Mod-01 Lec-33 Syntax: Structure of an IP and Thematic Relations
Introduction to Modern Linguistics by Prof.Shreesh Chaudhary & Prof. Rajesh Kumar,Department of Humanities and Social Sciences,IIT Madras.For more details ...
nptelhrd
Human Language Sentences - Basic Parse Trees, X-Bar Theory & Ambiguity -- Linguistics 101
A short introduction to modern grammars of natural language. Use the fundamentals of generative grammar to learn about syntax (the grammar & rules of ...
NativLang
SYN125 - The Noun Phrase in PDE
In this E-Lecture, Prof. Dr. Handke outlines the structure of the PDE Noun Phrase. He discusses the several ways of premodifying the head and shows ...
The Virtual Linguistics Campus
Space Syntax: Past, present and future.
The presentation approximately sub divides as follows: 0-10 minutes. An introduction, prepared in part by Bill Hillier. 10-20 minutes. All you need to know 20-25 ...
UrbanNous
RE to DFA by direct method Example 1
RE to DFA by direct method(Compiler Design), Regular Expression to DFA by computing Nullable, Firstpos, Lastpos and Followpos functions. Here we are ...
Easy Computer Engineering
Natural Language Processing: Crash Course Computer Science #36
Today we're going to talk about how computers understand speech and speak themselves. As computers play an increasing role in our daily lives there has ...
CrashCourse
Inferring Type Rules for Syntactic Sugar
PLDI 2018
Logic, Co-induction and Infinite Computation
Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations. Where ...
Microsoft Research
Lecture 21 : Free Energy Composition diagrams for Monotectic systems and Syntactic phase diagram
Phase Diagrams in Materials Science and Engineering
Transformational Grammar and Syntactic Structures
Subject:Linguistics Paper: Advanced Syntax.
Vidya-mitra
Compiler Design Lecture 17 -- Syntax directed translation examples
Description.
Gate Lectures by Ravindrababu Ravula
The Turing Test - Computerphile
What was The Imitation Game? It inspired the name for the recent Alan Turing's movie but just what was it? Professor Brailsford explains how Turing may have ...
Computerphile
Managing the Syntactic Blindness of Latent Semantic Analysis
Authors ------------ Raja Muhammad Suleman and Ioannis Korkontzelos, Edge Hill University, United Kingdom Abstract ------------- Natural Language Processing ...
cscp airccj
GOTO 2015 • Impossible Programs • Tom Stuart
This presentation was recorded at GOTO Chicago 2015 http://gotochgo.com Tom Stuart - Author, Understanding Computation ABSTRACT Every aspect of our ...
GOTO Conferences
Spoken Dialog Systems - Task Oriented Systems
Tutorial on what actual dialog systems are like and the problems we have with them, based on lectures Alan gave at Carnegie Mellon University. See more on ...
Microsoft Research
6. How Do We Communicate?: Language in the Brain, Mouth
Introduction to Psychology (PSYC 110) One of the most uniquely human abilities is the capacity for creating and understanding language. This lecture ...
YaleCourses
"Propositions as Types" by Philip Wadler
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 ...
Strange Loop
Lesson 1.5: Syntax and Semantics
A video segment from the Coursera MOOC on introductory computer programming with MATLAB by Vanderbilt. Lead instructor: Mike Fitzpatrick. Check out the ...
Fitzle LLC
Emergent linguistic structure in deep contextual neural word representations - Chris Manning
Workshop on Theory of Deep Learning: Where next? Topic: Emergent linguistic structure in deep contextual neural word representations Speaker: Chris ...
Institute for Advanced Study
Plain Functional Programming by Martin Odersky
Subscribe to Devoxx on YouTube @ https://bit.ly/devoxx-youtube Like Devoxx on Facebook @ https://www.facebook.com/devoxxcom Follow Devoxx on Twitter ...
Devoxx
CppCon 2017: Herb Sutter “Meta: Thoughts on generative C++”
http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/CppCon/CppCon2017 — Two ...
CppCon
How Do We Interpret Sentences? Parsing Strategies
How do we build sentences based on what we see and hear? What approaches do we take to work out what's being said? In this week's episode, we talk about ...
The Ling Space
CppCon 2019: David Stone - Removing Metaprogramming From C++, Part 1 of N: constexpr Function Params
http://CppCon.org — Discussion & Comments: https://www.reddit.com/r/cpp/ — Presentation Slides, PDFs, Source Code and other presenter materials are ...
CppCon
Syntactic sugar vs maintainability
Richard Terry Is it ever worth committing coding sins for the greater good? We'll look at techniques which can make your code easier to use at the cost of being ...
PyCon UK
Building Your Own Dynamic Language
February 14, 2007 lecture by Ian Piumarta for the Stanford University Computer Systems Colloquium (EE 380). Ian describes several significant aspects of the ...
Stanford
Stanford Seminar - Optional Static Typing for Python
EE380: Computer Systems Colloquium Seminar Optional Static Typing for Python Speaker: Guido van Rossum, Dropbox & Python Software Foundation Python ...
stanfordonline
Building Software at Google Scale Tech Talk
Google Tech Talk March 21, 2012 Presented by Michael Barnathan, Software Engineer, Google Greg Estren, Software Engineer, Google Pepper Lebeck-Jobe, ...
GoogleTechTalks
The introductory Calculator Language Tutorial
This screncast provides an alternative way to learn MPS. Folowing the steps described in the on-line introductory Calculator MPS Tutorial ...
JetBrainsTV
Lambda Calculus - Computerphile
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus. http://www.facebook.com/computerphile ...
Computerphile
What's coming in Scala 3 by Josh Suereth & James Ward
Learn about all the cool new features of Scala 3 and how they impact your day to day development. This talk will refactor existing Scala code from 2 to 3, as well ...
Devoxx
How Efficiency Shapes Human Language | Edward Gibson | TEDxHarvardCollege
Even though many people assume languages to be very different, Edward Gibson's goal is to show how languages are more similar than we think. In his talk, he ...
TEDx Talks
What's new with the Android build system (Google I/O '18)
A deep dive into the new features of the Android build system. Rate this session by signing-in on the I/O website here → https://goo.gl/n4SzZS Watch more ...
Android Developers
Python Tutorial for Beginners [Step By Step] | Learn Python in 2020 | Python Training | Edureka
Edureka Python Certification Training: https://www.edureka.co/python-programming-certification-training This Edureka video on 'Python tutorial for beginners' ...
edureka!
CppCon 2015: Joel Falcou PART 1 “Expression Templates - Past, Present, Future”
http://www.Cppcon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/cppcon/cppcon2015 ...
CppCon