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.
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 👍
today's research topic: what are those weird images that `ssh-keygen` generates? Some reading in manual pages says that they're meant to be a thing you can recognize if you're repeatedly exposed to it, so you can tell easier if a key changes. You can set the `VisualHostKeys yes` in your SSH config to see them all the time! I'm gonna try it, because I like seeing some art in my shell when I `git push`, even if I trust the keys 😆
another Monday, another post. This one's about #YAGNI, except the opposite of that: https://bytes.zone/posts/advice-you-might-as-well-take/
Qasim Rashid, Esq.I'm sharing this as an actual solution to empower civilians.
Please check out TurnSignl, an app founded by Black civil rights lawyers. It lets you video call a lawyer asap through voice activation or single touch when police pull you over. The lawyer manages & records the entire convo w/police & works to get you home safe.
It's like $7/mo and free for low income people. It's in a few dozen states & will be nationwide shortly. I have it myself.
See it here:
Zhi Zhu 🕸️The Paradox of Tolerance disappears if you look at tolerance, not as a moral standard, but as a social contract.
If someone does not abide by the contract, then they are not covered by it.
In other words: The intolerant are not following the rules of the social contract of mutual tolerance.
Since they have broken the terms of the contract, they are no longer covered by the contract, and their intolerance should NOT be tolerated.
new post! Exploring whether I think it's more valuable to make or to have a model: https://bytes.zone/posts/the-value-of-a-model-is-more-making-than-having/