Four short links: 8 April 2020

System Design, RPG for Teleconferencing, Desktop Automation, and Logical Verification

By Nat Torkington
April 8, 2020
Four Short Links
  1. System Design for Advanced Beginners — a friendly explanation of the what and why of systems, with acknowledgement of the real world like There are many tools out there, each with different strengths and weaknesses, and many ways to build a technology company. The real, honest reasons that we will make many of our technological choices will be “we chose X because Sara knows a lot about X” and “we chose Y on the spur of the moment when it didn’t seem like a big decision and we never found the time to re-evaluate.”
  2. LozyaTeleconferencing with an RPG map. Walk around, talk to folks, have private conversations by huddling in a corner, or drop in on other conversations. Ideal for meetups!
  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. Hammerspoondesktop automation framework for macOS. It lets you write Lua scripts that hook into operating system functionality, allowing you to interact with the keyboard/mouse, windows, displays, filesystem, and much more. (via CSAIL’s Missing Semester Potpourri)
  5. The Hitchiker’s Guide to Logical Verification (PDF) — book for a course, using Microsoft Research’s Lean theorem prover.
Post topics: Four Short Links
Post tags: Signals