Functional logic programming languages | Logic programming languages
Ciao is a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution. (Wikipedia).
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language
Programming Languages - (part 6 of 7)
How source code becomes a running program, how languages are categorized, and a survey of important languages. Part of a larger series teaching programming. Visit http://codeschool.org
From playlist Programming Languages
From C to Python by Ross Rheingans-Yoo
Python is a popular language for everything from short, informal scripts to complex data-processing frameworks. Fortunately, the syntax is very similar to C, with just a few key differences. In this seminar, we’ll walk you through them, leaving you with the ability to write your own short
From playlist CS50 Seminars 2015
The C programming language (unit 2) - 4 of 5 (old version; watch new version instead)
A continuation of discussing the C programming language. This unit goes more into depths on pointers and arrays. Visit http://codeschool.org
From playlist The C language (unit 2)
Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.
From playlist The Julia Computer Language
This video gives a general introduction to cryptography WITHOUT actually doing any math. Terms covered include cryptology vs cryptography vs cryptanalysis, symmetric vs public key systems, and "coding theory." NOTE: Yes, I said and wrote "cryptOanalysis" when it's actually "cryptanalysis
From playlist Cryptography and Coding Theory
Numeric Types in Python - Socratica #Shorts
Find our programming playlists here: Python: http://bit.ly/PythonSocratica SQL: http://bit.ly/SQL_Socratica Python instructor: Ulka Simone Mohanty (@ulkam on Twitter) Written & Produced by Michael Harrison #Python #Coding #Shorts
From playlist Python Programming Tutorials (Computer Science)
Training and Testing an Italian BERT - Transformers From Scratch #4
We need two things for training, our DataLoader and a model. The DataLoader we have — but no model. For training, we need a raw (not pre-trained) RobertaForMaskedLM. To create that, we first need to create a RoBERTa config object to describe the parameters we’d like to initialize FiliBERT
From playlist Transformers From Scratch
Connecting tropical intersection theory with polytope algebra in types A and B by Alex Fink
PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t
From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)
Measurement-powered engines by Alexia Aufeves
PROGRAM CLASSICAL AND QUANTUM TRANSPORT PROCESSES : CURRENT STATE AND FUTURE DIRECTIONS (ONLINE) ORGANIZERS: Alberto Imparato (University of Aarhus, Denmark), Anupam Kundu (ICTS-TIFR, India), Carlos Mejia-Monasterio (Technical University of Madrid, Spain) and Lamberto Rondoni (Polytechn
From playlist Classical and Quantum Transport Processes : Current State and Future Directions (ONLINE)2022
An introduction to the Go programming language. Assumes knowledge of Javascript. Part of a larger series at http://codeschool.org
From playlist The Go Language
Tame topology and Hodge theory (Lecture 1) by Bruno Klingler
Discussion Meeting Complex Algebraic Geometry ORGANIZERS: Indranil Biswas, Mahan Mj and A. J. Parameswaran DATE:01 October 2018 to 06 October 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore The discussion meeting on Complex Algebraic Geometry will be centered around the "Infosys-ICT
From playlist Complex Algebraic Geometry 2018
This talk introduces the basic concepts of atomic design and will help you understand and know more about who invented it, what atomic design is, where and when it should be implemented and why. Talk by Riccardo Erra at the JS Roundabout meetup. Recorded by Pusher.com. Check them out if
From playlist Talks
Create a String array using an initializer list. Create a method that prints the array elements using braces and commas.
From playlist Java Programming
Lesson 2: Part 1 - Language Instruction
MIT ES.S41 Speak Italian With Your Mouth Full, Spring 2012 View the complete course: http://ocw.mit.edu/ES-S41S12 Instructor: Paola Rebusco, ES.S41 students License: Creative Commons BY-NC-SA More information at http://ocw.mit.edu/terms More courses at http://ocw.mit.edu
From playlist MIT ES.S41 Speak Italian With Your Mouth Full, Spring 2012
Serre's Conjecture for GL_2 over Totally Real Fields (Lecture 3) by Fred Diamond
Program Recent developments around p-adic modular forms (ONLINE) ORGANIZERS: Debargha Banerjee (IISER Pune, India) and Denis Benois (University of Bordeaux, France) DATE: 30 November 2020 to 04 December 2020 VENUE: Online This is a follow up of the conference organized last year arou
From playlist Recent Developments Around P-adic Modular Forms (Online)
Universal Chow group of zero-cycles on cubic hypersurfaces - Claire Voisin
Claire Voisin Centre national de la recherche scientifique; Distinguished Visiting Professor, School of Mathematics November 12, 2014 We discuss the universal triviality of the CH0CH0-group of cubic hypersurfaces, or equivalently the existence of a Chow-theoretic decomposition of their di
From playlist Mathematics
LambdaConf 2015 - Building Concurrent, Fault Tolerant, Scalable Applications in F# using Akka Net
By, Riccardo Terrell Writing correct concurrent, fault-tolerant, scalable applications is no simple task. The struggle is generally the result of using the wrong tools or wrong level of abstraction. The Actor based concurrency model aims to simplify this process. The actor model is a mathe
From playlist LambdaConf 2015
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language