Blog
- Measuring one-repetition maximum for 2023
- Configuring GNU Emacs for Standard ML
- Notes on my Keychron Keyboard
- SQLite Production Configuration
- Writing logs to multiple outputs in Go
- Thoughts on Standard ML as of 2023
- Testing ASP.NET APIs with Expecto
- IHttpClientFactory without ASP.NET's Dependency Injection
- A day walking around São Paulo and Saint Vito's Feast
- Making JetBrains Rider work with Nix and devenv
- A small workflow problem I'm facing
- Having fun with F#, SQL Databases and ASP.NET
- Dealing with HttpClient and HttpRequestMessage in F#
- Ironing out bugs with FsCheck
- PostgreSQL Extensions with Nix and devenv
- Divine gift: 'Archangel Michael Defeats Satan' painting
- Hugo descriptions with ox-hugo
- Opening two scratch-like buffers on GNU Emacs
- Tunnel-only user for SSH on NixOS
- Locking function keys on Thinkpad T495
- Trying Gnus as an email client
- Mataroa Series #1: Introducing Search
- Slugifying this blog's headings
- Using Go on GNU Emacs 29 or later
- Writing a Nix module for static website hosting
- Kr.Donkas in Guarulhos
- Reducing image size with ImageMagick and cwebp
- Quintal Paraense and Chile 1937
- Why I use Nix and make(1) to develop
- Synology DS1520+ Memory Upgrade
- Type-safe ASP.NET Configuration in F#
- Hwang To Gil in São Paulo
- Making the most out of my YubiKey (SSH)
- Removing test dependencies from .NET's release
- Simple Org Mode setup to get things done
- Safer F#/.NET environments
- Workout Schedule - 2023
- I'm now being coached by a Professional Powerlifter
- How this website is built - Nix and ox-hugo
- New Year's Resolutions for 2023
- Setting up my new Synology DS1520+
- Custom JWT Authentication with F# and ASP.NET
- Debian's blank screen after suspending on Thinkpad T495
- GopherCon Brasil 2022
- Alameda Santos' Phoviet
- Building a Dell PowerEdge T410 NAS with NixOS and ZFS
- Implementing Correlation IDs in F# with Giraffe and Serilog
- ErgoJourney - Choosing a new keyboard layout
- Moving this website to a single Org Mode file
- Git mirroring, systemd and NixOS
- Starting a personal monorepo
- Running a Raspberry Pi 4 with NixOS
- Notes on builds.sr.ht
- write: broken pipe
- Burning out and finding out
- This will deteriorate quickly