Toots from 2024-10-09#
“Say we want more reliable software. How do you measure “reliability”? You can’t. But you can m…#
“Say we want more reliable software. How do you measure “reliability”? You can’t. But you can measure the number of bugs in the bug tracker, because fewer open bugs roughly means more reliability. This is not the same thing.”
https://buttondown.com/hillelwayne/archive/goodharts-law-in-software-engineering/
Mastodon Source 🐘#
“I am reminded here also of a book I read called Obliquity about how the most effective path to…#
“I am reminded here also of a book I read called Obliquity about how the most effective path to achieving complex goals is almost never a direct one. Creating great business results is certainly a complex goal. But it cannot be aimed at directly.”
https://hagakure.substack.com/p/the-hagakure-84-are-you-successful
Mastodon Source 🐘#
“For example, Google provided a Docker image for running the scanner, but it didn’t work. We …#
“For example, Google provided a Docker image for running the scanner, but it didn’t work. We had to spend more than a week debugging and fixing it. And because the scanner found no problems, it didn’t result in any improvements to Transmit.”
https://mjtsai.com/blog/2024/10/09/panic-drops-google-drive-access/
Mastodon Source 🐘#
“This doesn’t mean being defensive or apathetic. It’s about learning to say no to some issu…#
“This doesn’t mean being defensive or apathetic. It’s about learning to say no to some issues, accepting others but not immediately, and becoming skilled at deflection.”
https://www.subbu.org/articles/2024/monkey-business/?utm_source=atom_feed
Mastodon Source 🐘#
“There’s two main objections to FM that we need to address. The first is that FM is too academi…#
“There’s two main objections to FM that we need to address. The first is that FM is too academic and doesn’t provide a tangible, practical benefit. The second is that FM is too hard; only PhDs and rocket scientists can economically use it.”
https://buttondown.com/hillelwayne/archive/how-to-convince-engineers-that-formal-methods-is/
Mastodon Source 🐘#
Celebrating an early morning release with the champagne of ops. Cold Brew#
Celebrating an early morning release with the champagne of ops.
Cold Brew

Mastodon Source 🐘#
Any DAW users in the ‘verse? Huge day for Splice! PreSonus DAW integration that features Searc…#
Any DAW users in the ‘verse?
Huge day for Splice! PreSonus DAW integration that features Search With Sound! 🙌🎉
Very proud of the team and the entire organization for making this happen. Mix on.
https://www.youtube.com/watch?v=-hCX5KLzW3k
