Tags: []

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.

Write more …


  Tags: []

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 …


  Tags: []

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:

  • Accept -> The machine accepts the string
  • Reject -> The machine rejects the string
  • Loop indefinitely -> The …

  Tags: []

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.

Context

Alan Turing was interested in what it meant to compute something. To fully grasp …


  Tags: []

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 …


  Tags: [] []

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 …


  Tags: [] []

Disclaimer and Introduction

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 …


  Tags: [] []

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 …


  Tags: []

Prologue

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.

What is Computation ?

Lambda calculus is formal system for representing computation in Mathematical Logic. Sit and think about the phrase …


  Tags: [] [] []

I came to know about Savandurga Hill a couple of weeks back when me and my friend went there for a casual ride (motorcycle). When we went there the trekking part of the hill was already closed. This was okay since both of us did not plan on trekking anyway …