1,092 karma · joined March 12, 2015
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.
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.
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.
those interested in the link between math and literature might be interested in the link between narratives and linear logic.
Beauty is something to strive for, it is just not the purpose of business programming. Unless you are Dijkstra.
Yes, statistics are never a substitute for knowledge, no matter how much SVs insists that it is.
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.
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.
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".
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.
We could call it "sueing".
``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]