codeflo

19 ms·

481.
by codeflo 4y ago
This is not about code that's found to be unreachable through static analysis (where compilers might warn), but about a manual programmer annotation that claims the code is dynamically unreachable even though statically it might look o
482.
by codeflo 4y ago
Of course, that's technically incorrect. The way the standards are written, the compiler is free to replace the program with any other program that has the same (in a precisely defined sense) observable behavior (these are the famous &
483.
by codeflo 4y ago
What does that have to do with SPAs?
484.
by codeflo 4y ago
I wonder who needs to know this who doesn’t also need to know the difference between a decision (yes/no) problem and a general problem. This is relevant because P and NP are only defined for decision problems, but all of the examples g
485.
by codeflo 4y ago
The smoke effects are cool, but otherwise, it doesn't feel like the graphics are really that much better, just different. Flatter dynamic range (everything is bright now). Busier textures. Exactly the same pixely shadows (most visible
486.
by codeflo 4y ago
using namespace std; It's fine, I won't tell anyone.
487.
by codeflo 4y ago
> When I know it's "January" for whatever reason, and not "First Month", without knowing HOW and WHY this is the convention, it sucks. But then you see what Janus looks like - which, in this case, makes it even b
488.
by codeflo 4y ago
I'll try: New scientific discoveries also shift our perception of ourselves.
489.
by codeflo 4y ago
I'm not entirely convinced by the arguments in the video, but I don't think those other pipelines are a strong counterargument either, perhaps the opposite. Let me explain. Let's say you believe (a) that Germany desperately h
490.
by codeflo 4y ago
> It would reduce the number of draw calls That hasn't been true for many years. > as you'd use more vram when using textures For the equivalent amount of detail, not really. Vertices are expensive, normal maps are encoded v
491.
by codeflo 4y ago
There are lots of subtleties about static vs. dynamic geometry, instancing and so forth, but to summarize, yes: In general, normal maps are cheaper than the equivalent additional geometry would be, by a lot. They are also higher quality for
492.
by codeflo 4y ago
> The "I intend to hold it" is the relevant part of the valuation, though. It’s really not, at least not mathematically. That intentions play a role is purely an artifact of regulations.
493.
by codeflo 4y ago
The impossibility of "exactly once" is a theorem, not an opinion. Knowing that, the article you linked is funny. It begins with maybe a thousand filler words complaining that all of this is "poorly understood", and it&#x
494.
by codeflo 4y ago
Fucking single if statements are called AI these days. That's not a strong argument. :)
495.
by codeflo 4y ago
One important con that isn't mentioned: It's so unnecessarily confusing how to write a shell script that can properly deal with whitespace, dollar signs or other special characters in filenames. Of course it's possible and le
496.
by codeflo 4y ago
You even have this phenomenon inside single functions. Let's say you write a function that's supposed to be a safe/sound abstraction. You might be setting up a pointer, maybe determined by a dozen lines of codes, that is then
497.
by codeflo 4y ago
> To follow your recommendation would require defining Rust as a memory-safer language, not as the language of memory safety. I'm actually suggesting changes in explanation only, hoping to make these terms less confusing for beginne
498.
by codeflo 4y ago
That's a very good example. I think that's what I meant by: > "Sound" code is safe code (that may or may not be checked by the compiler), that will remain safe no matter how it's called by checked code. Maybe &qu
499.
by codeflo 4y ago
This seems to argue that accessing a web app (assuming an important piece of software that handles private encrypted data) is no less secure than loading software from a package repository, because a web server requesting the JavaScript and
500.
by codeflo 4y ago
This is a very good explanation. It's sad that these terms are so counterintuitive. I still regularly have to clarify the confusion between undefined and unspecified behavior. And to be fair, "define" and "specify"
501.
by codeflo 4y ago
Even cars turning, quoted here as something easy, is deceptively complicated once you really start thinking about what the rubber actually does on the road surface. In the end, both an angular momentum and a centripetal force are generated,
502.
by codeflo 4y ago
(Added: People really shouldn't flag you for asking a question.) The point is "aligning the AI's goals with human interests", i.e. make the AI non-evil. You're somewhat lucky to never have gone down that particular
503.
by codeflo 4y ago
You're wrong here, it's bullshit that was regularly updated with new astronomic findings. :P Isn't it miraculous how astrology was just as accurate before its charts included Neptune?
504.
by codeflo 4y ago
Good point. In this context, it wasn't even superior though, at least not in the long run. Memory got bigger so that storing more triangles wasn't a problem anymore, it's more about computational resources. There, NURBS are o
505.
by codeflo 4y ago
Interesting. Also, 8 bits per channel isn't even a natural endpoint. 256 values aren't enough to cover the full range of human perception to any reasonable accuracy, which is why 16-bit floating point per channel is now sometimes
506.
by codeflo 4y ago
> I can definitely imagine a counterfactual where 12bit bytes became the basic building block. It's definitely fun to imagine. I personally have a soft spot for a hypothetical ternary architectures, where the "trits" are e
507.
by codeflo 4y ago
> she said the star performer was a guy named ASCII, who really didn’t get along at all with Octal I'm not convinced. ASCII is 7 bits only, which doesn't fit much better into 2*4 than into 3*3. It's not like the extra bit
508.
by codeflo 4y ago
It's easy with hindsight, but there must have been people back then who foresaw that power-of-two machine words are almost as necessity as you scale up (8 -> 16 -> 32 -> 64 bits).
509.
by codeflo 4y ago
Jesus. It’s a piece of software that people may or may not find useful.
510.
by codeflo 4y ago
It's interesting in that respect what the developers of Frost Giant Studios, comprised of ex-Blizzard RTS devs, are planning for Stormgate. Complex RTS games need a deterministic ("lockstep") simulation to be viable over the

More ›