Joker_vD

80 ms·

1321.
by Joker_vD 2y ago
In some other way which we don't know about. Just because someone can't imagine the universe to be structured in any other way than being built from microscopic Platonic solids, tightly packed and touching each other and filling a
1322.
by Joker_vD 2y ago
Empirical testing? But where's the necessity? It seems an uncommonly roundabout and hopelessly rigamarolish method of getting anywhere. We've got the works of all the old masters — the great AI researchers of the past. We weigh th
1323.
by Joker_vD 2y ago
Haven't you heard about goldbugs?
1324.
by Joker_vD 2y ago
There is a whole sub-industry of putting fake mosquitoes into fake amber.
1325.
by Joker_vD 2y ago
Reminds me of homomorphically-encrypted cloud-computing efforts. Apparently, there is a fully functional, RISC-like virtual CPU (built out of Boolean gates) that C can compile to and that one can use for processing your secret data on unt
1326.
by Joker_vD 2y ago
> I expect diamonds to lose almost all of their value. Artificial diamonds, you mean. The natural ones will keep their price, just as "hand-crafted" goods did (and, I suspect, as "human-produced" content in the futu
1327.
by Joker_vD 2y ago
Well, some people think that mental poker [0] is fun, you know. [0] https://en.wikipedia.org/wiki/Mental_poker
1328.
by Joker_vD 2y ago
Oh, so you can use something other than * in Access-Control-Allow-Origin? That's good to know!
1329.
by Joker_vD 2y ago
Well, I am glad to inform you that I am writing a language (working name "Troglodyte") that will have exactly the desired ("do what I wrote, damn it!") semantics with regards to memory allocations, pointer casting etc. s
1330.
by Joker_vD 2y ago
Pointers to unallocated memory are not allowed to be read from, in any form. You have to manage memory with uintptr_t arithmetic which arguably makes pointer arithmetic in C almost completely useless for writing malloc().
1331.
by Joker_vD 2y ago
> Standardize abi What's with this strange desire to mandate One True Way to implement function calls in every language implementation? If I want to use rbx/r11/r10/r9 for argument passing and return results in rdx&#x
1332.
by Joker_vD 2y ago
> What idiot wouldn't put destruction of the world as '-infinity' of value? Literally anyone, you included. Every day, there is a chance that the roof collapse on you while you're sleeping; that's -Inf of value!
1333.
by Joker_vD 2y ago
The context can also be very important. For instance: In case A, you have $50, and are offered to bet them against a fair coin flip, if you guess right you win another $50, if you guess wrong you lose your $50; in this case the most rationa
1334.
by Joker_vD 2y ago
Could someone explain to me how effects are radically different from types? Every time I see them introduced, it's always "type and effect system", not just "extending the type system with effect types", yet the r
1335.
by Joker_vD 2y ago
That it's not default, and the strict aliasing rules break the illusion that C is "close to the metal" and that "the C programmer is in charge, not the C compiler". This illusion was never really true but it persis
1336.
by Joker_vD 2y ago
But you don't need to solve these, they're solved already: these four definitions are non-recursive. Yet when evaluated, they will exhibit properly recursive behaviour. The only reason to use Y combinator in practice is when you f
1337.
by Joker_vD 2y ago
No, you're probably not alone. I myself enjoy functional programming quite a lot but Y combinator always stood out to me as a particularly uninteresting trick. Sure, it's nice to have it around when you try to prove some theoretic
1338.
by Joker_vD 2y ago
let odd'(n, odd, even) = if n == 0 then False else even(n-1, odd, even) let even'(n, odd, even) = if n == 0 then True else odd(n-1, odd, even) let odd(n) = odd'(n, odd', even') let even(n)
1339.
by Joker_vD 2y ago
You probably didn't read the rest of the article because the author actually mentions the kind of people you're talking about. See Corollary 1.
1340.
by Joker_vD 2y ago
Honestly, the "proper" way should be passing something like this def namedtuple_factory(cursor, row): fields = [column[0] for column in cursor.description] cls = namedtuple("Row", fields) re
1341.
by Joker_vD 2y ago
What format do you provide for in your Accept-Patch header that accepts empty inputs?
1342.
by Joker_vD 2y ago
> You use GET for retrieving, POST for creating, PATCH for updating, and DELETE for deleting. Surely that should be "PUT for creating, POST for updating"? PUT is a standard verb, defined in every version of the HTTP/1.1 sp
1343.
by Joker_vD 2y ago
> But you'd only attempt that if you thought there was something questionable in the first place. No, that's not the only reason. Come on, people actually wrote why they tried to prove it in their commentaries on Euclid's
1344.
by Joker_vD 2y ago
No, it's trying to prove that Euclid's parallel postulate can be derived from other axioms is what goes back millennia. People were certain it's a) true, b) necessary consequence of other axioms. Gauss was probably the first
1345.
by Joker_vD 2y ago
This is a very late-XIX century development. Geometry used to be an integral part of physics, vide Newton's Principia .
1346.
by Joker_vD 2y ago
> Math doesn't have such a requirement Geometry? Lobachevsky actually proposed a test on measuring sum of angles of a celestial triangle to decide which geometry actually applied to the real world.
1347.
by Joker_vD 2y ago
> I don't want someone branding my arm That's exactly the point of my analogy?
1348.
by Joker_vD 2y ago
What a weird analogy. Putting a logo on any product is called branding . So a logo on a prosthesis is just having a branding on oneself. Which is a much more powerful analogy, even at the cost of being a tasteless pun.
1349.
by Joker_vD 2y ago
If only this RFC was well-known among the people who actually put stuff out on the Web.
1350.
by Joker_vD 2y ago
Okay, but how do you find out that this program may dynamically load libcrypt which it doesn't mention in its PT_DYNAMIC for some silly reason or another? Because if you already know that, then you just put "RUN apt install -y o

More ›