Viewing profile — tomthecreator

I’m curious about the practical workflow after you’ve written and verified a TLA+ spec. How do you go from the TLA+ proof to actual code? Is there any established process or best p…

There's a PDF version linked at the top of the article, it's actually much better typeset.

I wonder the same about HN. Has anyone done this kind of analysis? Me good LLM

To rebind it to Escape of course. :D Works wonders if you're using vim or vim mode somewhere.

For anyone not using `merge.conflictStyle = diff3` I highly recommend trying it. It removes a lot of ambiguity when dealing with conflicting changes. And now they introduced `zdiff…

Pretty sure the "you're a liar" is just a convenient way to blow it off without going into details. The buy was probably already questionable even for $50m, a number Steve probably…

The solution is the same as in many other programming languages: adopt a coding standard and enforce it in an automated fashion, i.e. in the CI/CD pipeline. Code style then becomes…

I'm really sorry olivdums, but it seems I cannot read your blog post because it's behind Mediums paywall. :)

Probably "invaded".