tinco

I'm happy with ghostty now too, but until a couple months ago it didn't have search. Which made me uncertain how people use terminals without built-in search. It really surprised me that it apparently was so low on the must-haves list that it took over a year to have it. I think I search terminals multiple times a day when I'm operating production systems.

I think it's mainly the "business requirements in natural language" part that would require full AGI. In practice though, most requirements don't require that much intelligence to accomplish as illustrated by the recent success of coding agents.

It also makes sense that the language would necessitate having some algorithms as (pseudo-)code embedded in the specification when the requirement is complex enough.

Ah I haven't seen that before. I must admit that I'm not in the literature side of things. Any time I've seen a queue in production it would use put/get or enqueue/dequeue and in Ruby scripts you'd use an array and use push/shift.

Ok, but shift is the commonly used name for that operation, and pop commonly does something else than what you just described. If you could come up with a better word than shift that would be fine, but pop should be the inverse of push in my opinion. If you push, then pop, you should have the same data as you started with.

Very cool, might I suggest you rename your `pop` function to `shift` (or if you like ugly names `popleft`)? Popping windows isn't really a thing, it made me double take on the code.

So here's a crazy conspiracy theory for you: Google is not letting outside people use their models because if they did they would have to scale up their TPU production faster than they can manage, and they would instead have to buy and use nvidia hardware which would destroy their profit margins and tank their stock.

Gemini runs fully on TPU's right? Is Google maxing out the production on those?

Maybe an increase in sign ups due to people learning of their existence from the IPO? It's the authentication that seems to be failing, not the actual inference.

All the hobbyists were using proxybot because it allowed you to use more fun languages than C/C++ but proxybot lacked the features to effectively play Zerg. I really wanted to play Zerg so I built a really sweet API+DSL in Ruby around proxybot and then used that to give the other newbies a hard time with a zergling rush.

Unfortunately the proxybot limitations precluded me from expanding its capabilities so I tried to switch to having ruby embedded in C++ and I basically got mired there and was eventually distracted by real world concerns like actually finishing my degree.

I think I played against Krasi0's bot a couple times in the early days. Hopefully they stuck with AI and have suddenly become crazy rich after 2016. It certainly wasn't a given that AI was going to lead to a fruitful career back then, let alone to unimaginable riches.

It's a true power struggle. As a software engineer I have actually fallen into the trap of thinking that because of the law or a contract something would happen. It is a softer power than I expected.

The board wants to make money, that's why they hold shares and positions. If Mullenweg has the power to destroy value, that will be powerful leverage over them. If his employees side with him, if he holds the accounts, they'll have to negotiate carefully.

Of course, you would need a lawyer to determine when this crosses from a civil dispute to a criminal dispute because at some point him using the keys when he's not authorized could be a crime and if they can get the cops involved that certainly changes the dynamic.

It's not pedantry, you're trying to find something in Rust that's simply not there. If this sort of thing turns you off on Rust you should be looking at a programming language with other priorities.

Not sure if that's true, there's some frozen supermarket pizza now that's seriously good. If I ordered fast food and they delivered a freshly baked Crosta Mollica pizza I wouldn't send it back. Of course a fresh pizza is better, but imo you couldn't get a Crosta Mollica quality frozen pizza 10 years ago.

This is really interesting. I built a similar product (not released yet), but it uses Kubernetes as the infrastructure layer instead of Cloudflare OS. I guess all these years later I am left with the same existential question that plagued Sandstorm. What is its relevance in the context of Linux containers? This is not a rhetorical question, is there a real benefit for a Sandstorm grain over a docker style Linux container? Does a containerized process not have all the same benefits of a Sandstorm grain, with the added benefit of not requiring any modifications of the containerized software?

One argument I could bring is that despite all its claims, OpenAI still had to switch from containers to MicroVMs because its agents under test still managed to break out from their containers. Is the security model of a Sandstorm grain so much better that agents wouldn't figure out how to break out of it?