Published in Becoming Human: Artificial Intelligence Magazine·Jan 15, 2019“When Will AI Exceed Human Performance? Evidence from AI Experts”A paper review — The paper “When Will AI Exceed Human Performance? Evidence from AI Experts” analyses predictions about progress in AI from researchers who published at the 2015 NIPS and ICML conferences. Only a quick survey was used to gather the data. A quick survey does not evoke thoughtful forecasts. It provokes fast…Artificial Intelligence3 min read
Dec 5, 2018Why autonomous weapons are inevitableAnd what we can still do about it — In August, at the United Nations’ Convention on Conventional Weapons, 80 countries met to ban autonomous weapons. The US, Russia, Australia, Israel, and South Korea blocked the attempt. Last week, Russia reduced the length of the next convention in 2019 to just one week. This will make negotiations harder. Unlike…Politics7 min read
May 25, 2018Our culture has made us all the sameReviewing “Fight Club” by Chuck Palahniuk — As I am gaining some experience in acute prolonged insomnia, I couldn’t resist the irony of reading Fight Club in my waking morning hours. It is a very good book with some hefty writing and a good punch. The movie does not stray very far from it. …Book Review2 min read
Published in HackerNoon.com·Apr 27, 2018Blockchain is the ultimate April Fool’s jokeHow a joke taken seriously shows the myths behind BitCoin, blockchain and cryptocurrencies — For April Fool’s, I posted a message on Facebook and Twitter on how I would focus on blockchain from now on. Unfortunately, some of my friends got confused and took it seriously. After two months as a fellow at Newspeak, I’ve realized that, while AI and ML are very interesting…Blockchain9 min read
Published in BlackHC·Feb 19, 2018A way to speed up Python RL environmentsOpenAI’s gym environment only supports running one RL environment at a time. If you want to run multiple environments, you either need to use multiple threads or multiple processes. Moreover, this only parallelizes well as long as you have sufficiently many cores available. However, if your batch size increases…Machine Learning2 min read
Published in BlackHC·Feb 13, 2018The risks and opportunities of speech generation after WaveNetBefore WaveNet, speech generation was suffering in the uncanny valley of “good enough to be understood but not good enough to sound pleasant” for a long time. Everyone is familiar with the robotic voices of parametric speech generation of old. WaveNet has changed all this. …Entrepreneurship10 min read
Published in Dart·Apr 19, 2017Evolving the Dart REPL PoCHacking with Dart — The Dart REPL allows you to evaluate Dart expressions and statements in an interactive shell. It has been awhile since my first post about the Dart REPL (you don’t need to read it to enjoy this post), and lots of features are still missing. …Java Script7 min read
Published in BlackHC·Apr 4, 2017Reading the Deep Learning bookChapter 2 — Disclaimer: The following only represents my personal opinion and is in no way related to my employer etc. Also I don’t know much, so please let me know when I’m wrong :) Because Medium doesn’t support LaTex, I’m using a gist, which is a bit awkward. You can also enjoy this post as a blog post with MathJax: http://blog.blackhc.net/2017/03/dlb-chapter2/ or as a PDF: https://github.com/BlackHC/dlb_chapter2/raw/master/content.pdfMachine Learning1 min read
Published in BlackHC·Mar 1, 2017Reading the Deep Learning bookChapter 1 — I’ve started reading the Deep Learning book. You can find an online version at http://www.deeplearningbook.org/. I’m trying to take notes and really interact with the material. This post contains my thoughts for Chapter 1. The ones that still make sense to me, that is. Disclaimer: The following all represents my…Machine Learning3 min read
Jan 23, 2017MetamathFormalizing math — Disclaimer: I’m just learning about proof verification systems. Bear with me on this journey :) Recently, I’ve stumbled over Metamath. Metamath is a proof verification system. It allows you to formalize mathematical proofs and checks that everything is sound and consistent. Proof verification systems are related to automated proof solvers…Computer Science5 min read
