gjjvdburg

4 ms·

1. 1.▲
   by gjjvdburg 3y ago

   Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/...
2. 2.▲
   Rotterdam harbor storm barrier closes for the first time in its history(en.wikipedia.org)

   38 points by gjjvdburg 3y ago|16 comments
3. 3.▲
   The Curse of Off-Hours Email(wsj.com)

   3 points by gjjvdburg 5y ago|0 comments
4. 4.▲
   by gjjvdburg 5y ago

   I've been using a "do-nothing script" [1] to semi-automate the release process for some open source projects (e.g. [2]). Might be interesting for someone here. [1]: https://blog.danslimmon.com/2019/07&#x2
5. 5.▲
   An Exploration of Thompson Sampling(gertjanvandenburg.com)

   2 points by gjjvdburg 6y ago|0 comments
6. 6.▲
   by gjjvdburg 7y ago

   Hi, I'm the author of CleverCSV. Although the package was initially written to mainly improve the accuracy of automated dialect detection, we ended up changing some aspects of the C parser as well (most notably increasing the look-ahea
7. 7.▲
   Simple MNIST Autoencoder in TensorFlow(gertjanvandenburg.com)

   2 points by gjjvdburg 9y ago|0 comments
8. 8.▲
   by gjjvdburg 10y ago

   Location: Rotterdam, The Netherlands Remote: No Willing to relocate: Yes Technologies: Machine Learning (scikit-learn, some TF, own algorithms), Python, C, R, Matlab CV: https://gertjanvandenburg.com/files/cv.pdf Email
9. 9.▲
   Show HN: Labella.py – Python Clone of Labella.js Creates SVG and TikZ PDF Output(github.com)

   3 points by gjjvdburg 11y ago|0 comments