sddfd

12 ms·

91.
by sddfd 9y ago
I'd suggest changing the headline to, for example, Skype for Linux now requires SSSE3 Newer AMD processors support SSSE3 and can run Skype for Linux (new means less than ~5 years). Also, it would be interesting to know what percentage
92.
by sddfd 9y ago
I'm not defending the system. However, the priest also took holy confessions from all of his sheep, which is as good as medieval surveillance gets. He could not, however, come out and say that somebody already confessed the crime becau
93.
by sddfd 9y ago
What do you think about Standard ML as a language for teaching? I like it because the syntax is clean, it is functional and higher-order, but also has an explicit concept of references (i.e. mutable memory) and using functions with side eff
94.
by sddfd 9y ago
I agree with your general argument. However, I don't think our first priority should be trust. Our first priority should be public availability of data and reviews. With this information, we get reproducibility and accountability for w
95.
by sddfd 9y ago
It would be even better to establish a global standard on peer review and adhere to it. A first step would be to move to a preprint model and require full disclosure of data sets, turn in of source code, and pre-registration of clinical stu
96.
by sddfd 9y ago
> that Intel stayed at 4 cores for the desktop for so long has been unfortunate That's why my next cpu will be AMD: Intel needs competition to stay sharp.
97.
by sddfd 9y ago
If you don't know anything about wine, the safest thing is to just go with what you like. And this means first and foremost ignoring price and prestige even if you'll be called a philistine. One thing about wine I really enjoy is
98.
by sddfd 9y ago
Not the op, but basically Voevodsky realized that the notion of equality in type theories as implemented in Coq or Agda is fundamentally more fine grained than what mathematicians are used to thinking of. This mismatch causes problems when
99.
by sddfd 9y ago
> It could definitely be dangerous to feed high voltages back into the powered-down grid. I said as long as the interface is according to spec. There are effective mechanisms to prevent this kind of feedback. > shoddy home grid system
100.
by sddfd 9y ago
The requirement to use the same wiring precludes the home owner from having an additional low-volate wiring in the house. Most modern devices use low voltage nowadays, check what any of the power supply units for your laptop, phone, etc out
101.
by sddfd 9y ago
I think the title is right in spirit. The law forbids you to use power from your own solar panels if the grid is offline. This is a nonsense requirement. Also the law requires you to use the same inhouse wiring as the grid for power from th
102.
by sddfd 9y ago
That's what I thought browsing the comments. As a scientist, it is important to attribute ideas to the people that put them forward. But the essence of science is about the preservation, dissemination, and most importantly researching
103.
by sddfd 9y ago
> [..] selective headlining [..] Wouldn't drive the clicks though. I disagree. The profits are not essential here, because the issue is that the profits are quite small because a tax accounting trick called "double irish"
104.
by sddfd 9y ago
After WWII, the US invested /massively/ in Germany. Also, many people were trained in some profession, so even though everthing was destroyed, they knew how to rebuild it.
105.
by sddfd 9y ago
Not really. Ireland has some deals going with several digital multinationals. The guardian writes: "Google pays €47m in tax in Ireland on €22bn sales revenue" https://www.theguardian.com/business/2016/nov
106.
by sddfd 9y ago
How is the hypercomputation mentioned in the report related to a Turing machine with oracle?
107.
by sddfd 9y ago
This is not about taxing revenues instead of profits. This is about taxing EU-wide profits in EU countries proportional to the revenues generated in that country. At the moment, many big tech companies use bookkeeping tricks to make it look
108.
by sddfd 9y ago
>abiotic algae What specific species are you referring to? >Blue-green algae produce oxygen. That is only true during daylight. At night algae consume oxygen. Independently, photosynthetic activity can increase pH values drastically.
109.
by sddfd 9y ago
While the article states that nitrogen availability will increase due to climate change, I am missing a discussion about it also being the limiting factor. While nitrogen is frequently the limiting factor in oceans, this it might not be the
110.
by sddfd 9y ago
My understanding is that they are included. The paper talks about the problem it is addressing in Section 2. The following text is taken from that section and makes me think that extra moves/exchanges introduced by out-of-SSA are inclu
111.
by sddfd 9y ago
You may want to change the link to https://stackoverflow.com/questions/38060436/what-are-the-ne...
112.
by sddfd 9y ago
From "Copy coalescing by graph recoloring" PLDI'08, which compared several SSA-based copy coalescing techniques (including an expensive, but optimal, ILP-based formulation) to iterated register coalescing (TOPLAS 1996): >
113.
by sddfd 9y ago
This is extremely interesting and deserves more attention.
114.
by sddfd 9y ago
If we want zero-overhead abstraction (i.e. don't generate null checks in front of every division, etc.) and a (reasonably) safe language, more static analysis is in order. The case in point is Rust: Its type system is basically an elab
115.
by sddfd 9y ago
I agree that the generated code is leagal wrt. the standard and that code for NeverCalled is generated because it is visible outside the translation unit. However, to me it looks as if the assembly contains code for main (label main: is pre
116.
by sddfd 9y ago
So, the compiler finds out that the function pointer Do is either undefined or points to EraseAll, and since calling an undefined function is undefined behavior, the compiler assumes that 'Do' always points to EraseAll? Is this wh
117.
by sddfd 9y ago
Gentoo also doesn't force systemd.
118.
by sddfd 9y ago
What is the benefit of having an OCaml implementation of git, besides that it's written in OCaml? Edit: I get it now: it's an OCaml library that allows you to interact with git repositories and provides many (most?) operations.
119.
by sddfd 9y ago
I agree that there is a moral aspect to eating sentient being, whether they are conscious or not. Your argument, however, is mixing the aspects of consciousness, and cannibalism in the form of infanticide. To me, that doesn't seem to b
120.
by sddfd 9y ago
It's quite convenient to think that, because we eat animals. I'm not a vegetarian, I enjoy steak and pork chops a lot. But I think animals, especially cows and pigs, are more conscious of their existence than we like to think. I t

More ›