Interesting Websites
This page is dedicated to keeping track of interesting places I came across on the internet.
  - Interesting people:
    
      - Haben Girma is the first Deafblind person to graduate from Harvard Law School, Haben Girma is a human rights lawyer advancing disability justice. I learned about her in GHC’21.
 
      - Leslie Lamport’s collected works.
 
      - Terry Tao’s blog for mathematical articles.
 
      - Andreas Zeller’s blog on automated testing and program analysis.
 
      - Philip Zucker’s blog. I came across this when exploring a tutorial session on z3 by him.
 
      - Lex Fridman’s blog. He is an exceptional human whose humbleness, intellect, and thinking skills I admire.
 
      - Christof Koch’s blog. Along with the other interesting sections of this blog, the ‘books I’ve read’ is one of the coolest parts.
 
      - Rustan’s puzzle collection. Also has advanced resources for Dafny.
 
      - Josh Dever’swebsite for posts and discussion on the philosophical perspective of logic and semantics.
 
      - Matt Might’sarticle collection.
 
    
   
  - Interesting articles:
    
  
 
  - Videos I go back to time and again:
    
      - Powers of ten is a brilliant creation by IBM labs visualizing the scale of powers of ten from the outermost human-known boundaries of the universe down to the quarks in the atoms in our skin cells.
 
    
   
  - Helpful for exploration in other fields:
    
  
 
  - Helpful guide during PhD journey:
    
      - The PhD Grind gives an exellent journal on the journey. Though the author graduated in another decade, the outlines of the key points, I believe, are still relevant. There are after-discussion on this here and here.
 
      - How to do grad school is another podcast I absolutely love. It brings up aspects of this journey from the perspective of researchers from different fields.
 
      - The talk on how to do research by Rupak Majumdar has given me direction at times. It refers to Richard Hamming’s key talk on ‘You and your research’.
 
      - Thread on useful information for incoming graduate students
 
    
   
  - Relevant comics:
    
      - xkcd is a webcomic about romance, sarcasm, math, and language.
 
      - PhD comics is a series for and about the PhD journey of the authors.
 
    
   
  - Finds on body positivity:
I recently went through a semester’s worth of body-positive nutrition counseling. I would definitely recommend it to anyone who has been in or is going through a bad relationship with food and their body. Here are a few links I was introduced to, in the book club associated with Body Positivity I was a part of.
    
      - We read and vulnerably discussedEmbody during the book club. (This is beauty)
 
      - An experiment on how different countries view the perfect female body.
 
      - A revised version of The Little Mermaid by Malcolm Gladwell. It has episode 1, episode 2, and episode 3.
 
      - My body is not an apology follows the body positive movement by their founder Sonya Renee Taylor. Explore a wide range of organized articles on several topics here.
 
    
   
  - Tools for women in STEM: