Viewing profile — code_monk666

When I wrote this, I had tried getting help from several different chat models. None of them produced anything remotely useful—but they did help me learn formal verification, as we…

Hello HN, I'm learning about RAG (Retrival Augmented Generation) and I am building a chatbot that can do Q&A over some documentation. I know a lot of people are working on it and w…

I am terrified of being alone. Thankfully I have a bunch of good friends but it's been hard to meet them due to covid. Is it better to be alone or be in a relationship that you are…