@rae: An introduction to Haskell's kinds

(17:4)

@rae: Impredicative types and dynamic types -- useful in parsing JSON

(19:58)

@rae: Update on Dependent Haskell

(9:46)

I Redrew My FIRST Drawing 23 Years Later *see my progress*

(11:27)

Drawing The Same Thing In 8 Hours, 80 Minutes \u0026 8 Seconds! (i think i did good!!)

(11:45)

Constrained Type Families

(16:21)

Poki reaction to Rae standing at her desk

(47)

@rae: Functional dependency consistency is inconsistent

(16:20)

@rae: What happens when a Haskell programmer writes Java

(35:52)

@rae: UndecidableInstances can actually cause a runtime loop. Eek!

(17:40)

@rae: Introduction to Pattern Synonyms

(15:54)

@rae: Wordle #5: Unit tests, QuickCheck, and CI in Haskell

(55:49)

@rae: Avoid losing money via -XLinearTypes

(16:19)

@rae: The monomorphism restriction in Haskell causes order dependency. Ack!

(13:34)

@rae: Monomorphism restriction can improve performance

(12:36)

@rae: Figuring out what constraints to generalize is hard

(9:48)

When he says he’ll do it in a minute 🙄 #shorts #comedy #couple

(6)

I know y’all could relate🥲 #shorts #tiktok

(6)

@rae: How emacs makes merging ridiculously easy

(13:26)

@rae: Getting a little fancy with Haskell's kinds

(17:44)

@rae: Roles can break abstraction

(13:56)

@rae: Pattern synonyms can improve performance while retaining safety

(33:35)

@rae: Why -XNoPolyKinds should be removed from Haskell

(14:57)

@rae: How to sneak an access to the type-checker from Template Haskell

(14:4)

How To Draw Water Droplets 💦 #Shorts

(26)

@rae: How whitespace works in Haskell

(17:59)

Why You Should NEVER See An Artists Unfinished Work ✏️#shorts

(17)

@rae: RebindableSyntax in Haskell

(19:13)

@rae: Using proofs to make functions faster over length-indexed vectors

(25:14)