A study on the correctness of formally verified distributed systems:
https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/
Great paper looking at bugs in verified systems
miniblog.
Related Posts
LLMs are great at style transfer, and this works surprisingly well for syntactic transformations too.
I rewrote a small website's EJS templates to 1500 LOC of TSX with a oneshot in Claude. It took ~12 minutes, but it just worked.
(TSX seems nicer than EJS for static analysis.)
110
Are there any nice cross-platform ways to trigger a notification from a terminal?
I've been using https://pushover.net/ but you need to use a browser and it's noticeably slower than the native options.
(Pushover is great for mobile notifications though.)
31
Delighted to see that TOML has released a new version! TOML is overall a great standard but I understand they had limited people with the power to cut a new release.