code_monk666

Re:Formal Verification of Zero-Downtime Database Migration in PlusCal on Tuesday March 11, 2025 @12:13PM (#43333955)

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

Formal Verification of Zero-Downtime Database Migration in PlusCal

Posted by code_monk666 on Sunday March 09, 2025 @01:31AM
from the biradarganesh25.github.io dept.

https://biradarganesh25.github.io/pluscal/db_migration.html

( Read More... | 6 comments | 3 points | on HN )

Ask HN: RAG for API Documentation

Posted by code_monk666 on Wednesday April 24, 2024 @12:37AM
from the ask-hn dept.

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 wanted to know to if there were any particular recommendations for handling API documentation in this scenario (for example, what would be the best way to use Swagger API documentation with the chatbot?)Is the...

( Read More... | 2 comments | on HN )

GPT 4.5 Release Date

Posted by code_monk666 on Tuesday March 28, 2023 @12:41AM
from the chatgpt4.ai dept.

https://chatgpt4.ai/gpt-4-5-release-date/

( Read More... | 1 comment | on HN )

Fly.io Distributed Systems Challenges

Posted by code_monk666 on Thursday February 23, 2023 @10:28AM
from the fly.io dept.

https://fly.io/dist-sys/

( Read More... | no comments | on HN )

Re:Tell HN: You are not alone this Christmas on Sunday December 26, 2021 @12:08AM (#29689899)

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?