bitdizzy

13 ms·

61.
by bitdizzy 6y ago
This is really cool! Of all the ways to get numerical and statistical capabilities into Haskell this seems to be the right balance of pragmatic and ambitious. I wonder if there any surprising linker optimizations that happen because the R i
62.
by bitdizzy 6y ago
White supremacists are famous for having incoherent ideologies and engaging dishonestly, yes. I am confident in saying that.
63.
by bitdizzy 6y ago
This is white supremacist drivel. If your conclusion from examining the path-dependency of history is that good scientists are white male non-catholics with a troubled past, you're not doing scholarship. You're pushing numbers aro
64.
Tritone Paradox(deutsch.ucsd.edu)
3 points by bitdizzy 6y ago|0 comments
65.
by bitdizzy 6y ago
Most modern mathematicians don't work with foundations but it was a hot topic at the beginning of the 20th century. Most mathematicians today wouldn't even be able to tell you when they are using the axiom of replacement, an impor
66.
by bitdizzy 6y ago
"... for the purposes of formalizing mathematical reasoning?"
67.
by bitdizzy 6y ago
I know vaguely from a few friends that there is some cross pollination between algebraic geometry and PDE's but both fields are so huge that this doesn't characterize either field. I think the gist of it is that the moduli space o
68.
by bitdizzy 6y ago
Which formal logic do you suggest to replace it?
69.
by bitdizzy 6y ago
No but anyone can make an argument. There are not enough resources to evaluate every argument or position put forward by every random crackpot. That is why credibility is a thing. If we could all spend as much time as necessary to evaluate
70.
by bitdizzy 6y ago
I'm currently reading The History of the Decline and Fall of the Roman Empire by Edward Gibbon. It's quite an anachronistic book, has an obvious slant from the author's bias, and is outdated in a few parts compared to the mod
71.
by bitdizzy 6y ago
Goodness! Someone else who remembers LUE. It's refreshing that someone else has noticed the repetitive cycle of the Internet. There were white supremacists taking advantage of usenet from the beginning. "Sunlight is the best disin
72.
by bitdizzy 6y ago
Oh, my mistake. I'll do better next time.
73.
by bitdizzy 6y ago
I found Wikipedia's source on the matter. It is here: https://www.tandfonline.com/doi/pdf/10.1080/0003379620020272... "With the new meaning of science the need to designate a man of science became
74.
by bitdizzy 6y ago
Correlation being 0.8 means that R^2 is 0.64. A test that can only explain 64% of the variance in its result based on the fact that I am still me is suspect. > This places exactly zero constraints on the utility of IQ tests. Instead of a
75.
by bitdizzy 6y ago
IQ is somewhat effective as a diagnostic tool for significant impairment and not much else. Your examples of where it is not contentious are exactly cases where you must measure impairments. Do you want to list some example contexts where y
76.
by bitdizzy 6y ago
I was actively playing DCSS at that time, beat the game with every race and every class, did 15 rune and all and I don't think it was getting dumbed down. A lot of pointless stuff was removed but the tactical depth of the game was pres
77.
by bitdizzy 6y ago
> they were willingly exporting food for money in lieu of eating... The "they" who decided to export were not the "they" who starved.
78.
by bitdizzy 6y ago
I had to read your post and the GP post multiple times and I'm still confused. It doesn't seem like you're talking at all to what they said but are stating a very well worn argument for free speech, that is, if some speech is
79.
by bitdizzy 6y ago
It is eugenics once you start digging into it and having a conversation about the etiology of the social problems being discussed. As a former LWer, I regret to inform you that a great deal of utilitarianism on LessWrong is eugenics without
80.
by bitdizzy 6y ago
> Call them callous, but theirs is a way of being in the world that is no less valid than one that holds every individual's life worthy of special protection from the consequences of their unforced errors, and where these might be a
81.
by bitdizzy 6y ago
"A nineteen year-old... has no feel on his pulse for those tragedies of adult life that economists call scarcity and choice." I think this says a lot about what kind of teenager gets into an economics program, or at least the auth
82.
by bitdizzy 6y ago
Can you describe some examples of the phenomenon to which you are alluding?
83.
by bitdizzy 6y ago
I don't think you're speaking in good faith if you don't think the grandparent is speaking from the point of view of an extremely mainstream belief in the dishonesty of "agenda-driven left-leaning organizations".
84.
by bitdizzy 6y ago
Is this the anyonic computing I heard about several years ago or is it another line of quantum computing research also funded by Microsoft?
85.
by bitdizzy 6y ago
Mentioned in the PDF I linked to :) And lambda calculus came decades before still.
86.
by bitdizzy 6y ago
While Haskell has a lot of influence from ML it is also a descendant of the highly influential line of programming languages designed by David Turner starting with SASL. If Miranda weren't a closed source language it perhaps would be w
87.
by bitdizzy 6y ago
I enjoyed how scared I felt in Amnesia until the first time I died and reloaded. After that the edge was gone.
88.
by bitdizzy 6y ago
Lovely! I think it speaks to the value of an idea that it is developed independently more than once. It should be noted as it is in the abstract of your first reference that these are elaborations on the core idea of Church encodings (and B
89.
by bitdizzy 6y ago
My favorite solution to the expression problem is the tagless-final style. It can be implemented in both ML-likes and Haskell-likes leveraging either expressive module systems or type class systems to combine the benefits of both shallow an
90.
by bitdizzy 6y ago
The intervention in the United States was haphazard and underfunded by the government. There was no reason for any business to go bankrupt while a proper lockdown was implemented. Instead there was a spotty, inconsistent response with very

More ›