iamcurious
Joined 11 years ago
Joined 11 years ago
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.