reading

Listing out stuff I read, so I can refer back to it in the future. I would try to leave comments, but I may choose to opt-out at any moment. I do not plan for this to be a place where I store the "comprehensive notes". Takeaways section is meant to be a list of topics worth remembering, i.e the most important theorem, interesting fact, something I can tell my family during dinner.

• Finished Watching Open Quantum Assembly Language

  I just learned that there exists an intermediate representation to describe quantum circuits and algorithms. That makes sense. And they have a new version :).

• Finished first 30 minutes of Quantum Computing Lecture: Robin Kaarsgaard "Free Quantum Computing"

  I think it is important to watch stuff, where I understand only ~20%

• Skimmed through The Formal Semantics of Programming Languages An Introduction by Glynn Winskel. Chapter 1: Basic Set Theory On May 5th

  Takeaways:

  • Russell's paradox: Let $R = { x | x \notin x }.$ Then $R \in R \iff R \notin R$

• Finished Real World OCaml 2nd Edition. Chapter 1: A Guided Tour on May 5th

  Remembering stuff that I learned during CSE 130. If I have an ability to do a masters degree, I want to do something with PL, which is impossible without being fluent in at least one functional programming language. So I decided to choose Ocaml. This book is an industry standard and should refresh my knowledge about recursion, passing functions and arguments. Also OCaml has an interactive repl named utop. I really love the "clean design", and it gives me a chance to stay in the terminal, thinking I am doing something productive.

• Finished Intro to the Zig Programming Language • Andrew Kelley • GOTO 2022 on May 5th

  I think if I am exploring all the hot topics in SWE, I simply cannot pass on zig. Listening to this presentation I really liked the difference between For Profit and Non Profit companies Andrew pointed out. True, it is naive to think that the for profit business would stay at the same level of quality over time. If it does not turn into a giant "evil" corporation, product will deteriorate. On technical level I love how zig provides multiple points of entry.