5 ms·
Creatively Misusing TLA+
- zeckalpha 4y agoThese all seem like good and reasonable uses rather than misuses to me.
- Smaug123 4y agoEven the general constraint solver? There are tools like Z3 which are designed to solve this sort of problem (quickly and exhaustively), and then there are tools like TLA+ which can solve this sort of problem (slowly and exhaustively).
- hwayne 4y ago"Creative misuse" refers to intended use. TLA+ isn't "meant" for these things, it just happens to be good for some (and kinda-okay for others). But that's the beauty of tools: it doesn't matter what they were designed to do, you can use them for whatever you need them to do. It's harder to find creative misuses for programming languages because they're "intended" be general purpose. They're more like a material than a tool.
- user5678 4y ago[dead]
- Bjartr 4y agoIt's a misuse in the same way using a flathead screwdriver to pry something open is a misuse. It may be a reasonable way to get the job done, but it's not what a screwdriver is designed for.
- xrayarx 4y agoAlready posted https://news.ycombinator.com/item?id=34694123 https://news.ycombinator.com/item?id=34694123
- vichu 4y agoThis looks like a second-chance pool story as it didn't get much attention last time it was posted. See dang's comments on the pool here: https://news.ycombinator.com/item?id=26998308 https://news.ycombinator.com/item?id=26998308
- sbierwagen 4y agoI once left a comment on a submission that seemed to go through the second chance pool twice before getting traction, picking up three sets of replies each 24 hours apart.