Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

"jj, which describes itself as being “a Git-compatible VCS that is both simple and powerful”. This is selling itself short

"jj [] describes itself as being “a Git-compatible VCS that is both simple and powerful”. This is selling itself short

Why Is the Web So Monotonous? Google

Protobuffers Are Wrong (2018)

Why Is the Web So Monotonous? Google

Review: A Very Elementary Introduction to Sheaves

Haskell2020 Is Dead, but All Hope Is Not Lost

Review: Adders and Arrows

Exploring Case Law

Towards Tactic Metaprogramming in Haskell

How to Write Technical Posts, so people will read them (2019)

Protobuffers Are Wrong

How These Things Work – A book about CS from first principles (2016)

Implement with Types, Not Your Brain

Protobuffers Are Wrong

Implement With Types, Not Your Brain

Implement with Types, Not Your Brain

Review: Theorems for Free :: Reasonably Polymorphic

Freer Monads, More Better Programs

Coercions and Roles for Dummies

Protobuffers Are Wrong

Protobuffers Are Wrong

Static Analysis of Free Monads

The Book of Types: Type-Level Programming in Haskell

Follow the Denotation

Higher-Kinded Data

Type-Directed Code Generation

Modeling Music

Why we want monads [2015]

Elm is Wrong

More →