Maybe we've become too enamored of the notion of value and worth as applied to people, and it's time to give it a break.
Here's my hot take: people don't have value (or worth), they have rights and responsibilities. People's skills, abilities and assets have value (or worth).
As I've been diving into compilers, I (re-)discovered C--. But it looks like it died out in the mid-2000s (except maybe for GHC). Can anyone provide a reason or context around this?
All this election nonsense reminds me that one of my "someday" projects is to do a comparative study of national constitutions, starting with India & the USA. And yes, seeing if/how much they can be formalized using modern tools like Lean.
This is the first time in my life that I'm making a big change, but no direction so far has felt 100% right. Not sure if that's just a side effect of getting older, or something more fundamental.
Womp womp passed final round interviews for a research position at a certain big tech company, but doesn't look like they can find me a matching team, so guess I'm still looking for gainful employment.