nlperguiy

10 ms·

1. 61.▲
   by nlperguiy 9y ago

   Yet there's a movement here https://github.com/HoTT/HoTT where they do everything in Coq.
2. 62.▲
   by nlperguiy 9y ago

   Article below has more than 50 references that describe the argument well. http://anthonycolpo.com/sweet-stupidity-part-2-the-bitter-tr... You can check the sources yourself too. Although, I believe Lustig changed the narra
3. 63.▲
   by nlperguiy 9y ago

   Robert Lustig is a quack although. Many of the things he said in his famous online talk are outright lie. He gave an example of Japanese and their healthiness, yet they eat way more fructose than the USA citizen he cites. There's a who
4. 64.▲
   by nlperguiy 9y ago

   They printed 60M tether in the last week.
5. 65.▲
   by nlperguiy 9y ago

   Yeah, Croatian coastal area is sun all throughout the year (strong winds, very popular among gliders and surfers).
6. 66.▲
   by nlperguiy 9y ago

   According to https://vuejs.org/v2/guide/comparison.html , vuejs is less verbose React + Mobx.
7. 67.▲
   by nlperguiy 9y ago

   But the constant is not large. O(n) quickselect is extremely fast algorithm.
8. 68.▲
   by nlperguiy 9y ago

   Yeah, when you look at some of the SemEval contest winners or top 3, many use fairly simple methods combined into a powerful solution (except when LSTM with attention grabs the throne).