I've been an arm-chair environmentalist for far too long.
Starting 2019 I decided to do something real for a change. I am starting small and trying to optimize my consumption habits to have the least possible Carbon Footprint, as well as un-needed waste.
"Optimize" often boils …
This is going to be a brain-splatter for myself at the beginning of 2019. I feel like that I have some of my stuff sorted out by now, But I want to have a backup so that I can look back for reference if shit hits the fan.
Ever so often you meet someone and somehow certain conversations with them start destroying your perception of reality a small chunk at a time. After that the only thing that you can do is to pick up the pieces of your shattered world-view and construct a better model. I've been …
In the previous post we looked at a Turing Machine and the Halting problem. A Halting problems is type of decision problem for a Turing Machine.
Recall that a Turing Machine has three final states:
In a previous post I talked briefly about Alan Turing's model of computation, called the Turing Machine.
Today we will look into this in more detail and discuss an interesting problem called the Halting problem.
Alan Turing was interested in what it meant to compute something. To fully grasp …
So things got really interesting in the previous month.
After my degree course got over, I was supposed to join Deloitte as a campus recruit. Before the joining I attended the training program for campus recruits for about two weeks.
In the mean time I responded to a tweet about …
I am writing this post because I am fascinated by the idea of infinity and I think it is something that we do not talk enough about.
Moreover off late I am reading about Theoretical Computer Science and I find encountering this concept again and again. I am just beginning …
I am by no means an expert in Data Science. I am just starting to explore the vast field of data science because of a lot of other cool things that I like reading about rely heavily on Data Analystics.
I was kind of stupid to ignore …
I am an environmentalist. I have been an environmentalist for as long as I can remember, however recently (like for the past year or so) I am slowly transitioning from an arm-chair environmentalist to a vocal environmentalist.
As a part of this transitioning phase I have decided to learn about …
This is the second part of my Lambda Calculus series. The first part can be found here. I strongly recommend reading it first before starting off with this one.
Lambda calculus is formal system for representing computation in Mathematical Logic. Sit and think about the phrase …