sddfd

10 ms·

61.
by sddfd 9y ago
Just make sure it runs linux, because it makes installing toolchains for any programming language much easier. A MacBook is also a possibility, but it is a matter of taste. Unfortunately, I still find it hard to develop on Windows, because
62.
by sddfd 9y ago
ITER is a research project. As with all research, its main purpose is discovery of "incidental knowledge" , i.e. things you did not set out to research, but are important to know for future projects in the direction. ITER has betw
63.
by sddfd 9y ago
What's the license?
64.
by sddfd 9y ago
Bevor I'd use C++ I'd take a hard look at Go, figure out whether I really need C++ performance, or whether Go is just good enough. Go is rather performant and in contrast to C++ memory safe.
65.
by sddfd 9y ago
If one kind of RISC-V chips would become the go-to CPU for small smart appliances, demand could rise enough for a fab to pick up mass production.
66.
by sddfd 9y ago
Coq itself is not a monolithic system, but built around a small TCB (the kernel) itself. Proof automation and tactics always produce proof objects (terms of the type theory) that are checked by the kernel. This system design allows to built
67.
by sddfd 9y ago
Meh, is this getting picked up by every news outlet? What important news is getting buried? ;)
68.
by sddfd 9y ago
I read through the list. My only comment is that if you cannot discuss an idea then the idea cannot evolve, and you probably won't change your mind. Maybe the problem is not oppression of ideas, but the lack of a discussion culture whi
69.
by sddfd 9y ago
It is. But I think humans are generally incapable of comprehending exponential growth.
70.
by sddfd 9y ago
Thanks for your comment. I agree it is important to distinguish between title II and net neutrality. However, I fail to see how the power of Google & Facebook to "curate" the internet is an argument against net neutrality. To
71.
by sddfd 9y ago
A Video would be nice ;)
72.
by sddfd 9y ago
The argument in the article is deeply flawed. It goes like this: With net neutrality, ISPs would be over-regulated, and competition/ease of market entry would be hampered. The article then goes on to claim this competition is needed, b
73.
by sddfd 9y ago
Is it just me or is the number of signed petitions not increasing?
74.
by sddfd 9y ago
The fact that major donors are more important than democracy is not widely acknowledged. It is important to expose this mechanism, document it, and starte a broad discussion about it.
75.
by sddfd 9y ago
His resignation will be a an important sign. Suppose for the sake of my argument that this petition is successful and Ajit Paid has to resign, and the newly put in place chairman the removes net neutrality anyway. It will then be obvious th
76.
by sddfd 9y ago
Basically, the author questions the American Dream. "Hard work brings success" is paraphrasing the American Dream. The author now says he learned that success does not depend on factors that can be controlled. He uses the verb le
77.
by sddfd 9y ago
>They have just been lied too often by their authorities. And then make the stupid assumption, everything opposite must be true then. Unfortunately, this explanation seems all too plausible to me.
78.
by sddfd 9y ago
That must be a very poor country where the 71 year old still have to work... /Sarcasm But more seriously, if life expectancy increases, but we still suffer the same 'elderly' conditions as humans always have, there is a probl
79.
by sddfd 9y ago
The article discussed that even habeas corpus was denied. From Wikipedia: >The November 13, 2001, Presidential Military Order purported to give the President of the United States the power to detain non-citizens suspected of connection t
80.
by sddfd 9y ago
I'm not at all against chemical additives. I'm just saying if you're eating something which barely contains any agricultural product, you should ask yourself whether this is really healthy.
81.
by sddfd 9y ago
Your treating this as a scientific issue, but it's not. This is is social issue: there are people that just don't believe anything anymore.
82.
by sddfd 9y ago
What worries me most is how so many people can believe in obviously stupid ideas. One would assume that some basic education is enough to debunk such crackpot ideas yourself. On the other hand, saying the Earth is flat and scientists, media
83.
by sddfd 9y ago
What worries me most is how so many people can believe in obviously stupid ideas. One would assume that some basic education is enough to debunk such crackpot ideas yourself. On the other hand, saying the Earth is flat and scientists, media
84.
by sddfd 9y ago
I absolutely share your viewpoint. As a consumer, I try to think about the ingredients of a product: if it is mostly chemicals (in contrast do agricultural products), then the product probably isn't healthy.
85.
by sddfd 9y ago
This doesn't surprise me at all. It took almost 40 years to prove that smoking causes lung cancer. Similarly, despite unambiguous scientific evidence, it still seems acceptable to deny that man-made CO2 release into the atmosphere caus
86.
by sddfd 9y ago
Don't know if that is the reason, but China can build super computers without US parts now.
87.
by sddfd 9y ago
Sounds like a competitor of Facebook should do it then..
88.
by sddfd 9y ago
If they pay 5000€ (brutto), you will likely have ~3.200€ (netto) left after tax and social security, retirement payments, and health insurance. Feel free to play around with http://www.brutto-netto-rechner.info which is of cours
89.
by sddfd 9y ago
You are probably thinking of intuitionistic logic versus classical logic. In the former, the law of excluded middle is not built in.
90.
by sddfd 9y ago
What are you referring to? Provide some links!

More ›