I work as a software engineer, helping teams build robust information pipelines and applications.

## my skills

I have experience in many technologies, but these are my preferences.

### databases

- DynamoDB
- Elasticsearch
- PostgreSQL
- Redis

### programming languages

- Go
- Ruby

### systems, platforms

- Amazon Web Services
- Docker
- Gitlab
- Terraform

You can see where I’ve worked here

## my studies

### Literature

- Cesar Aira
- Roberto Bolano
- Elena Ferrante
- Herman Melville
- Haruki Murakami
- John de los Passos

### Mathematics

- abstract algebra
- linear algebra
- calculus
- logic

### Philosophy

- of literature
- of mathematics
- of mind

My favorite hobby is reading. Sometimes this is handy for work; othertimes it’s just nice to get a perspective on the world.

## blog history

Check out previous versions of this blog in the Internet Archive. You can view the source for this blog here.

## what does “1ijk” stand for?

A quaternion is a type of number, like a real number $\pi \in \mathbb{R}$ or a complex number $\sqrt{-1} \in \mathbb{C}$. The expression

$$-1 = ijk = i^2 = j^2 = k^2$$

describes the quaternions. These numbers have very nice properties and some cool history. For example:

```
[@QuantaMagazine](https://twitter.com/QuantaMagazine?ref_src=twsrc%5Etfw) wrote about octonions they decided to write about on quaternions - and they interviewed me! Did you know the "dot product" and "cross product" were originally two parts of a single thing, the quaternion product?
- John Carlos Baez ([@johncarlosbaez](https://twitter.com/johncarlosbaez/status/1037888688011730944?ref_src=twsrc%5Etfw))
```

They appeal to me, although I cannot say I understand much about them. And given that the string $1ijk$ is short, memorable, and rarely taken as a username, I’ve taken it as my online moniker.