Quekid5

23 ms·

301.
by Quekid5 3y ago
They're now richer than god. Why would they care about anything other than money? Societal rules don't affect them very much at this point.
302.
by Quekid5 3y ago
Lol, hope springs eternal :). ... but more seriously: Yeah, their reasoning (now) isn't exactly going to be unbiased and/or unblemished by their own experience. They probably have the most extreme survivorship bias ever. (Not thei
303.
by Quekid5 3y ago
> TS is already a new (superset) language which compiles to JS. Yes, but also no. The point is that it doesn't really add more semantics over plain JS. You can erase all the type annotations (well, replace with "any") an
304.
by Quekid5 3y ago
Yup, same for me. It really seems high-quality search is fundamentally in opposition to serving ads, alas. (At least once every page in existence probably serves ads via the search operator's network.)
305.
by Quekid5 3y ago
He probably just accepts any call he gets from media.
306.
by Quekid5 3y ago
It's a bit odd that people often call these side-effects. They're just "effects". Side effects are things you don't want to happen, i.e. accidental/incidental effects... which is exactly what a pure language
307.
by Quekid5 3y ago
See, that's the opposite of no judgment. Choosing not to drink or do drugs (or whatever) is a-okay.
308.
by Quekid5 3y ago
This meant with NO JUDGMENT WHATSOEVER, but I'm curious: > ... and don't expect that I would like 'drunk me'. Have you ever tried being drunk? I wouldn't recommend it if you're fine the way you are, but OTOH
309.
by Quekid5 3y ago
> The machine I'm using to type this comment is also a finite state machine, as due to having non-infinite memory, it also cannot count arbitrarily high. I'm not sure how that's relevant. Even given infinite space, there s
310.
by Quekid5 3y ago
Foreign Data Wrapper
311.
by Quekid5 3y ago
Exactly. On the JVM (at least, dunno if C#/.NET has a similar mechanism) you can technically get away with using OSGi which can load things into separate classloaders along with all implementation-dependencies such that you can truly
312.
by Quekid5 3y ago
Yeah, unless you have a very specific architecture and compiler, etc., in mind. "Handling" SIGSEGV is madness -- you're usually already deep in UB territory if a SIGSEGV happens. Re: Your use case, I believe the most rece
313.
by Quekid5 3y ago
(I might be being overly nitpicky.) > Well, if it internally uses a lookup table and doesn't do bounds checking, then it can fail this way, and that failure will propagate to the caller. We're talking UB here, AFAICT. So it mig
314.
by Quekid5 3y ago
I imagine a bigger problem with your hypothetical might be the sheer mass of such a thing. Plus, you underestimate just how mind-bogglingly huge 2^64 is. (Granted, the IPv6 address space is going to very quite sparsely populated, but still.
315.
by Quekid5 3y ago
Do you have any anecdata on topologists?
316.
by Quekid5 3y ago
... and streaming services being silos for content, so I'm not sure the 'last round' was even all that beneficial[0] in the long run. Anyway... RRRRR! As to AI-generated content: Who knows? [0] Towards humanity and creative e
317.
by Quekid5 4y ago
What exactly do you mean by "leaky" here? Can you give an example? My main issue with non-erased generics is that they actually break reasoning wrt. parametric polymorphism as soon as you allow for pattern matching or even just .i
318.
by Quekid5 4y ago
The interface you'd want to implement is probably https://docs.oracle.com/en/java/javase/20/docs/api/java.base... (and Appendable for the equivalent to Writer, probably AutoCloseable and F
319.
by Quekid5 4y ago
I refer you to Thomas Midgley Jr.
320.
by Quekid5 4y ago
Who do you imagine has the majority of compute power?
321.
by Quekid5 4y ago
Well, it ain't Old Man Henderson[1]. [1] Alas, it seems the original hosting site is gones. The legend lives on, tho!
322.
by Quekid5 4y ago
At least we know that we're on borrowed time and maybe the wider ecosystem can come up with a decent (distributed, even?) alternative instead of everybody panicking and just moving toward another rug-pull.
323.
by Quekid5 4y ago
Are they actively trying to hasten their own demise? I guess I'll be moving our (FOSS) container images to GitHub Registry... but what a pain :/
324.
by Quekid5 4y ago
I'm sure there are plenty of True Believers... which is why you see plenty of products, because there are plenty of Grifters out there. And I'll bet the latter are also producing lots of "content" which appears and purp
325.
by Quekid5 4y ago
One's own values may shift over time. Personally, I'm still as much a fan of bleeding edge[0] as when I was a young'un. It's just personal preference and it's fine. The weird thing is making a big deal of it, IMO. [
326.
by Quekid5 4y ago
> I think this is only true because there isn't a production-ready dependently typed language [...] Now this I definitely agree with. I want to see what's possible!
327.
by Quekid5 4y ago
That's an excellent observation which I think agrees with my own. If you already have a good idea of the control flow (and thus, expected behavior), but there's some minute detail that goes wrong, you just need a few strategically
328.
by Quekid5 4y ago
I do think you can... just via phantom type parameters and type-level programming. In Scala you'd probably use Refined. (But I'm not expert, admittedly, and I isn't an actual problem of much consequence in practical programmi
329.
by Quekid5 4y ago
I don't disagree that dependent types would help (and be really cool for lots of other uses!), but let's consider what the usual validation rules that we really need are: non-empty, basic interval constraints (non-negative/
330.
by Quekid5 4y ago
You can go as far (or as short) as the application warrants. The more static evidence you want, the more cumbersome it's going to become. That seems sort of a natural progression, but the the point is that you get to choose the trade

More ›