nk91

6 ms·

1. 1.▲
   by nk91 3mo ago

   I have minimal experience with formal verification, but I’d be curious to hear your view on Deterministic Simulation Testing (DST) and how that slots in to the conversation. That to me seems to address a lot of the IO facing pitfalls formal
2. 2.▲
   by nk91 3mo ago

   Sent you an email
3. 3.▲
   by nk91 3mo ago

   If you have it on GitHub or gitlab would love to take a peek when I get a chance. I’m still pretty early on in the explore phase. Once I get through a cleanup pass or ten I’ll see if I feel good enough about it to share haha.
4. 4.▲
   by nk91 3mo ago

   I’m working on small agent harness at home for a personal assistant. In spirit it’s similar to OpenClaw or Hermes Agent but I’m mostly using it for learning about agent harnesses to get a better understanding of the ecosystem. Overall it’s
5. 5.▲
   by nk91 3mo ago

   I think it makes sense when you dig into why that non-determinism conversion is so hard. For voice related things you have a lot of turn of phrase scenarios that can make no sense unless you know. Phrasing like “Put Larry on the horn.” For
6. 6.▲
   by nk91 3mo ago

   I felt the same way about the non-determinism but realized it can be really beneficial to have a machine that can fairly reliably turn non-determinism into determinism. I’m working on a tiny agent harness at home to learn and the process of
7. 7.▲
   by nk91 3mo ago

   My anecdote story about this is as someone with all of their credit frozen and generally best practices for password security (password manager, no reuse, offline only vault for important things) I ended up getting caught up in a ghost stud