dpratt71

7 ms·

1.
by dpratt71 2y ago
Believe it or not, it gets worse. The authors of this paper are the same folks who came up with this particular dating technique. And I can't find any evidence the technique has been independently validated. Not that that should count
2.
by dpratt71 2y ago
I don't think you can "debunk" something merely with strong evidence. Besides that, I wasn't aware of this codex, so I'm glad you shared it. Has anyone suggested that (assuming there is a relationship) the arrow of
3.
by dpratt71 3y ago
If you have a goal of being able to confidently reason about your code, such as to be confident it won't go "wrong", then making it more math like would seem to make a lot of sense. As far as the IO thing is concerned, one co
4.
by dpratt71 3y ago
The word "suspected" does not appear on the report you linked. Rather it says it is a "possible" carcinogenic. Moreover > The committee therefore reaffirmed that it is safe for a person to consume within this limit pe
5.
by dpratt71 3y ago
It sounds like we'd be better off not knowing about this law. Thanks.
6.
by dpratt71 3y ago
Turkeys can fly, though. Just not the domestic ones :)
7.
by dpratt71 4y ago
Rust is more restrictive than it needs to be, in this case. What matters is whether it's possible to have a situation where the value of a variable or parameter is not concordant with its type in a given context and what it takes to ma
8.
by dpratt71 4y ago
In your example, '3 | "foo" | false' is the type of the variable. What is the argument for this being a bad idea in general? You imply it's unsafe. How?
9.
by dpratt71 5y ago
Stupid question: Why isn't such logic incorporated into the call itself?
10.
by dpratt71 5y ago
Some ideas that I suspect are true do indeed scare me. But I'm more scared of ideas that I strongly suspect are false, but I think other people may not agree.
11.
by dpratt71 5y ago
Fyi, "Alcohol distributes into water spaces, not fat" https://sites.duke.edu/apep/module-1-gender-matters/content/...
12.
by dpratt71 5y ago
Whether it's a single company (or product) or multiple is beside the point. If a technology is only available to (say) 1% of the population, I don't think that qualifies as being widely available. I will also note that my original
13.
by dpratt71 5y ago
Penicillin, maybe? But I wonder how quickly it became readily available outside of the Western world. And I see that Nintendo has apparently sold an extremely impressive number of consoles ( https://www.nintendolife.com/news&
14.
by dpratt71 5y ago
Is it not the case that having access to a machine capable of running either Minecraft or Linux in the early days of each (if not now) means you are (or were) fairly affluent?
15.
by dpratt71 5y ago
What is an example of important technology that did not start as something only available to the affluent/connected?
16.
by dpratt71 5y ago
I don't understand why Haskell gets brought up in the middle of an otherwise interesting and useful article. This sort of thing cannot happen in Haskell. And while Haskell is not universally admired, I can't recall seeing Haskell&
17.
by dpratt71 6y ago
It's really too bad that the only way we can be sure rich folk pay their fair share is to charge them twice for private education. Otherwise, my mother may not have felt it necessary to work the overnight shift at the local factory for
18.
by dpratt71 6y ago
It's an abstraction to facilitate writing do blocks. Mostly tongue in cheek.
19.
by dpratt71 6y ago
There are no guarantees in life, but the reason we don't have global pandemics constantly is that mutations that make a virus as dangerous as SARS-Cov-2 are quite rare.
20.
by dpratt71 7y ago
I'm fairly out of my depth here, but it's somewhat relevant to my personal situation: When this came up for discussion on HN a few days ago, I was initially confused, as some of what I read seemed to suggest that taking e.g. lisin
21.
by dpratt71 7y ago
Small nitpick: some statically typed programming languages have optional type annotations.
22.
by dpratt71 7y ago
Yeah, you're right, I muddied the waters a bit with that example. I was just trying to think of examples of persistent data structures being used in a concurrent context, but you had in mind a situation where multiple agents could be u
23.
by dpratt71 7y ago
Oh goodness :) OP has conceded the point, but you're still down to argue on the basis of what a person may or may not believe is the main strategy to handle serialization. I give up. You win, I guess. Regards your other question(s), I
24.
by dpratt71 7y ago
Whether the "merge" implementation is costly or complicated very much depends on exactly what it has to do. The git example is pretty much a worst case example in this regard. An easier example could be that you have a tree struct
25.
by dpratt71 7y ago
You could , as per your example, use locking as part of a resolution/merge strategy to combine the results of two separate computations running on two separate threads. Or you could use some strategy that does not involve locking. Eit
26.
by dpratt71 7y ago
In brief, these sorts of conflicts simply do not arise in a fully persistent data structure. You may have a situation where you have a persistent data structure together with one or more mutable references, each to some version of the data
27.
by dpratt71 7y ago
This is not how persistent data structures are used in practice. There is no "the" new version of a persistent structure. The best analogy I can think of is to compare it to a VCS (e.g. git). There is no need to lock any existing
28.
by dpratt71 7y ago
This is a sad reminder to me that the tooling story around Haskell seems to be perpetually almost really good. Case in point, the core toolchain (e.g. the compiler itself) supports "typed holes". Basically, you drop a placeholder
29.
by dpratt71 8y ago
There's a lot here I would like to respond to, but I'll limit myself to a couple points: > The whole POINT is that there are complex language features which have to be enabled if you want them Yes, "if you want them"
30.
by dpratt71 8y ago
I can only directly address the examples you've given. If you disagree with how I've characterized those examples, I'd be interested to know why. If you have other examples, I'd be interested to hear them. Haskell has it

More ›