wuch

9 ms·

31.
by wuch 9y ago
Metzinger is not against creation of AI in general, but against creation of conscious AI. The argument is indeed very anthropomorphic, though this may be useful to avoid human tendency to deny machines even a possibility of having a consci
32.
by wuch 9y ago
Maybe we shouldn't? Thomas Metzinger on the ethical aspect of conscious AI: What would you say if someone came along and said, “Hey, we want to genetically engineer mentally retarded human infants! For reasons of scientific progress we
33.
by wuch 9y ago
Yeah, I suppose for the end user I doesn't matter if program stopped working because of segmentation fault or a panic. Though, if one were to choose on of those issues, then obviously runtime errors are preferable over memory-safety pr
34.
by wuch 9y ago
I am kinda surprised that he bailed out on the grounds that it would help the Russians. If you look on what basis journalist make decision whatever something is newsworthy (or at least claim to do, as there are quite curious exceptions) the
35.
by wuch 9y ago
Note that you can in fact solve the exactly-once delivery problem using the model of FLP. It is much easier than consensus, because once message receipt is acknowledged it does not has to become a common knowledge. The only serious objectio
36.
by wuch 9y ago
Server will keep trying to send the message. Each time the client responds with receipt. Eventually communication succeeds and protocol is done. The major drawback is requirement of persistent storage on the client.
37.
by wuch 9y ago
I would say this problem is quite different than Two Generals, because client doesn't need to know that acknowledgment has been received, i.e., a solution doesn't require the receipt of message to be common knowledge. It it suffic
38.
by wuch 9y ago
Given that insurers so far have been unsuccessful in legislating requirement for a customer to hand over any DNA test they have performed, it seems quite sensible solution that customer gets dropped, as otherwise they could exercise informa
39.
by wuch 9y ago
I presume that KCC in question is https://github.com/kframework/c-semantics , i.e., a formalization of C programming language in a form suitable for evaluation. It indeed can detect undefined behaviour, though last time
40.
by wuch 9y ago
Sadly this book gets the description of statistical significance completely wrong. Not particularly surprising, given how unintuitive reasoning behind p-values really is, in Jeffreys words: "What the use of P implies, therefore is tha
41.
by wuch 9y ago
No, those are Rust specific things. For example, aliasing mutable references in C++ is potentially dangerous, but not undefined behaviour per se. Regarding making a "really safe" data structure, this is quite tricky question. Sa
42.
by wuch 9y ago
I don't think this claim is completely unfounded from perspective of people coming to Rust from other languages. Consider for example: * Poor ergonomics of raw pointers. Lack of arrow syntax, verbose pointer arithmetic (at least now th
43.
by wuch 9y ago
There is running joke about general relativity and quantum mechanics being a demonstration of simulation hypothesis, i.e., floating point computations used to simulate our universe break down under very small and very large scales.
44.
by wuch 9y ago
I kinda wonder if he will eventually substantiate his claims in book he is working on now: "Surveillance Valley" (planned for release in 2018). Otherwise what he is doing now, with all those grandiose conclusions, seems pretty har
45.
by wuch 9y ago
Available material vary considerably between courses, and those with video lectures are in minority.
46.
by wuch 9y ago
You seem to assume that when Chomsky reports on the elite opinion about democracy, in the second quote, this reflects his own position. Exactly the opposite is the case.
47.
by wuch 9y ago
All else being equal, not advertising your virtue would seem like right thing to do. Though, from more utilitarian perspective, if you actually care about about cause and want to make a difference, this could be wrong decision to make. In e
48.
by wuch 9y ago
Not exactly as boost::optional would have infinite size for recursive types. You would need to combine it together with recursive_wrapper.
49.
by wuch 9y ago
Semantics would be more accurately described as optional-value (instead of value).
50.
by wuch 9y ago
There is a video from a debate with Daryl Bem about those results. It is worth a look, because he admits to using various methods that increasing the degrees of freedom, and not taking those into account during statistical analysis. Essenti
51.
by wuch 9y ago
The solution using double ended queue is often referred to as monotonic queue, because queue content will be monotonic sequence.
52.
by wuch 10y ago
There is a thread-specific uselocale() in POSIX.1-2008.
53.
by wuch 10y ago
Controlling memory layout is one area that is very important for performance, where Java does not exactly shines. You essentially have to store your data in arrays of primitive types, to avoid memory overhead of objects (pointer to class, l
54.
by wuch 10y ago
Keep in mind that data races in Java are not undefined behaviour. There are quite a few places where authors of standard library deliberately left out synchronization, for example in String.hashCode. EDIT: In this case numberGenerator is vo
55.
by wuch 10y ago
There is article "Fake News" from 1992 [0], looking at the problem from this angle, essentially saying that quite a lot of news is fake in a sense that it is not prepared by journalists, but instead supplied by public relations ag
56.
by wuch 10y ago
True, in fact undefined-behaviour-wise I don't think there is any mainstream language that comes close in this respect to C/C++. Alas, this is well-known and addressed in various publications. Converse, things that could be eventu
57.
by wuch 10y ago
This is one of those things that makes perfect sense after you actually tried to implement it, but not necessarily beforehand. I think this happens a lot with C++ that design decision are quite well though through, but it is hard to appreci
58.
by wuch 10y ago
Programs without specification have only surprising behaviour no bugs. As far as I can see "reject!" does not specify complexity, so in this sense it would be completely fine. Additionally it claims to change the array instantly e
59.
by wuch 10y ago
2. Language agnostic; Common in other languages, but some avoid it by using strongly typed enumeration instead of integer return type in comparison functions. 6. Languages with pointer arithmetic, especially that the cast that losses inform
60.
by wuch 10y ago
It is quite interesting to look how some of those recommendations change in the industry over time (to a degree you can make such general statements). For example in Clean Code, Robert Martin argues against the idea of encoding type informa

More ›