geofft

14 ms·

61.
by geofft 5y ago
That's more than twice as much as they were reported to have paid Matt Blaze for the domain name.
62.
by geofft 5y ago
Is it better to write ZZ or Dafny code than to write Java, Python, Haskell, Rust, or Swift code? (They look cool and I'm enjoying reading about them, but for the things I do for my day job where C is one of the obvious options, I'
63.
by geofft 5y ago
I agree that integer overflow is implementation-defined, but I wasn't talking about integer overflow, I was talking about char *. Reading from a pointer past the bounds of the object being pointed to is undefined, not implementation-de
64.
by geofft 5y ago
I think the comment above, most charitably read, is that a lot more people would have access to high-quality healthcare if you could put this work on robots instead of people, because computers excel at storing data and looking it up accura
65.
by geofft 5y ago
They are, in fact, cheaper. (Depending on jurisdiction, they also have other advantages like not requiring a license, being able to travel in bike lanes / greenways and avoid traffic congestion, etc.)
66.
by geofft 5y ago
I think the author is imagining a market segment containing a lot more new riders (who may, in fact, have learned biking as a kid and never touched a bike again) than existing riders. A lot of people legitimately need cars right now, given
67.
by geofft 5y ago
But... isn't that the job of a manager? As an SRE it's my job to make sure the computers I'm responsible for are working properly, and to actively pay attention and gather information about whether that's true. If there&
68.
by geofft 5y ago
The difficult part about having opinions about the industry of software engineering is that it is, somehow, a largely enjoyable job. But those two things are never going to be perfectly aligned. Enjoyment of the process does not guarantee w
69.
by geofft 5y ago
If you wanted to prevent undefined behavior at compile time by having the compiler throw an exception, you'd actually need to prevent potentially undefined behavior, for the simple reason that compile time doesn't know what your
70.
by geofft 5y ago
Making sense of those parentheses is genuinely hard for a newcomer, too. The Scheme version is more readable to you because you already know it - anyone who's actually working through this with a class level of effort instead of skimmi
71.
by geofft 5y ago
There are in fact multiple political movements, from all sorts of perspectives, that refuse to vote because they don't want to grant legitimacy to an organization they have problems with! This is certainly a position I've seen on
72.
by geofft 5y ago
Well, I am not actually framing things as "'the police' are bad, except for some individuals." Sorry if that was unclear. I really don't think it is either well-defined or relevant whether the individuals are "
73.
by geofft 5y ago
You expected news dot most-famous-company-whose-business-is-starting-other-companies dot com to not be an ad platform?
74.
by geofft 5y ago
Because every police department is organized in the same general way and has the same incentives. It's not at all about the individual officers - it's that organizing the police in this way has a corrupting influence. (Or, at best
75.
by geofft 5y ago
The phrase I would use, myself, is "abolish the police". "Defund the police" also adequately captures my view: "reform the police" does not. I do not want "proper reform." There is clearly a need for
76.
by geofft 5y ago
It's part of the broader GitLab handbook, which is interesting reading, e.g., https://about.gitlab.com/company/culture/all-remote/guide/
77.
by geofft 5y ago
Nothing. But my ideology is mainstream, and it is incompatible with the other one. The other ideology can have Voat. Why should they also have Reddit?
78.
by geofft 5y ago
If these ideologies are both extreme and irreconcilable, why is it my ideology that has to shut itself up and let their ideology flourish? If our ideas are outlandish to each other, what is the goal of conversation in the public spaces,
79.
by geofft 5y ago
Reminds me of Genshi, which was really cool about.... 15 years ago. https://pythonhosted.org/Genshi/templates.html The big difference between Genshi and Jinja (which ended up winning) is that Genshi templates are valid
80.
by geofft 5y ago
I think this may only be technically true in a way that is unhelpful as a model for either employers or employees, and I'm not sure it's still true in the current day. The immediate thing that caused me to start looking for a new
81.
by geofft 5y ago
Interesting, I did not know this. I'm now curious! https://www.nature.com/articles/d41586-020-02550-8 is a brief Nature post from Peter Tsai, who invented this electrostatic filter. In it he says that the charge a
82.
by geofft 5y ago
"Previously having covid" (which happens more than you'd think, and will undoubtedly continue to happen as time passes) counts as a comorbidity.
83.
by geofft 5y ago
FYI Grainger has N95s (not KN95s) in stock, is unlikely to have the systemic counterfeiting problems Amazon does, and in my experience delivers quickly: https://www.grainger.com/category/safety/respiratory-protect.
84.
by geofft 5y ago
Yes, those are (almost certainly) ELF, not "a.out format." The "file" command will confirm that. The so-called "a.out format" is the format used by the very first tools to generate a.out files. Compilers still
85.
by geofft 5y ago
This meta-analysis provides a reason to believe that, in at least some circumstances, ivermectin is useful for treatment, specifically reducing deaths amongst those already doing very not well, but not for prevention. It also does not look
86.
by geofft 5y ago
Wow, the substance of that dispute is... this is why people incorporate in Delaware. Nobody thinks the caselaw of Delaware is some sort of divinely ordained ideal corporate law. But it's predictable and thorough , which means you ca
87.
by geofft 5y ago
Do you have an example of how you might do this? Can you encode "and we have recourse to the Delaware courts" into a smart contract? I thought you could only encode statements about things that happen on the smart contract's
88.
by geofft 5y ago
CVEs are allocated to major users (vendors, distros, etc.) in blocks, so this might just be the 88th CVE from whoever has the 22500-23000 block or whatever.
89.
by geofft 5y ago
Why do you prefer these things to be controlled by management and HR? To be clear - I absolutely agree that these are all important and these powers need to be exercised wisely. But without democratically controlling them, every single one
90.
by geofft 5y ago
Yeah, I think talking about the benefits of "unions" in the abstract is a little weird because - at least in the US - unions are highly regulated by laws that were written primarily envisioning the model of early-20th-century manu

More ›