You can't give all citizens effective veto power and then expect it will only be used for good in cases where the law is behind.
It sounds more like a joke or a lampoon of always-connected culture.
you need to be able to experiment With what? It’s not prima facie bad to have limits or bounds. I’d agree it’s good to be able to be goofy, but there’s plenty of actually-illegal activities teenagers used to…
Clearly the point of this paper was not to flag a specific lake as being a specific problem. It seems pretty clear it's a case study meant to provide generalizable information and principals for remediation, and while…
It’s a cop out, but depends on the company and it’s somewhere in between. Even with success-of-the-company as your compass, other stuff always matters. Good work done invisibly can’t be rewarded. Working on the…
I'm always suspicious we read far too much into most works, as if they were all live examples of The DaVinci Code. It feels inevitable that one day, centuries from now, someone will "realize" that JK Rowling embedded a…
An intelligent person can convince themselves of anything Not to mention via shortcuts, reductionism, and other (ironically) lazy thinking. After all, they're too smart to take a shortcuts that lead them to the wrong…
Seriously, aside from the folks with the “2hrs of sleep is enough” gene, it’s not. It’s an actively harmful myth that is sold hard. Start gathering your own evidence, with a critical fact-finding eye. Don’t just accept…
I've started peering behind the curtains when I get the chance, and I've not yet found someone wildly successful who is also a model parent. Time after time, their spouse is quietly shouldering an enormous load, or…
I had roughly the same realization about the pillars of math & science years ago. Many terrible, terrible parents whose children suffered mightily. While I had aspired to intellectual impact all my life, I had an…
Exactly, it feels dishonest that this point is so rarely brought up in essays on formal methods. You can do things like prove that all possible faults are always caught, or any memory that is accessed has first been…
What exactly does a bespoke ISA buy you? What will justify hundreds of engineers writing a new good one & working through the compiler support? I bet it would be pretty easy for a user to interoperate between 67…
Have done a lot of “parallel invention” where I invent something genuinely novel & new-to-me, only to later discover it was first developed eighty years ago. The part that’s really disheartening is there’s so much…
They even loudly declared how they were going to clean up all the messy corners and warts. The underlying truth seems to be that a “clean” ISA doesn’t by nature make the beer taste better, and many of the warts probably…
It's usually a pretty clear case of reaching for statements that both sound impressive while also being broad and vague enough they are less likely to be factually wrong. In this regime, being difficult to parse is…
It’s getting everyone to understand the problems, working together (etc)… There are manuals for this too, and interestingly enough this has been studied since the Romans at least! Is it then really the hard part?
There’s an ego element though. Being mission driven and choosing to work for Anthropic is implicitly validating of the “peril” and of the leadership team as the ones to steer through it, so they are indirectly asking…
Certainly room for such discussion. However if the parent waits to first save a large sum before moving there (instead of moving there straight out of high school), their revealed preferences suggest even they do not…
If you have dependents that are children, I feel there is a moral consideration. If you have earned $1M and then take the family to live who-knows-where slowly drawing on that $1M.. will your children be able to…
If it's just sitting there in your kitchen beckoning you, I think that's called beer pressure?
There seems to be a line of thinking that past unicorn startups had bad risk-reward profiles, and therefore a good founder should be taking lots of bad risks. If they take good risks, they will never succeed and become…
I’m not sure where this idea came from that farming was idle and only industry required constant work. Every hundred-year old book I’ve ever read that features farming includes themes of how the farmer’s work never ends…
It’s rather “libertarians as cats”. The heroism of being content doing nothing but drink some coffee, stands upon the backs of hundreds of people seeking to better themselves who brought that coffee to your lips.
I have also found that equivalent rewrites are one of the best applications for formal. Other examples can be things like vectorizing code while proving the vectorized version is formally identical, refactoring types or…
It's a complementary tool that replaces certain difficult types of testing. Viewed this way, you can focus writing formal specification for things which are easy & clear to formally specify. "this returns sorted lists"…
You can't give all citizens effective veto power and then expect it will only be used for good in cases where the law is behind.
It sounds more like a joke or a lampoon of always-connected culture.
you need to be able to experiment With what? It’s not prima facie bad to have limits or bounds. I’d agree it’s good to be able to be goofy, but there’s plenty of actually-illegal activities teenagers used to…
Clearly the point of this paper was not to flag a specific lake as being a specific problem. It seems pretty clear it's a case study meant to provide generalizable information and principals for remediation, and while…
It’s a cop out, but depends on the company and it’s somewhere in between. Even with success-of-the-company as your compass, other stuff always matters. Good work done invisibly can’t be rewarded. Working on the…
I'm always suspicious we read far too much into most works, as if they were all live examples of The DaVinci Code. It feels inevitable that one day, centuries from now, someone will "realize" that JK Rowling embedded a…
An intelligent person can convince themselves of anything Not to mention via shortcuts, reductionism, and other (ironically) lazy thinking. After all, they're too smart to take a shortcuts that lead them to the wrong…
Seriously, aside from the folks with the “2hrs of sleep is enough” gene, it’s not. It’s an actively harmful myth that is sold hard. Start gathering your own evidence, with a critical fact-finding eye. Don’t just accept…
I've started peering behind the curtains when I get the chance, and I've not yet found someone wildly successful who is also a model parent. Time after time, their spouse is quietly shouldering an enormous load, or…
I had roughly the same realization about the pillars of math & science years ago. Many terrible, terrible parents whose children suffered mightily. While I had aspired to intellectual impact all my life, I had an…
Exactly, it feels dishonest that this point is so rarely brought up in essays on formal methods. You can do things like prove that all possible faults are always caught, or any memory that is accessed has first been…
What exactly does a bespoke ISA buy you? What will justify hundreds of engineers writing a new good one & working through the compiler support? I bet it would be pretty easy for a user to interoperate between 67…
Have done a lot of “parallel invention” where I invent something genuinely novel & new-to-me, only to later discover it was first developed eighty years ago. The part that’s really disheartening is there’s so much…
They even loudly declared how they were going to clean up all the messy corners and warts. The underlying truth seems to be that a “clean” ISA doesn’t by nature make the beer taste better, and many of the warts probably…
It's usually a pretty clear case of reaching for statements that both sound impressive while also being broad and vague enough they are less likely to be factually wrong. In this regime, being difficult to parse is…
It’s getting everyone to understand the problems, working together (etc)… There are manuals for this too, and interestingly enough this has been studied since the Romans at least! Is it then really the hard part?
There’s an ego element though. Being mission driven and choosing to work for Anthropic is implicitly validating of the “peril” and of the leadership team as the ones to steer through it, so they are indirectly asking…
Certainly room for such discussion. However if the parent waits to first save a large sum before moving there (instead of moving there straight out of high school), their revealed preferences suggest even they do not…
If you have dependents that are children, I feel there is a moral consideration. If you have earned $1M and then take the family to live who-knows-where slowly drawing on that $1M.. will your children be able to…
If it's just sitting there in your kitchen beckoning you, I think that's called beer pressure?
There seems to be a line of thinking that past unicorn startups had bad risk-reward profiles, and therefore a good founder should be taking lots of bad risks. If they take good risks, they will never succeed and become…
I’m not sure where this idea came from that farming was idle and only industry required constant work. Every hundred-year old book I’ve ever read that features farming includes themes of how the farmer’s work never ends…
It’s rather “libertarians as cats”. The heroism of being content doing nothing but drink some coffee, stands upon the backs of hundreds of people seeking to better themselves who brought that coffee to your lips.
I have also found that equivalent rewrites are one of the best applications for formal. Other examples can be things like vectorizing code while proving the vectorized version is formally identical, refactoring types or…
It's a complementary tool that replaces certain difficult types of testing. Viewed this way, you can focus writing formal specification for things which are easy & clear to formally specify. "this returns sorted lists"…