Semantics Courses and Certifications

Institut Henri Poincaré

Semantics of Proofs and Certified Mathematics

Explore the mathematics of formal proofs and certified mathematics through lectures on proof assistants, type theory, and the Curry-Howard correspondence.

• YouTube
• 18 hours 58 minutes
• On-Demand
• Free Video

Curso Web Frontend Fundamentos HTML CSS JS + de 10 Projetos

16150 ratings at Udemy

Programação Web Front-end Fundamentos: HTML, CSS, Lógica de programação e Javascript.

• Udemy
• 5 days 11 hours 43 minutes
• On-Demand
• Paid Course

JSConf

Conversational Semantics for the Web

Discover how smart markup choices enhance web accessibility and usability, preparing your site for voice-based interactions and future user needs.

• YouTube
• 32 minutes
• On-Demand
• Conference Talk

NDC Conferences

The Nightmare of Move Semantics for Trivial C++ Classes

Explore the complexities of implementing a simple C++ class with string members, delving into move semantics, perfect forwarding, and advanced techniques for optimal performance.

• YouTube
• 42 minutes
• On-Demand
• Conference Talk

Graham Neubig

Neural Nets for NLP 2021 - Distributional Semantics and Word Vectors

Explore distributional semantics and word vectors in NLP, covering techniques like skip-grams, CBOW, and advanced methods. Learn to evaluate, visualize, and apply word embeddings effectively.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Graham Neubig

CMU Neural Nets for NLP - Distributional Semantics and Word Vectors

Explore distributional semantics and word vectors in NLP, covering techniques like skip-grams, CBOW, and advanced methods for creating and evaluating word embeddings.

• YouTube
• 1 hour 11 minutes
• On-Demand
• Free Video

Bolei Zhou

Exploring and Exploiting Interpretable Semantics in GANs - CVPR 2020 Tutorial

Explore interpretable semantics in GANs, covering deep generative representation, GAN dissection, latent space manipulation, and applications in face synthesis and image processing.

• YouTube
• 47 minutes
• On-Demand
• Free Video

CppNow

A Future of Value Semantics and Generic Programming Part 2

Explores the essence of generic programming and value semantics beyond C++, drawing insights from Swift development to reimagine language features and expand programming paradigms.

• YouTube
• 1 hour 31 minutes
• On-Demand
• Conference Talk

CppNow

A Future of Value Semantics and Generic Programming Part 1

Explore the essence of value semantics and generic programming beyond C++, examining their fundamental concepts and potential language feature designs for enhanced programming paradigms.

• YouTube
• 1 hour 13 minutes
• On-Demand
• Conference Talk

CppNow

Value Semantics - It Ain't About the Syntax!

Explore the concept of value semantics in C++, focusing on its significance beyond syntax. Gain insights into efficient programming practices and design principles.

• YouTube
• 1 hour 37 minutes
• On-Demand
• Conference Talk

CppNow

Value Semantics and Range Algorithms - Composability and Efficiency

Explore value semantics and range algorithms in C++, focusing on composability and efficiency. Learn advanced techniques to enhance code performance and maintainability.

• YouTube
• 1 hour 36 minutes
• On-Demand
• Conference Talk

code::dive conference

Value Semantics - It Ain't About the Syntax!

Explore value semantics in C++ beyond syntax, delving into its fundamental principles and practical applications for efficient, maintainable code design.

• YouTube
• 1 hour 36 minutes
• On-Demand
• Conference Talk

Meeting Cpp

To Move or Not to Move - Analyzing Move Semantics in C++

Explore move semantics in C++11, analyzing cases and consequences of std::move decisions. Interactive session with code review to enhance understanding and application.

• YouTube
• 53 minutes
• On-Demand
• Free Video

cpponsea

Hylo: A Safe Systems and Generic-programming Language Built on Value Semantics

Explore Hylo, a new programming language with mutable value semantics. Learn its design, progress, and potential impact on the future of programming from creator Dave Abrahams.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video

CppNow

This is C++ - Uncompromised Performance, Undefined Behavior, and Move Semantics

Dive into C++'s superpower for uncompromised performance. Explore undefined behavior and move semantics to write better code and understand C++'s evolution, including current controversial issues.

• YouTube
• 1 hour 19 minutes
• On-Demand
• Free Video