~lobsters | Bookmarks (11)

April 10, 2024 Don't let Alloy facts make your specs a fiction, about formal methods practices (and a lot of Alloy). Patreon link here. I sometimes like to sharpen the axe by looking at a basic programming concept and seeing what I can pull out. In this case, for loops. There are two basic forms of for loops: for(i ...

April 1, 2024, 2 p.m. One important part of query planning is performing transformations over queries. Today I want to see how a couple common databases perform on a completely made-up and unrepresentative benchmark. I have a lot of caveats for this one. I need to emphasize before we start that the following test is...

March 19, 2024, 11:23 a.m. Whenever I talk about formal methods, I get the same question: Can I use the spec to generate my code? People are worried about two things. One, that they'll make a mistake implementing the specification and have bugs. Two, that over time the implementation will "drift" and people won't up...