interests.md

layout	page
title	Interests

Interest is a vague word, I'm interested about a lot of things. I try to categorize them into some meaningful subjects (This page is actively updated):

• Academia:

  • Distributed Systems
  • Data Structures Focusing on Concurrency
  • Programming Languages
  • Formal Verification

• Programming Languages:

  • Rust
  • Elixir
  • Go

• Courses:

  • The Missing Semester of Your CS Education
  • Elixir for Programmers, by Dave Thomas

• Editor(s):

  • Vim
  • I'm exploring Doom Emacs, it seems cool
  • Vim :))

• Tools I use daily:

  • Obsidian

• Books:

  • 12 Rules for Life
  • The Subtle Art of Not Giving a F*ck
  • Hackers & Painters: Big Ideas from the Computer Age
  • The Courage To Be Disliked
  • Writing an Interpreter in Go
  • Designing Elixir Systems with OTP
  • Learn You Some Erlang for Great Good
  • The pragmatic programmer
  • Concepts, Techniques, and Models of Computer Programming
  • The Dip: A Little Book That Teaches You When to Quit (and When to Stick)
  • Make Your Bed: Little Things That Can Change Your Life...And Maybe the World
  • I never thought there will come a day where I can't even share my favorite books online :) So much for free speech! I'll try to update this list as much as I can, but there are already tons of books that I can't share here.

• Other things:

  • I like learning (human) languages; currently I'm exploring Korean.
  • I love K-Dramas!
  • I like to walk and think (it would be a big plus to do this with a friend).
  • Might sound weird, but here we go: negotiation!