# jesper (blogs) — RSS Amplifier Recent posts from the 1 feeds in the RSS Amplifier directory that cover jesper. Page: Feed: --- ## [Introduction to Coinduction in Agda Part 1: Coinductive Programming](https://jesper.sikanda.be/posts/coinduction-part-1.html) _2026-01-22 · Jesper Cockx · Jesper Cockx's Blog_ Jesper Cockx - Introduction to Coinduction in Agda Part 1: Coinductive Programming Jesper Cockx Home Blog Papers Talks Teaching Links Introduction to Coinduction in Agda Part 1: Coinductive Programming Posted by Jesper on January 22, 2026 {-# OPTIONS --guardedness --sized-types #-} {-# OPTIONS --cubical -WnoUnsupportedIndexedMatch #-} {-# OPTIONS --allow-unsolved-metas #-} open import… ## [Going Vegan, or How I Ran All Out Of Excuses](https://jesper.sikanda.be/posts/going-vegan.html) _2026-01-03 · Jesper Cockx · Jesper Cockx's Blog_ Jesper Cockx - Going Vegan, or How I Ran All Out Of Excuses Jesper Cockx Home Blog Papers Talks Teaching Links Going Vegan, or How I Ran All Out Of Excuses Posted by Jesper on January 3, 2026 It’s been clear to me for a while now that our diet can have a big impact on climate change. Up until 2019, I consequently called myself a “flexitarian” and tried to avoid eating meat as long as doing so was… ## [The good places to submit your papers](https://jesper.sikanda.be/posts/the-good-places-for-your-papers.html) _2025-12-19 · Jesper Cockx · Jesper Cockx's Blog_ Jesper Cockx - The good places to submit your papers Jesper Cockx Home Blog Papers Talks Teaching Links The good places to submit your papers Posted by Jesper on December 19, 2025 This week, the ACM made the monumental(ly stupid) decision to replace the abstracts of papers on their Digital Library website by AI-written summaries. While this did not apply to all papers, and it was only visible to… ## [Reflective journaling prompts](https://jesper.sikanda.be/posts/reflective-journaling.html) _2024-09-15 · Jesper Cockx · Jesper Cockx's Blog_ Jesper Cockx - Reflective journaling prompts Jesper Cockx Home Blog Papers Talks Teaching Links Reflective journaling prompts Posted by Jesper on September 15, 2024 This is a post about the practice of reflective journaling. I’m someone who likes to think about the world and myself and the relationship between the two, and writing down these thoughts makes them clearer and more concrete. However,…