Machinen VM's source is now available. This is a "slopvm" that I've been working on for the past month to teach myself more about computers.
It's written in zig with Tigerstyle, and has a really nice Typescript runtime!
1. It's does incremental snapshots and forking.
2. It boots fast. (last I checked it was 200ms)
3. It uses HVF and KVM's native snapshots and translates between the two operating systems.
4. I am playing around with a new idea to move running binaries across architectures.
5. It has nested virt, so you can run firecracker inside of machinen.
6. It does not support OCI.
The main idea is that you should not be coding on your raw machine anymore. Most VM developers are trying to sell you cloud compute, I'm trying to get you to use your own compute more effectively.
https://t.co/8DLpvgWL9K
@victorsavkin Do people actually type at 120wpm outside of typing challenges?
I agree that fluent input is important, but 60wpm is probably way more than how fast people can think.
Using the mouse and searching where to click in a GUI is a way bigger bottleneck imo.
i have seen enough proof now that using a coding agent is a deep skill
it's confusing because the people you see heavily using them produce horrible results
but that's because it's a skill! you can get better and the ceiling seems pretty high - this is very exciting to me
@anuraggoel@render Still crazy that so many startups go the AWS route just to save a few dollars instead of saving many hours (if not days/weeks) of their time on Render.
https://t.co/gHoAUUfHAR - boot once, run everywhere.
A MicroVM that runs on hardware you already own.
Close your laptop and it hands off to another host.
Works across macOS, Linux, and Raspberry Pi. (aarch64)
@eladgil BS.
Attention was born in Montréal
PyTorch in NYC.
AlphaGo in London
AlphaFold in London
ESMFold in NYC
Llama 1 in Paris.
Llama 2 in Paris+NYC+SV
DeepSeek in Hangzhou
Plus:
DINO in Paris
JEPA in Montréal+Paris+NYC
SV is 3 mos ahead on topics SV is singularly obsessed with.
@bentlegen@pierrecomputer@opencode I really like tuicr https://t.co/6epMz4J33l for reviewing AI gen code.
But maybe I should try hunk.
Open source is so great these days; there are so many good options.
At @PWVentures, we've been quietly building AgentCribs, a private community of founders and hackers building custom agentic coding/business/marketing/etc setups and sharing wins and losses.
Now, we're opening up the community a bit with our first event on May 6 in San Francisco! I'll be sitting down for a fireside chat with Peter Levine (legendary @a16z investor who sat on our board at @GitHub for many years) to discuss the bleeding edge of AI ideas and realtime insights on where the market is headed.
The evening will also include an update from the core AgentCribs team, demos and discussion from people building with agents, and an invitation to participate in ongoing collaboration.
If you've been hacking on your own real-world agentic workflows, built your own harness, 10x-d Claude, or just want to know what the future looks like, you belong!
Smart people are often doomers because they can see the flaws in the world around them.
But *very* smart people are often optimists, armed with perspective after working through the doom