I don't think HN is a community in that sense. There's no "knowing" one another. There's no real accountability or shame of getting kicked out. We're all just text-generators.
I don't think HN is a community in that sense. There's no "knowing" one another. There's no real accountability or shame of getting kicked out. We're all just text-generators.
This sounds disanalogous to me. When you post on twitter, you can be rewarded with engagement and attention and even the possibility of growing your own brand and following. All at no monetary cost to you. Meanwhile, twitter has the costs of paying for servers and infrastructure and salaries of those required to support the site
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.
I mean yes, it has been a proud piece of Microsoft but the OG NT kernel team probably left by now and from a management perspective it doesn't offer any revenue to develop an OS kernel.
Otoh, how big is their OS engineering team? Drivers are usually developed elsewhere. So maybe 100 folks or so? With a relatively low quota of non-devs, I assume? So Microsoft would potentially save what, tens of millions of dollars per year? Maybe they just continue this as some kind of tradition department.
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.
Newton is the great example of this: he led a dual life, where in one he did science openly to a community to scrutinize, in the other he did secret alchemy in search of the philosopher's stone. History has empirically shown us which of his lives actually led to the discovery and accumulation of knowledge, and which did not.