softinio

Episodes

1. 20

   Demystifying Scala 3 Types By Bill Venners

   Demystifying Scala 3 Types ​Scala 3 offers a rich and expressive type system—but to unlock its potential you need to understand it. In this talk we will walk you through the key concepts, including bounds, kinds, variance, type lambdas, typ...

   Oct 14, 2025
2. 19

   Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain

   Securing sensitive data in logs like a pro By Vivek Ragunathan & Bahul Jain Logging is vital for system observability and debugging, but writing sensitive data to logs poses several challenges and risks - Security & data breaches, Complianc...

   Jul 28, 2025
3. 18

   ​Search, Retrieval, Training, and Analytics with Modern AI Data Lake By Chang She

   ​Search, Retrieval, Training, and Analytics with Modern AI Data Lake By Chang She ​As AI systems become increasingly complex and data-driven, the underlying infrastructure for search, retrieval, training, and analytics has emerged as a crit...

   Jun 21, 2025
4. 17

   Solving Scala's Build Problem with the Mill Build Tool By Li Haoyi

   Solving Scala's Build Problem with the Mill Build Tool By Li Haoyi ​Mill is a Scala build tool that improves upon every aspect of the venerable SBT toolchain: more performant, easier to understand, and scalable to ...

   Jun 21, 2025
5. 16

   Designing the library powering Netflix's QoE with Scala 3 By Joan Goyeau

   Designing the library powering Netflix's QoE with Scala 3 ​From raw data to business metrics, Netflix calculates more than 750 measures like: hours streamed, play delay, rebuffers… across multiple teams and at scale! Join me to understan...

   Mar 17, 2025
6. 15

   Let's Teach LLMs to Write Great Scala! By Kannupriya Kalra

   Let's Teach LLMs to Write Great Scala! By Kannupriya Kalra ​Large Language Models (LLMs) are transforming how we build intelligent applications, but most tooling and best practices are centered around Python. Why should Python have all the ...

   Mar 16, 2025
7. 14

   Functional Programming In Scala - Part 3 of 3 - By ​Maciej Gorywoda

   Functional Programming in Scala is a set of three lectures that – as the title suggests – introduce you to the concepts of Functional Programming, with Scala being the programming language of the examples. During this short course, you will le...

   Mar 14, 2025
8. 13

   Functional Programming In Scala - Part 2 of 3 - By ​Maciej Gorywoda

   Functional Programming in Scala is a set of three lectures that – as the title suggests – introduce you to the concepts of Functional Programming, with Scala being the programming language of the examples. During this short course, you will le...

   Mar 13, 2025
9. 12

   Functional Programming In Scala - Part 1 of 3 - By ​Maciej Gorywoda

   Functional Programming in Scala is a set of three lectures that – as the title suggests – introduce you to the concepts of Functional Programming, with Scala being the programming language of the examples. During this short course, you will le...

   Mar 13, 2025
10. 11

    How Scala is made and how you can help? By Krzysztof Romanowski

    Talk Title ​How Scala is made and how you can help? ​Talk Summary ​I am using Scala from 2011 and since 2019, part of my job (and the main reason I picked it) is to grow Scala and its community. In this talk I will explain the inn...

    Dec 14, 2024
11. 10

    Installing Nix on a New Apple MacBook Pro (M3 Max)

    In December 2023 I bought myself a brand new Apple MacBook Pro (M3 Max). So I thought I record myself installing nix on there in case it is useful to anyone. Note that this is just a short video showing me just installing Nix nothing else. I wi...

    Jul 27, 2024
12. 9

    You got Agda in my Haskell? By Ryan Orendorff

    You got Agda in my Haskell? By Ryan Orendorff One of your coworkers seems to write the most amazing Haskell code. It never breaks and it always fits the requirements precisely. You’ve never seen your coworker put in a bug fix for their code...

    Feb 12, 2023
13. 8

    Easy incremental builds with GHC 9.4 By Harry Garrood

    Easy incremental builds with GHC 9.4 by Harry Garrood One of the new features in GHC 9.4 is that GHC determines whether a source file has changed by checking its hash rather than its modification timestamp. I'll...

    Dec 28, 2022
14. 7

    SF Swift: A Tour through Swift Attributes By Marco Eidinger

    A Tour through Swift Attributes By Marco Eidinger Learn about System Programming Interfaces (SPI) in Swift (aka @_spi ) and other Swift Attributes and how/when to use those attributes. About our speaker...

    Dec 21, 2022
15. 6

    Beginner-friendly introduction to Free Monads By Dmitrii Kovanikov

    Beginner-friendly introduction to Free Monads by Dmitrii Kovanikov In this talk, I'd like to look into several diverse problems, their possible solutions and discuss drawbacks of with these ad-hoc solutions. Aft...

    Dec 14, 2022
16. 5

    SF Swift: Server-side Swift State Of The Union By Tim Condon

    Server-side Swift State Of The Union By Tim Condon This talk takes a step back and looks at how server-side Swift is doing. We'll cover the recent changes due to async/await, how it compares to other languages an...

    Jun 26, 2022
17. 4

    Supercharging Data with SQL and Haskell By Ozgun Ataman

    Supercharging Data with SQL and Haskell by Ozgun Ataman We will be sharing the backstory/behind-the-scenes of a data engineering tool we’ve created over the past 5 years called “napkin” that lets data science/engineering teams construct sophist...

    Apr 27, 2022
18. 3

    Namespaced DeBruijn Indices By Gabriella Gonzalez

    Namespaced DeBruijn Indices By Gabriella Gonzalez This presentation describes a simple and elegant solution for avoiding name capture in interpreted languages that also improves the readability of inferred types and β-reduced normal forms. The ...

    Apr 20, 2022
19. 2

    Ghost Hunting the Perfect API By Anthony Sheldon

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

    Jan 9, 2022
20. 1

    Down the Wabbit Hole - Some Haskell Design Patterns in Machine Learning Engineering by Chris McKinlay

    Talk by Chris McKinlay of Formation for the Bay Area Haskell Users Group (BAHUG), December 11 2018. In this talk, Chris goes through some battle hardened design patterns for working with multiple ML frameworks in a seamless and simple manner. ...

    Jan 9, 2022