code_monk666

3 ms·

1. 1.▲
   by code_monk666 2y ago

   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 well as syntax when writing in PlusCal
2. 2.▲
   Formal Verification of Zero-Downtime Database Migration in PlusCal(biradarganesh25.github.io)

   48 points by code_monk666 2y ago|6 comments
3. 3.▲
   Ask HN: RAG for API Documentation

   5 points by code_monk666 2y ago|2 comments
4. 4.▲
   GPT 4.5 Release Date(chatgpt4.ai)

   3 points by code_monk666 4y ago|1 comments
5. 5.▲
   Fly.io Distributed Systems Challenges(fly.io)

   7 points by code_monk666 4y ago|0 comments
6. 6.▲
   by code_monk666 5y ago

   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 sort of okay with and not completely happy with it?