HN user
nothing to see here
Newton was a smart guy and he devoted a lot of time to his occult research. I bet that a lot of that occult research inspired the physics. The fact that his occult research remains, occult from the public, well that is natural aint it?
I have never felt closer yet farther away from y'all. Thank you, I need to cry, and revaluate my social habits.
If you depend on that brand and following for your livelihood and they arbitrarily ban you, what rights do you have?
I really liked the list, probably cause my resume kinda fits and as a true generalist, my resume rarely fits anything.
It is true that working for free is bonkers. Priority number 1 is always rent, at minimum cover that so that business is priority 1.
Eugene Wigner once wrote an article titled “The Unreasonable Effectiveness of Mathematics in the Natural Sciences.” I don’t know what he wrote in the article, but it is certainly a fact that, up to now, especially in the domain of fundamental physics, we have had striking success with our use of mathematics
It is odd that he mentions it only to say that he doesn’t know it.
I didn’t find the article main point particularly strong, but all the references and overall mentions were interesting.
They are taking steps in that direction with Windows subsystem for Linux
On the surface: The world would be premises and stories would be proofs.
Linear Logic for Non-Linear Storytelling by Anne-Gwenn Bosser and Marc Cavazza and Ronan Champagnat has an example.
Then generating proofs means generating valid stories. Linear logic is tough though, it is a logic that admits contradiction so straightaway most logicians are clueless in how to handle it.
I liked the bit about the hobbit, even if it was a bit out of the blue.
those interested in the link between math and literature might be interested in the link between narratives and linear logic.
I appreciate measuring productive when profit is the objective. Still, there exists code that does resonate and evoke emotional response. Quines, code golf, adding a paradigms to a lisp in a few lines of code, categorical haskell or the Doom wtf algorithm.
Beauty is something to strive for, it is just not the purpose of business programming. Unless you are Dijkstra.
Well, the comic did say it would take 5 years.
Should YouTubers hop on board of this? Or is the safest bet to assume Google will cancel it?
I'm glad I read this comment. I had conversations with people who used "skin in the game" and "intellectual yet idiot" constantly, but I always had other books on my to-read list. The added context sheds some light.
Even amongst doctors I know, most woes are pinned down to the NHS's modern addiction to statistics to judge everything.
Yes, statistics are never a substitute for knowledge, no matter how much SVs insists that it is.
Yup, it seems a side effect of data driven approach is that Windows no longer cares about its own reputation.
You still have the problem of two famous persons named the same. It would be better to have separate checks. Have a check that means "this person showed us their passport" and another that says "this account is owned by the famous person mentioned in this news article".
Interesting, that definition of "prequel" creates a strange conceptual symmetry with the word "sequel".
Both "prequel of A" and "sequel of A" imply "published later than A but set in the same universe", with "pre" and "se(q)" referring to the timelines, we can factor out "quel" to mean just that. I guess "Back to the future III" would be neither a sequel not a prequel, but definitely a quel.
Luckily those that respond strong to external incentives go straight to industry.
Seeing how smoking cigarettes went from being popular to being rare in a lots of places I would say:
1 - make it uncool (no more james bond smoking in cinemas, packaging that reminds of diseases)
2 - make it expensive (tax the hell out of it)
3 - make it a hassle (no smoking in closed spaces, airplanes, universities etc)
The thing is, both weed and social networks became popular right about when smoking stopped being popular. So maybe there is an extra step, a perverse one:
4 - provide a substitute addiction.
Ask yourself: How does Elon Musk work 80/90/100 hours per week in his early 50s
My guess is that he is exaggerating, he has a track record of doing that. Or that what he means by "work" is actually way more layback than what a cashier at costso means by "work".
Thank you, this is great information
Sounds heavenly, are they hiring?
What is the name?
Seems like an obvious optimization though. Is that enough to grant a patent?
To make it more tractable, 1% daily growth, means doubling in about 70 days.
I rarely find any of those things. I mean, it does crash, but once every six months, which I don't see as constant.
Hehe, we are on the same boat about not using other browsers. I have been use firefox for the last 18 years, I will continue to do so.
Which ones? On principle, I never use chrome on android. Am I missing some killer feature?
He is part of the public, he falls to ads just as we do too.
If only parents could exert some sort of influence or authority over others harming their children.
We could call it "sueing".
Exactly, why don't they take responsibility for making an addictive product? Why do they need to be sued to recognise their negative impact on other people?
It has to do with how we carry words from Chinese to English.
``Is Daoism the same as Taoism? Traditionally, yes. The difference in spelling is a problem of transliteration from Chinese to English, where the Chinese pronunciation is somewhere between “Tao” and “Dao.” While it’s far more common to transliterate it as “Taoism,” it is actually pronounced closer to “Daoism.” "[1]