Another hot topic is studying whether a codebase matches a specification or not, or if one spec is a more detailed version of another. I've not done a lot of this but I know @dominiktornow.bsky.social has a three step process: formal spec to more-detailed formal spec to implementation code

Show Post

There’s a popular theory that AI will finally make formal verification mainstream because mathematical proof of correctness will be needed when machines write most or all of the code. But will this happen? Hillel Wayne is one of the best people to answer: • YouTube: youtu.be/KSkcgIYQy0U  (cont'd)

Show Post

I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

Show Post

curious what the appendix says on the edge cases for this comparison.

Show Post

What stops two invocations from picking up the same checkpoint row if pg_cron fires while a slow prior run is still finishing? Row-level lock on the read, or does resuming twice just replay the same step harmlessly?

Show Post