Toilets!!
Ever so often you meet someone and somehow certain conversations with them
start destroying your perception of reality a small chunk at a time.
2018¶
Undecidability and Incompleteness
In the previous post
we looked at a Turing Machine and the Halting problem. A Halting
Turing Machine and Halting Problem
In a previous post
I talked briefly about Alan Turing's model of computation, called the
Moving from Bangalore to Mumbai
So things got really interesting in the previous month.
After my degree course got over, I was supposed to join Deloitte as a
The Infinity - How maths can blow your mind!!
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.
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
Planet List
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
Lambda Calculus - Part 2 - Computation and Lambda Calculus
Prologue
This is the second part of my Lambda Calculus
Savandurga Trek
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.
However I was hooked by the moment I saw the hill. It is mind-blowing. So after I returned I tried to convince my friends to come along with me, but that did not happen. So I decided to ride to Savandurga and come back.
GNU Guix - Part 1
I was considering the idea of moving to GNU GuixSD as my full time operating system for a long time. I tried GuixSD for some time but I gave up because I was frustrated with the config system. (I was un-doubtedly stupid back then)
That was then, This is now
Lambda Calculus - Part 1
Lambda Calculus is a beautiful thing in Computer Science.
With this post I will try to motivate and inspire the beauty of Lambda Calculus and impress upon the reader the implications of it.
FSMK Winter Camp, Hassan
Free Software Movement Karnataka (FSMK) conducted
a winter camp
Scheme - Part 4 - Higher Order Procedures (contd.)
Recap
In the previous post we talked about the first part of what it means to be a Higher-Order Function.
The Emacs Way
Starting out with Emacs
Like any other person who uses Linux I too started out by using vim as