Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Functional Programming

#Lenses #Higher-Order Functions #Immutability #Lambda Expressions #Functors #Pure Functions #Monads #Currying #Lambda Calculus #Agda #Transducers
Showing: 1,130 courses
StudioBinder

The Shot List

3 rewiews
Comprehensive guide to cinematography techniques, covering shot sizes, composition, angles, focus, camera rigs, movement, lenses, frame rates, transitions, and editing essentials for filmmakers.
Add to list
10 Lesons
2 hours 30 minutes
On-Demand
Free-Video
Envato Tuts+

What Every Photographer Should Know About Lenses

2 rewiews
Comprehensive guide to camera lenses: understand types, features, and applications. Learn to choose the right lens for various photography situations, from portraits to macro shots.
Add to list
16 Lesons
2 hours 44 minutes
On-Demand
Free-Video
Derek Banas

Haskell Tutorial

1 rewiews
Comprehensive Haskell tutorial covering syntax, data types, functions, and advanced concepts. Ideal for beginners and intermediate programmers seeking to master functional programming.
Add to list
49 Lesons
1 hour 17 minutes
On-Demand
Free-Video

No BS TS

1 rewiews
Comprehensive TypeScript tutorial covering setup, types, functions, classes, generics, React integration, state management, testing, and design patterns for practical application.
Add to list
42 Lesons
8 hours
On-Demand
Free-Video
Mark Galer's Alpha Creative Skills

Capturing Powerful Portraits - Photographic Tips and Techniques

1 rewiews
Discover essential techniques for capturing powerful portraits, from mastering ambient light to using flash and modifiers. Learn composition tips, camera settings, and creative lighting setups to elevate your portrait photography skills.
Add to list
27 Lesons
51 minutes
On-Demand
Free-Video
Amigoscode

Functional Programming with Java Streams API

1 rewiews
Learn functional programming with Java Streams API, exploring imperative vs declarative approaches. Master filtering, mapping, and visualizing streams to write more efficient and expressive code.
Add to list
14 Lesons
50 minutes
On-Demand
Free-Video
Stanford University

Tiny Functions for Codecs, Compilation, and - Maybe - Soon Everything

0 rewiews
Exploring the potential of tiny, pure functions in improving network systems, video codecs, and cloud computing, with real-world examples and future applications.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Devoxx

Cruising Along with Java - Benefiting from the Modern Features

0 rewiews
Embark on a comprehensive journey through Java's modern features in this extensive conference talk. Explore the latest advancements and enhancements in the Java programming language, guided by expert Venkat Subramaniam. Gain valuable insights into levera…
Add to list
1 Lesons
2 hours 41 minutes
On-Demand
Free-Video
Devoxx

Hunting with Stream Gatherers - Enhancing Java Streams

0 rewiews
Explore the powerful capabilities of Stream Gatherers, a new feature introduced in Java 22, in this informative conference talk. Dive deep into the evolution of Java Streams, from their introduction in Java 8 to the latest enhancements. Learn how Stream…
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Devoxx

If Streams Are So Great, Let's Use Them Everywhere - Right?

0 rewiews
Explore the pros and cons of using Java streams for bulk data processing in this 51-minute Devoxx conference talk. Delve into sample use cases where stream code offers clarity and conciseness compared to traditional collection iteration. Examine scenario…
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
The Julia Programming Language

What's Next for Transducers.jl - JuliaCon 2024

0 rewiews
Explore the future of Transducers.jl, a Julia package for efficient data transformation. Learn about its unique features, current challenges, and upcoming improvements for enhanced performance and usability.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
GOTO Conferences

Building a CML Pipeline with Spark and Kafka - YOW! 2018

0 rewiews
Explore building a CML pipeline using Apache Spark and Kafka. Learn functional programming techniques for efficient data processing and machine learning workflows.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
GOTO Conferences

Computation as Semigroups, Computing Semigroups

0 rewiews
Explore the intersection of semigroups, computation, and functional programming. Gain insights into mathematical foundations of software engineering from a unique perspective.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
The Julia Programming Language

