New blog post! Modeling #CRDTs in #Alloy https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/
| Pronouns | he/him |
| RC Batch | m1'20 |
| Blog | https://bytes.zone |
Brian Hicks
- 223 Followers
- 162 Following
- 243 Posts
Interested in lightweight formal methods, plastic recycling, and making/crafting. Currently doing staff engineering at NoRedInk.
@seanny123 thank you! 🎉
New blog post! Modeling #git internals in #alloy! https://bytes.zone/posts/modeling-git-internals-in-alloy-part-1-blobs-and-trees/ #formalmethods
remember how a couple weeks ago I tried to figure out what the randomart image was that shows up when you generate a key? I wrote about it! https://bytes.zone/posts/what-is-the-randomart-image-for/
J. Nathan Matias 🦣Layoffs:
- don't save money
- don't improve company performance
- don't increase stock pricess
- destroy trust
- have huge impacts on health, well-being, and income of employees
So why do layoffs? It's a network effect: execs lay people off because other companies are doing it
Stanford Biz School article: https://news.stanford.edu/2022/12/05/explains-recent-tech-layoffs-worried/
Harvard Biz Review:
https://hbr.org/2022/12/what-companies-still-get-wrong-about-layoffs
What explains recent tech layoffs, and why should we be worried? | Stanford News
As layoffs in the tech sector mount, Stanford Graduate School of Business Professor Jeffrey Pfeffer is worried. Research – by him, and others – has shown that the stress layoffs create takes a devastating toll on behavioral and physical health and increases mortality and morbidity substantially. Layoffs literally kill people, he said.
yeah, so it turns out I got used to the different host keys really quickly. I now know when I'm pushing something to GitHub vs my private git host, for example. (Not that I didn't before, in theory, but the point is that it's more recognizable now.)
Gonna blog about this soon 👍
@reconbot yeah, I called that out in the post. Useful thought process "if someone hated someone else who used my software and wanted to hurt them, how could they do that?" No fun, but necessary.
@shapr thanks!
@shapr (assuming that e-prime is short for "English prime"; sorry if it isn't and this is a weird non-sequitur)
@shapr just for fun, how would you express this in e-prime?