How wrong was Robet Nozick in his argument about the Experience Machine [0]. [0] https://en.wikipedia.org/wiki/Experience_machine
Maybe it continues the historical tradition of Federalists vs Anti-Federalists: "The primary opposition to the Constitution was based on it being a centralizing document that risked making the states a mere…
> If it is recognized that Facebook is a media company, it will be legally liable for its content, and it will be forced to keep better track of fraudulent anonymous usage, like U.S. political ads placed by foreign…
"What sorts of decisions does he [sponsor] make? According to some network executives, he no longer makes decisions that deal with programming. Spokesmen for sponsoring organizations tend toward similar statements, but…
Quote from Conclusions chapter of Manufacturing Consent (from edition published in 2002, but I don't think this part changed at all since first edition published in 1988). "A propaganda model has a certain initial…
To provide a little bit more context, here is detailed description of this bug [0]. Curiously, they suggest that problem could be avoided by changing the check for EOF to ">=". This is not true at all in case of C, at…
What issue do you refer to in context of Signal protocol?
(n+1)sec attempts to address the issue of transcript consistency, which is completely out of scope for megolm. Though, it puts additional requirements on the chart room, in particular "members of the chat room receive…
OMEMO ensures neither room consistency nor transcript consistency. In fact, last time I checked you could easily send different transcript to different participants (for example by simply not providing them decryption…
"In England, at this day, if elections were open to all classes of people, the property of landed proprietors would be insecure. An agrarian law would soon take place. If these observations be just, our government ought…
When I reached the comment field at the end of page, to my big surprise the name and email have been already filled in. In fact, it seems like data of the person last to comment have been present there. Something along…
My impression was that gtk has pretty reasonable tutorials, at least for those languages with official bindings. Once you go through tutorial, you can examine gtk-widget-factory app and gtk-demo app for further ideas…
I don't use gedit, but in general I like look and feel of GNOME 3 applications: * Emphasis on undo instead of confirmation dialogs. Though, some applications got implementation completely wrong. Contacts, I am looking…
Actually there is pretty limited support that placebo actually works on anything but subjective measured outcomes.
I do recommend Behave. Robert Sapolsky is terrific writer. Though, I found it quite funny how in each chapter Sapolsky starts by describing usually story, criticising how it is wrong and too simplistic, elaborating on…
In C++, you can for example: 1. Manage resources with RAII (though, in C you could use non-portable attribute cleanup in similar manner). 2. Use type safe wrappers around builtin types like in [0] and [1]. 3. Use…
In pre C++11 it was quite typical for std::string to be implemented with COW semantics. Since C++11 standard it is no longer permitted, though it is not necessarily reflected in all stdlib implementations.
Using unsafe blocks and pointers can silence the borrow checker, but that doesn't mean that code is well defined. For example, using swap (mentioned in the article) with overlapping references would be undefined…
There are perfectly valid reasons to claim that exactly-once delivery is impossible. FLP impossibility result is not one of them. In fact in FLP model solution is trivial, just send the message exactly once and it will…
A few things I didn't like about pass: * It does not encrypt metadata. * It performs delayed clipboard clearing instead of preventing further coping after first use, which is technically possible to implement, though I…
I would argue to the contrary, especially that we are comparing modern Clang/LLVM with a GCC that was released back in 2008. At that point C programming language didn't even have a memory model.
I think you are looking at the side that does the reading. I was actually thinking about the other side that does the writing (inside pthread_mutex_init), where those two things are not separated by any function calls…
In case someone is interested, here is relevant code [0]. Notice that mutexp is read without any synchronization, and _spinlock further down uses different lock than one in initialization code (former is specific to…
Now that OpenBSD has an optimizing compiler maybe they will notice and fix dataraces in their pthread_mutex_lock implementation. Currently they use broken double-checked locking pattern when mutex is lazy initialized…
What exactly do you mean by "stealing each other keybindings"? From what you have described so far, it would seem to me that you are describing problem specific to X11 where global keybindings are often implemented in…
How wrong was Robet Nozick in his argument about the Experience Machine [0]. [0] https://en.wikipedia.org/wiki/Experience_machine
Maybe it continues the historical tradition of Federalists vs Anti-Federalists: "The primary opposition to the Constitution was based on it being a centralizing document that risked making the states a mere…
> If it is recognized that Facebook is a media company, it will be legally liable for its content, and it will be forced to keep better track of fraudulent anonymous usage, like U.S. political ads placed by foreign…
"What sorts of decisions does he [sponsor] make? According to some network executives, he no longer makes decisions that deal with programming. Spokesmen for sponsoring organizations tend toward similar statements, but…
Quote from Conclusions chapter of Manufacturing Consent (from edition published in 2002, but I don't think this part changed at all since first edition published in 1988). "A propaganda model has a certain initial…
To provide a little bit more context, here is detailed description of this bug [0]. Curiously, they suggest that problem could be avoided by changing the check for EOF to ">=". This is not true at all in case of C, at…
What issue do you refer to in context of Signal protocol?
(n+1)sec attempts to address the issue of transcript consistency, which is completely out of scope for megolm. Though, it puts additional requirements on the chart room, in particular "members of the chat room receive…
OMEMO ensures neither room consistency nor transcript consistency. In fact, last time I checked you could easily send different transcript to different participants (for example by simply not providing them decryption…
"In England, at this day, if elections were open to all classes of people, the property of landed proprietors would be insecure. An agrarian law would soon take place. If these observations be just, our government ought…
When I reached the comment field at the end of page, to my big surprise the name and email have been already filled in. In fact, it seems like data of the person last to comment have been present there. Something along…
My impression was that gtk has pretty reasonable tutorials, at least for those languages with official bindings. Once you go through tutorial, you can examine gtk-widget-factory app and gtk-demo app for further ideas…
I don't use gedit, but in general I like look and feel of GNOME 3 applications: * Emphasis on undo instead of confirmation dialogs. Though, some applications got implementation completely wrong. Contacts, I am looking…
Actually there is pretty limited support that placebo actually works on anything but subjective measured outcomes.
I do recommend Behave. Robert Sapolsky is terrific writer. Though, I found it quite funny how in each chapter Sapolsky starts by describing usually story, criticising how it is wrong and too simplistic, elaborating on…
In C++, you can for example: 1. Manage resources with RAII (though, in C you could use non-portable attribute cleanup in similar manner). 2. Use type safe wrappers around builtin types like in [0] and [1]. 3. Use…
In pre C++11 it was quite typical for std::string to be implemented with COW semantics. Since C++11 standard it is no longer permitted, though it is not necessarily reflected in all stdlib implementations.
Using unsafe blocks and pointers can silence the borrow checker, but that doesn't mean that code is well defined. For example, using swap (mentioned in the article) with overlapping references would be undefined…
There are perfectly valid reasons to claim that exactly-once delivery is impossible. FLP impossibility result is not one of them. In fact in FLP model solution is trivial, just send the message exactly once and it will…
A few things I didn't like about pass: * It does not encrypt metadata. * It performs delayed clipboard clearing instead of preventing further coping after first use, which is technically possible to implement, though I…
I would argue to the contrary, especially that we are comparing modern Clang/LLVM with a GCC that was released back in 2008. At that point C programming language didn't even have a memory model.
I think you are looking at the side that does the reading. I was actually thinking about the other side that does the writing (inside pthread_mutex_init), where those two things are not separated by any function calls…
In case someone is interested, here is relevant code [0]. Notice that mutexp is read without any synchronization, and _spinlock further down uses different lock than one in initialization code (former is specific to…
Now that OpenBSD has an optimizing compiler maybe they will notice and fix dataraces in their pthread_mutex_lock implementation. Currently they use broken double-checked locking pattern when mutex is lazy initialized…
What exactly do you mean by "stealing each other keybindings"? From what you have described so far, it would seem to me that you are describing problem specific to X11 where global keybindings are often implemented in…