miniblog.

USB 4 will recommend a standard set features that all devices of the same type should implement. This should simplify things somewhat over USB 3, where device and even cable compatibility isn't guaranteed. https://www.theverge.com/2019/3/4/18246182/usb-4-thunderbolt-3-specs-features-release-date USB is feeling a little less universal though.

Awesome, there's a whole miniKanren implementation in emacs lisp! https://github.com/nickdrozd/reazon This gives you logic programming somewhat like Prolog or Clojure's core.logic.

Really interesting post on optimising the Rust compiler: https://blog.mozilla.org/nnethercote/2018/06/05/how-to-speed-up-the-rust-compiler-some-more-in-2018/ I love that the author comments that he still finds lifetimes somewhat scary. You can even work on the compiler without needing to master advanced Rust techniques!