Introduction to Formal Methods (Part 2): From Spec to Code
In Part 1, we talked about the “Why”. Why write a spec? Because English is ambiguous, and debugging design flaws in code is expensive. We looked at Quint and...
Blog
2026
Introduction to Formal Methods (Part 1): Why Spec First?
Formal methods, sounds very… formal! But I have been trying to explore what they are and so I decided to write down my learnings. Hopefully this proves a goo...
2023
Decorators in Python make composability easier
The last couple of posts have been about 49travel and the way I built it. This week I am going to be talking about decorators for a bit. It seems very disco...
Comparing GPT with Open Source LLM’s
Last week I talked about how I created 49travel. I went over broadly on the ingredients and often glossed over many details. This week I want to talk about ...
Using arguments in a Pandas UDF for PySpark
In our last couple of posts we looked at how we could optimize pandas functions. This post will be different. We still want to address issues that we face ...
Sometimes Numba can be slower than even Pandas… or why you should always benchmark
In our last post we saw that we can get much more performance by rewriting Pandas GroupBy - Apply in NumPy. I also mentioned that I could not get Numba work...
Using NumPy to replace Pandas GroupBy-Apply pattern for performance
If you use PySpark a lot you would know that the DataFrame API is great. However there are times when it is not sufficient because it does not cover every s...
2021
Can we make machine learning more efficient using conservation laws?
There are many differen ways to do machine learning. The most popular methods use neural networks. We are usually given some data and we train the neural ne...
Are wall models stable?
The second paper from my PhD got published recently in Computers and Fluids. If you don’t have access, there’s a free version on ResearchGate and the prepri...
Setting up the blog
Hello world!!