• Dhruv Makwana

Summer Plans

Updated: Feb 3

There are a lot of things I wish to get done this summer, and completing an internship is unfortunately one of them, thus taking up a lot of my time.


However, I'm trying to be more positive and appreciative of the things I am doing so here goes.


Cooking


I love food and I like being able to cook things I enjoy. Summer definitely gives me the time to experiment and enjoy before the year starts.


CamFM


One hour of radio a week, with my friend and source of silliness, Jenny Easley. I've done 35 shows on CamFM so far, and hope to hit 50 before June 2018.


Travel


I have been travelling a lot this summer! Be it to Norwich, home (to London), around Cambridge, back-up to my dear Scotland, or out to California, this summer looks to be a fantastic one for travel.


Preparation for Next Year


Being accepted into Part III Computer Science was a massive relief after much stress and trouble. However, as with previous years, it brings with it a whole host of things I would like to prepare for, to make up for a lack of exposure and ability to make things stick too well the first time. This includes Category Theory (finally, been waiting for this for two years), Interactive Formal Verification (I will need to learn the Isabelle coming from the Coq proof-assisstant), Modern Compiler Design (refresh my C++ and get to grips with a simple compiler targeting LLVM IR) or some Advanced Functional Programming (I'm sure I can handle the concepts but I'm as-of-yet unfamiliar with the terminology).


Oh, and also a project to think about! Linear Types anyone? How about machine learning on FPGAs for NLP? Or even formalising distributed systems?


Videos on Computer Science


This one's a little ambitious given the severe lack of time on my hands, but there's nothing to stop me from preparing. I have been thinking long and hard about the way I learnt certain Computer Science concepts and the less-covered parts of the subject (trying searching for a YouTube playlist for denotational semantics; now try one for linear algebra). As someone who struggled immensley with these topics initially, I think my way of doing these videos would help demystify a lot of misconceptions about the role of theoretical computer science and programming language research.

12 views

Recent Posts

See All

A Month of Performances

It’s been more than a year since I’ve graduated, and I have worked on more than a few things at the same time. While I cannot present the hours and months of work, failures, struggles and boredom that

  • medium
  • GitHub-Mark-120px-plus

©2020 Dhruv Makwana