ip26

5 ms·

1.
by ip26 5d ago
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.
2.
by ip26 8d ago
It sounds more like a joke or a lampoon of always-connected culture.
3.
by ip26 16d ago
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 “experiment” with (and skate b
4.
by ip26 20d ago
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 they didn't
5.
by ip26 24d ago
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 lowest-profile projects is
6.
by ip26 27d ago
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 map of
7.
by ip26 27d ago
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 answer, so if th
8.
by ip26 29d ago
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 the narrative. It’s
9.
by ip26 29d ago
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 their children
10.
by ip26 29d ago
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 unexpected realization.
11.
by ip26 1mo ago
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 malloc’d, or that the AP
12.
by ip26 1mo ago
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 different drafts of the
13.
by ip26 1mo ago
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 knowledge out there, I
14.
by ip26 1mo ago
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 have a reason for ex
15.
by ip26 1mo ago
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 actually part of the
16.
by ip26 1mo ago
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?
17.
by ip26 1mo ago
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 for this validation.
18.
by ip26 2mo ago
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 feel the tiny village i
19.
by ip26 2mo ago
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 replicate your success? Will
20.
by ip26 2mo ago
If it's just sitting there in your kitchen beckoning you, I think that's called beer pressure?
21.
by ip26 2mo ago
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 a unicorn. Very &quot
22.
by ip26 2mo ago
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 and runs from dawn t
23.
by ip26 2mo ago
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.
24.
by ip26 2mo ago
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 objects, or select c
25.
by ip26 2mo ago
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 "
26.
by ip26 2mo ago
Discoverability starts to break for new authors when more new books are published each day than humans on the earth. Established authors have the name recognition to compete as you say.
27.
by ip26 2mo ago
Is public perception the greater problem, or delivery? My outsider read has been relatively few diseases can be targeted right now due to payload delivery obstacles
28.
by ip26 2mo ago
Phase 3 seems closer to doing a soft production launch and finding customers completely reject it despite early focus groups liking it. Prototypes, when they fail, are also often tweaked into something that works. A lot of phase 3 failures
29.
by ip26 2mo ago
It wasn’t long ago at all that the chief problem was “can AI even help me with this” (cost be damned). Until a time when the answer is an unmitigated “yes, obviously”, the frontier labs have everything to lose and nothing to gain on routi
30.
by ip26 2mo ago
The alternative to the rationalist one is “be suspicious of anyone who claims to know the unarguable truth”

More ›