41554 blogs · [ { "id": "01a0878d-5f23-7159-b769-f4f92a67a7e3", "title": "Introduction to Coinduction in Agda Part 1: Coinductive Programming", "url": "https://jesper.sikanda.be/posts/coinduction-part-1.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92b2172a2", "title": "Going Vegan, or How I Ran All Out Of Excuses", "url": "https://jesper.sikanda.be/posts/going-vegan.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92bab3829", "title": "The good places to submit your papers", "url": "https://jesper.sikanda.be/posts/the-good-places-for-your-papers.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92bcadaa1", "title": "Reflective journaling prompts", "url": "https://jesper.sikanda.be/posts/reflective-journaling.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92c8c871c", "title": "On erasure annotations and agda2hs", "url": "https://jesper.sikanda.be/posts/agda2hs-erasure.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92cce42b6", "title": "Functional Programming in the Netherlands", "url": "https://jesper.sikanda.be/posts/fp-in-nl.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92db66d6e", "title": "A love letter to TTRPGs", "url": "https://jesper.sikanda.be/posts/love-letter-to-ttrpgs.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92e019e66", "title": "Agda Core: The Dream and the Reality", "url": "https://jesper.sikanda.be/posts/agda-core.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92e37147b", "title": "Ten Thinkers Who Shaped My Worldview", "url": "https://jesper.sikanda.be/posts/ten-thinkers.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92e6f44d2", "title": "6 Reasons in favor of a core language, and 5 against", "url": "https://jesper.sikanda.be/posts/why-not-a-core-language.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92ee1b1aa", "title": "Ten improvements to Agda's implementation", "url": "https://jesper.sikanda.be/posts/ten-agda-improvements.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92f8e85bb", "title": "An Invitation to Mindfulness", "url": "https://jesper.sikanda.be/posts/invitation-to-mindfulness.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f92f930a0d", "title": "Ten common writing issues in student papers", "url": "https://jesper.sikanda.be/posts/writing-issues.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f930815754", "title": "I'm Autistic, and that's okay", "url": "https://jesper.sikanda.be/posts/being-autistic.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f930a7692a", "title": "Don't worry (about writing Haskell), be happy (writing Agda instead)!", "url": "https://jesper.sikanda.be/posts/agda2hs.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f930ccdb2e", "title": "1001 Representations of Syntax with Binding", "url": "https://jesper.sikanda.be/posts/1001-syntax-representations.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f931131245", "title": "WITS '21: First International Workshop on the Implementation of Type Systems", "url": "https://jesper.sikanda.be/posts/wits-announcement.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f931532264", "title": "EuroProofNet: the European research network on digital proofs", "url": "https://jesper.sikanda.be/posts/europroofnet.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f931eabe80", "title": "The Taming of the Rew", "url": "https://jesper.sikanda.be/posts/taming-of-the-rew.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f932c7f874", "title": "Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan", "url": "https://jesper.sikanda.be/posts/uitdaging-voor-2021.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f932e4a4ac", "title": "My challenge for you in 2021: Do the most good you can", "url": "https://jesper.sikanda.be/posts/challenge-for-2021.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f9336983da", "title": "An introduction to property-based testing with QuickCheck", "url": "https://jesper.sikanda.be/posts/quickcheck-intro.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f933b8180a", "title": "NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda", "url": "https://jesper.sikanda.be/posts/veni-announcement.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f933d907a9", "title": "Announcement: I'm moving to Delft!", "url": "https://jesper.sikanda.be/posts/delft-announcement.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f9342bb9b9", "title": "Rewriting type theory", "url": "https://jesper.sikanda.be/posts/rewriting-type-theory.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f934655cf7", "title": "Hack your type theory with rewrite rules", "url": "https://jesper.sikanda.be/posts/hack-your-type-theory.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f934f54454", "title": "Formalize all the things (in Agda)", "url": "https://jesper.sikanda.be/posts/formalize-all-the-things.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f9359ad6f0", "title": "EUTYPES '19 Summer School in Ohrid", "url": "https://jesper.sikanda.be/posts/ohrid19.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f9360a0b4c", "title": "Writing Agda blog posts in literate markdown", "url": "https://jesper.sikanda.be/posts/literate-agda.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f936271e70", "title": "Elaborating Dependent (Co)pattern Matching", "url": "https://jesper.sikanda.be/posts/elaborating-dependent-copattern-matching.html", "published_at": null }, { "id": "01a0878d-5f23-7159-b769-f4f9366944ad", "title": "The Agda's New Sorts", "url": "https://jesper.sikanda.be/posts/agdas-new-sorts.html", "published_at": null } ] posts Claim your blog

Back to jesper.sikanda.be

Blog · corpus.blog/blogs/jesper.sikanda.be/posts

jesper.sikanda.be

jesper.sikanda.be

Undated

Introduction to Coinduction in Agda Part 1: Coinductive Programming original ↗

—

Going Vegan, or How I Ran All Out Of Excuses original ↗

—

The good places to submit your papers original ↗

—

Reflective journaling prompts original ↗

—

On erasure annotations and agda2hs original ↗

—

Functional Programming in the Netherlands original ↗

—

A love letter to TTRPGs original ↗

—

Agda Core: The Dream and the Reality original ↗

—

Ten Thinkers Who Shaped My Worldview original ↗

—

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

—

Ten improvements to Agda's implementation original ↗

—

An Invitation to Mindfulness original ↗

—

Ten common writing issues in student papers original ↗

—

I'm Autistic, and that's okay original ↗

—

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

—

1001 Representations of Syntax with Binding original ↗

—

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

—

EuroProofNet: the European research network on digital proofs original ↗

—

The Taming of the Rew original ↗

—

Mijn uitdaging voor jou in 2021: Doe zoveel goed als je kan original ↗

—

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

—

An introduction to property-based testing with QuickCheck original ↗

—

NWO Veni Grant on A Trustworthy and Extensible Core Language for Agda original ↗

—

Announcement: I'm moving to Delft!original ↗

—

Rewriting type theory original ↗

—

Hack your type theory with rewrite rules original ↗

—

Formalize all the things (in Agda)original ↗

—

EUTYPES '19 Summer School in Ohrid original ↗

—

Writing Agda blog posts in literate markdown original ↗

—

Elaborating Dependent (Co)pattern Matching original ↗

—

The Agda's New Sorts original ↗

—