Functional logic programming languages | Logic programming languages
Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995. Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and a strong mode and determinism system. The official implementation, the Melbourne Mercury Compiler, is available for most Unix and Unix-like platforms, including Linux, macOS, and for Windows. (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
Automate Excel With Python | Python Excel Automation | Python Tutorial For Beginners | Simplilearn
In this video, we are going to cover how to automate excel using Python using different datasets. This video will help you to understand what is excel, What is python, and What is the automation of excel and where it is used, after which will do a hands-on lab demo to demonstrate the autom
From playlist Python For Beginners 🔥[2022 Updated]
What is Scala Programming? An Introduction to Methods, Classes, Functions and Collections
Scala is a multi-paradigm language that merges object-oriented programming and functional programming. For more free lessons, visit http://oreil.ly/2aZFvln. Scala was first released in 2003. The language is supported by a large and growing community, and is now one of the most well-known
From playlist Scala
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
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)
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
Hello World in Python || Python Tutorial || Python Programming
Python is a clean and powerful programming language. You can use it to build websites, analyze data, write utilities, and create many other kinds of software. It's become a tradition that when you learn a new programming language, you start with a program that prints the message "Hello w
From playlist Python Programming Tutorials (Computer Science)
Lecture 9: International Regulations and Supply Chains: The Case of Mercury
MIT ESD.S43 Green Supply Chain Management, Spring 2014 View the complete course: http://ocw.mit.edu/ESD-S43S14 Instructor: Noelle Selin Professor Noelle Selin from MIT was invited talk on the case-study of mercury. The topics covered the review of the control and regulations of mercury in
From playlist MIT ESD.S43 Green Supply Chain Management, Spring 2014
RustConf 2019 - Bringing Rust Home to Meet the Parents by Jeremy Fitzhardinge
RustConf 2019 - Bringing Rust Home to Meet the Parents by Jeremy Fitzhardinge How can you bring your love for Rust to your organization, and how can you set it up for success? Facebook has a ton of code written in a lot of languages. Is there room for Rust? Yes! This talk covers my journ
From playlist RustConf 2019
Here's What It Took to Put Humans on the Moon | Compilation
2019 marks the 50th anniversary of the Apollo 11 lunar landing and we're doing something big. On Wednesday, July 17th, SciShow is launching its first-ever documentary episode! To freshen up your Apollo knowledge, here is a good dive into the science and engineering that put people on the
From playlist SciShow Space
RubyConf 2019 - Don’t Hang Me Out To DRY by Kevin Murphy
Don’t Hang Me Out To DRY by Kevin Murphy Close your eyes and imagine the perfect codebase to work on. I bet you’ll say it has complete test coverage. It’s fully-optimized, both in terms of performance and architectural design. And, of course, it contains only DRY code. Surely we can all
From playlist RubyConf 2019
Did Kent Beck REALLY Invent TDD? | Kent Talks About TDD, TCR & Reveals One Of His BEST Ideas
Why does Kent Beck refer to himself as the 'rediscoverer of TDD'? Have you tried TCR yet? And what does Kent say is "one of his best ever ideas"? This is a clip taken from Kent's full episode on The Engineering Room which you can watch HERE ➡️ https://youtu.be/guycIP56YeY --------------
From playlist Automated Testing
Setting up Julia (using Juliabox.org) to import our dataset and start our data analysis.
From playlist The Julia Computer Language
Professor Peter O’Hearn: "Reasoning with Big Code"
The Turing Lectures: Computer Science - Professor Peter O’Hearn: "Reasoning with Big Code" Click the below timestamps to navigate the video. 00:00:10 Welcome by Professor Jon Crowcroft 00:02:51 Speaker introduction by Professor Jon Crowcroft 00:03:38 Professor Peter O’H
From playlist Turing Lectures
John Graham-Cumming keynote Strata Conference London 2012 "The Great Railway Caper"
http://strataconf.com/strataeu/public/schedule/detail/26214 The Great Railway Caper: Big Data in 1955 It's 1951 and you've got the world's first business computer and you've just been handed a Big Data problem. Go! With 2K of memory it was powerful enough to run the then massive Lyons bu
From playlist Strata in London 2012
Julius Sumner Miller: Lesson 10 - Atmospheric Pressure
Put out your open hand - grab hold of a handful of air - there is NOTHING there! Or so it seems! But there is - there's a powerful lot of STUFF there -an enormous array of it! The ATMOSPHERE is a massive thing. The pressure of the air is about 15 pounds per square inch at sea le
From playlist Julius Sumner Miller - Full Physics Laboratory Demonstrations
Episode 9: Moving In Circles - The Mechanical Universe
Episode 9. Moving in Circles: A look at the Platonic theory of uniform circular motion. “The Mechanical Universe,” is a critically-acclaimed series of 52 thirty-minute videos covering the basic topics of an introductory university physics course. Each program in the series opens and clos
From playlist The Mechanical Universe
Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org
From playlist The C language