butterisgood

I like starting with defining outcomes, determining invariants, and then consider TLA+ or Lean models, or both. It's generally not good to ship stuff you don't understand, but if you work on big legacy code bases from 20-30 years ago, there's probably no one who understands all the code all the time.

It's at least nice to be able to prove something about the code, rather than blasting it with tests which only prove that the tests that are written do not fail (and perhaps get you some amount of code coverage — necessary but insufficient for anything like quality).

How to do all of that in your environment? That can vary greatly!

He was my advisor in college

IFF I can replace some of what I almost never use my iPad for with this, it _might_ be worth that price tag.

I'm on the fence! I do like a bigger but not too big screen for movies on planes etc.

The critique isn't broken.

If the model cannot count letters in a word what happens when it needs to do something akin to counting the letters in a word?

I believe it could easily write a tool to count the letters in a word for frequency, but ... dismissing this as if it doesn't matter seems a bit premature without deeper understanding of bad answers you can get from these tools

The last product I know of named Bob didn’t fare so well.

It matters under the lens of AGI. Artificial intelligence that can meet or exceed human intelligence. Sure, it's good at some things but rather limited at others.

Breadth of capabilities matters... and a promotional video is nice and all, but people are throwing this term around like it's a prize they've won, but they've not gotten there yet.

I don't understand why you're being downvoted... that's literally the definition of AGI.

It comes and goes... My point is we're not near AGI.

People need to stop redefining and trying to capture the term AGI. None of this is AGI. Not even close. Can it do things an AGI could do? Yeah some of it, but the difference really matters. These things still regularly fail, and gaslight about answers to questions like "how many r's in strawberry" or "s's in espresso".

An AGI wouldn't struggle with that.

I don’t care about the cost if the results are weak. I did a bunch of work with Sol only to find Opus 5 spot a bunch of bugs.

And it was correct. The results weren’t as good as they should have been for Sol. How am I going to trust Luna?

TONS of prior art.

Optimize the aglets!

Best named project I've seen this year!

Human language is the whole point of a lot of this.