Live data from Hacker News

Viewing profile — souvik1997

souvik1997

HN member
Joined
Mon, Dec 09, 2024, 2:56 AM UTC
HN karma
79
Public activity
26 items

About souvik1997

Email me at souvik@amlalabs.com

Recent public activity

  1. comment
    Comment #48179553

    What were the annoyances you faced?

  2. comment
  3. comment
    Comment #48175773

    Not sure what is the aversion to libc? The code only supports Intel macOS, seemingly because Apple Silicon (arm64) macOS does not support this.

  4. comment
    Comment #46890437

    Edera looks very cool! Awesome team too. I read the thesis on arxiv. Do you see any limitations from using Xen instead of KVM? I think that was the biggest surprise for me as I hav…

  5. comment
    Comment #46889579

    Hey @clawsyndicate I'd love to learn more about your use case. We are working on a product that would potentially get you the best of both worlds (microVM security and containers/g…

  6. comment
    Comment #46831602

    This is a really interesting direction we have been exploring too! Our approach is basically to create a file containing the prompt for each turn within the virtual filesystem. The…

  7. comment
    Comment #46829338

    Yep, we got that sorted. Thanks for the suggestion! https://pypi.org/project/amla-sandbox/

  8. comment
    Comment #46828703

    True. bubblewrap and similar (Landlock, sandbox-exec on Mac) are solid lightweight options. The main difference is they still expose a syscall interface that you then restrict, vs …

  9. comment
    Comment #46828670

    If I had to rank these, in order of least to most secure, it would be container WASM has: - Bounds checked linear memory - No system calls except what you explicitly grant via WASI…

  10. comment
    Comment #46828178

    We will take a look! Thanks for sharing. Dynamic linking to run pydantic/numpy/etc. would be huge!

  11. comment
    Comment #46828161

    The opus 4.5 confession is great haha. We have found Claude Code + Opus 4.5 + Rust with miri/cargo-deny/cargo-check/cargo-fmt + Python with strict type checking/pedantic lint rules…

  12. comment
    Comment #46828002

    Makes total sense. We'll prioritize getting the WASM source out. This is good signal that it matters. Will ping you when it's up!

  13. comment
    Comment #46827908

    The ecosystem layer is a hard but very important problem to solve. Right now we define tools in Python on the host side, but I see a clear path to WIT-defined components. The regis…

  14. comment
    Comment #46827776

    Thanks Simon! Denobox looks very cool: Deno's permissions model is a natural fit for this. On the licensing: totally fair point. Our intention is to open source the WASM too. The b…

  15. comment
    Comment #46827107

    Fair points. On containers: yes, running in Docker/Firecracker works. The "one prompt injection and you’re done" framing is hyperbolic for containerized setups. The pitch is more r…

  16. comment
    Comment #46827051

    Thanks! That’s exactly the use case we built this for

  17. comment
    Comment #46826971

    The sandbox doesn’t run models. it runs agent-generated code and constrains tool calls. The model runs wherever you want (OpenAI, Anthropic, local Ollama, whatever).

  18. comment
    Comment #46826810

    Interesting! What use cases felt too constrained? We've been mostly focused on "agent calls tools with parameters". Curious where you hit flexibility limits. Would love to see your…

  19. comment
    Comment #46826390

    Thanks for sharing localsandbox! sqlite-backed VFS for fork and resume workflows is very interesting.

  20. comment
    Comment #46826223

    Great question. We cheated a bit; we didn't compile the GNU coreutils to wasm. Instead, we have Rust reimplementations of common shell commands. It allows us to focus on the use ca…

  21. comment
    Comment #46825980

    Thanks for sharing the context! The fork problem is gnarly. Makes sense that full Linux emulation was the path forward for your use case. Agreed on WASI maturity. We're hoping the …

  22. comment
    Comment #46825968

    Fair point. We get around this by "yielding" back from the Wasm runtime (in a coroutine style) so that the "host" can do network calls or other IO on behalf of the Wasm runtime. Bu…

  23. comment
    Comment #46825427

    Appreciate your support! We deliberately chose a limited runtime (quickjs + some shell applets). The tool parameter constraint enforcement was more important to us than language co…

  24. comment
    Comment #46825376

    That's definitely true. Our model assumes tools run outside the sandbox on a trusted host—the sandbox constrains which tools can be called and with what parameters. The reason for …

  25. comment
    Comment #46825316

    agentvm looks very cool! They are taking a different approach - full Linux VM emulated in WASM. It's very impressive technically. We differentiate from agentvm by being lightweight…