ghkbrew

7 ms·

31.
by ghkbrew 4y ago
This is true. Though I believe GHC is pretty aggressive about unboxing (when posible), but don't quote me on that. Another possible gotcha is that by default Haskell records introduce a named accessor function into the surrounding scop
32.
by ghkbrew 4y ago
This abstract says only that they've reduced the need for exotic matter by some orders of magnitude. Presumably it's still required. However, there were some recent papers describing warp drive geometries with only positive mass.
33.
by ghkbrew 4y ago
In addition to /u/dekhn 's excellent description, this phenomenon is referred to as a protein's "secondary structure" [0] [0] https://en.m.wikipedia.org/wiki/Protein_secondary_structure
34.
by ghkbrew 4y ago
Are you aware of the meaning of the word "git"? https://www.merriam-webster.com/dictionary/git
35.
by ghkbrew 4y ago
I don't see an etymology of the name on the site, so I'll just assume they misspelled "tuit" [0] [0] https://en.m.wiktionary.org/wiki/round_tuit
36.
by ghkbrew 5y ago
I'm having a hard time seeing much danger in that. If your threat model assumes the attacker already has your public key having an easily guessable public key doesnt give them any more information. My biggest worry would be some sort o
37.
by ghkbrew 5y ago
You interact with it through a web browser. So the server software can be installed on a computer without a display. It's technically correct I guess, but not terribly relevant.
38.
by ghkbrew 5y ago
"I wish you were here." is grammatically correct in English. And yes it is the "subjunctive mood". Its meaning is closer to "I wish for you to be here" than "I wish you had been here". This random pag
39.
by ghkbrew 5y ago
Caffeine is a diuretic (it makes you urinate more). So the increased fluid intake is somewhat offset by increased output.
40.
by ghkbrew 5y ago
Carnot is for heat engines. So the maximum efficiency of converting a heat differential into kinetic energy. This is converting electricity into kinetic energy and vice versa. So it'd be the product of those two maximum efficiencies, w
41.
by ghkbrew 5y ago
This is how you end up with $500 toilet seats, though. If something can't be profitably made in the US then the only production for it will be explicitly for the government. And it will be a de facto monopoly and priced accordingly. M
42.
by ghkbrew 5y ago
Now they need to register every aaaa... domain from ~20-50 characters so all you need to do is hold the "a" key for a little bit.
43.
by ghkbrew 5y ago
I may have missed it while skimming the article, but I saw no mention of how accurate the ML model was. It may look like the results of a high fidelity simulation, but how useful is that?
44.
by ghkbrew 5y ago
"Begging the question"[0] is a logical fallacy where you provide an answer to a question that depends on first assuming the answer is correct. i.e. a circular argument. That was intentional? [0] https://en.m.wikipedia.o
45.
by ghkbrew 6y ago
Type errors are whatever your type system defines them to be. It's perfectly reasonable to define a type error as "code that would throw an error if executed". I think abstract interpretation is more abstract than you are thi
46.
by ghkbrew 6y ago
It sounds like a good idea. But people are a fractious bunch who can't completely agree on anything. Certainly not on what is and isn't "misinformation". I don't think giving someone(s) the power to ban information
47.
by ghkbrew 6y ago
I'd imagine keeping people in the ecosystem is plenty reason. Sharing sites live and die by their creators, who are a small fraction of the users. Making life marginally more convenient for them should have disproportionate returns.
48.
by ghkbrew 6y ago
I disagree. Leeway in sentencing is to allow the court to better match the severity of punishment to the severity of crime when someone is convicted of crime which can cover a wide variety of behavior. Not to punish someone for crimes they
49.
by ghkbrew 6y ago
That entirely depends on how you define things. We are each a ship of Theseus[0]. What happens if I slowly replace my organic parts (even my brain) with cybernetics. When do I stop being me? [0] https://en.wikipedia.org/wiki
50.
by ghkbrew 7y ago
> RT-qPCR is directly a O(2^N) signal. The signal is actually more like N*2^C where C is the number of cycles (usually around 30). So a huge amplification, but still linear in the starting amount, i.e. O(N). That's actually more use
51.
by ghkbrew 7y ago
"less common" is a bit of an understatement[0]. I'd put it in the "common misspelling" category. Though both versions seem to have been around since before English really had consistent spelling. [0] https:/
52.
by ghkbrew 7y ago
completely off topic, but I'm reminded of "They're Made out of Meat" [1] [1] http://www.eastoftheweb.com/short-stories/UBooks/TheyMade.sh...
53.
by ghkbrew 7y ago
GAN[0] as a service? [0] https://en.wikipedia.org/wiki/Generative_adversarial_network
54.
by ghkbrew 7y ago
> The $ operator is definitely confusing in Haskell I generally think of it as a sort of open-ended parentheses that encloses the rest of the line. Instead of a backward pipe. It means "evaluate everything after this character first
55.
by ghkbrew 7y ago
> why these should be allowed to exist Because that's the default state, in our society at least. If you want something banned/made illegal/etc you need a compelling argument for why it shouldn't be allowed to exist
56.
by ghkbrew 7y ago
If we're comparing culteral/linguistic spheres of influence, then the US side should also include Canada, the UK, Australia, etc.
57.
by ghkbrew 7y ago
I know the line is blurry, but I disagree that clumps of iron oxide nanoparticles rise to the level of "robot"
58.
by ghkbrew 7y ago
> But in Bayes' formula, their plans if something else had happened cannot ever affect how we adjust our inferences That's not how statistics works. Frequentist p-values and Bayesian inferences are both entirely dependent on t
59.
by ghkbrew 7y ago
It's call market segmentation. A seller want to sell their good to every buyer at exactly the highest price that buyer is willing to pay. The seller can't do that if they give everyone the same price so they look for ways to segme
60.
by ghkbrew 7y ago
Have you tried being chased by virtual zombies?[1] [1] https://zombiesrungame.com/

More ›