Search:

Found 904 videos

Dr. Erickson COVID-19 Briefing [FULL VERSION] by Infos zur Imfpung
01:08:12

Dr. Erickson COVID-19 Briefing [FULL VERSION]

Infos zur Imfpung   |   13 views   |   2021-01-09

This is the full version of the press conference, called by Bakersfield-based doctors Dan Erickson and Artin Massihi, to release the results of their Covid19 testing program. They report that a higher than expected percentage of people are infe...

Measuring consent within Matomo Analytics by Matomo
04:43

Measuring consent within Matomo Analytics

Matomo   |   1 views   |   2021-02-19

In this video, I am explaining how you can measure visitors who are giving their consent, optin, versus the one who are not giving you their consent.

Ghost Hunting the Perfect API By Anthony Sheldon by softinio
48:43

Ghost Hunting the Perfect API By Anthony Sheldon

softinio   |   0 views   |   2022-01-10

Talk by Anthony Sheldon for the Bay Area Haskell Users Group (BAHUG) virtual meetup on May 2, 2020. Meetup link: https://www.meetup.com/Bay-Area-Haskell-Users-Group/events/270204729/ NoRedInk, a San Francisco company that uses Haskell, kindly o...

Spare Parts - Supply chain in 3 minutes by Supply Chain in 3 Minutes
03:21

Spare Parts - Supply chain in 3 minutes

Supply Chain in 3 Minutes   |   2 views   |   2022-01-12

The main goal in the spare parts industry is to minimize the downtime of your valuable assets such as: aircrafts, vessels, oil rigs, wind turbines, generators, manufacturing equipment and heavy machinery. Whenever an asset needs repair or maintena...

Proving theorems and certifying programs with Coq by Stephan Boyer by softinio
01:07:02

Proving theorems and certifying programs with Coq by Stephan Boyer

softinio   |   0 views   |   2022-01-09

Talk by Stephan Boyer at the Bay Area Haskell Users Group (BAHUG) meetup at Formation, December 11 2018. Have you ever wanted to formally prove an algorithm correct or a theorem true? This talk will show you how! We'll cover the fundamentals of...

Introduction to Cryptonite by Max Tagher by softinio
45:28

Introduction to Cryptonite by Max Tagher

softinio   |   2 views   |   2022-01-09

Max Tagher gave a talk at the August 2018 Bay Area Haskell Users Group meeting on Cryptonite, a repository on cryptographic primitives such as ciphers, hash functions, and more. Demo Source Code: https://github.com/MaxGabriel/cryptonite-talk/tr...

Shake before Make by Mark Fine by softinio
35:07

Shake before Make by Mark Fine

softinio   |   0 views   |   2022-01-09

Mark Fine gives a talk at the Bay Area Haskell Users Group about discussing how to use the Shake build system as a replacement for make files. Also available on YouTube: https://www.youtube.com/watch?v=ORNXD_7arsk For more information on our...