I have read the book Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers and several other books about painting.
- Daily Painting: Paint Small and Often To Become a More Creative, Productive, and Successful Artist
- Perspective Made Easy
- Pencil Sketching
My picks:
- 8 Cognitive Biases in Software Development
- What are cognitive biases and how they can pop up in our work, as software developers.
- Different techniques to prevent these biases, to take more logical decisions.
Technique
How Algorithms Are Changing What We Read Online
But, on your phone, you scroll through what’s been selected for you. And that selection likely reflects a ruthless narrowing of editorial values and priorities.
When we’re trying to build the future, it’s extremely helpful to look to the past.
Programming
Your Language Sucks, It Doesn’t Matter
This post describes the author’s own pet theory of programming languages popularity.
Languages generally become popular when they bring innovative runtime, or when they have runtime exclusivity. The quality of the language itself is secondary.
Rust HTTP Testing with httpmock | Alex Liesenfeld
According to the comparison matrix the most complete package is currently provided by httpmock.
C++ vs Rust: an async Thread-per-Core story | by Glauber Costa | Sep, 2020 | Medium
What killed Haskell, could kill Rust
An interesting essay about what Rust community should avoid.
Productivity
便利贴的 11 个用法和三个使用技巧