How I use Tmux
When working in the terminal, I like to move efficiently between panes. To do this I use tmux, which is a terminal multiplexer. I had to look that word up, so here is what Wikipedia says:
Using Emacs to backup a Raspberry Pi
At home, I manage by smart lights (Philis Hue, Ikea Trådløs, etc) from a Raspberry Pi running the Deconz Zigbee gateway.
Introduction to AWS CloudFormation
In the old days, well before my time as a programmer, you had servers, which maybe had a Java server running, connecting to a Oracle SQL database, managed by some other team.
Filtering JSON logs with JQ
One of my favorite command line tools is
jq(homepage). It is often very useful to look at structured JSON data.
How to connect to localhost from a Docker container
At work I recently spent a lot of time trying to get a running Docker container to connect to a service running on
Github Action for checking if a changelog is updated
At a work project I’m working on, we work in a monorepo. We have a simple way to keep track of changes: a
CHANGELOG.mdin the root of the repository, that should be updated for every merge to master.
K3 surfaces, definition and a few examples
I’m reading Daniel Huybrechts’ book on K3 surfaces now (because I miss doing mathematics), and so I thought I could write some short blog posts about it as I read through it.
A topological space that is not first countable
Recently me and some friends were discussing first countability, and noticed that Wikipedia gave an example of space that was not first countable, but with no proof. So here’s my attempt at a proof.
Making Emacs use correct Python interpreter in a virtual environment
I like to be able to test things interactively in a Python shell when exploring a new package. I also don’t like to exit Emacs when I don’t have to. So I’d like to be able to run
run-python) directly from Emacs.
Proof of concept chat app
I had some time in between projects at work, so I have spent some spare time trying to learn new stuff. I have for a while wanted to learn about web sockets, so I decided to try to write a simple chat app. Turns out, I had to learn about a lot of other stuff as well. This is a short write up to summarise (mostly) for myself what I’ve learned.
Et streiftog blant utvalgte matematikere
Man tenker på matematikere som fjerne mennesker uten særlig stor grad kontakt med virkeligheten. De går rundt i sin egen verden, krasjer i lyktestolper mens de tenker på problemer, og bryr seg ikke om utseendet. Ingen stereotypi er ubegrunnet, og dette gjelder selvsagt også for matematikere.
subscribe via RSS