Type systems | Formal methods tools | Static program analysis tools
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).
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
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?
Preliminary Chemistry Water Water as a Solvent, Polarity
From playlist Preliminary Chemistry - Water
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
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
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
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
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
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
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
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
HSC Chemistry Production of Materials Ethanol as a solvent
From playlist HSC Chemistry - Production of Materials
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
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!
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
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
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
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
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)