Public Notes on
View Public Collections
1ML - ML core and module united www.mpi-sws.org
scott
Calculus on Computational Graphs: Backpropagation news.ycombinator.com
scott
Interview with Jesper Louis Andersen about Erlang, Haskell, OCaml, Go, Idris, the JVM, software and… — Medium medium.com
scott
CakeML: A verified implementation of ML news.ycombinator.com
scott