jojomodding

6 ms·

61.
by jojomodding 7mo ago
If there was an apology it could be considered, depending on the apology (i.e. is it earnest?). But so far that does not seem to happen.
62.
by jojomodding 7mo ago
> If you need to be on the site it’s not a botnet Why? I did not visit the site to participate in a DoS attack; yet my machine was coaxed into participating against my will. Whether this is happening in JS or a drive-by download or a bro
63.
by jojomodding 7mo ago
I trust websites not to involve me in crime. I trust news websites to tell me the news. I trust archive websites to give me old versions of websites. I trust paywall circumvention websites to circumvent paywalls. What I do not see is the ir
64.
by jojomodding 7mo ago
Be careful, you might be doxxing someone and that of course warrants your website getting DOS'd.
65.
by jojomodding 7mo ago
Is it? The reviewers could simply have chosen a different option in a form field. While I understand that they were "forced" to review under reciprocal review, they still had other choices where I don't see coercion happening
66.
by jojomodding 7mo ago
Do you have a source for the 12k arrested in the UK? I'm asking because all I could find was a list on Twitter that didn't cite any sources itself and also had very implausible numbers (including he 12k/year for the UK). Impl
67.
by jojomodding 7mo ago
Is the critique any more substantial than "the vibes are off?"
68.
by jojomodding 8mo ago
The three options you presented are the three available options. There is no fourth. Make a choice. You might think there is option 4--municipal bankruptcy--but that is just option 2 and 3 combined. Building buildings somewhere else will no
69.
by jojomodding 8mo ago
I find it hard to look at the actions of the Japanese and the Americans in the late 1930s and come away with any other impression than that the Americans were the good guys.
70.
by jojomodding 8mo ago
For comparison, in Rust they track down the differences in which flags are ignored in a certain kind of `fcntl` syscall across all the architectures that have this C function, which includes Solaris, Mac OS, the BSDs, Linux, ... This is so
71.
by jojomodding 8mo ago
A proof of this theorem was also formalized in the Rocq proof assistant (called Coq back then). See here for more: https://inria.hal.science/hal-04034866/document
72.
by jojomodding 8mo ago
Both type and set theory are formal logic, I don't see how that's what being argued. Rather that there are some things that are formal-logicy (e.g. set theory) and many other things that are not (like e.g. biology, you'll alw
73.
by jojomodding 8mo ago
Depends on if the Chinese can get over foreigners messing up the tones all the time. English has the advantage that it already had a lot of different ways of pronouncing it before becoming the world language, so the expectations for how per
74.
by jojomodding 8mo ago
While I don't know the specifics of Lean, I know Rocq and will attempt to answer some of the remaining questions. I look forward to someone else telling me that my intuition from Rocq is completely wrong, so take this all with a grain
75.
by jojomodding 8mo ago
The gendarme might actually arrest the attacker. The security camera will do nothing (but record). And having the policeman standing there is about as much a deterrent as a "Smile--You're Being Recorded" sign.
76.
by jojomodding 8mo ago
It also involves being able to look the person doing the sentencing in the eye and them telling you their reasons for the ruling to the face; being able to argue and present evidence in front of a neutral arbiter. Facebook's moderation
77.
by jojomodding 8mo ago
And this, kids, is why you roll your own EFI keys.
78.
by jojomodding 8mo ago
I know someone who embeds an SVG of his signature in their emails. Looks pretty cool, renders inline, and it's sad that the state of things means they'll probably have to remove it because it triggers spam filters.
79.
by jojomodding 8mo ago
https://web.archive.org/web/20260203094902/https://lars.inge... Did the site get the HN kiss of death?
80.
by jojomodding 9mo ago
Someone should tell Stephen Wolfram about the bbchallenge wiki (bb for busy beaver): https://wiki.bbchallenge.org/wiki/Main_Page
81.
by jojomodding 9mo ago
Unicode seems to encode it just fine
82.
by jojomodding 9mo ago
Indeed, I've been using for (2) years, ever since I switched to Wayland.
83.
by jojomodding 9mo ago
For me it's mostly that it just works and was very easy to set up when I first used it.
84.
by jojomodding 9mo ago
This talk in particular explains the challenges with M4 and M5 chips, but also a lot more.
85.
by jojomodding 9mo ago
Airlines started being more sensitive to this after the 2014 crash
86.
by jojomodding 9mo ago
To me, it usually does not
87.
by jojomodding 9mo ago
It might be, but to disrupt the solar array on my rooftop you need to bomb it specifically. Times a hundred million, it becomes infeasible.
88.
by jojomodding 9mo ago
What makes you think the Taiwanese will hand over the chip producing facitilies to the invader?
89.
by jojomodding 9mo ago
Yes my friend, it is over.
90.
by jojomodding 9mo ago
Saying "I'm 5 feet 11 inches" requires about 3 digits, saying "I'm 180cm" also requires that many digits. It takes about as many syllables as well, because in practice you say "five-(feet)-e-leven" or

More ›