jojomodding
No user record in our sample, but jojomodding has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but jojomodding has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
The non-profit (the Foundation) pays for specific things but it is not really there to hire people to work on things. It pays for infrastructure work and to pay the existing maintainers who often do review work. It also…
Probably criminally liable for bankruptcy as well. At least in Germany (where I am vaguely familiar with the law) you lose bankruptcy protection for debts you take on that are knowingly not covered by existing assets or…
You can tell this is a true success in Germany because 95% of local passengers now use it. It also caused a significant increase in ridership, putting the already overloaded rail system under a lot more pressure while…
Ah, that's what they're building the power plants for. Blasting things into space.
In times like this, I am happy I live in the EU where I can request a company send me a copy of all data they have stored about me. That includes all pictures I ever send to them, or at least a low-resolution preview…
The judge will decide if the evidence is admissible or not.
Switzerland already has such a party, the SVP (UDC in French), and in fact they put forward the initiative. This was widely understood to be a vote on how well the SVP can appeal to the center. Turns out pretty well but…
Newspapers have mechanisms like corrections and apologies that can be used to "right" a published falsehoods. This relies on me being able to find out if a newspaper lies about me, which is usually easy since we can all…
Well, you can use tap code: https://en.wikipedia.org/wiki/Tap_code Or you can use "Morse tap code" where two close knocks represent a dot, and if the gap between them is slightly longer it's a dash. That takes two…
Most countries you would consider "developed" in the world (and then some more) switched to having a professional, non-political civil service in the last 100 years, if they hadn't already had one. Do you think that…
Once it shortens the loop, the compiler can also observe that `tab` is a local variable and therefore move the writes up "to the initializer." It can then see that the variable is unused and delete it, and also delete…
Interestingly, the way in which Grothendieck conceived of equality is nowadays being questioned, especially due to the rise of formalized mathematics and Lean. More concretely, there is this fun paper by Kevin Buzzard…
This also makes it obvious that at some point, the halting problem becomes "unprovably hard." There must be Turing Machines for which it is independent of the accepted axioms of mathematics whether or not they halt. And…
That title is a gross misrepresentation of what is actually happening. This is actually about an Iranian Cloud Provider wanting to be added to the public suffix list.
Not sure what is particularly autistic about the observation that "couldn't we just all get along" is unfortunately not how the world works even if we would like it to?
exactly. If they wanted to iterate on their port they would add lifetime annotations here, which are the tool Rust be uses to ensure safety. They're just kicking the unsafety block down the road. This accomplishes…
Or the people that aid and support those people. Systems like this, or the Iranian crackdown on protestors earlier this year, show that in our times, an autocratic regime is able to keep power in spite of significant…
But that's boring. Also it's already happening a lot more than humans are being sent.
Nonvoters implicitly consent to the outcome ahead of time. Which means that they can carry part of the blame--if they didn't like it they could have voted against it.
Is pdf.js the renderer that VSCode uses? You know, the one where everything becomes extremely blurry when you zoom in for absolutely no reason at all except (I would imagine) developer incompetence?
> are free to sell 0day for profit. This is not true in many jurisdictions.
I sympathise with the author and the argument. I know the text is a rant. As such, I can understand that the proposed consequences might not make sense. Yet still, there is a fun game you can play, where you replace AI…
I do not get why not needing proof objects is desirable. It seems good to have a defined way to store proofs that has a very tight spec and can thus have competing implementations, like in https://arena.lean-lang.org/.…
Its a software where you type your maths proofs in and a "yes" comes out. Except if your proof is broken, then a "no" comes out. Of course, sometimes the computer is just a bit dumb at intuiting the intermediate steps,…
Giving something that has no internal concept of time (or identity for that matter) a prison sentence of n years seems kinda ineffectual.