User:Lojikil

=Intro=

a half-Rroma, half-Welsh philosopher interested in PLT, infosec, formal verification, Stoicism, and absurdism.

I have previously worked on the ISLisp and Cyclone (programming language) pages.

You can also find me on Twitter, GitHub, and Lobste.rs.

11:14, 17 November 2017 (UTC)