leonvv

4 ms·

1.
by leonvv 5y ago
This is great. If some kerbal developers see this please name a planet Jubyla in Kerbal 2.0!
2.
by leonvv 5y ago
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
3.
by leonvv 6y ago
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, which means the type system can proof
4.
by leonvv 6y ago
> 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 thinking skills are apparently undervalued. This is a
5.
by leonvv 6y ago
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 banning David's content.
6.
by leonvv 6y ago
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 importantly, how do you prevent YouTube
7.
by leonvv 6y ago
Mindustry is a game similar to Factorio. It's open source and free to download on the Play Store. Warning: it's super addictive
8.
by leonvv 7y ago
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
9.
by leonvv 7y ago
The Arduino IDE has a verbose mode which prints out all the commands it uses to upload your program.
10.
by leonvv 9y ago
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 paragraph stood out most for me. 'Another reason for belie