shachaf shachaf@gts.y.la

disabled queer computer geek

I am a partner and Haskell Consultant at Well-Typed LLP. I am also a member of the Haskell Foundation Board, and a co-host on the Haskell Interlude podcast and the Haskell Unfolder YouTube series.

Posting mostly about Haskell, but occasionally also about books I'm reading, video games I'm playing, and other things that interest me.

I❤Haskell.

Head of Technology and Architecture at Groq.

Helping build the Topos Institute and Haskell Foundation.

Formerly of MIRI Berkeley.

Category Theory bricoleur.

he/him

math, cs, etc!

github.com/cartazio
github.com/wellposed
wellposed.com
cstheory.net

also twitter.com/cartazio

current mastodon accounts, this + 1-2 others, primary tdb

MOVED: https://feed.hella.cheap/@bob

Author of the Whiley Programming Language. Interested in Programming Languages, Formal Verification and Compilers. Researcher in Smart Contracts @ConsenSys.

Always check for the stupid mistakes first.

Probably only boosting stuff I find interesting for a while, I have not fully read everything I boost. All my opinions are my own.

Something, something, geek
he/him