Viewing profile — 6gvONxR4sf7o

Seems to be Altman's playbook, just like how he got the CEO job back.

Huh, I wasn't actually going for snark. I was trying to preemptively be over-specific about what I meant. As in, you said "... writing the correct program..." and I meant that I'm …

> Congrats, that sounds at least as hard as writing the correct program in most cases. That's not remotely true. Or, more formally speaking since we're in a thread about proof assi…

I wonder how the "added value" argument can apply to Anthropic and not to the Kimi team. If Claude's value is that you don't have to pay a team of slow expensive subject-matter exp…

Oh man, that resonates with me. One of the constant frustrations for me was that once you get foundations in a topic, the rest follows, but the foundations are often full of things…

One piece of this that could be really nice in a normal language is if an LLM could generate a decent syntax highlighter or code-folding-spec or something for each "aspect." The id…

My point wasn’t about risk vs reward, or in their words “harm” vs reward. It’s about how increasing the opportunity for reward increases the justifiable harm. “X is bad (unless it …

The framing they use is hilarious and their little graphic is perfect. The risk of harm doesn't go down, but the reward goes up, so the harm just becomes the cost of doing business…

Another view of the accountability is that we're currently often pointing accountability in the wrong direction, and it's gaining momentum. Aspects of it have been around so long i…

Why just the $10k? Could you get a full refund? If I order a $12 burrito and you give me a $10 sandwich, I would feel owed my $12 back, not the $2 difference in price.

I don't mourn coding for itself, since I've always kinda disliked that side of my work (numerical software, largely). What I do mourn is the reliability. We're in this weird limbo …

plan -> code -> verify is nice in theory, but is super failure prone without the TDD or “preregistration” version: plan -> code verification -> code implementation -> verify. Doing…

If they just remade it with modern AF software , I'd probably carry mine around most every I went. Not to mention what they could do by updating hardware.

So is the "bitter lesson" that fuzzy overlords will be practically preferable to hand coded legislation?

How's that account for language drift over centuries?

I have a potentially more optimistic (and simultaneously more pessimistic!) view to offer. Some differing interpretations of the law distinguish between the lawmakers' intention vs…

10 days later... sorry, I didn't see your comment. The example I gave had a few pieces: - x is defined prior to the if/else, and overwritten in just one branch - y is defined in bo…

As always, labor is a marketplace, and the supply side boils down to a) how much the next person else is willing to work (all else equal), and b) external forces (like overtime req…

OCR for printed documents is super robust, but handwriting, low res, and aligned recognition (not just image to "hello world" but also having "h is here in space e is here in space…

There's more to this that I'd absolutely love to see in a language, and I can't tell if rye supports. If you want an ergonomic `if` you need its scope aspects too. Consider this ex…

Mercury is one of those languages that seems to support so many different styles of programming in a nicely unified way, I've always been curious about it. This is so much more rea…

> Not particularly, no. What I want is for you to purchase the seats your family needs ahead of time, not ask me for them for free. What happened to "if you want it, then you have …

Of course, the challenge is that the next question after solving a leetcode problem is often to explain and optimize the performance characteristics, which in prolog can get stupid…

The way to see this is bayes rule. p(answer | data) = p(data | answer) * p(answer) / (sum_{all possible answers'} p(data | answer') * p(answer')). So for this question, that's expa…