Rodrigo de Avila

Keeping systems running since 2000

My memories

Take a look at my personal knowledge base.

My interests

Topics I am interested in: almalinux,
bash, golang,
haproxy,
jamstack,
kubernetes, and
postgresql

Articles and lectures

• Boring Solutions: Strategy for Sustainable Engineering
• Why your email validation using regex is probably wrong
• DoH: how does DNS resolution work in ClearAddress?
• pgconf.brasil 2022: moving 15 tb of data from one state to another
  (slides,
  transcript)
• Zenvia open talk: want to deliver faster? use boring solutions

My projects

These are some of my personal projects

• NS116: free your team from the aws console and take
  absolute control of your dns with security, speed, and transparency
• Strata: unifies the minecraft ecosystem, bringing
  PaperMC stability and Geyser connectivity
• Clear Address: instead of over-promising, we
  tell you exactly what we can reliably check in a email address
• Txlog: a system to track package transactions on
  RPM-based systems, compiling data on the number of updates and installations
• Vsite: static html video gallery
  generator
• Almalinux official mirror: an official mirror
  for the Almalinux distribution
• RPM repository: hosting packages for almalinux / oracle
  linux / rocky linux
• APT repository: hosting packages for debian-based
  distros
• Almalinux mirrors report: update propagation
  info for all almalinux mirrors
• CSPRNG password generator:
  generate passwords using
  CSPRNG
  randomness from cloudflare's edge servers
• CSPRNG API: the
  CSPRNG
  api used to generate randomness
• Fake SMTP: a postfix server for
  dev/test environment

Is any service on rda.run down?

My services

Installer

A copy of installer

# install <user>/<repo> from github on /usr/local/bin
# remove ! to install on working directory
curl https://install.rda.run/<user>/<repo>@<release>! | bash

# search web for github repo <query>
curl https://install.rda.run/<query>! | bash

What is your ip address

curl https://ip.rda.run

Contact me

Site	User
Almalinux	@rdeavila
Bluesky	@rda.run
Codeberg	@rdeavila
GitHub	@rdeavila
GitLab	@rdeavila
Instagram	@rodrigo.de.avila
Keybase	@rodrigo
LinkedIn	@rodrigodeavila
Stack Overflow	@rodrigo-de-avila
Threads	@rodrigo.de.avila
X	@rodrigoavila