gpderetta

5 ms·

61.
by gpderetta 5mo ago
See also Cilk/Cilk++
62.
by gpderetta 5mo ago
I know approximately zero about webgpu, but I assume it allows for pipelining.
63.
by gpderetta 5mo ago
Option 1 could be easily solved by having an atomic {} blocks that statically error if call any potentially async function in it. This is better as it document where an externally visible invariant is temporarily broken (i.e. reentrancy is
64.
by gpderetta 5mo ago
With (unchecked) exceptions the custom validator can abort the whole stack non locally and transport the error to the original call stack, the validation library being none the wiser. With stackful coroutines, the custom validator can trans
65.
by gpderetta 5mo ago
Exceptions are a very good comparison because they also perform non-local control flow. Checked exceptions are a form of coloring, while unchecked aren't. But Java (which has checked exceptions) has an escape into unchecked land in the
66.
by gpderetta 5mo ago
The problem with function color exists when you can't abstract over it[1] Some statically typed languages (I believe both Haskell, ocaml) have powerful type system that allow abstracting over function types and function colors. Colo
67.
by gpderetta 5mo ago
amusingly, the last Toyota Prius looks quite nice.
68.
by gpderetta 5mo ago
Ferrari has been doing in-house design for a while. With spotty results.
69.
by gpderetta 5mo ago
I wouldn't say it is pretty, but to me it looks nicer on this picture than on the Ferrari website. It is a very generic shape for sure!
70.
by gpderetta 5mo ago
Haven't Ferrari used buttons for turn signals for a while?
71.
by gpderetta 5mo ago
EU famously has one. Of course you might not consider it a country.
72.
by gpderetta 5mo ago
I loved the Warhammer 40k sets and the LotR sets. Didn't care about the others. Other people loved the FF or Avatar. Different people have different tastes (everybody hated Spiderman though). The canonical MtG lore is not exactly deep
73.
by gpderetta 5mo ago
what if at some point we will no longer be able to understand the answers?
74.
by gpderetta 5mo ago
a thread_local is just a global variable. Mutable global variables are of course bad, but in this case the threadindex is immutable once created, so it is perfectly fine.
75.
by gpderetta 5mo ago
SARIF is machine readable. An editor (or a shell filter if you prefer it that way) would allow hierarchically inspecting the output at the desired detail level. The article shows nested overload candidates that could be potentially be colla
76.
by gpderetta 5mo ago
concepts have been excellent for me for overload resolution in complex template code (good riddance SFINAE) and for documentation. To improve error messages, not so much.
77.
by gpderetta 5mo ago
It is not obvious to me that the list of categories is not infinite (unless the final category is "everything else" of course)
78.
by gpderetta 5mo ago
The issue is that the list is infinite (anything not specified is UB), so actually removing any finite amount of UB from the list won't make it shorter. (only slightly tongue-in-cheek, I do believe that removing silly things is worthwh
79.
by gpderetta 5mo ago
Consider: enum op_t{ add, mul }; int exec(op_t op, int a, int b) { if(op == add) { return a+b; } if(op == mul) { return a\*b; } } c = exec(add, a,b); Should be the compiler be prevented from inlining exec and
80.
by gpderetta 5mo ago
> Unaligned access? Packed structs. Packed structs are dangerous. You can do unaligned accesses through a packed type, but once you take the address of your misaligned int field, then you are back into UB territory. Very annoying in C++
81.
by gpderetta 5mo ago
Ex falso quodlibet. Bounding UB would be a nice idea, or at least prohibiting time-traveling UB (and there is an effort in that direction). But properly specifing it is actually hard.
82.
by gpderetta 5mo ago
[We are very much in speculative territory here of course, it is not a given that duplication or upload is possible at all for a human mind] I would say that both A and B would claim to be X and have the "continuous"[1] experience
83.
by gpderetta 5mo ago
I checked how Simula calls its object methods, but it just uses the term procedure as for normal top level functions. At least it shows that the term method is not universal. I think that C had members, so members that are functions just be
84.
by gpderetta 5mo ago
> A vector of variants still wouldn't be optimal Transpose.
85.
by gpderetta 5mo ago
> the experiences of one do not get magically transmitted to the brain of the other. So those are two distinct selves, even if they are made with the exact same information. How's that a problem? They would both be distinct selves
86.
by gpderetta 5mo ago
If this actually happened, would the 'I' that replaced you be any wiser. How do you know this hasn't happened to you already? Maybe multiple times per second? > It says "something" survived the utter complete des
87.
by gpderetta 5mo ago
I have only been doing this for the last 20 years, so maybe I don't know, but it seems to me that requirement gathering is trivially software engineering. How can you implement something if you do not know what you need to implement. F
88.
by gpderetta 5mo ago
> Alastair Reynolds Love Reynolds, but unfortunately he is not half as a good writer as Banks. Then again, not many are. Reynolods books are full of cool ideas though.
89.
by gpderetta 5mo ago
> That was an extremely cool but a very far-off, not-in-my-lifetime Sci-Fi fantasy idea when I read it. The Future Shock is real!
90.
by gpderetta 5mo ago
It was optimistic in the sense that at least something resembling humanity survives the AI-Apocalypse at least! [big fan of all your writings here!]

More ›