btilly

53 ms·

901.
by btilly 3y ago
The article points to a use I wouldn't have thought of. The deeper you go into a gravitational field, the slower time goes. Therefore comparing clocks in different places gives a way to measure gravity. These clocks could be sufficient
902.
by btilly 3y ago
The paper makes a similar point like this: Every definition and theorem in mathlib and this project have been checked by Lean’s trusted kernel, which computationally verifies that the proofs we have constructed are indeed correct. However,
903.
by btilly 3y ago
I partially disagree. At a number of places I've implemented a, "Randomly, rarely, this request will be logged in detail into a detailed trace." The volume of such traces can easily be kept down by limiting the frequency. But
904.
by btilly 3y ago
This brings up memories. One day while sick, I distracted myself from being sick by writing up a silly module to do arithmetic in arbitrary bases. And, because it was easy I stuck it on CPAN. https://metacpan.org/pod/Ma
905.
by btilly 3y ago
Perl has supported whitespace and comments in regular expressions since approximately forever. Just use the /x modifier. All that Raku did was make that flag a default. The same thing is available in many other languages. They copied i
906.
by btilly 3y ago
I can neither confirm nor deny that of my own knowledge. I'll merely say that if it is possible, then I'd expect this detail to have been in the article. Because the existence of an acceptable solution for the use case would have
907.
by btilly 3y ago
Yes, lots of people had ideas about this should work. Exactly like you just did. Unfortunately they had different ideas. And that's why there was months of debate over how this feature should work before something was accepted. Just to
908.
by btilly 3y ago
Because when you're working with a containerized setup, it is standard for every developer to have the whole setup on their individual work computer. A developer debugging problems on their own computer will naturally prefer to try to
909.
by btilly 3y ago
I'm very glad to see this option added. If I could add one thing to it, it would be to display a custom message when ALTER SYSTEM is disabled. You know, one that would let the person setting it up tell the person trying the command whe
910.
by btilly 3y ago
See my comment at https://news.ycombinator.com/item?id=40107325 for the use case. It is a safety feature that can help avoid people getting confused when working in a containerized environment. It is not a security feature
911.
by btilly 3y ago
This is meant to solve the problem of, "Developer tries to fix something in their local environment, gets it working, then finds it gets thrown away when they restart Kubernetes. Winds up convinced that PostgreSQL is broken." That
912.
by btilly 3y ago
It served as both, but at the time I definitely saw people referring to it as a Leeroy Jenkins reference. With the fact that can also refer to a butler as a bonus. Though I'm sure some saw it the other way. It's a kind of pun th
913.
by btilly 3y ago
In retrospect, Redis Labs is about to learn a lesson that many have learned before. Community willingness to maintain popular software under the old license means that attempting to make free non-free will result in a fork taking over. As a
914.
by btilly 3y ago
Yes, it is common. See my sibling comment explaining it.
915.
by btilly 3y ago
I know how he knew. There are two types of sound in rock. P and S waves. P waves are pressure waves and go faster. S waves go side to side and are a bit slower. So you cat was woken by a hiss from the P waves, which arrive a bit before the
916.
by btilly 3y ago
I did not see the post itself as ascribing blame. The Head of IT here was very clear that he was hearing the messaging from the CEO, but the CEO was passing along pressure coming from the client. And clients learn to do this because the squ
917.
by btilly 3y ago
And this is why you need sales engineers. To look at what was promised, see that it meets the customer's needs, and is doable on your end. It isn't just about helping sell the customer. It is also about saying no to overeager sale
918.
by btilly 3y ago
It is not just "not the way you'd do them". You were promoted for doing your work better than others. Those others did not improve because you got promoted. So you have to figure out how to get useful work out of people who a
919.
by btilly 3y ago
Don't say "the organization has just promoted". That's taking the face off of where the blame belongs. Say, "the CEO". The same CEO who is trying to manage through deadline pressure, placed into leadership some
920.
by btilly 3y ago
Is there any reason to doubt that performance enhancing drugs enhance performance? The science on that has been clear for decades. It would make no sense for people to give a list of citations on such a well-known fact every time. I agree t
921.
by btilly 3y ago
My view is this. Suppose that there are enhancement drugs. They work, and a lot of competitors are using them. Then it becomes far more believable that the current champion is enhanced and has managed to hide it, than that someone who is no
922.
by btilly 3y ago
This library aims to be the simplest and most efficient thing for what it does. And what it does is perfect for is managing communications with things that themselves may be bound by I/O. Handling multiple threads to access multiple CP
923.
by btilly 3y ago
And what happens if you wind up with king and rook vs king and rook? Some positions simply do not allow for a win. Yes, you could say do it on time. But then it becomes about mechanical dexterity as people try to be faster than their oppone
924.
by btilly 3y ago
I'm sorry. Are you claiming that an actress who lies about her age is conducting clear identity theft? I have a sister who belongs in jail then!
925.
by btilly 3y ago
If the identity is unused, sure. But if you've been destroying someone else's life, as here, absolutely not.
926.
by btilly 3y ago
My comment about priming is due to articles like https://replicationindex.com/2017/02/02/reconstruction-of-a-... . As https://replicationindex.com/2017/02/02/reconstruction-of-a-
927.
by btilly 3y ago
Not necessarily false. But such a small fraction of possible propositions are true that it is unlikely to be worthwhile to waste much time on propositions with no evidence.
928.
by btilly 3y ago
And then the most outlandish of these are picked up by popular science writers. Who proceed to mangle it beyond recognition, and add a random spin. This then goes to the general public. Some believe the resulting garbage. And wind up with w
929.
by btilly 3y ago
That's an interesting theoretical question. Unfortunately the reality is that the more interesting and quotable the result is, the less likely it is to replicate. So replication problems most strongly hit things that seem like they sho
930.
by btilly 3y ago
The density of non-replicable results varies by chapter. You can ignore anything said in chapter 4 about priming for example. See https://replicationindex.com/2020/12/30/a-meta-scientific-pe... for more.

More ›