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: