Viewing profile — lavaman131
lavaman131
HN member- Joined
- Tue, Apr 28, 2026, 3:13 AM UTC
- HN karma
- 8
- Public activity
- 23 items
- HN profile
- View on Hacker News ↗
About lavaman131
Recent public activity
-
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…
-
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…
-
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…
-
comment
Comment #48513707
Got it, thanks!
-
comment
Comment #48513691
Ahh I see, thanks for sharing more about how you experimented with this.
-
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…
-
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…
-
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…
-
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?
-
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?
-
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…
-
comment
Comment #48472868
Got it that makes sense!
-
comment
Comment #48421453
This is awesome! Been needing something like this for some research paper diagrams I've been indexing.
-
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 …
-
comment
Comment #48421389
Nice! Do you still use an IDE at all? Or is it purely in this view now?
-
comment
Comment #48409984
This is interesting. Are you thinking that you'll eventually evolve this into a full control plane for agentic swarms?
-
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…
-
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…
-
comment
Comment #48380321
[dead]
-
comment
Comment #48349987
[dead]
-
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.
-
comment
Comment #48349963
[flagged]
- story