Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gizmo686
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
44 ms
·
661.
▲
by
gizmo686
4y ago
You want leaders to be able to give up. If staying in power is the only thing seperating a leader from the angry mob, they will fight the hopeless fight until the bitter end. If they have the option if fleeing to another country, then at so
662.
▲
by
gizmo686
4y ago
The point of political donations (at this scale) is not to get your preferred candidate elected. It is to get leverage with the candidate who ends up getting elected.
663.
▲
by
gizmo686
4y ago
Notably, DoorDash is providing the benefit equally to all fired employees [0]. [0] At least those working within the US.
664.
▲
by
gizmo686
4y ago
What about ZF; which is ZFC without the axiom of choice, and notably not ZF¬C, which is ZF with the negation of choice.
665.
▲
by
gizmo686
4y ago
Computer science says to such thing. Roughly speaking, the impossibility theorums you are likely thinking of say that "there are correct programs which are not provably so".
666.
▲
by
gizmo686
4y ago
Which has been struck down by the courts as violating the State constitutions. The case is still going through the appeals process, but from what I can tell, it seems like an uphill better for the state to get the law to stand.
667.
▲
by
gizmo686
4y ago
Fast and provably correct are more or less solved problems (at least for a large class of languages). The main drawback is that it is difficult to get good error messages when a parse fails.
668.
▲
by
gizmo686
4y ago
Parser generators are one of the oldest ideas in computer science. YACC was written in the 70s; and had to be ported to C because it's original implementation was written in B. The idea of not writing parsers directly was well establis
669.
▲
by
gizmo686
4y ago
Or maybe no one you know is talking about it. A few weeks ago, I went for my annual Flu vaccine and saw that I was eligible for the bivalent Covid booster as well. I didn’t go around telling people I got either vaccine. At this point, as fa
670.
▲
by
gizmo686
4y ago
I tried to write it without going into to much jargon or machinery, but to be more formal, what I would say: 1) The elements (excluding 0) form an abelian group under multiplication, with the identify element 1. 2) The elements form an abel
671.
▲
by
gizmo686
4y ago
Pretty much. Fields are generally considered to be the structure that links the common notion addition and multiplication. In particular, you need 3 things to qualify as a field: 1) Multiplication behaves as expected (without reference to a
672.
▲
by
gizmo686
4y ago
Do you have a regular doctor? I'm in a simmilar situation and need a dose of Lorazepam about once or twice a year. However, I've never had the problem you describe. The first time I spoke to my primary care physician about this, w
673.
▲
by
gizmo686
4y ago
At the extreme end of this you get category theory, with Mathematicians affectionately refer to as "abstract nonsense". I checked the homepage of nLab and found this description [0]: > This is a wiki for collaborative work on M
674.
▲
by
gizmo686
4y ago
Even if you don't want to give up life in prison; it doesn't have to be as horrendous conditions as US prisons are.
675.
▲
by
gizmo686
4y ago
I've never expected change when I pay with cash at a restaurant. Admittedly, this is mostly because of our crazy tip culture; but I just round the charge+tip to a convenient amount. The money on the line with handing your card to the s
676.
▲
by
gizmo686
4y ago
Do we have any evidence any of those are filters. For (1), there was practically no gap between the development of powered flight (e.g. airplanes) and plausible fission powered powered (abandoned for political reasons). Further, space fligh
677.
▲
by
gizmo686
4y ago
Its complicated. Overall, I think it is safe to say that rates were too low. Look at this graph[0] of rates over time. When the 2008 recession happened, rates dropped to stimulate the economy. While you can find dissent on this point, overa
678.
▲
by
gizmo686
4y ago
IQ has a map/territory problem as well. The theory is that you have some underlying IQ, and the test is a tool to determine what your IQ is. It is well established that practice can improve your score on an IQ test. However, that does
679.
▲
by
gizmo686
4y ago
We have plenty of water on the surface. Most of it is in the ocean. While that is not fresh water, it is where bassically all non sequestered water will end up. The limiting factor of fresh water is the how quickly the water cycle can produ
680.
▲
by
gizmo686
4y ago
Its possible. I've had proffesors who always gave true/false questions with instructions to either "justify your answer", or "if false, justify your answer". Practically speaking, there is fairly little downsid
681.
▲
by
gizmo686
4y ago
Android still has an API to allow access to all files that were previously allowed. It just requires an explicit opt in from the user. https://developer.android.com/training/data-storage/manage-a...
682.
▲
by
gizmo686
4y ago
As someone who regularly goes to mix gendered, clothing optional spaces; you get used to it really quickly.
683.
▲
by
gizmo686
4y ago
In GR, space and time form a single geometry called space-time, and gravity is a curvature of this geometry. Within this geometry, there are 3 spacial dimensions, and 1 time dimension. However, there is no universal axis. In the same way th
684.
▲
by
gizmo686
4y ago
Notably, Mercury was not a motivation for the development of relativity. Even with the benefit of hindsight, I don't recall ever seeing anyone critisizing contemporary astronomers for looking for the missing planet. GR was developed ba
685.
▲
by
gizmo686
4y ago
Probably the only way to prevent this type of issue in an automated fashion is to change your perspective from proving that a bug exists, to proving that it doesn't exist. That is, you define some properties that your program must sati
686.
▲
by
gizmo686
4y ago
The critical component is that the time is "data dependent". Cryptographic keys (and derived materials) are data, so a data dependent execution time could leak information about the keys. As a simple example, consider a naive pass
687.
▲
by
gizmo686
4y ago
A typical user might not recognize the nature of the scam. But they very easily could realize that the drive they bought from Amazon is defective. 8GB is not that much space (particularly when the OS thinks it has 1TB to play with). When th
688.
▲
by
gizmo686
4y ago
Cash buyers are not necessarily interest rate insensitive. When I bought a house earlier this year, my lender advertised a cash offer program. They would by the house with cash on my behalf. Then, they would confirm they could give me the m
689.
▲
by
gizmo686
4y ago
> of course, in practice, once they've bought, people tend to be averse to their "investment" losing 20% or 30%, even if they did lock in a good interest rate they'll be paying for years to make up the fall. This is n
690.
▲
by
gizmo686
4y ago
That assumes interests rates are set by the free market, which is not true in todays economy. The reason interest rates are going up is not a mystery. A dozen people meet semi-quarterly and vote on what the interest rate should be.
More ›