3 karma · joined November 19, 2012
on Twitter: https://twitter.com/harveytoro
side projects: https://harveytoro.com/projects
- Communicating Sequential Processes https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf
- Crash-Only Software https://www.usenix.org/legacy/events/hotos03/tech/full_paper...
What tools did you use for creating the video on the landing page? Veed or something different?
Having said that I have in the past captured a Syntax file for a programming language I was learning e.g: https://github.com/harveytoro/TIL/blob/master/go/syntax.md
But more recently if I just want to refresh my knowledge on the syntax of a language I use: https://learnxinyminutes.com which has syntax cheatsheets for a lot of languages
Still have a bunch of features in the works but hoping it will make some money eventually.
Also might be worth checking out https://github.com/theanalyst/awesome-distributed-systems not sure if any of these resources are interactive though.
There not books but they are a good place to start.