ip26

5 ms·

31.
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
32.
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 "
33.
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.
34.
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
35.
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
36.
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
37.
by ip26 2mo ago
The alternative to the rationalist one is “be suspicious of anyone who claims to know the unarguable truth”
38.
by ip26 3mo ago
It's like modeling a living cell in a computer building upon the basic maths of physics. Yes, it is a thing that is "possible". However it is not practicable to capture everything that matters and run that simulation.
39.
by ip26 3mo ago
The “affordable” housing thing seems like such a misdirection. I can’t help but daydream that some moneyed interest somewhere fans those flames, as it looks like a dead end that can absorb endless fervor. You know what you do if you want an
40.
by ip26 3mo ago
If we’re just spitballing, it certainly could be that, but it’s also obvious that publishing papers can help communicate your existing work. AI can definitely help at that, and even great work needs to be communicated. If this same article
41.
by ip26 3mo ago
You describe it like it’s some kind of a treadmill chasing new. But if you have kids at 35, they start school when you’re 40.. were you thinking about the quality of the neighborhood schools when you bought your house at 25? Or suppose you
42.
by ip26 3mo ago
My assumption is somewhere in the harness toolchain there's a prompt inject that says: - Always sign commit messages In which case, Claude is being given conflicting instructions, which is a different class of problem than too
43.
by ip26 3mo ago
Any affect from CO2 specifically seems weak. Clean air in broadly good though, and high CO2 is a good proxy for stale air. So I’m always supportive of people caring and paying attention to their air. Along the way they’ll either learn about
44.
by ip26 3mo ago
The basic purpose of patents is to make it worthwhile to develop something new and valuable. They are unnatural - but useful. Working backwards, if we want people to spend time and money developing new breeds of plants, you arrive at these
45.
by ip26 4mo ago
Regardless his actual private beliefs, one of his "jobs" is to create new unicorns ycombinator can invest in. So evangelizing startups in general and spurring new entrepreneurs is very much in his interest, and spreading this kind
46.
by ip26 4mo ago
You don't need to project to the heat death of the universe to get Facebook without Zuckerberg.
47.
by ip26 4mo ago
Parallel invention would like a word. Elisha Gray registered a patent for a telephone the same day as Alexander. It's impossible to fully prove a counterfactual, but few things " wouldn't exist at all " if " that on
48.
by ip26 4mo ago
Infinite tokens rate-limited to 10 tok/s is 26MTok per month.
49.
by ip26 4mo ago
A never had the authority to contract the land as a park indefinitely ... once C owns it they own it That's not what a deed restriction is. are you stuck with passing that obligation forward Generally yes. Which is why the deed res
50.
by ip26 4mo ago
Hard to assign that a value before you are a parent though. You can only understand it in the abstract.
51.
by ip26 4mo ago
I probably interpret the message incorrectly, because to me "the hardest thing" is usually some class of some famous unsolved problem. The thing is, to be famously unsolved, many of the world's most brilliant people must have
52.
by ip26 4mo ago
You’d think Berkshire would be at least passingly aware of that principle, though.
53.
by ip26 4mo ago
Depends on the quality of your validation loop. Can the agent find the bug in a five second unit test, or does it have to run the full deployment test? It also presents tradeoffs in compute budget. Cycles spent executing large arrays of tes
54.
by ip26 4mo ago
That's the exactly the role talent scouts fill - spot the ones that show glimmers of promise before it's obvious, and offer them opportunity.
55.
by ip26 5mo ago
We went through exactly this with Google. People argued that once they were the only way anyone found websites, they were merely collecting undue economic rent.
56.
by ip26 5mo ago
They specifically describe that exploits are usually multiple small vulnerabilities chained together. With that understanding, it sounds like closing vulnerabilities isn't the same as discovering an exploit. Instead, you're leavin
57.
by ip26 5mo ago
Are you familiar with why movie theaters offer matinee tickets at a lower price?
58.
by ip26 5mo ago
The counterweight has been, after using it for a bunch of projects, I have internalized that it will very, very quickly get me to maybe 60% and then I'll have to take it the rest of the way mostly by myself (or handholding it tightly f
59.
by ip26 5mo ago
On the other hand, I have paperback books I loved as a kid that were my father's when he was a kid. I carefully saved them for decades. One more generation and they could be considered family relics or something. I quickly realized t
60.
by ip26 5mo ago
If companies are faced with the choice between: - employ you at 60k/yr - replace you with a machine that costs a lot of money, and also send you UBI of 60k/yr It should be obvious the latter is not an option that is ever going to

More ›