Search:

Found 914 videos

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...

Hasochistic Containers By Conor McBride by softinio
01:04:15

Hasochistic Containers By Conor McBride

softinio   |   0 views   |   2022-01-09

Conor McBride gives a talk at the Bay Area Haskell Users Group about writing containers in Haskell. A container is a functor with a "shapes and positions" presentation: the contained values are given as the image of a function from positions, but ...

Setting up a simple CI server using Haskell and Nix by Gabriel Gonzalez by softinio
01:01:30

Setting up a simple CI server using Haskell and Nix by Gabriel Gonzalez

softinio   |   40 views   |   2022-01-09

Gabriel Gonzalez walks through how to set up a simple continuous integration server using Haskell, Nix, and AWS for the Bay Area Haskell Users Group (BAHUG) meeting on March 22nd, 2018. You can find the code for the fully worked example here: h...

Dynamic Supply Chains by Supply Chain Interviews
01:05:07

Dynamic Supply Chains

Supply Chain Interviews   |   2 views   |   2022-01-19

In this episode we are joined by Dr. John Gattorna, one of the most respected supply chain thought leaders in the world and whose work has influenced many of today’s leading corporations. We discuss the importance of a supply chain strategy th...

ERP - Supply chain in 3 minutes by Supply Chain Interviews
03:20

ERP - Supply chain in 3 minutes

Supply Chain Interviews   |   0 views   |   2022-01-26

ERP (Enterprise Resource Planning) refers to a class of enterprise software that supports and keeps track of the routine operations for a company, and tracks its resources, such as cash flow, raw materials, work in progress, end products, client o...

Structured predictive modeling for Supply Chain - Lecture 5.1 by Supply Chain Lectures
01:57:28

Structured predictive modeling for Supply Chain - Lecture 5.1

Supply Chain Lectures   |   3 views   |   2022-02-03

Differentiable Programming (DP) is a generative paradigm used to engineer a broad class of statistical models, which happen to be excellently suited for predictive supply chain challenges. DP supersedes almost all the “classic” forecasting literat...

Hard luxury - Supply chain in 3 minutes by Supply Chain in 3 Minutes
03:17

Hard luxury - Supply chain in 3 minutes

Supply Chain in 3 Minutes   |   1 views   |   2022-01-26

The supply chain for hard luxury (high end jewellery and watches) is defined by unique challenges. Unlike how most products are otherwise generally mass produced, each piece of hard luxury is either unique or part of a limited collection. Even tho...