Blogs

Complete listing

In reverse chronological order:

• Hard Work (Sep 20th, 2023)
  
  
• Communication Learnings (Feb 9th, 2023)
  
  
• Career Advice (Feb 9th, 2023)
  
  
• Pagination (Dec 19th, 2022)
  
  
• GHC saga (Dec 15th, 2022)
  
  
• Redirect stderr to stdout (May 21st, 2022)
  
  
• Boost Graph Library: Bundled Properties and Graphviz (May 10th, 2022)
  
  
• Watchman Command Validation Error (April 14th, 2022)
  
  
• Goals for 2022 (January 1st, 2022)
  
  
• Screenshare on GNOME (December 21st, 2021)
  
  
• pdftk (December 5th, 2021)
  
  
• tmux (December 1st, 2021)
  
  
• Boolean Algebra is a Poset (November 1st, 2021)
  
  
• Easy Video Editor: Vidcutter (October 6th, 2021)
  
  
• AUR (September 15th, 2021)
  
  
• Operating Systems (July 21st, 2021)
  
  
• Undoing Large File Commits (July 16th, 2021)
  
  
• Spotify on FreeBSD (June 3rd, 2021)
  
  
• Installing FreeBSD (May 31st, 2021)
  
  
• Loving Haskell Through Rust (March 3rd, 2021)
  
  
• Vim Tips (February 10th, 2021)
  
  
• Goals for 2021 (January 20th, 2021)
  
  
• Viruses (December 30th, 2020)
  
  
• Access Denied For User Root@Localhost (December 7th, 2020)
  
  
• Pronounciations I had to look up (December 2nd, 2020)
  
  
• Birthday Paradox (November 21st, 2020)
  
  
• Spacemacs (November 9th, 2020)
  
  
• Tooling (October 29th, 2020)
  
  
• Coq Notes (October 19th, 2020)
  
  
• This paper made me afraid of AI for the first time (October 7th, 2020)
  
  
• Working with VS Code (September 11th, 2020)
  
  
• Verifying Github Commits (September 2nd, 2020)
  
  
• Centering a div (August 26th, 2020)
  
  
• PowerPoint is Turing Complete (August 17th, 2020)
  
  
• Solvability of the Quartic (August 8th, 2020)
  
  
• Web development is fun (August 4th, 2020)
  
  
• Is AI winter coming? (July 25th, 2020)
  
  
• hello, world! (July 21st, 2020)
  
  
• Why is Python slower than C? (July 19th, 2020)
  
  
• Technical Resources (July 17th, 2020)
  
  
• First blog (July 16th, 2020)