jnpnj

143 karmajoined February 1, 2023On HN

lisp, forth, smalltalk, fp, lp fan with a dose of math envy

https://github.com/jnpn

https://registry.jsonresume.org/jnpn?theme=elegant

Recent submissions

Prolog for Veriﬁcation, Analysis and Transformation Tools Michael Leuschel [pdf]arxiv.org
1jnpnj1modiscuss

All submissions and comments on Hacker News.