Viewing profile — leonvv

This is great. If some kerbal developers see this please name a planet Jubyla in Kerbal 2.0!

It's the same in the Netherlands. It's a great system I think. Sometimes you can see kids haul all their books on a bicycle, which is quite a challenge even for the Dutch

I wrote a Todo application in Idris that compiles to Javascript ( https://github.com/leon-vv/Todo ). I used the dependent type system of Idris to embed a small part of SQL in Idris…

> his content proliferates This is the root of the problem. The fact that his content is on YouTube does not imply that it will proliferate. > How are we going to solve it Critical…

The root of the problem seems to be the inability of people to correctly judge the likeliness of David's arguments to be true. This is not a problem that we're going to solve by ba…

You seem to imply that it's okay for YouTube to censor content as long as the content is 'factually incorrect'. What is your definition of 'factually' incorrect content? More impor…

Mindustry is a game similar to Factorio. It's open source and free to download on the Play Store. Warning: it's super addictive

Maxima is also an amazing tool for symbolic maths, and is free software. I especially recommend the wxMaxima interface which is close in spirit to jupyter notebook

The Arduino IDE has a verbose mode which prints out all the commands it uses to upload your program.

What a beautiful piece of writing. I always saw terraforming Mars as a technological challenge, it's great to see someone consider the ethics of the project. The following paragrap…