Four short links: 26 December 2019
- Stuff I Learned in 2019 — this cat is deep into their theory, and shares a lot of paper recommendations for topics that sound like they were generated by a neural net. This paper introduces cubical type theory and its implementation in Agda. […] This uses a different encoding of presburger sets, which allows them to bound a different quantity (the norm) rather than the bitwidth descriptions. But the best lesson learned may be: I now have a single file […] to which I add notes on things I find interesting. I kept a ruthless log as I learned at my last gig, and I miss that. 2020 is the year I pick this up again.
- New to SDR — a get-started guide, from the LuaRadio folks.
- This is How to Change Someone’s Mind: Six Secrets from Research — some help for those difficult holiday conversations. Be a partner, not an adversary. Use Rapaport’s Rules. Facts are the enemy. Use the “Unread Library Effect.” Use scales. Use disconfirmation. Serious beliefs are about values and identity. […] If absolutely nothing else works, they might just be a totally unreachable zealot. Or it could be that…you’re the zealot. And if you are unwilling to give any serious consideration to this possibility, that’s a big red flag.