cultus

12 ms·

61.
by cultus 6y ago
Also see Oleg's "Effects without Monads: Non-determinism -- Back to the Meta-Language" https://arxiv.org/abs/1905.06544
62.
by cultus 6y ago
It's just a perspective, but Bayesian inference makes the prior explicit, wheareas it is implicit with frequentist inference. You can't not have a prior.
63.
by cultus 6y ago
My point is you that you cannot ever actually claim to ground a probability value in objective features of the world. Many events aren't repeated, for example.
64.
by cultus 6y ago
Every frequentist technique has a Bayesian interpretation and vice-versa. Confidence intervals are equivalent to credible intervals with certain priors.
65.
by cultus 6y ago
There's no definition of probability that doesn't involve philosophy or metaphysics [0]. Calling frequentist stats "objective" really bugs me. There is no such thing. Every inference procedure involves subjective choices
66.
by cultus 6y ago
The geologic evidence for Snowball Earth (multiple ones, actually) is extremely strong. It is almost impossible to explain the re-emergence of banded iron formations without it. The hard part is explain is how photosynthetic life survived.
67.
by cultus 6y ago
A person I know went to Mexico for a semi-elective jaw surgery. It was a great experience: more personalized attention than the US, high quality, and they paid much less.
68.
by cultus 6y ago
Yes, you are still legally allowed to pay many thousands of dollars for healthcare if you are laid off.
69.
by cultus 6y ago
Cataract surgery is not urgent. In Canada, they ration by need, not the ability to pay. It's also a problem that is not generally characteristic of health care systems. Overall health outcomes are better by the vast majority of metrics
70.
by cultus 6y ago
Parents are mortals, and modern apps are specifically designed to be addictive. It's the parent's fault, sure, but it is also the fault of the unethical practices of social media. Also, when you're talking about older childre
71.
by cultus 6y ago
People in the healthcare system are doing the best they can, putting their lives at risk to help people, with insufficient resources. Every should be very, very angry. It should be directed at politicians and corporations, not middle or wor
72.
by cultus 6y ago
Not much I don't think. This has a few examples: https://github.com/rossberg/1ml There isn't special module syntax. Modules are more-or-less just structs, and the structs can contain types.
73.
by cultus 6y ago
Module functors and first-class modules are probably the big feature. Those are more akin to allowing functions between classes, rather than just objects.
74.
by cultus 6y ago
The shakeup COVID has caused hopefully will result in some reforms in higher education, which is just such a bloated top-heavy mess with self-serving administrators and boards that it makes the military look efficient.
75.
by cultus 6y ago
Great read. It's too bad modules are pretty much an afterthought in most langs. I really like research language 1ML's approach to modules[0]. This allows monomorphic types to be treated like values, avoiding all of OCaml's mo
76.
by cultus 6y ago
Bell bottoms still look stupid, though.
77.
by cultus 6y ago
No, but exploitation of the type of man that thinks the stripper is actually into him is not among the most pressing issues surrounding sex work. It's an extremely strange thing to focus on. It's like focusing on anti-white racism
78.
by cultus 6y ago
They are giving quite a lot permanently. Their images will always be out there on the internet and in the world, and could be used against them when applying for future jobs, etc. The sex worker generally doesn't have XXX footage of th
79.
by cultus 6y ago
Sex workers are exploited much more than they exploit their clients. I think most people know what they are getting into.
80.
by cultus 6y ago
It's illegal to use in public as others have said, but enforcing this rule isn't exactly a high priority for police. I think it's really a situation where somebody has to ask the smokers to stop, like many other obnoxious but
81.
by cultus 6y ago
Drug prohibition benefits established power structures. It's the same reason why neither major party wants to enact universal healthcare, despite being generally acknowledged as more efficient in terms of care for the cost.
82.
by cultus 6y ago
I honestly don't see a huge value proposition in Scala, now that Java has reduced pain points around FP. Scala has higher-kinded types, but you see people tie themselves in knots with those as often as not. It is just such a huge langu
83.
by cultus 6y ago
It doesn't have a real module system.
84.
by cultus 6y ago
You won't be able to type them in Java, at least not now; however it would allow new JVM languages to do it. You could also do fibers on the JVM before, but they didn't have access to the actual JVM stack. That kind of limits thei
85.
by cultus 6y ago
I don't see it used much in legacy systems, but the benefits are large enough that I could see new Akka-ish libraries built on it.
86.
by cultus 6y ago
Project Loom[0] is going to be coming out at some point. That brings direct JVM support for delimited continuations and fibers. That's really going to change and simplify JVM concurrency and I think many other things. Delimited continu
87.
by cultus 6y ago
There's no such thing as absolute proof or "knowing", only degrees of belief. Yet we make decisions based on degrees of belief all the time. There is very good reason to believe leafy vegetables are healthy based on oodles of
88.
by cultus 6y ago
The human body is incredibly complicated and we really don't know what we don't know. It's really not necessarily true that drinking a nutrient rich slurry like Soylent is a good substitute for a conventional healthy diet. It
89.
by cultus 6y ago
Corporate green-washing initiatives like this just make our economic system look good, while doing no meaningful good. These corporations have political power, but they don't use it to solve this crisis.
90.
by cultus 6y ago
There is a guaranteed solution to stop it from becoming apocalyptic which is comparatively easy and cheap, and we know it would work: just move away from fossil fuels and carbon intensive production ASAP. This requires political will we don

More ›