vcdimension

12 ms·

91.
by vcdimension 6y ago
You still need to construct the algorithm in the first place, which is what a constructive proof does.
92.
by vcdimension 6y ago
AFAIK the advantage of constructivism is algorithms. Coq allows you to extract lisp/ML/Haskell programs. Perhaps we will be seeing the next generation of fully homomorphic encryption programs, or topological data analysis programs
93.
by vcdimension 6y ago
2nd sentence of 2nd paragraph says: "honeybees, which are actually not even native to North America, Europe or Australia" guess it depends on how you define "native"
94.
by vcdimension 6y ago
The U.K. recently dropped tariffs from half of it's sugar imports as part of its post brexit, more outward looking trading policy: http://reut.rs/3s7MBYZ The countries that export sugar to the UK (including E.U. ones)
95.
by vcdimension 6y ago
Honey bee's are not native to Britain, and are not in any danger of disappearing because, like chickens, sheep, cows, and other livestock, we control their population; when demand or price of honey bee's is high beekeepers produce
96.
by vcdimension 6y ago
TYPO!!: In the section "Suspicious use of subst" it says that b is being replaced, but in the second formula box a has been replaced, not b. Furthermore the number that replaced a is not the same as the number used in the previou
97.
by vcdimension 7y ago
You can do similar stuff using the visidata command line tool: https://www.visidata.org/ You can use python code for more advanced data manipulations and creating plugins.
98.
by vcdimension 7y ago
There's another important reason for the British strategy; nobody else has tried it, or is trying it. We need to know if it works or not, so we have more information about how to tackle future epidemics. That kind of information is ex
99.
by vcdimension 7y ago
OK, so for some surfaces 4 hours wouldn't be good enough, but for things like letterboxes, door handles & light switches that aren't used too frequently, it could make a difference, and for minimal cost. For example, a postma
100.
by vcdimension 7y ago
There is a very cheap and effective way to keep surfaces free from coronavirus (without having to continually spray them) that few people seem to have picked up on: copper https://youtu.be/Qb2oWYMrFn8 It kills a wide variet
101.
by vcdimension 7y ago
This statement in the article is really dumb: "whales accumulate an average of 33 tonnes of CO2". Yes, but that's from eating other plants & animals that would otherwise accumulate that same CO2 themselves. Furthermore, w
102.
by vcdimension 7y ago
I've been doing this for years using BBDB and org-mode in emacs. I always forget to update it though.
103.
by vcdimension 7y ago
Absolutely agree with that, but the problem might be people not having the time to follow up on long discussions, and source information to disprove climate denier arguments. In fact my experience is that many climate activists are not tha
104.
by vcdimension 7y ago
Yes, but CO2 levels are the main driver of anthropomorphic climate change, so reducing them by 2/3 (since industrial times) will likely help quite a lot.
105.
by vcdimension 7y ago
Hahaha!! I think it's feasible we could train birds to do that. I would rather live in a world like this: https://www.youtube.com/watch?v=mIwa9sPFT5I than this: https://www.youtube.com/watch?v=_Mg7qKstn
106.
by vcdimension 7y ago
Have you seen this project: http://thecrowbox.com/ and this: https://www.youtube.com/watch?v=v8lZ4I-UamM Maybe we could train squirrels too..
107.
by vcdimension 7y ago
The Sion has other advantages apart from the solar panels; it has a socket for charging other things (e.g. other electric cars), and custom built-in software and smartphone app for renting it out when you're not using it. This means yo
108.
by vcdimension 7y ago
Looks like the sort of thing you see at the early stages of a magic mushrooms or LSD trip.
109.
by vcdimension 7y ago
There are many more than just four people who pushed the boundary of statistics.
110.
by vcdimension 7y ago
Has anyone run any benchmarks of TXR against awk, R, python, or miller?
111.
by vcdimension 8y ago
This could bring a whole new meaning to the words "computer virus".
112.
by vcdimension 8y ago
https://crosstool-ng.github.io/
113.
by vcdimension 8y ago
James Abdey wrote his Ph.D. on this subject several year ago and proposed an alternative method for making decisions based on statistical evidence: http://etheses.lse.ac.uk/31/
114.
by vcdimension 9y ago
This is the standard way of analysing this kind of data, and I'd be very surprised if the Obama campaign didn't use the same or very similar methods with the facebook data they obtained. The only difference is that Cambridge Analy
115.
by vcdimension 9y ago
He should try speeding it up further by compiling to C-code using this: https://github.com/tromey/el-compilador
116.
by vcdimension 9y ago
I don't understand why people create these webpages just re-explaining stuff that can be read in a book, lecture notes (usually available freely online), or wikipedia. It just adds more noise to the internet. Is it a kind of marketing
117.
by vcdimension 9y ago
Yes, and as with all previous statistical studies on minimum wage there are other caveats aswell. I think the main one is the fact that the minimum wage is so much higher in Seattle than elsewhere: https://fivethirtyeight.com&#x2
118.
by vcdimension 9y ago
Because if other states which do have anti-union laws are thinking about imposing minimum wage laws to improve the lives of low wage workers they might want to think again. Scandinavia is often upheld as a model for low levels of inequality
119.
by vcdimension 9y ago
I think you have more anti-union laws in some US states, such as Michigan and Wisconsin.
120.
by vcdimension 9y ago
Its interesting that none of the "welfare state" economies of Scandinavia have minimum wage laws. Instead they allow collective bargaining by unions.

More ›