Building Confidently in Julia with Interface Driven Design

0 rewiews
Explore interface-driven design in Julia to build robust, composable systems. Learn to leverage tools, implement functional code styles, and create uniform testing structures for improved productivity and reliability.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
Prague Mathematical Physics Seminar

Linear BV Quantization as a Functor of Infinity Categories - Lecture

0 rewiews
Dive into linear BV quantization as a functor of infinity categories, exploring advanced mathematical concepts in this Prague Mathematical Physics Seminar.
Add to list
1 Lesons
1 hour 39 minutes
On-Demand
Free-Video
GOTO Conferences

Event Sourcing and CQRS from the Trenches

0 rewiews
Dive into event sourcing and CQRS with Atlassian's architect. Explore implementation in Scala, AWS, and microservices architecture for scalable cloud services. Gain insights on data integrity and system flexibility.
Add to list
1 Lesons
26 minutes
On-Demand
Free-Video
ACCU Conference

The Evolution of Functional Programming in C++

0 rewiews
Explore the evolution of functional programming in C++, from templates to ranges. Gain insights into modern C++'s blend of systems and functional programming, and glimpse future developments for performant, functional code.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
INSAIT Institute

Effects and Resources: New Frontiers for Safe and Expressive Programming Languages

0 rewiews
Explore effect typing and object capabilities in programming languages. Gain insights into new approaches for safe, expressive, and composable control effects using Caprese and Scala extensions.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
Great Learning

Functions in Python - How Functions Work in Python Tutorial

0 rewiews
Learn Python functions: definition, types, string/list operations, lambda, math, recursion, and more. Comprehensive tutorial for beginners to advanced programmers.
Add to list
17 Lesons
48 minutes
On-Demand
Free-Video

Scala Crash Course by a Scala Veteran - With Some JavaScript Flavor

0 rewiews
Comprehensive Scala tutorial covering language fundamentals, functional programming concepts, object-oriented features, and advanced topics for beginners and experienced developers.
Add to list
32 Lesons
3 hours 28 minutes
On-Demand
Free-Video

Scala Tutorial

0 rewiews
Comprehensive guide to Scala programming, covering basics to advanced concepts. Learn syntax, object-oriented and functional programming, data structures, and practical application development.
Add to list
39 Lesons
16 hours
On-Demand
Free-Video

Scala at Light Speed

0 rewiews
Comprehensive Scala tutorial for programmers: learn basics, OOP, functional programming, pattern matching, and advanced features in a hands-on, fast-paced format.
Add to list
7 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Java Tutorial for Beginners

0 rewiews
Learn Java programming fundamentals, from setup to advanced concepts like inheritance and lambda expressions, with hands-on tutorials and practical examples.
Add to list
9 Lesons
2 hours 30 minutes
On-Demand
Free-Video
Learning Journal

Scala Tutorial

0 rewiews
Comprehensive Scala programming tutorial for Spark developers and functional programmers, covering basics, concepts, and examples to prepare for Apache Spark development.
Add to list
35 Lesons
4 hours 30 minutes
On-Demand
Free-Video

Edexcel Physics Paper 1 - Revision Playlist for Combined and Separate Science GCSE

0 rewiews
Comprehensive revision playlist for Edexcel Physics Paper 1, covering key topics for GCSE Combined and Separate Science. Includes practice questions, equations, and in-depth explanations of core concepts.
Add to list
45 Lesons
6 hours
On-Demand
Free-Video

OCR Gateway Physics Paper 2 - Revision Playlist for Combined and Separate Science GCSE

0 rewiews
Comprehensive GCSE Physics revision covering waves, radioactivity, space physics, and more. Includes exam practice and explanations of key concepts for OCR Gateway syllabus.
Add to list
19 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Scala Tutorial Full Course

0 rewiews
Comprehensive introduction to Scala programming, covering setup, variables, classes, methods, lists, lambda expressions, type hierarchy, and tuples. Ideal for beginners seeking a solid foundation in Scala.
Add to list
11 Lesons
1 hour 24 minutes
On-Demand
Free-Video

