derdi

14 ms·

181.
by derdi 2y ago
"That artefact was in fact the top of a broken jug" https://www.theguardian.com/science/2024/oct/19/petra-jordan...
182.
by derdi 2y ago
The cup they show isn't even a cup. It looks more like the top part of a broken bottle, photographed upside down. The narrow end looks too narrow for a cup's base, it would not be very stable.
183.
by derdi 2y ago
On the one hand: Nice formulas. On the other hand: Glaciers are melting, even in Iceland. Keeping stuff frozen seems pretty difficult in practice. Also, one of the formulas for air flow through the pile seems to assume 90 straight days of c
184.
by derdi 2y ago
I think the parent was specifically referring to "I was playing", which in German would not be expressed using only forms of the verb. You would have to use an adverb, as in "ich spielte gerade ". Or you could noun the
185.
by derdi 2y ago
> [...] for parasocial relationships. Because clearly it’s not about the content per see which is a dim a dozen and available for free in trove. I think you're making assumptions about people's motivations that aren't cons
186.
by derdi 2y ago
I listened to the whole video, and the parent understands this better than you do. The video doesn't say that gliders are impossible, period. It says that slowly gliding down, without a heat shield, is impossible. As the parent noted,
187.
by derdi 2y ago
Isn't the union-find trickery "just" standard almost-linear unification as discovered by Paterson-Wegman and Martelli-Montanari around 1976? Or is there more to it in the setting of Algorithm J? I'm actually a bit surpri
188.
by derdi 2y ago
You could have backed this statement up with a benchmark, and you chose not to. (You are right on the general hand-waving level that such optimizations are sometimes possible. But there are no fuseable intermediate data structures in this p
189.
by derdi 2y ago
(Well done for quoting the word "nuclear" but choosing to ignore it.) To be clear, the "two African countries" are both military dictatorships that depend on Russian military support. Which is the reason Ukraine might be
190.
by derdi 2y ago
This would not be a good bluff from Ukraine, even if it considered nuclear terrorism an option. The prevailing winds blow from the east, as we know all too well since Chornobyl. Blowing up the plant just east of the border would mostly terr
191.
by derdi 2y ago
The nuclear power plant is a Russian talking point. Ukraine is not into nuclear terrorism, not even as quid pro quo. Setting the power plant up as a goal in people's minds just helps Russian propaganda. Ukraine doesn't go there =
192.
by derdi 2y ago
> A traversal of a data collection is not a map but a fold. The exemple in the article is specifically about collection which you would do by consing to a list (mostly free once optimised) in a fold_left (so tail call optimised to a loop
193.
by derdi 2y ago
The dynamic array spends most of its time copying old elements as it grows exponentially. If you pre-size it to the right size, you eliminate this copying, and the difference becomes 5x. In practice you often have an idea of the size, at le
194.
by derdi 2y ago
The substance of the statements I quoted was wrong. As I wrote elsewhere, I do agree with the broad statement that the combination of functional and imperative features in OCaml works just fine. But if the semantic information you give to t
195.
by derdi 2y ago
Oops, this had a performance bug. Instead of: if d.length = Array.length d.values then begin d.values <- Array.(append d.values (make (length d.values) x)) end; the array reallocation should actually be: if d.len
196.
by derdi 2y ago
> Why not? Because it doesn't. Doesn't mean it couldn't, if it tried hard enough. But it doesn't, as a statement of current fact.
197.
by derdi 2y ago
> The point is that contrary to what the article states ML developers are not avoiding mutations because they are uneasy to use but because they trust their compiler when they know it will do good. Proof is that in other case they will u
198.
by derdi 2y ago
> undefined behavior gives the compiler leeway in deciding what a program does, so the more undefined behavior a C program invokes, the easier it is to translate its code to rust. You assume that the compiler can determine what behavior
199.
by derdi 2y ago
> Well, no, this is straight confusion between what’s expressed by the program and what’s compiled. The idiomatic code in Ocaml will end up generating machine code which is as performant than using mutable array. This cannot be true in g
200.
by derdi 2y ago
Presumably the idea is that any work that causes Test262 regressions is temporary, takes place in a separate branch, and is only merged to main once the branch also contains all the necessary fixes to make the regressions go away again. A n
201.
Catfishing – the Wikipedia category guessing game(catfishing.net)
4 points by derdi 2y ago|1 comments
202.
by derdi 2y ago
It's not. If a variable's true value is in the set {1, 2}, then both the set {1} and the set {1, 2, 3} are approximations. But if your abstract interpretation is supposed to pick an approximation, it matters which one it picks. Pi
203.
by derdi 2y ago
You might as well express escape analysis as inferring an "escaping reference" or "non-escaping reference" type for each allocation site. Then you're back to "abstract interpretation is type inference". Bu
204.
by derdi 2y ago
Russia
205.
by derdi 2y ago
You can create first-class values of this module type, and since values have types, "it" is a type. Specifically, my_foobar has type (module FOOBAR). Actually getting values out of such a module-typed structure does involve some c
206.
by derdi 2y ago
OCaml's first-class modules allow you to do this: https://ocaml.org/play#code=bW9kdWxlIHR5cGUgRk9PID0gc2lnCiAg...
207.
by derdi 2y ago
You got this backwards. If x86 had had POPCNT from the beginning but C did not have a standard popcount function, you would still need to express the popcount in source as in this question, so the compiler would still need to recognize the
208.
by derdi 2y ago
Presumably the LLM would generate a lot of proposed rules for humans to wade through. Reviewing lots of proposed rewrites while catching all possible errors would be tedious and error-prone. We have computers to take care of this kind of wo
209.
by derdi 2y ago
Pypy doesn't do this in general. The same Z3 model that is used to find these missing optimizations is also used to verify some integer optimizations. But the point is that as long as optimization rules are hand-written, a human has th
210.
by derdi 2y ago
I mentioned the syntactic similarities (and more) above. Syntax is shallow.

More ›