I wish I had the skill to write the article "how to explain a TLA+ spec to a non-FM engineer"
All real-world domains are far more complicated than software engineers first suspect, because any simple domain will be made complicated as we try to do more and more with it. I'm reading an anthropology book on pottery and every culture with it rapidly made their processes ultra complicated
If you want to support an open-source project but aren't able to commit time/expertise/money, write the maintainers a thank you note. This goes a long way to keeping us motivated. You can just put it in a github issue, "thanks for making this project, it really helps me."
I don’t know why but I love this presentation of the Actor Model https://youtube.com/watch?v=7erJ1DV_Tlo&feature=share
Cross posted from http://channel9.msdn.com/Shows/Going+Deep/Hewitt-Meijer-and-Szyperski-The-Actor-Model-everything-you-wanted-to-know-but-were-afraid-to-ask....
I wrote a thing on a bunch of useful GitHub features you might not have heard of
Discover undocumented features of GitHub: open repos in online VSCode, add experimental features, regex code search, and more!
What if the team hates my functional code? https://jrsinclair.com/articles/2022/what-if-the-team-hates-my-functional-code/
What happens when you learn functional programming and you start writing better code… but the rest of your team hates it? Do you give up? Write code you know is inferior? Do you quit and get a new j...
Probabilistic model checking feels like one of those things that be extremely, extremely useful to a lot of people if the tooling was better. With it you could ask questions like "if we have three servers and the average request takes N ms with a normal distribution, what's the expected 95 latency?"
Designing Distributed Systems with TLA+ by @hillelwayne.comhttps://www.youtube.com/watch?v=l3UdQy98sQ8
This presentation was recorded at YOW! 2019. #GOTOcon #YOWhttps://yowcon.comHillel Wayne - Author of Practical TLA+ @hillelwayne3236 RESOURCEShttps://twitter...