Type systems | Formal methods tools | Static program analysis tools

Liquid Haskell

Liquid Haskell is a program verifier for Haskell which allows developers to specify correctness properties by using refinement types. Properties are verified using an SMTLIB2-compliant SMT solver, such as the Z3 Theorem Prover. (Wikipedia).

Video thumbnail

Fluid Dynamics: Non-Newtonian Fluids

Can something be a solid and a liquid at the same time? License: Creative Commons BY-NC-SA More information at http://k12videos.mit.edu/terms-conditions

From playlist Materials

Video thumbnail

Liquid Crystals for Mathematicians

At the 2012 SIAM Annual Meeting, Sir John Ball of the University of Oxford presented The John von Neumann Lecture: Liquid Crystals for Mathematicians, where he described this important class of soft matter systems with properties intermediate between solid crystals and isotropic fluids. Th

From playlist What is math used for?

Video thumbnail

W#1 Water as a Solvent

Preliminary Chemistry Water Water as a Solvent, Polarity

From playlist Preliminary Chemistry - Water

Video thumbnail

Snippet: Permanent liquid magnets

These little magnets are made of liquid. But unlike the dancing ferrofluids you've probably seen elsewhere on YouTube, they stay magnetized even without the presence of external magnets. A team writing this week in Science found that jamming iron-based nanoparticles at the interface of t

From playlist Science Snippets

Video thumbnail

Programming Elixir: The magic of today's tonic

Presenter(s): Katie Miller URL: https://lca2014.linux.org.au/schedule/30072/view_talk Elixir is a new arrival on the programming language scene but many of the features that have its devotees raving are actually old favourites for functional fans. Pragmatic Programmer Dave Thomas has laud

From playlist erlang

Video thumbnail

Physics - Thermodynamics: (1 of 8) Boiling Point Of Water

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain evaporation and boiling point of water.

From playlist PHYSICS 25 THERMODYNAMICS AND WATER

Video thumbnail

Blender Smoothed Particle Hydrodynamics (SPH) Problematic Deflections

Demonstration of a bug in Blender's particle system in combination with SPH-Fluids. http://www.kostackstudio.de

From playlist Random Blender Tests

Video thumbnail

ZuriHac 2015 - Distributed Programming in Haskell

Google Tech Talk May 30, 2015 ("show more" for more information) Presented by Mathieu Boespflug https://wiki.haskell.org/ZuriHac2015#Mathieu_Boespflug ABSTRACT Shifting from building compilers and desktop applications to online services and mobile apps means that Haskell programming is

From playlist ZuriHac 2015

Video thumbnail

ZuriHac 2015 - Monads by Example

Google Tech Talk May 29, 2015 ("show more" for more information) Presented by Jannis Limperg https://wiki.haskell.org/ZuriHac2015#Jannis_Limperg ABSTRACT The Monad type class is used extensively in both the Haskell standard library and numerous third-party libraries for all sorts of dom

From playlist ZuriHac 2015

Video thumbnail

Viscosity, Cohesive and Adhesive Forces, Surface Tension, and Capillary Action

Liquids have some very interesting properties, by virtue of the intermolecular forces they make, both between molecules of the liquid and those between the liquid and some other material they are in contact with. Let's learn about viscosity, cohesive and adhesive forces, surface tension, a

From playlist General Chemistry

Video thumbnail

Charles Hoskinson | CEO of Input Output Global | web3 talks | Jan 5th 2023 | MC: Marlon Ruiz

Hey web3 frenz, Excited to kick off 2023 with a #web3talks fireside chat and our special guest Charles Hoskinson, CEO of Input Output Global (IOG) https://iog.io/. What an opportunity to sit down with this leader in the crypto space. Thank you Charles for joining! Tune in to hear Ch

From playlist Google Web3 TechTalk Series

Video thumbnail

PoM #12 Ethanol as a Solvent

HSC Chemistry Production of Materials Ethanol as a solvent

From playlist HSC Chemistry - Production of Materials

Video thumbnail

Making YOU the Scientist: Density of Liquids

This a fun experiment that can be done in almost any setting: in the classroom, during home schooling, as an online learning demonstration or just a fun thing to do with the kids on the weekend. Everything you need you probably have around the house or you can get it with a quick trip to t

From playlist Making You the Scientist

Video thumbnail

Pressure

Edexcel IGCSE Physics lesson on pressure

From playlist Edexecel IGCSE Physics

Video thumbnail

Can We Solve the Air Conditioning Paradox?

We’re on PATREON! Join the community https://www.patreon.com/itsokaytobesmart ↓↓↓ More info and sources below ↓↓↓ As the Earth warms due to human-caused climate change, billions of people in the developing world will face life-threatening heat waves, raising the demand for air conditionin

From playlist Be Smart - LATEST EPISODES!

Video thumbnail

MountainWest RubyConf 2010 - Hubris: The Ruby/Haskell Bridge by James Britt

Help us caption & translate this video! http://amara.org/v/GGvF/

From playlist Mountain West Ruby 2010

Video thumbnail

5 Years of Haskell in Production

I have been using Haskell in production at Checkpad MED, TramCloud and other many projects for more than 5 years and would like to discuss the advantages and challenges discovered during this time. We will look at first principles on structuring, building and testing Haskell applications a

From playlist Software Development

Video thumbnail

O'Reilly Webcast: Designing Domain Specific Languages with Haskell

Domain Specific Languages (DSLs) provide us with a means of creating more succinct languages for expressing certain kinds of code, while still maintaining a tight integration with the host language. Haskell provides many features which make it a great language for implementing DSLs, such a

From playlist O'Reilly Webcasts 2

Video thumbnail

LambdaConf 2015 - How to Learn Haskell in Less Than 5 Years Chris Allen

Haskell is known for being hard, this is a result of pedagogy catching up to different ways of thinking about and structuring programs. We can make teaching ourselves and others something that is not only more effective, but enjoyable in its own right. Help us caption & translate this vid

From playlist LambdaConf 2015

Video thumbnail

Physical Science 3.2a - Fluids

What a fluid is, explained at the atomic level, along with a discussion of the states of matter: solid, liquid, and gas.

From playlist Physical Science Chapter 3 (Complete chapter)

Related pages

Satisfiability modulo theories | Formal verification | Z3 Theorem Prover | Refinement type