Four short links: 26 December 2019

Paper Recommendations, SDR, JavaScript OCR, and Changing Minds

By Nat Torkington
December 26, 2019
Four Short Links
  1. 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.
  2. New to SDR — a get-started guide, from the LuaRadio folks.
  3. Learn faster. Dig deeper. See farther.

    Join the O'Reilly online learning platform. Get a free trial today and find answers on the fly, or master something new and useful.

    Learn more
  4. Tesseract.jsa pure JavaScript port of the popular Tesseract OCR engine.
  5. 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.
Post topics: Four Short Links
Post tags: Signals