Media Summary: Centered around a new standalone recursion scheme library ( ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, ... What are the problems with recursion? How can they be resolved while improving both the performance and clarity of

Greg Pfeil Fix Ing Your Types With Matryoshka - Detailed Analysis & Overview

Centered around a new standalone recursion scheme library ( ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, ... What are the problems with recursion? How can they be resolved while improving both the performance and clarity of most if not all constructions in category theory are parametric in the underlying category, resulting in a remarkable economy of ... Monoids provide a vast landscape of concepts that we rely on in FP. Applicatives, monads, categories – all of them are monoids, ... No matter how hard we try to axiomatise mathematics, there will always be strong, independent propositions that don't need no ...

With Brown-Forman down following reports that the buyout by Pernod is off the table, is the stock worth a deep dive? Let's find out ... Hello, this is ComputerBread, back at it again, with a new episode of zig stuff, in the previous video I talked about runtime ...

Photo Gallery

Greg Pfeil - Fix-ing Your Types with Matryoshka
Efficient Nanopass Compilers using Cats and Matryoshka - Greg Pfeil
scala.bythebay.io: Greg Pfeil, This programmer modeled his code after wooden nesting dolls
Recursion: Where Functional Programming Hits Bottom - Greg Pfeil
Greg Pfeil - Category-parametric Programming
The Monoiad: an epic poem on monoids – Greg Pfeil
scala.bythebay.io: Greg Pfeil Interview
Scale By The Bay 2018 Unconference: Greg Pfeil
(Provably) Unprovable and Undisprovable... How??
Pernod Said No to Brown-Forman ($BF/B). Should You? | 2 Min PULSE
Zig polymorphism (anytype, comptime interfaces, tagged unions)
View Detailed Profile
Greg Pfeil - Fix-ing Your Types with Matryoshka

Greg Pfeil - Fix-ing Your Types with Matryoshka

Scala Up North 2016.

Efficient Nanopass Compilers using Cats and Matryoshka - Greg Pfeil

Efficient Nanopass Compilers using Cats and Matryoshka - Greg Pfeil

Centered around a new standalone recursion scheme library (

scala.bythebay.io: Greg Pfeil, This programmer modeled his code after wooden nesting dolls

scala.bythebay.io: Greg Pfeil, This programmer modeled his code after wooden nesting dolls

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, ...

Recursion: Where Functional Programming Hits Bottom - Greg Pfeil

Recursion: Where Functional Programming Hits Bottom - Greg Pfeil

What are the problems with recursion? How can they be resolved while improving both the performance and clarity of

Greg Pfeil - Category-parametric Programming

Greg Pfeil - Category-parametric Programming

most if not all constructions in category theory are parametric in the underlying category, resulting in a remarkable economy of ...

The Monoiad: an epic poem on monoids – Greg Pfeil

The Monoiad: an epic poem on monoids – Greg Pfeil

Monoids provide a vast landscape of concepts that we rely on in FP. Applicatives, monads, categories – all of them are monoids, ...

scala.bythebay.io: Greg Pfeil Interview

scala.bythebay.io: Greg Pfeil Interview

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, ...

Scale By The Bay 2018 Unconference: Greg Pfeil

Scale By The Bay 2018 Unconference: Greg Pfeil

ai.bythebay.io Nov 2025, Oakland, full-stack AI conference Scale By the Bay 2019 is held on November 13-15 in sunny Oakland, ...

(Provably) Unprovable and Undisprovable... How??

(Provably) Unprovable and Undisprovable... How??

No matter how hard we try to axiomatise mathematics, there will always be strong, independent propositions that don't need no ...

Pernod Said No to Brown-Forman ($BF/B). Should You? | 2 Min PULSE

Pernod Said No to Brown-Forman ($BF/B). Should You? | 2 Min PULSE

With Brown-Forman down following reports that the buyout by Pernod is off the table, is the stock worth a deep dive? Let's find out ...

Zig polymorphism (anytype, comptime interfaces, tagged unions)

Zig polymorphism (anytype, comptime interfaces, tagged unions)

Hello, this is ComputerBread, back at it again, with a new episode of zig stuff, in the previous video I talked about runtime ...