If you've been thinking "this formal logic stuff is cool but I don't understand how to apply it to real engineering tasks" ... you can now register for my workshop on Building Safety Critical Systems #verification #safety #strangeloop #programming thestrangeloop.com/2022/buil…

Kill It With Fire was loaded with footnotes… how did we feel about that? Should the second book continue the trend or tone it down?

Finally found the time to go through “Kill It With Fire”, by Marianne Bellotti @bellmar. I think it is now the book I have highlighted more text on ever, not just on legacy systems but on plenty of common sense stuff on teams, leadership, etc. Some sample in thread:

I need to stop being surprised when people want the process to require their approval but won't collaborate with participants to figure out what would earn their approval in the first place.

When the technology won’t love you back…

I am hiring new faces into our @MicroFocusCDMS 2022 graduate programme! Apply to our UK microfocus.wd5.myworkdayjobs… or Madrid microfocus.wd5.myworkdayjobs… bases, or get in touch for more details! @MicroFocus

Zero percent surprised this is a problem with fonts not loading 😂

This week I finished paying off my student loans. About $80k in total, 15 years early 🥳

Yes the rise of PaaS and IaaS has invalidated any excuse otherwise. Infra teams suffer without a product perspective. BUT, the PM has to understand how infra is different too. For example they have to know Agile and Scrum are not synonymous. Infra tends to do better with Kanban

Q: To what extend do agent based models rely on probability? Obviously they can be written using decision-making heuristics that could map to formal reasoning, but how common is that?

When the proposal for your new book ends up in the hands of someone you really admire and respect and they tell the would be publisher how much they love it 🥰🥰🥰🥲

It’s #BookClub time at @DigitalServ4Ger again Every fortnight, a few colleagues get together to discuss a few chapters of the latest book we’re reading Currently: @bellmar’s ‘Kill it with Fire—manage aging computer systems’ So far, only books from women & non-binary authors 👌🏻

Foxes are cat software running on dog hardware.

83% believe #COBOL will be here long after they retire, creating new opportunities for the next gen of developers. How can you attract/nurture the next generation of developer skills to maintain & modernize your core business systems? #MyCompany bit.ly/3NaZI5T

I’m beginning to think the most actionable thing to do on gun control is to pressure the DoD not to buy equipment from manufacturers that also sell weapons to civilians.

I want a language learning app where the focus is on reading menus and pronouncing your order correctly. I find that most everything else you can completely f-- up and still escape scorn, but sound silly trying to read a menu and you're done.

When I started to work in an AI company and dug those technical questions, I understood there were lots of misunderstandings, fantasies, and fakeries around AI. (4/11)