Kotlin Tutorial for Beginners - Full Course

0 rewiews
Comprehensive guide to Kotlin programming, covering basics to advanced topics like object-oriented concepts, functional programming, and Android development. Ideal for beginners and experienced developers.
Add to list
44 Lesons
4 hours 55 minutes
On-Demand
Free-Video
Microsoft

What's New in F# 4.5 - Features, Fixes, and Performance Enhancements

0 rewiews
Explore F# 4.5's new features, community-driven development, and performance enhancements to improve your applications. Gain insights into the RFC process and decision-making behind this release.
Add to list
5 Lesons
32 minutes
On-Demand
Free-Video
Coding Train

Filter, Sort and 2048

0 rewiews
Explore higher-order functions in JavaScript, including filter() and sort(), and apply them to particle systems and a 2048 game implementation. Gain practical coding skills through live demonstrations.
Add to list
6 Lesons
3 hours 10 minutes
On-Demand
Free-Video
Derek Banas

Clojure Tutorial

0 rewiews
Comprehensive introduction to Clojure, covering core concepts from setup to advanced topics like macros and closures. Ideal for beginners seeking a solid foundation in functional programming.
Add to list
31 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Derek Banas

Kotlin Tutorial

0 rewiews
Comprehensive Kotlin tutorial covering core syntax, data types, functions, OOP, and functional programming. Ideal for Java developers and Android app creators seeking to enhance their skills.
Add to list
22 Lesons
1 hour 26 minutes
On-Demand
Free-Video
Derek Banas

Scala Tutorial

0 rewiews
Comprehensive Scala tutorial covering language fundamentals, object-oriented programming, functional concepts, and practical applications in just over an hour.
Add to list
30 Lesons
1 hour 15 minutes
On-Demand
Free-Video
Programming with Mosh

Learn Redux from Scratch

0 rewiews
Learn Redux from scratch: functional programming concepts, Redux architecture, and building your first Redux application with practical examples and exercises.
Add to list
33 Lesons
1 hour 35 minutes
On-Demand
Free-Video
Programming with Mosh

ES6 Tutorial - Learn Modern JavaScript

0 rewiews
Learn modern JavaScript features like let/const, arrow functions, destructuring, classes, and modules in this comprehensive ES6 tutorial.
Add to list
13 Lesons
50 minutes
On-Demand
Free-Video

Ray Optics Class 12

0 rewiews
You will learn about reflection of light, spherical mirror, concave mirror, convex mirror, refraction, total internal reflection, real and apparent depth, lens, prism, optical instruments, the human eye, microscope, and much more.
Add to list
49 Lesons
7 hours
On-Demand
Free-Video

Light Reflection & Refraction Physics CBSE Class 10

0 rewiews
You will learn about reflection, spherical mirror, concave mirror, convex mirror, mirror equation, refractive index, refractive index, refraction through glass slab, lens, and much more.
Add to list
19 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Introduction to Filmmaking for Beginners

0 rewiews
Learn essential filmmaking techniques, from camera shots and lenses to post-production, and gain insights on creating low-budget films and surviving as a struggling filmmaker.
Add to list
11 Lesons
2 hours 30 minutes
On-Demand
Free-Video

F# for Beginners

0 rewiews
Learn the fundamentals of F#, a cross-platform language for succinct and robust code. Covers setup, scripting, functions, data structures, object programming, collections, and async programming.
Add to list
12 Lesons
1 hour 30 minutes
On-Demand
Free-Video

Learn Elixir

0 rewiews
Comprehensive guide to Elixir programming, covering basic concepts to advanced topics like Phoenix framework, processes, and Mix, with hands-on examples and practical applications.
Add to list
21 Lesons
6 hours
On-Demand
Free-Video

Intro to Elixir

0 rewiews
Learn Elixir's fundamentals, from primitive types to advanced concepts like concurrency and OTP, through hands-on coding and practical examples.
Add to list
10 Lesons
3 hours 30 minutes
On-Demand
Free-Video

Haskell for Beginners

