crawshaw

12 ms·

1.
by crawshaw 12d ago
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
2.
by crawshaw 15d ago
exe.dev | full time member of technical staff | sf bay area only competitive salary, meaningful early equity, 2 days a week in the downtown sf office come build a cloud. we are doing everything from custom hardware to custom ssh servers to
3.
by crawshaw 1mo ago
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.
4.
by crawshaw 1mo ago
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 i
5.
by crawshaw 1mo ago
Author here. FWIW, I do this with my Shelley modifications. It works.
6.
by crawshaw 1mo ago
Hi, author here. FWIW, the only people I coordinated with are my colleagues at exe.dev. Philip wrote a blog post a week ago on the topic too: https://blog.exe.dev/customizing-shelley . In retrospect, I should have sent draft
7.
by crawshaw 1mo ago
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.
8.
by crawshaw 1mo ago
(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.
9.
by crawshaw 1mo ago
(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 f
10.
by crawshaw 2mo ago
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 wor
11.
by crawshaw 2mo ago
(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 &quot
12.
by crawshaw 3mo ago
I’m just going to keep building. :)
13.
by crawshaw 3mo ago
If you have a good local VM flow that’s great. I couldn’t make it work for me. I ended up needing it to run when my laptop was shut, both as an agent and the servers I am building. It’s a real tension, working with a remote dev env has neve
14.
by crawshaw 3mo ago
I think it’s worth trying. There’s a lot of value in having the agent in the box. You can give it root so it can do something like tcpdump unsupervised. And if you happen to build a new server, you can keep it serving indefinitely. That’s t
15.
by crawshaw 3mo ago
For those looking to run agents: the short lifecycle of the typical “sandbox” seems surprisingly limiting to me. I have no actual workflow where I want one of these products. Sometimes a VM can live for 30 minutes, but it also might need to
16.
by crawshaw 3mo ago
This is the nature of large institutions: they have to distrust their own people. You cannot be relied on to act well, you must be checked first. There is a good reason for this! In a large group of people, there are bad people. This is als
17.
by crawshaw 4mo ago
My eight year old found a Terry Pratchett book of mine on the shelf the other day. He is a little too young to read them today but I realized I get to enjoy Pratchett all over again through him.
18.
by crawshaw 4mo ago
Nah. There are billions of people on the internet, and it varies from a dusty library to Atlantic City (though for some reason we let kids into the casino?). It is not one thing any more, but there are plenty of fun corners.
19.
by crawshaw 5mo ago
I could type ~four lines and an alert box response from a visual form. For years I have lamented the amount of paperwork necessary in most of modern programming to get things done. I don't know how important that is now that I have a m
20.
by crawshaw 5mo ago
exe.dev | full time member of technical staff | sf bay area only competitive salary, meaningful early equity, 2 days a week in the downtown sf office come build a cloud. we are doing everything from custom hardware to custom ssh servers to
21.
by crawshaw 5mo ago
One VC (well, two) understood it. Despite what you hear, there is a lot of variation. Speak to a lot of people.
22.
by crawshaw 5mo ago
Hello, author here. Our exe.dev web UI still runs on AWS. We also have a few users left on our VM hosts there, as when we launched in December we were considering building on AWS. Now almost all customer VMs are on other bare metal provider
23.
by crawshaw 5mo ago
Author here. I need to fix our transfer pricing. (In fact I'm going to go look at it now.) I set that number when we launched in December, and we were still considering building on top of AWS, so we put a conservative limit based on wh
24.
by crawshaw 5mo ago
Author here. Almost every VC rejected us when we went to get seed funding for Tailscale, we knew none of them. Friends of friends of acquaintances got us meetings. Fundraising is very possible for you if you are committed to building a busi
25.
by crawshaw 5mo ago
Author here. Most of our infra is custom, the VMM is based on cloud-hypervisor (a project spiritually similar to Firecracker). We have a lot of work to do, including on the VMM, but right now there is more value for users if we spend our ti
26.
by crawshaw 5mo ago
Hi, co-founder here. If you would like more detail, and often HN does, I wrote up some more about what we are doing here: https://crawshaw.io/blog/building-a-cloud
27.
by crawshaw 5mo ago
This is an S-1 for Firefly Aerospace Inc.
28.
by crawshaw 6mo ago
Based on this and recent product releases, Anthropic seems keen on building a closed ecosystem around their excellent model. That is their business choice, I suspect it will work well. But I cannot say I am particularly excited to have my e
29.
by crawshaw 6mo ago
You can get this effect today by installing Tailscale on your exe.dev VM. :) The reason we put so much effort into exposing these publicly is for sharing with a heterogeneous team without imposing a client agent requirement. The web interfa
30.
by crawshaw 6mo ago
Amazingly even most p2p works with NAT, see (and I am biased here) Tailscale. I certainly wish we simply had more addresses. But v4 works.

More ›