baq

I see not only me tried to give astra insufficiently described tasks

Token providers in aggregate work a bit like airlines so the end pricing should also work a bit like airlines; expect budget tokens, fast boarding tokens, window seat tokens, last minute tokens, miles for tokens, … and naturally prices fluctuating by the hour.

I disagree. I would gladly hear why they think there are no privacy concerns or why they don’t care about their privacy so much. I find it hard to understand.

The fact that it made the browser itself impossible to monetize to fund development was a part of it. They were an antitrust insurance to Google and tried lots of stuff to improve its position. Granted they failed, sometimes quite spectacularly, but I still drive Firefox for personal use.

It was the rare confluence of people needing the same thing the megacorp showing them ads needed. We all benefited, no hard feelings, but always remember to look at where the puck is going.

Not too far fetched to say this potentially solves continual learning, which is a scary prospect. Wonder what ram and disk prices will go to once every model needs its own long term memory capacity and not just weights and cache.

I had an idea of splicing a z3 solver into the weights of a sufficiently smart model after the first chatgpt release in what feels like a glaciation event ago so the things could do logic and literally make no mistakes. Was never in a position to follow up. We’re almost here now.

Haven’t tried opus 5, sol 6 or haiku 4.5 I see

millenium? they'll be solved by then; but hopefully there are some unsolved ones left

'biology moves at the speed of life' is a fantastic quote that should ground everyone's expectations - unless there's a revolutionary advancement in simming life, do not think that we'll see the same pace of progress as we've seen in software engineering or maths.

Dropping ultra hard problems on those things and giving them reward when lean accepts the proof sound like an obvious RL environment tbh

What a time to be alive honestly. Can’t know what one will wake up to

Why? Whatever's vested is yours.

Yes, I'm buying. Alphabet.

S-1 states directly that some of the shares sold in the IPO are sold by current shareholders.

Employees are a different matter, lockouts are for them not quitting immediately. My bet is that a few of high profile departures recently is exactly for this reason: no lockout if you aren't employed anymore.

Now, hence IPO.