Some papers (most, for me) are a slog to work through but sometimes (rarely) a paper is so engrossing that I mean to save it and read it on my laptop or print it out and I end up skimming the entire thing on my phone
Is it the content? Is the it writing? I don't know


This has only happened twice so idk if it counts as a pattern
Pattern matching without K and Definitional Proof-Irrelevance without K
For someone who is on this is ironic

The only common author is Jesper Cockx... 👀 is this the connection

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.