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