0 rewiews
Learn Haskell fundamentals: setup, data types, functions, user input, and basic programming concepts. Build practical projects like a calculator and guessing game to reinforce your skills.
Add to list
21 Lesons
2 hours 30 minutes
On-Demand
Free-Video

HackerRank in Haskell

0 rewiews
Solve HackerRank problems using Haskell, covering topics from basic algorithms to advanced functional programming concepts like monads and brute-force techniques.
Add to list
15 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Dart Programming Advanced Tutorials

0 rewiews
Advance your Dart programming skills with tutorials on classes, methods, loops, lists, string manipulation, and function syntax for building robust applications.
Add to list
8 Lesons
1 hour 30 minutes
On-Demand
Free-Video

Learn F#

0 rewiews
Explore F# fundamentals, from setup to advanced concepts like functors and computation expressions. Ideal for beginners and those seeking to deepen their functional programming skills.
Add to list
8 Lesons
6 hours
On-Demand
Free-Video

F# Video Tutorials

0 rewiews
Learn F# programming from basics to advanced topics through comprehensive video tutorials, covering syntax, interactive environment, values, expressions, and more.
Add to list
15 Lesons
1 hour 30 minutes
On-Demand
Free-Video

Haskell for Imperative Programmers

0 rewiews
Learn functional programming with Haskell, covering basics to advanced topics like monads, concurrency, and formal verification. Ideal for developers transitioning from imperative languages.
Add to list
43 Lesons
12 hours
On-Demand
Free-Video
Great Learning

Core Java

0 rewiews
Comprehensive Java programming tutorial covering core concepts, OOP, collections, multithreading, and lambda expressions. Ideal for beginners and intermediate learners seeking practical skills.
Add to list
29 Lesons
9 hours 6 minutes
On-Demand
Free-Video
Great Learning

Lambda Expression in Java

0 rewiews
Learn Java 8 lambda expressions: syntax, functional interfaces, method references, and practical applications for concise and efficient code.
Add to list
16 Lesons
1 hour 2 minutes
On-Demand
Free-Video

Functional Programming in JavaScript

0 rewiews
Explore higher-order functions, map, reduce, closures, currying, recursion, promises, functors, streams, and monads to enhance your JavaScript programming skills.
Add to list
12 Lesons
2 hours 30 minutes
On-Demand
Free-Video

CSS 'n' JS

0 rewiews
Explore CSS cascade and selection using JavaScript, enhancing understanding of both languages while reimplementing core CSS behaviors.
Add to list
5 Lesons
1 hour 30 minutes
On-Demand
Free-Video
notJust․dev

Build a Crypto Price Tracker with React Native

0 rewiews
Step-by-step tutorial to build a Crypto Price Tracker app using React Native. Learn to set up projects, create UI designs, manage data, and structure your app professionally. Ideal for developers of all levels.
Add to list
12 Lesons
3 hours 53 minutes
On-Demand
Free-Video
The Julia Programming Language

Random Walks in Computational Thinking - Lecture 12

0 rewiews
Explore random walks in computational thinking, covering visualization, Julia concepts, benchmarking, and advanced topics like mutable structs and type parameters.
Add to list
12 Lesons
55 minutes
On-Demand
Free-Video
The Julia Programming Language

Raytracing in 2D - Week 8 - MIT Fall 2020

0 rewiews
Explore 2D raytracing, covering light behavior, reflection, refraction, and Snell's law. Learn to implement these concepts in code using Julia, with practical examples like mirrors and lenses.
Add to list
16 Lesons
26 minutes
On-Demand
Free-Video

Erlang Tutorial

0 rewiews
Learn Erlang programming through hands-on tutorials covering core concepts, data structures, functions, and practical applications like building a key-value database and implementing Conway's Game of Life.
Add to list
24 Lesons
8 hours
On-Demand
Free-Video

Scala - Your First Programming Language

0 rewiews
Learn programming from scratch with Scala! Explore key concepts like recursion, functions, object-orientation, and error handling. Ideal for beginners seeking a comprehensive introduction to coding.
Add to list
27 Lesons
19 hours
On-Demand
Free-Video

OCAML Tutorial

