JJ :blobblackcat:

jj@types.pl

<p>forever student of language<br />talk to me about natural/programming languages and their syntax/semantics/interface!</p><p>working linguist. bsc @ ubc in mathematics and linguistics. ctf previously 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: 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>