- Growing a Language (steele1999growing)
- Rapidly building domain-specific entity-centric language models using semantic web knowledge sources (akbacak2014rapidly)
- Streaming end-to-end speech recognition for mobile devices (he2018streaming)
- Dynamically typed languages (tratt2009dynamically)
- How to Quantize Neural Networks with TensorFlow « Pete Warden's blog. There are a lot of cool things happening on the runtime side of neural nets.
- Type Specifications and Erlang | Learn You Some Erlang for Great Good!. A first glance at success typing feels like just your regular optional typing. But probably there is a difference. Will be looking into the paper lindahl2006practical.
- Studied CL's restarts and conditions. Probably they are most useful when you don't really know the error modes or they too many to fix programmatically in a general way; I feel I have a few uses for them in bbq. Will be looking into signals in some time to understand how they are implemented.
- Started using Clojure at work, hopefully we will have a good run with it.
- [steele1999growing] Steele. 1999. "Growing a language." Higher-Order and Symbolic Computation, 12(3), 221-236. link. doi.
- [akbacak2014rapidly] Akbacak, Hakkani-T\"ur & Tur. 2014. "Rapidly building domain-specific entity-centric language models using semantic web knowledge sources", in in: Fifteenth Annual Conference of the International Speech Communication Association, edited by
- [he2018streaming] He, Sainath, Prabhavalkar, McGraw, Alvarez, Zhao, Rybach, Kannan, Wu, Pang & others. 2018. "Streaming End-to-end Speech Recognition For Mobile Devices." arXiv preprint arXiv:1811.06621, , link. doi.
- [tratt2009dynamically] Tratt. 2009. "Dynamically typed languages." Advances in Computers, 77, 149-184. link. doi.
- [lindahl2006practical] Lindahl & Sagonas. 2006. "Practical type inference based on success typings", 167-178, in in: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, edited by