0 rewiews
Comprehensive guide to OCaml programming, covering syntax, functions, data structures, modules, and practical applications. Suitable for beginners to advanced learners seeking in-depth understanding of OCaml.
Add to list
33 Lesons
5 hours
On-Demand
Free-Video

Clojure Crash Course

0 rewiews
Comprehensive introduction to Clojure's functional programming principles, covering syntax, data structures, functions, and core concepts for beginners in under an hour.
Add to list
13 Lesons
58 minutes
On-Demand
Free-Video
SAP

Exploring the BTP Service Metadata with JavaScript - Part 3

0 rewiews
Explore BTP Service Metadata using JavaScript, covering topics like functional programming, lambda functions, and data manipulation techniques for efficient metadata analysis and management.
Add to list
9 Lesons
1 hour
On-Demand
Free-Video
The Dev Method

Rust - Iterators

0 rewiews
Explore Rust's powerful iterators, from basic usage to advanced techniques like consuming methods, chaining, and closures that capture their environment.
Add to list
6 Lesons
20 minutes
On-Demand
Free-Video

Apprendre et Maîtriser JavaScript

0 rewiews
Explorez les concepts intermédiaires et avancés de JavaScript, de la closure aux fonctions d'ordre supérieur, en passant par les techniques de programmation fonctionnelle.
Add to list
8 Lesons
2 hours 30 minutes
On-Demand
Free-Video

Elixir

0 rewiews
Aprende a crear aplicaciones distribuidas y escalables con Elixir, un lenguaje funcional sobre Erlang. Domina conceptos clave, sintaxis, y patrones de programación para desarrollar soluciones eficientes en redes y servicios.
Add to list
80 Lesons
13 hours
On-Demand
Free-Video

Learn JavaScript in Arabic

0 rewiews
تعلم JavaScript باللغة العربية: دورة شاملة تغطي الأساسيات والمفاهيم المتقدمة، مع التركيز على التطبيق العملي والتحديات لتعزيز المهارات البرمجية
Add to list
85 Lesons
9 hours
On-Demand
Free-Video
Rust

Fn Traits in Rust - Understanding Function and Closure Parameters

0 rewiews
Explore Rust's Fn traits for accepting functions and closures as parameters, understanding closure implementations, and enhancing function flexibility in your code.
Add to list
10 Lesons
27 minutes
On-Demand
Free-Video
Java

Java Lambdas Hacking - From Syntax to Streams API

0 rewiews
Explore Java Lambdas through interactive gameplay, covering syntax, functional interfaces, and practical applications in this engaging presentation.
Add to list
18 Lesons
53 minutes
On-Demand
Free-Video
CodeWithHarry

Introduction to Callbacks in JavaScript - Tutorial 52

0 rewiews
Explore JavaScript callbacks: asynchronous programming technique for handling operations. Learn implementation, benefits, and practical usage in web development.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Translating HOL-Light Proofs to Coq

0 rewiews
Découvrez la traduction des preuves HOL-Light vers Coq, explorant les défis et solutions pour la vérification formelle entre systèmes logiques différents.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Code Sync

Aprendendo Erlang e Elixir Através do Exercism e do Advent of Code

0 rewiews
Aprenda Erlang e Elixir através do Exercism e Advent of Code. Descubra técnicas eficazes de aprendizagem com o professor Adolfo Neto, explorando desafios práticos para dominar essas linguagens de programação.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Differential Categories

0 rewiews
Explorez les catégories différentielles et leur application en logique linéaire différentielle dans cette conférence mathématique approfondie.
Add to list
1 Lesons
1 hour 29 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Böhm Trees and Taylor Expansion

0 rewiews
Explore Böhm trees and Taylor expansion in lambda calculus, delving into their mathematical properties and applications in differential linear logic.
Add to list
1 Lesons
1 hour 32 minutes
On-Demand
Free-Video
Microsoft

Azure Immutability: Exclusive Preview of Veeam Backup and Replication V12

0 rewiews
Exclusive preview of Veeam V12's immutability features for Azure, enhancing data protection against ransomware. Learn about game-changing backup policies and implementation in Microsoft Azure.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
NDC Conferences

