Hacker Newsnew | past | comments | ask | show | jobs | submit | jnpnj's submissionslogin
1.
Prolog for Verification, Analysis and Transformation Tools Michael Leuschel [pdf] (arxiv.org)
1 point by jnpnj 75 days ago | past
2.
. GotHub All the Things (x61.sh)
3 points by jnpnj 7 months ago | past | 2 comments
3.
Having an Effect by Oleg Kiselyov – 2016 (youtube.com)
1 point by jnpnj on Feb 12, 2023 | past

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: