dbmikus

5 ms·

1.
Show HN: Amika – Multiplayer cloud workstations for coding agents and humans(amika.dev)
7 points by dbmikus 1d ago|4 comments
2.
by dbmikus 4d ago
That's a good point!
3.
by dbmikus 5d ago
Pretty close, but IMO not quite. A math proof in and of itself is useless unless either: (A) it furthers human knowledge (B) it gets used in applied sciences, engineering, etc. If you merge and deploy code, you have released a to
4.
by dbmikus 8d ago
An AI-generated solution always provides two pieces of info: 1. proof that there is a solution 2. a solution that you can work backwards from to build understanding Maybe the solution is pretty inscrutable, but it's almost
5.
by dbmikus 9d ago
That is close to the average rate of inflation, though. Doesn't seem unreasonable to me.
6.
by dbmikus 11d ago
> I'd love to have exe.dev, but running on my Mac Mini. I'm working on exactly this bit (with some more tuning for messaging AI agents) https://github.com/gofixpoint/amika Doesn't run on your Mac Mini
7.
by dbmikus 17d ago
I haven't paid super close attention to Orbs, but I also build an agent runtime + orchestration layer on top of remote VMs ( https://github.com/gofixpoint/amika ). I do think it's smart marketing to name the co
8.
by dbmikus 24d ago
For a truly "handoff-able" session, you also need to store the data it was working on. In most cases, these are the git patches
9.
by dbmikus 24d ago
I'm working on this at my startup, amika.dev Open core is here: https://github.com/gofixpoint/amika We're designing it like a meta-harness actually. The goal is to let users put any agent(s) (Claude, Codex, P
10.
by dbmikus 1mo ago
Big enterprises are on a different github deployment, so I doubt they are affected by this
11.
by dbmikus 1mo ago
Agreed! I think the best user experience is: 1. You can run sandboxes locally 2. You can control them securely over the internet, for when you're on the go 3. You can migrate them to cloud VMs if you want If I can toot
12.
by dbmikus 1mo ago
What's your problem with the OpenCode config? My startup ( https://github.com/gofixpoint/amika ) copies agent configs into local or cloud sandboxes We run OpenCode currently, but need to improve the setup for users,
13.
by dbmikus 1mo ago
If you'd be open to trying something else, my startup is open core: https://github.com/gofixpoint/amika The definition for your cloud sandboxes is just a TOML config in your repo We also have an API and CLI to let
14.
by dbmikus 1mo ago
My startup is open core: https://github.com/gofixpoint/amika We run cloud sandboxes, and have some experimental local sandbox support that is fully OSS. Main thing for amika.dev is you can control the sandboxes and age
15.
by dbmikus 1mo ago
I'm working on https://www.amika.dev/ , which lets you put sandboxed agents on cloud VMs and then message them over the internet. It's for agent + human devboxes, for chatting with coding agents from the web, or au
16.
Axioms for a new operating system for AI agents(fixpoint.co)
3 points by dbmikus 1mo ago|0 comments
17.
by dbmikus 1mo ago
time to bring back the dev email distribution list
18.
by dbmikus 2mo ago
Nope, but I thought about moving hosting (or to Forgejo) because of (a) GitHub's issues, and (b) I like the idea of using an OSS code forge I suppose since Codeberg is a totally free non-profit for OSS projects, it makes it more reason
19.
by dbmikus 2mo ago
Identity is more than a name. It is also proving that you own that identity (aka authentication)
20.
by dbmikus 2mo ago
But the identity part of git is not (unless you count pgp signing of each commit, which never took off at a large scale) and the git tools don't automatically propagate repo changes by default across a network
21.
by dbmikus 2mo ago
Well, definitely makes me inclined to never use Codeberg for source hosting if they can just get together and decide to ban an entire category of source repo. It makes Codeberg seem like an unserious project.
22.
by dbmikus 3mo ago
Really freaky seeing how many of these are bedrooms.
23.
by dbmikus 3mo ago
Is the talk going to be shared online anywhere? Would be interested in checking it out later!
24.
by dbmikus 3mo ago
exe.dev is great, but the VMs are not really "apps". They are durable computers / VMs. An example of a "sandboxed agent app", would be: give the app all your past emails. An agent scans them and finds sales emails y
25.
by dbmikus 3mo ago
Def! My personal belief is that the future of an "app" is a combo: 1. micro VM 2. agent on the VM 3. software bundled into the VM So, it should be stupid simple to run these local sandboxed apps/agents. Righ
26.
by dbmikus 3mo ago
Firecracker has more tooling for the orchestration layer that manages many sandboxes at once. Stuff like K8S integration, an external REST API control plane, more first-class support for snapshotting, etc. You'd have to build more of
27.
by dbmikus 3mo ago
Why do you want to self-host vs. using one of the many providers out there? Daytona, E2B, OpenComputer, Freestyle, Blaxel, Vercel, Modal, Cloudflare, Tensorlake, Superserve, etc. etc. Some of them work by pre-purchasing credits, so you can
28.
by dbmikus 3mo ago
There are sooooo many sandbox providers out there. They do spike on different features like: - snapshotting and forking - good SSH and VPN access for end-users - agent-friendly features, like obscuring secrets at network layer
29.
by dbmikus 3mo ago
Yes, running locally certainly helps if you want your sandboxed AI to be able to use the internet without getting blackholed by Cloudflare
30.
by dbmikus 3mo ago
Yeah, Docker Sandbox is in the right direction. But there's a lot of parts that are still not ironed out yet. How do you package a Docker Sandbox up into an app that can expose UI widgets, with an agent hiding behind them? What widgets

More ›