Quekid5

36 ms·

481.
by Quekid5 5y ago
Python 3.10.1 (main, Dec 11 2021, 17:22:55) [GCC 11.1.0] on linux Type "help", "copyright", "credits" or "license" for more information. >>> print(f"""{print(&qu
482.
by Quekid5 5y ago
Poe's Law. Also... phew! :)
483.
by Quekid5 5y ago
Holy moley, that's a lot of extra code... any bets on if it might contain new vulnerabilities? :)
484.
by Quekid5 5y ago
I think you meant \r instead of \n immediately after the / ?
485.
by Quekid5 5y ago
This is understandable. But if it is experimental, please label is as such. No mention of that on the landing page right now. EDIT: Oh, I should say: If it's meant to take over the world, say so, as well!
486.
by Quekid5 5y ago
That particular example seems to be a horrible misapplication of an ImmutableMap. That's not a map, that's just a record of values. (Well the 'board' member is a collection, but you get what I'm saying.) I'm no
487.
by Quekid5 5y ago
Read the post in the context of what it's replying to.
488.
by Quekid5 5y ago
(I have no horse in this race, just curious.) Are there any non-proprietary implementations of Ada/SPARK which don't place limitations on the compiler output?
489.
by Quekid5 5y ago
They're saying that the Rust compiler will reliably enforce these things... and that it's completely trivial to surface any cases where the programmer thinks that they are smarter than the compiler, e.g. for extra code review, o
490.
by Quekid5 5y ago
> I have no idea how that porting speed would translate to a larger project IME it doesn't. I'm not at liberty to discuss all that much detail, but I what I can say is: This was a mixture of C and C++ -> Scala. This was pret
491.
by Quekid5 5y ago
No. Its type system is sound. (Assuming the proofs hold and they've actually implemented what the proof is based on.)
492.
by Quekid5 5y ago
> GC pauses, Rc<T> does not, it's simply a deallocation by the last reference holder While the last bit is true, it may actually end up having to do lots of work. Think large object graphs where the last reference to any of it
493.
by Quekid5 5y ago
That's a real "fun fact" kind of thing. Love it. Of course, the 'real' solution is actual Numerical Analysis (as I'm sure you know) to keep the error properly bounded, but it's really interesting to have a
494.
by Quekid5 5y ago
You must not frequent the same subset of videos I watch. The amount of trolling (or just outright stupidity, hard to tell sometimes) on e.g. CS conference videos or lectures by women is insane. I entirely understand that the organizations p
495.
by Quekid5 5y ago
Indeed, and I think it was a mistake by the parent poster to cast it as some sort of security thing. It very much isn't.[0] Anyway, controlling side effects is really about avoiding accidental/unintentional side effects, i.e. mu
496.
by Quekid5 5y ago
Both
497.
by Quekid5 5y ago
At least HTTP status codes can reasonably point to where the error is: 2xx - Fine, you get to decide what to do 4xx - Problem on your end, mate 5xx - Problem on our end. Sorry, mate 3xx - It's complicated... GraphQL
498.
by Quekid5 5y ago
Local news in the US is largely owned by Sinclair and/or ClearChannel. (Maybe the latter is only billboards and such. It's hard to keep up with the obfuscation.)
499.
by Quekid5 5y ago
I did give it a go at one point ages ago (5 or so years, I'm guessing?) and it worked okay, I guess. As always with such things the problem was mainly lack of polish and a lack of extensions.
500.
by Quekid5 5y ago
Either. Not sure. Yes. Yes.
501.
by Quekid5 5y ago
o... kay? You're not wrong, but who's talking about 20 applications?
502.
by Quekid5 5y ago
I'm not sure I fully understand, but with my assumptions in hand: That's bit of an implementation detail, I think. If my app is the most amazing file system indexer using PostgreSQL behind the scenes, I don't think the "
503.
by Quekid5 5y ago
> I haven't been using containers as much lately, but I wonder if s6-overlay's approach could be used to justify including a database into the container with an application. Is that a good idea? The answer is as always: it depe
504.
by Quekid5 5y ago
Not as far as I can tell, but it seems to let you supply handlers to discharge effects at any point. That should at least allow you to 'embed' any effect type in a more general effect type (but the 'embedding' itself wou
505.
by Quekid5 5y ago
You're thinking of type erasure. That's very different from soundness. (but is in fact correct that Java's type system isn't entirely sound, I forget the details, but I believe array element type variance is one of the s
506.
by Quekid5 5y ago
I think you might have missed the word "especially" before "prepared" in the post you're replying to. The language is also a bit ambiguous (see below). It's well known that guest are (usually) prepared (by the
507.
by Quekid5 5y ago
> Your example of "what's the shortest path between two points" is such an example: the decision variant is "is there a path between two points less than k?" Just to add to this: This can obviously also be broug
508.
by Quekid5 5y ago
> is an institution not a group of people as well? People with consciences, moralities and other human emotions? Yes, but the point being made is that in the case of organizations the whole doesn't necessarily have the properties of
509.
by Quekid5 5y ago
This is getting super-weird, love it! One assumes it is because C is so hard to rid ourselves of because POSIX (etc) that you're even entertaining this idea? I mean, "it's fun" could also work as motivation, I guess. I&#
510.
by Quekid5 5y ago
Dave Beazley is a truly amazing presenter. Another favorite of his of mine is his epic tale of how he ended up demolishing an opposing side's case in a civil lawsuit... by sheer luck of having a Python interpreter avaialable. For for y

More ›