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)
Home¶
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
New Setup (I moved to Pelican)
Can you spot something new ?
I decided last week that I wanted to use Pelican for building my blog
Scheme - Part 3 - Higher Order Procedures (intro)
Higher Order procedures
Lisp is a functional programming language
Scheme - Part 2 - Expressions and Evaluations
S-expressions
S-expressions or Sexprs or Symbolic Expressions are used to
My First 100km Bicycle Ride
Last Thursday (2 November, 2017) I completed my longest cycling ride
(yet!). It was tiring and awesome at the same time. It took 7 hours to
First Job at Azim Premji Foundation
Prologue
I got my first job on 14th April 2017. The company was Azim Premji
Experience with Data Recovery
Prologue
We have been planning to set up a backup utility on Sam but somehow we never quite got around to actually doing it. However this week we finally decided to do it. We decided to try out Obnam. Things were going good until we needed to delete a directory.