Programming and Technology in Amateur Space Exploration

0 rewiews
Explore innovative software and hardware solutions for amateur space exploration, drawing from Copenhagen Suborbitals' experience in pushing spaceflight boundaries using readily available technology.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
ACM SIGPLAN

Timely Computation - A Formal Approach to Digital Circuit Design

0 rewiews
Explore a formal definition of digital circuits, emphasizing compositional correctness and timing analysis through simple denotations and homomorphisms in Agda.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
ADC - Audio Developer Conference

NO MORE CODE: New Graphical Programming Language for Audio Research and Developers

0 rewiews
Explore a new graphical programming language bridging AI research and audio software development. Learn about its functional programming concepts, data handling capabilities, and flexible algorithm implementation.
Add to list
1 Lesons
28 minutes
On-Demand
Free-Video
Applied Algebraic Topology Network

Ulrich Bauer - Persistence Diagrams as Diagrams

0 rewiews
Explore persistence diagrams as categorical functors, examining their structure, stability, and relationships to matchings. Learn about new constructions and theorems in this advanced algebraic topology lecture.
Add to list
19 Lesons
1 hour 9 minutes
On-Demand
Free-Video
media.ccc.de

No More Loopy Code: Data Science Goes Functional

0 rewiews
Explore functional programming principles in data science to enhance reliability, maintainability, and reproducibility of workflows. Learn to improve code clarity and debugging through practical examples.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Code Sync

Bringing LAMBDA to Excel

0 rewiews
Explore the journey of integrating functional programming into Excel, showcasing new capabilities and future research directions in spreadsheet technology.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Complete First-Order Reasoning for Properties of Functional Programs - OOPSLA 2023

0 rewiews
Explore complete first-order reasoning for functional program properties, uncovering theoretical foundations of verification tools and explaining their efficacy, limitations, and user assistance role.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
Applied Algebraic Topology Network

What's Behind the Homotopical Decomposition of a Simplicial Complex

0 rewiews
Explore homotopical decomposition of simplicial complexes, focusing on conditions for homotopy type preservation and the mathematics behind decomposability results.
Add to list
10 Lesons
48 minutes
On-Demand
Free-Video
Applied Algebraic Topology Network

Saecular Persistence

0 rewiews
Explore saecular persistence, a method to decompose persistence modules with non-field coefficients. Learn about applications in topology, generalized persistence diagrams, and scientific data analysis.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Applied Algebraic Topology Network

Vin de Silva - Functors and Cosheaves for Topological Persistence

0 rewiews
Explore functors and cosheaves in topological persistence, delving into advanced concepts of applied algebraic topology and their applications in data analysis.
Add to list
1 Lesons
1 hour 4 minutes
On-Demand
Free-Video
Alan Turing Institute

Continuity and Rational Functions - Michaël Cadilhac, University of Oxford

0 rewiews
Explore continuity in word-to-word functions and its connection to language classes. Delve into transducers and their role in computing continuous functions, with applications in automata theory.
Add to list
10 Lesons
47 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Unavoidable Mathematics - Exploring Derived Concepts from Simple Theories

0 rewiews
Exploring fundamental mathematical concepts that arise naturally from simple theories, revealing unexpected connections and rich structures in algebra, category theory, and computer science.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Induced Functors on Drinfeld Centers via Monoidal Adjunctions

0 rewiews
Explore induced functors on Drinfeld centers through monoidal adjunctions, examining their compatibility with braiding and preservation of commutative objects in tensor categories.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
Hausdorff Center for Mathematics

Polynomial Functors Formalization Report

0 rewiews
Explore the formalization of polynomial functors with Sina Hazratpour, delving into advanced mathematical concepts and their applications in functional programming.
Add to list
1 Lesons
48 minutes
On-Demand
Free-Video
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Lorentzian Functors and Closures of Relevant Subsets of Lorentzian Gromov-Hausdorff Space

