moomin

16 ms·

301.
by moomin 1y ago
Gotta respect the chain of command and it looks like whoever came up with this was smart enough not to put infantry underneath them. You’ll have to salute, though.
302.
by moomin 1y ago
I don't think what I'm proposing would prevent that? It would mean you needed things to be DAGs, but it's cyclic dependencies that mess you up anyway.
303.
by moomin 1y ago
Let me add one more: give controllers/operators a defined execution order. Don’t let changes flow both ways. Provide better ways for building things that don’t step on everyone else’s toes. Make whatever replaces helm actually maintain
304.
by moomin 1y ago
This is where Rust is going to win out. The significantly larger standard library increases the number of legible improvements one can make.
305.
by moomin 1y ago
I mean, I’m a Windows user so I have no dog in this fight, but it seems like the principal implants are that it’s slower, less responsive and less stable than the alternative. This seems like a primary use case. I’m not sure what the wider
306.
by moomin 1y ago
We used LLMs to reinvent Cucumber but worse. Playwright tests are fine, but you need to think about the design or you end up with a mess. Using a steps file is one way to do it, but just employing coding discipline is another. Don’t expect
307.
by moomin 1y ago
Ok, I see your problem now. Tuples aren’t axiomatic components of set theory. Try proving they exist then you’ll see the problem too.
308.
by moomin 1y ago
Okay, let’s simplify. Do we agree that the Cartesian product (a,b,c,a) is represented in ZFC as {{1 a} {2 b} {3 c} {4 d}} and that that is different from {a b c a}?
309.
by moomin 1y ago
Well, you’d need some model of index, for one. And I’m not sure how you’d construct that with uncountably many elements. Even ignoring that, a set containing n elements is different from a set containing n sets of one element each. Not say
310.
by moomin 1y ago
Obligatory: https://thedailywtf.com/articles/a_case_of_the_mumps
311.
by moomin 1y ago
This seems elegant, but you need that you can take a Cartesian product and turn it into a set of its elements as well. I don’t know if that’s provable without classic AoC. (It might be.)
312.
by moomin 1y ago
If you have a set of sets, you can pick one element from each set to construct another set. This is provable if everything’s finite, but not if you’re dealing with things with bigger cardinalities like the real numbers.
313.
by moomin 1y ago
What's the X short for? It's short for XBOX. There's three Xs. They're all short for XBOX.
314.
by moomin 1y ago
I know they have a deep relationship with Microsoft, but perhaps they shouldn’t have used Microsoft’s product naming department.
315.
by moomin 1y ago
Interesting. I may be off here.
316.
by moomin 1y ago
I’ve read about this a lot before. My gut tells me that if you’ve got a central genius with twelve adherents and no-one else, what you’ve got is a cult, not a proof. But also, it is frankly amazing to think that Galois’ original proof was v
317.
by moomin 1y ago
Yeah, it _doesn’t_ apply to C# generics. Basically, if you’ve got List<Person> and List<Company> in C#, those are different classes. In Java, there’s only one class that’s polymorphic. This causes a surprising number of restrict
318.
by moomin 1y ago
As I say, those are the arguments that I actually hear people make. And most of the arguments I'm hearing people make are from people who are using LLM tech on a daily basis (not the agent stuff so much, although it sounds promising).
319.
by moomin 1y ago
Who are these friends? Are they in the room with us right now? Look, maybe my experience is atypical but I’m an AI skeptic and I know plenty of others. I’ve never heard people claim that LLMs are a fad or going to go away. I’ve seen lots of
320.
by moomin 1y ago
Speaking of how you present information in a misleading manner, did anybody actually get interviewed for this article or is this just a reheating of some blog articles?
321.
by moomin 1y ago
It’s an existing textbook, which answers the “Why not HoTT?” question. Although another might be that people doubt its pedagogical value.
322.
by moomin 1y ago
I’ve come to the conclusion that campaigns like that aren’t intended to improve Cybersecurity, they’re there to deflect responsibility.
323.
by moomin 1y ago
TFW where you're dead wrong and have to upvote everyone who told you so...
324.
by moomin 1y ago
Here’s the really annoying thing with powershell: it doesn’t have a module distribution model. Like, at all. A csharp script, on the other hand, gets NuGet out of the box.
325.
by moomin 1y ago
Pretty sure that’s known as The Blair Doctrine.
326.
by moomin 1y ago
It's amazing, really. You hear about "government overspending" all the time. You actually look into something in any detail and what you discover is a consistent pattern of underspending. Call it mismanagement if you want, bu
327.
by moomin 1y ago
I think your scepticism is justified. Reading about Germany invasion the 1950s suggests it didn’t go massively well there. But they didn’t even try.
328.
by moomin 1y ago
But you see, this was a bigger crime than the invasion. Because it was ideologically driven on faith, no-one was looking at the actual facts. The US military could knock over Hussein, no problem, but no-one had any plan for what happened ne
329.
by moomin 1y ago
You can blame Blair, I think, for the fashion of putting “for” into the names of administrative organisations.
330.
by moomin 1y ago
I don’t know if I’m worried about it. While the measurement makes little scientific sense it makes intuitive sense, and, importantly, the intuitive implications are the scientific implications. It’s a huge increase, if not for the reasons t

More ›