update

design/design-inspiration.md

@@ -33,6 +33,7 @@ Here are few more things I liked, design wise.
 - [Wimer Hazenberg](https://www.monokai.nl/)
 - [Adam Pritchard](https://crypti.cc/)
 - [Mike Solomon](https://msol.io/)
+- [Seena Burns](http://seenaburns.com/) - Love the color scheme & look. Awesome blog.
 - [I am Stevedao](https://iamstevendao.github.io/portfolio/)
 - [Tonsky](http://tonsky.me/about/)
 - [Isobit](https://www.isobit.io)

math/type-theory/type-theory.md

@@ -19,5 +19,6 @@ Roughly speaking, a [type is a specification of its possible values](https://git
 - [Homotopy type theory book](https://github.com/HoTT/HoTT)
 - [GHOTL Project scope and outline plan](https://sphalerite.org/ghotl/posts/2017-10-16-project-scope-outline.html) - Good read.
 - [What I wish I knew when learning HoTT](https://abooij.github.io/wiwikwlhott/)
-- [Collected works of Per Martin-Löf](https://github.com/michaelt/martin-lof)
+- [Collected works of Per Martin-Löf](https://github.com/michaelt/martin-lof) - [Web version](http://archive-pml.github.io/).
 - [Type Theory: Does understanding of the Curry-Howard correspondence make you a better programmer?](http://qr.ae/TUpF3Z)
+- [Hazel](https://github.com/hazelgrove/hazel) - Live functional programming environment with typed holes.

other/other.md

@@ -24,6 +24,7 @@ Here are some _other_ things that I find interesting that don't have a category
 
 - Specify a pick point for delivery if I won't be home during the delivery time.
 - [The profile picture is the logo for your Twitter brand. Pick a unique picture that's recognizable from a distance, and don't change it. It'll stand out in a pile of mentions and allow busy accounts to notice and remember you.](https://twitter.com/naval/status/1062020468725571584)
+- Wrap Google queries with complex chars in `""`. i.e. google for `"set -x" zsh` instead of `set -x zsh`.
 
 ## Other
 

programming-languages/c/c.md

@@ -9,3 +9,4 @@ Lingua franca of programming world. I write Go which is similar to it.
 - [c4](https://github.com/rswier/c4) - C in four functions.
 - [Project Based Tutorials in C](https://github.com/rby90/Project-Based-Tutorials-in-C#readme)
 - [One year of C](http://floooh.github.io/2018/06/02/one-year-of-c.html)
+- [Building C programs](http://seenaburns.com/building-c-programs/)

programming/git.md

@@ -22,3 +22,4 @@ I love Git and version control. And I use version control over any project I do.
 - [How to Write a Git Commit Message](https://chris.beams.io/posts/git-commit/)
 - [How I Use Git](https://hugogiraudel.com/2018/02/17/how-i-use-git/)
 - [clog-cli](https://github.com/clog-tool/clog-cli#readme) - Generate beautiful changelogs from your Git commit history.
+- [git rebase for fame and power](http://www.charlesetc.com/rebase-for-fame/)

sharing/my-trello.md

@@ -16,7 +16,7 @@ Below is a list of all public Trello boards I share. I don't attach links to mos
 - [Possessions](https://trello.com/b/HotsLGsc) - Things [I own](../minimalism/minimalism.md).
 - [Draw](https://trello.com/b/O07Rjd7H) - Things I want to draw.
 - [Visit](https://trello.com/b/i8c0hBVu) - Places I want to [visit](../travel/visited.md).
-- [Recipes](https://trello.com/b/UA5pW5BL) - [Recipes](https://github.com/nikitavoloboev/vegan-recipes) I want to make.
+- [Recipes](https://trello.com/b/UA5pW5BL) - [Recipes](https://github.com/nikitavoloboev/vegan-recipes#readme) I want to make.
 - [Podcasts](https://trello.com/b/Wtr04eGQ) - [Podcasts](../podcasts/podcasts.md) I am listening and want to listen.
 - [TV Series](https://trello.com/b/iUtT6wmu) - [TV Series](../tv-series/tv-series.md) I am watching and want to watch.
 - [Games](https://trello.com/b/EekGabpj) - [Games](../games/games.md) I am playing and want to play.