0 rewiews
Explore recent advances in Lorentzian length spaces theory, including stability of properties, denseness of causal spacetimes, and geometric conditions for Radon measures in Lorentzian Gromov-Hausdorff space.
Add to list
1 Lesons
44 minutes
On-Demand
Free-Video
M-Seminar, Kansas State University

Defining A-infinity Structures in Monoidal DG Categories

0 rewiews
Explore A-infinity algebra objects in monoidal DG categories, their applications, and the Barr-Beck theorem analog for enhanced triangulated categories.
Add to list
1 Lesons
1 hour 29 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

An Introduction to Differential Linear Logic

0 rewiews
Explore Differential Linear Logic fundamentals, key concepts, and applications in this comprehensive introduction by Marie Kerjean at CIRM's mathematical conference.
Add to list
1 Lesons
1 hour 18 minutes
On-Demand
Free-Video
NPTEL-NOC IITM

Monomorphisms, Epimorphisms, and Isomorphisms

0 rewiews
Explore monomorphisms, epimorphisms, and isomorphisms in category theory, understanding their definitions, properties, and relationships within mathematical structures.
Add to list
1 Lesons
34 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

How Algebraic is a Stable Model Category?

0 rewiews
Explore the algebraic nature of stable model categories in this advanced mathematical discussion on chromatic homotopy and K-theory.
Add to list
1 Lesons
55 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

The Universal Property of Topological Hochschild Homology

0 rewiews
Explore the universal property of topological Hochschild homology in this advanced mathematical lecture, delving into chromatic homotopy and K-theory concepts.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

Equivariant Elliptic Cohomology

0 rewiews
Explore equivariant elliptic cohomology, from motivations to applications in representation theory and global homotopy. Gain insights into elliptic curves, K-theory, and infinity rings.
Add to list
17 Lesons
1 hour 8 minutes
On-Demand
Free-Video
Centre International de Rencontres Mathématiques

The Chromatic Nullstellensatz

0 rewiews
Explore the chromatic Nullstellensatz in this advanced mathematical lecture, delving into chromatic homotopy, K-theory, and functors.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
Banach Center

Who Would Need Abstract Nonsense?

0 rewiews
Explore the concept of abstract nonsense in mathematics and its practical applications with insights from Tomasz Maszczyk of the University of Warsaw.
Add to list
1 Lesons
1 hour 6 minutes
On-Demand
Free-Video
ACM SIGPLAN

Monadic and Comonadic Aspects of Dependency Analysis

0 rewiews
Explore monadic and comonadic aspects of dependency analysis, unifying calculi into a framework that addresses limitations of existing approaches and provides novel correctness proofs.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
Code Sync

The Work Done by Something Else - Exploring Declarative Programming

0 rewiews
Explore declarative programming through everyday and exotic examples. Gain insights into abstraction, automation, and the philosophy of programming for practical knowledge.
Add to list
1 Lesons
29 minutes
On-Demand
Free-Video
Institute for Advanced Study

Hodge Theory for Non-Archimedean Analytic Spaces

0 rewiews
Explore Hodge theory for non-Archimedean analytic spaces, extending Deligne's work and generalizing complex analytic constructions. Gain insights into K-analytic spaces and their cohomology groups.
Add to list
1 Lesons
1 hour 10 minutes
On-Demand
Free-Video
ACM SIGPLAN

Univalent Double Categories - Formalization and Applications in Category Theory

0 rewiews
Explore univalent double categories in category theory, their formalization in Coq, and applications in mathematics and computer science.
Add to list
1 Lesons
27 minutes
On-Demand
Free-Video
Micael Widell

Macro Photography Camera Bag Essentials for 2024

0 rewiews
Comprehensive guide to essential macro photography gear, featuring cameras, lenses, flashes, and accessories. Includes detailed explanations and recommendations for both beginners and advanced photographers.
Add to list
23 Lesons
21 minutes
On-Demand
Free-Video
Strange Loop Conference

Birdsong as Code - Transcribing and Analyzing Avian Musical Structures

0 rewiews
Explore birdsong transcription into code, comparing avian and human musical structures while leveraging programming's unique abstractions for novel musical analysis.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video