2 repositories on SrcLog
Solve captcha without manually labeling a training set
shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)