Viewing profile — nk91

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 t…

Sent you an email

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 …

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 t…

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 …

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…

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 im…