I have published a couple of posts on Medium to see how it works:
A Dart REPL PoC - Hacking with Dart
A well-received post about https://github.com/BlackHC/dart_repl which is a PoC interactive shell for Dart. I hope I’ve been able to restore some Karma points with the Dart team over this #butrisesagainharderandstronger..
Metamath - Formalizing math
A small write-up about my impressions from learning about Metamath and some questions that I really, really want to find time to look into.
A shoddy implementation in Dart can be found here: https://github.com/BlackHC/dart_metamath_naive
Reading the Deep Learning Book - Chapter 1
As part of a long study break, I’ve started reading the http://www.deeplearningbook.org/. I will try to write down my thoughts for each chapter over time as a way of engaging with the material.
Stay tuned for more posts and also cross-overs.
I’m still trying to decide whether to post the more mathy stuff here.
Cheers,
Andreas