Skip to content

coding

7 posts with the tag “coding”

Feelin' Functional

For a fair amount of time, I have been interested in functional programming, especially because of Lean, theorem proving, and formal languages in general.

But I did not really get into it for a long time, and the reason was pretty simple.

Python Instead of the OCI Console

OCI is Oracle Cloud Infrastructure, which is Oracle’s cloud. Roughly the same idea as AWS or GCP, with different names for everything.

Most of my infra work on it started as clicking around in the console until something worked. That is fine once. It is not fine the fourth time, when you cannot remember which of the six things you changed was the one that mattered.

6 Reasons Why I Love Nix

I found out about Nix from a good friend of mine. The first time I heard about it, I thought it was a lot of trouble for very little benefit. I have been running it for about a year now, and I do not really want to go back. Here are 6 reasons why.

How uv Changed Python Coding for Me

Python used to come with this annoying warm-up ritual: make a venv, install stuff, discover something conflicts, and then somehow it works on this machine but not the next one. uv basically removed that entire category of pain. It makes Python feel fast, predictable, and honestly more serious as a day-to-day dev tool.