Jesper Cockx's Blog jesper.sikanda.be

Introduction to Coinduction in Agda Part 1: Coinductive Programming

jesper.sikanda.be·17w

Going Vegan, or How I Ran All Out Of Excuses

jesper.sikanda.be·19w

The good places to submit your papers

jesper.sikanda.be·21w

Reflective journaling prompts

jesper.sikanda.be·87w

On erasure annotations and agda2hs

jesper.sikanda.be·94w

Functional Programming in the Netherlands

jesper.sikanda.be·96w

A love letter to TTRPGs

jesper.sikanda.be·98w

Agda Core: The Dream and the Reality

jesper.sikanda.be·105w

Ten Thinkers Who Shaped My Worldview

jesper.sikanda.be·114w

6 Reasons in favor of a core language, and 5 against

jesper.sikanda.be·118w

Ten improvements to Agda's implementation

jesper.sikanda.be·124w

An Invitation to Mindfulness

jesper.sikanda.be·138w

Ten common writing issues in student papers

jesper.sikanda.be·146w

I'm Autistic, and that's okay

jesper.sikanda.be·160w

Don't worry (about writing Haskell), be happy (writing Agda instead)!

jesper.sikanda.be·189w

1001 Representations of Syntax with Binding

jesper.sikanda.be·237w

EuroProofNet: the European research network on digital proofs

jesper.sikanda.be·239w

WITS '21: First International Workshop on the Implementation of Type Systems

jesper.sikanda.be·239w

The Taming of the Rew

jesper.sikanda.be·280w

My challenge for you in 2021: Do the most good you can

jesper.sikanda.be·282w

Log in to enable infinite scrolling