Live data from Hacker News

Viewing profile — lavaman131

lavaman131

HN member
Joined
Tue, Apr 28, 2026, 3:13 AM UTC
HN karma
8
Public activity
23 items

About lavaman131

I'm at Microsoft Research building agentic systems. Previously I've worked on AI/ML at biotech companies, start ups, and have a background in computer vision research. I'm very passionate about coding agents and what actually works in production.

Recent public activity

  1. comment
    Comment #48551333

    This is a cool project! I usually review docs/blogs/etc. as much as possible and brainstorm with an llm. I research to see if there are any other open source examples that I can al…

  2. comment
    Comment #48551289

    I'll check this out. I actually recently was looking for smth like this to be able to track my emotions daily because I think that otherwise I'm not as self-aware. What results hav…

  3. comment
    Comment #48551254

    This looks really good. NixOS is a great operating system for reproducibility. I like also that you can spin up VMs via the CLI just as a convenience part too. This looks great for…

  4. comment
    Comment #48513707

    Got it, thanks!

  5. comment
    Comment #48513691

    Ahh I see, thanks for sharing more about how you experimented with this.

  6. comment
    Comment #48500248

    This is great, I've tried out automated podcast editing tools before and they cut too aggressively in my experience. What are you thinking about doing next with this now that you'v…

  7. comment
    Comment #48500202

    This is a really interesting benchmark and also timely given a lot of existing benchmarks don't do a good job. The mechanics and edge cases seem notoriously difficult to parse also…

  8. comment
    Comment #48500122

    This is super cool. I've been a heavy tmux user for a long time and using it more with my coding agent sessions and prefer ghostty. What was the biggest challenge when it came to b…

  9. comment
    Comment #48473123

    This is super cool. I like the anti magic and explicit philosophy you have. Do you plan on eventually building out the advanced optimization passes so that the language is faster?

  10. comment
    Comment #48472984

    Very cool to see more security focused tools being built here for the Nix ecosystem. What were some of the biggest roadblocks or challenges you hit when building this?

  11. comment
    Comment #48472972

    This is interesting way of presenting content and I do feel like engaging educational content is a valuable thing to work on. For the historical figures, how are you handling groun…

  12. comment
    Comment #48472868

    Got it that makes sense!

  13. comment
    Comment #48421453

    This is awesome! Been needing something like this for some research paper diagrams I've been indexing.

  14. comment
    Comment #48421405

    This is cool, I'll check it out. Do you guys think that there will still be some work that is done locally vs the cloud, how are you thinking about the split from what you've seen …

  15. comment
    Comment #48421389

    Nice! Do you still use an IDE at all? Or is it purely in this view now?

  16. comment
    Comment #48409984

    This is interesting. Are you thinking that you'll eventually evolve this into a full control plane for agentic swarms?

  17. comment
    Comment #48409962

    This is an interesting approach. I think people still underestimate how quickly token limits and context bloat become the bottleneck when you start running agents in production loo…

  18. comment
    Comment #48380394

    Also an eng in big tech and there are constantly new initiatives I think we get asked to think about or do but main value I've found is by solving for my own problems with AI. Spec…

  19. comment
  20. comment
  21. comment
    Comment #48349973

    This is nice. I like that it treats breathing like a small terminal ritual instead of turning it into a whole wellness app.

  22. comment
    Comment #48349963

    [flagged]

  23. story