lavaman131

6 ms·

1.
by lavaman131 3mo ago
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 also learn from. I find that this does pretty well.
2.
by lavaman131 3mo ago
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 have you been seeing from logging and why this diagra
3.
by lavaman131 3mo ago
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 an individual developer. From the team perspective, if I cr
4.
by lavaman131 3mo ago
Got it, thanks!
5.
by lavaman131 3mo ago
Ahh I see, thanks for sharing more about how you experimented with this.
6.
by lavaman131 3mo ago
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've gotten the alignment snapping working cleanly fo
7.
by lavaman131 3mo ago
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 even for perhaps human players. Have you been also plu
8.
by lavaman131 3mo ago
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 building a multiplexer directly on top of libghostty tha
9.
by lavaman131 3mo ago
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.
by lavaman131 3mo ago
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.
by lavaman131 3mo ago
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 grounding the facts/reducing hallucinations that may conflic
12.
by lavaman131 3mo ago
Got it that makes sense!
13.
by lavaman131 3mo ago
This is awesome! Been needing something like this for some research paper diagrams I've been indexing.
14.
by lavaman131 3mo ago
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 developers doing? I also agree with the fact that
15.
by lavaman131 3mo ago
Nice! Do you still use an IDE at all? Or is it purely in this view now?
16.
by lavaman131 3mo ago
This is interesting. Are you thinking that you'll eventually evolve this into a full control plane for agentic swarms?
17.
by lavaman131 3mo ago
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 loops. Seems very relevant topic also given the environment. Wi
18.
by lavaman131 4mo ago
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. Specifically, I built out a workflow layer for my coding ag
19.
by lavaman131 4mo ago
This is nice. I like that it treats breathing like a small terminal ritual instead of turning it into a whole wellness app.