crawshaw

I love Ice Cube, as it is great engineering contributing significantly to science. It is also the perfect way to describe the concept of a great “hack” to people outside the field.

From a pure branding perspective, I think there is something to this. We are building a new "cloud" at exe.dev (everything from racking machines, building a global load balancer, and new APIs onto VMs) and yet it is very hard to bring ourselves to use the word cloud. We don't really want to be associated with the experience or mindset that "cloud" implies. I certainly wish there were a better way to describe this.

exe.dev | onsite | SF Bay Area | Full-time designer

Come own and build a brand at a Series A startup.

More (strong) evidence that agents make formal methods far more useful. The cost of creating that Lean proof has dropped dramatically.

Hopefully this helps mathematicians. It seems very clear to me that it will help software engineers apply formal methods to more of our software.

I would also love to hire an engineer with a background in design who wants to build UIs that are both functional and beautiful. You would get to own UI.

exe.dev | SF Bay Area | full time | $200k+, meaningful equity

Come build a new cloud. The entire engineering team has been in the industry 20+ years. Lots of hard problems. The freedom and responsibility to do what you think matters, push it to prod and deal with support when it breaks.

Author here. FWIW, I do this with my Shelley modifications. It works.

Hi, author here. The entire second paragraph of my blog post is dedicated to the question you asked. There is really nothing more I can add.

(Author here.) Open models are really quite good now. I still use oai as my daily but I have been very impressed by qwen/glm/k3/etc when I try them. They are clearly my future.

(Author here.)

FWIW the first version of meat was based on anthropic models, I switched to Oai models because they are faster and just as good right now. This is an astonishing thing to say, but the switch was a single shot prompt using a frontier model. I’m happy to add some selector there, but that is also the point of this article: do you really need me to make it configurable when you can switch the tool over to Anthropic with a single prompt? It’s a strange new world we live in.

On the website: you’re right. I have some side-by-side diff examples I want to turn into a website. I am just short on hours in the day. My real goal is to make the tool compelling enough that I can convince my colleagues that we should build it into Shelley. :)

Interestingly, it's the .xyz on our VM domain that causes problems. It's apparently far more of a problematic gTLD than I realized. E.g. it appears Southwest Airlines blocks the entire thing, as do some enterprise networks are working with.

(We have a fix for this coming in a few weeks.)

(exe.dev co-founder here) The platform is designed make it easy for you to share if you like, but we are not typically in the business of pointing directly at products users make. Maybe we should change that! It would be fun to have a "best of exe.dev" on our site.

I’m just going to keep building. :)