simiones

125 ms·

1921.
by simiones 6y ago
This problem can also easily happen with async code, if you have any shared state with the async code, especially if you are running multiple async calls in parallel. It can even happen in single-threaded runtimes like Node, where people ar
1922.
by simiones 6y ago
Thank you for pointing this out, I wasn't aware! I had just assumed that Erlang's message passing was also synchronous...
1923.
by simiones 6y ago
Threads + some kind of channel (a la Erlang processes or Go's goroutines) are pretty much direct programmatic representations of CSP. Shared memory does break the model to a great extent, but async code is significantly more different.
1924.
by simiones 6y ago
Sure, but that's not a feature of Monads themselves, but a feature of the excellent generic programming support in Haskell, along with polymorphic return types that makes the boilerplate really easy. Still, there is a slight bit more t
1925.
by simiones 6y ago
I didn't know about Unreal C++ using a GC, but the others have extremely little use. So little, that C++/CLR (at the time) had a bug for at least 2 years where doing something like initializing a CLR List (CLR, not std::) with an
1926.
by simiones 6y ago
If you want to parallelize X requests, you should spawn X threads to handle those X requests, right? Depending on how large X is and how long you expect the requests to take, this may only be worth it if your threads are actually stack-less
1927.
by simiones 6y ago
Don't monads in themselves have the same problem of introducing "coloring" (where each monad is a different color) , so that functions which work for one monad won't work with easily compose with functions which work wit
1928.
by simiones 6y ago
Is there an alternative word/concept to "function color" that covers not just sync/async, but also (C++-style) const/non-const functions for example?
1929.
by simiones 6y ago
It could , but it won't . If we're talking about real-world use, this makes all the difference. C or C++ could have a GC as well (in fact, they do - you can use Boehm for any C or C++ program), but there are approximately 0 prog
1930.
by simiones 6y ago
If you've ever done code review on a complex product, it should be quite obvious that the options are either to accept that sometimes bugs will make it in, or to commit once per week or so (not per person, one commit per week to the Li
1931.
by simiones 6y ago
C'est la vie. There are many things that it would be interesting to know, but the ethics of it wouldn't play out. It would be interesting to see how well Greg Kroah-Hartman resists under torture, but that does not mean it is accep
1932.
by simiones 6y ago
Open source products rely on trust. There is no way to build a trust-less open source product. Of course, the old mantra of trust, but verify is very important as well. But the linux kernel is NOT a security product - it is a kernel. It can
1933.
by simiones 6y ago
> If the patch gets through, then that proves one of the most critical pieces of software could relatively easily be infiltrated by a malicious actor, which means the review process is broken. That is a complete misunderstanding of the L
1934.
by simiones 6y ago
The vast majority of patches are not malicious. Sending a malicious patch (one that is known to introduce a vulnerability) is a malicious action. Sending a buggy patch that creates a vulnerability by accident is not a malicious action. Give
1935.
by simiones 6y ago
This reminds me of that story about Go Daddy sending everyone "training phishing emails" announcing that they had received a company bonus - with the explanation that this is ok because it is a realistic pretext that real phishing
1936.
by simiones 6y ago
Sure, that's a natural way of reading this requirement, but is it the right way? How would you specify the system such that it can produce: [(x, y), (!x, y), (!x, !y), (x, !y), (!x, y), ...] (that is, any interleaving of the two blinks
1937.
by simiones 6y ago
But the article doesn't deal with the possibility/impossibility of verification at all. It deals with the fact that (some?) specifications don't compose elegantly. That is, that a sufficient specification for System A and a s
1938.
by simiones 6y ago
Not really, the problem described in the article applies to any kind of spec. You could take the specs to be "x must blink" and "y must blink". Either of these informal specs are more or less explicit enough to implement
1939.
by simiones 6y ago
Not really, the problem described in the article could be rewritten to think of Next as a function World->World.
1940.
by simiones 6y ago
The basic problem is something like this: - Minute 1: 10 requests, 5 with 10ms latency, 5 with 500ms latency; avg latency 255ms - Minute 2: 1000 requests, 900 with 10ms latency, 100 with 500ms latency; avg latency 59ms Average of averages:
1941.
by simiones 6y ago
That would annoy consumers more than it would hurt the business. Do you think people would stop buying the Apple iPhone if tomorrow it was called the Pear jPhone? The name part of a brand is valuable, but it doesn't really define the b
1942.
by simiones 6y ago
I share the love of Windows Phone 10, but as someone who (used to, before Covid) travel around Europe, the lack of apps really hurt access to public transport and even some cultural experiences (museum companion apps). HERE Maps was also wa
1943.
by simiones 6y ago
While I agree that OOMKiller is pretty mad, it's also important to note that the shared nature of memory means that the app which will die when the system is out of memory is anyway random. Even without overcommit, you can get into the
1944.
by simiones 6y ago
You mean they could be talking about even more niche financial products?
1945.
by simiones 6y ago
> It does not seem completely impossible to me that a superintelligence might analyze all of the experiments performed in the particle colliders of the world and generate a "theory of everything" based on the data we have so fa
1946.
by simiones 6y ago
Will Apple next require browsers to stop allowing access to pornography?
1947.
by simiones 6y ago
There's more to it than that - eBay for example has banned trade in those books as well (Amazon too, and probably others), on the second hand market. Not sure if they reversed this absolutely crazy decision in the meantime, would be ha
1948.
by simiones 6y ago
Why do you think the government would have to produce new ASICs, when they could just buy or seize the existing ones?
1949.
by simiones 6y ago
Quantizing space and time would not necessarily make simulations simpler - just like quantizing forces actually turns out to probably make the simulation exponentially harder on a classical computer - quantum computers can be simulated by c
1950.
by simiones 6y ago
Only if the objects themselves are really small along that extra dimension relative to that extra dimension - if they occupy most of the dimension, they would "bump into each other" anyway.

More ›