HNHacker News
TopNewBestAskShowJobs

FranchuFranchu

199 karma · joined April 24, 2021

Type theory is great!

meet.hn/city/ar-Buenos-Aires

submissionscomments

South Korean Air Force apologizes for accidental bombing, blames pilot error

www3.nhk.or.jp·4 pts·FranchuFranchu·
0

Infinite Apply – Lambda Calculus

infinite-apply.marvinborner.de·3 pts·FranchuFranchu·
0

Tree Sitting

en.wikipedia.org·5 pts·FranchuFranchu·
0