Computing, Math and Beauty

Posts About

Posts

01 Nov, 2015
05 May, 2025
Implementing functional programming language (Part 1) - Untyped Lambda Calculus
12 Jan, 2016
05 May, 2025
What can't a regular expression do?

Old Posts

I used to host a blog in github pages before. I am slowly migrating them to new setup on my machine (Raspberry pi). I will probably write a blog post on it. Until I migrate them, I am going to drop links to them here.

24 May, 2022 Similarity join (Min-hash)
04 Jan, 2017 Continuations
11 Mar, 2016 Defining Functors in Scala
10 Mar, 2016 Proof vs Truth
16 Jan, 2016 Implementing FP language Part 4 - Recursion and Fixed Points
12 Jan, 2016 Expressibility of regular expressions
28 Nov, 2015 Expressibility of SKI combinator calculus
15 Nov, 2015 Implementing FP language Part 3 - Execution with environments
14 Nov, 2015 Propositions and Types
08 Nov, 2015 Pure IO
05 Nov, 2015 Implementing FP language Part 2 - Beta reduction with substitution
01 Nov, 2015 Implementing FP language Part 1 - Untyped lambda calculus