drdrey

16 ms·

181.
by drdrey 6y ago
What is this guy's problem with Nancy Pelosi?
182.
by drdrey 6y ago
Are immigrants and their children likely to be richer, eat better, etc?
183.
Sol 200 Anomaly(llis.nasa.gov)
2 points by drdrey 6y ago|0 comments
184.
by drdrey 6y ago
A more cynical view would be that it is to foster resentment from potential buyers against the regulatory authorities, "see what they made us do"
185.
by drdrey 6y ago
I find it amazing that there's something called "The Siberian Times" and that it's in English.
186.
by drdrey 6y ago
If you just fire up the client and mine, it will do practically nothing. You will have essentially no compute power, so no chance to ever get the block with the transactions you want included
187.
by drdrey 6y ago
At any rate, you don't store this kind of material in the middle of a big population center
188.
by drdrey 6y ago
I don't even have a personal laptop, seems like bringing the employer provided laptop to interviews is not the most sensible.
189.
by drdrey 6y ago
Facebook, Twitter, Instagram, Reddit, Youtube are all banned in China
190.
by drdrey 6y ago
https://github.com/bitcoinbook/bitcoinbook is a great resource to learn about this.
191.
Borsuk Ulam Theorem(en.wikipedia.org)
1 points by drdrey 6y ago|0 comments
192.
by drdrey 6y ago
And that's with a pretty decent source of neutrinos
193.
by drdrey 6y ago
That's my point, you can't establish trust by checking everything yourself. So you delegate to other things as an approximation. In this case, Signal seems to be reputable, have competent developers and afaik no history of leaks o
194.
by drdrey 6y ago
See my other comment about determinism: https://news.ycombinator.com/item?id=23424925 Trying to get a bit-to-bit equivalent of a binary lifted from the app store sounds challenging to say the least.
195.
by drdrey 6y ago
This is actually more involved than it sounds. It is pretty easy for the compiler to introduce nondeterminism and result in slightly different binaries. I know this for a fact because I fixed a couple bugs like this in LLVM. For the curious
196.
by drdrey 6y ago
How do you know that the binary you run actually corresponds to the source code you read? EDIT: and would you then also review every commit to make sure nothing bad gets introduced? No, at some point you have to place trust in the vendor, t
197.
by drdrey 6y ago
How does the Facebook SDK in a 3rd party app correlate that you're the same user if you don't log into the app with FB? Is there some universal device identifier all your apps have access to?
198.
by drdrey 6y ago
I am using it, I just don't use it to make claims of correctness.
199.
by drdrey 6y ago
As in something that doesn't sound particularly interesting but actually is?
200.
Two Hundred and Fifty Things an Architect Should Know(readingdesign.org)
1 points by drdrey 6y ago|2 comments
201.
by drdrey 6y ago
Imagine the following scenario, you have encountered an actual bug in concurrent code, and you think it would be great to work on a model and invariants that lets TLA+ find the bug (as an exercise). So you start writing a model, and a set o
202.
by drdrey 6y ago
TLA+ doesn't prove anything to be "correct" or "flawless", I find it extremely worrisome that you claim as much. It failed to exhibit traces that violated your invariants, which says something completely different.
203.
by drdrey 7y ago
I feel like I spend all my time waiting for Intellij IDEA to start up and reindex everything... Does anyone feel like it is snappy?
204.
by drdrey 7y ago
The other way they'll stop is regulations
205.
by drdrey 7y ago
Sounds very similar to KolmogoroV Complexity: https://en.wikipedia.org/wiki/Kolmogorov_complexity In this case your starting automata is acting as a program you want to find the smallest one that produces your object a
206.
by drdrey 7y ago
> Almost inevitably you will get comments about how your approach is bad or simply invalid. Have you considered that this is probably just the anxiety talking? In my experience people don't go out of their way to be mean. Unless you
207.
Error Handling in Practice for Java Services(gist.github.com)
2 points by drdrey 7y ago|0 comments
208.
by drdrey 7y ago
TLA+ is really good at finding problematic traces involving concurrent agents, so it naturally shines in distributed systems. For something that relies on finding problematic inputs (like for compilers), SMT solvers like Z3 are a more natur
209.
by drdrey 7y ago
You need to borrow for investments? I hope you mean for a house
210.
by drdrey 7y ago
FYI the logo looks a lot like the kubernetes logo to me, in case that's unintentional

More ›