Weekly Review 16

This is my 4th weekly review of the 16th week 2017 year. Life is good!

This week

• “How to prove it”:
  I am working on the exercises for the 4th section of “Proofs” chapter (chapter 3). The chapter is quite big (it has 7 sections) and I think it will take one more week to finish the chapter. “Proofs” chapter obviously teaches how to make proofs of statements using specific techniques. In the 1st section, the author describes basic proof strategies, like how to proof a conclusion of the form P → Q. In the 2nd section, he adds the proofs involving negations and conditionals. The 3d section introduces proofs involving quantifiers and 4th section adds proofs involving conjunctions and biconditionals. The chapter has quite a lot of exercises which can be solved using “Proof Designer” application and I like it, since using the Proof designer, you don’t need to type a lot of characters and the program checks your correctness. Thus, I can be sure that I did a proof correctly which is quite important for my confidence. That’s all about the book, I’ll publish the solutions which definitely should have some errors when I finish the chapter 3.

• Emacs:
  I started to use again the centered-window-mode and I quite like it: now my eyes instead of looking mostly on the corner of display look at center.

• Nice browser extension:
  A browser extension that turns package/module names on Github into links (Chrome only): module-linker

• Future in Rust:
  I have read this post: http://aturon.github.io/blog/2016/08/11/futures/ and looked at the implementation of “Future” feature, quite interesting stuff: the purpose is similar to javascript promises, but an implementation is completely different. The future code compiles down to an actual state machine which progresses via callbacks (with no overhead).

• Lenses in practice:
  Enjoyed watching this video: John Wiegley: Putting Lenses to Work. Especially last part of the video with advanced examples.

• Music:
  Suddenly I started to listen new to me genres of music: Downtempo, French House, lounge music, Future Jazz.
  These albums play in my player:

  • Stephane Pompougnac − Hotel Costes

  • John Beltran − Americano

  • Minus 8 − Minuit

  • Parov Stelar − The Princess

Next week

• I hope to finish the chapter 3.
• Need to book the English lesson on this week and prepare for the lesson by making the essay.

1min 32sec read