JJ :blobblackcat:

jj@types.pl

<p>forever student of language. talk to me about programming languages, natural languages, and their syntax/semantics interface!</p><p>working linguist. previously: bsc @ ubc in mathematics and linguistics, ctf with <span class="h-card" translate="no"><a href="https://mastodon.social/@maplebaconctf" class="u-url mention">@<span>maplebaconctf</span></a></span>. :racket: :rust: :lean: :typst: :python: :nim: :java: :blobcatlambdas: en tok</p><p>currently thinking about: typesetting, temporal ordering and epistemic modality, entity quantification / maximality, effect handlers, cyberspace and web fiction, soup recipes. most posts private due to llm concerns, sorry.</p>