Software I use, gadgets I love, and other things I recommend.

I get asked a lot about the things I use to build software. Here’s a small list of all of my favorite stuff.

Development tools

  • Typst

    I completely replaced LaTeX with Typst, a typesetting tool written in Rust. It has very good compile times, great error messages and a free cloud app.

  • Tauri

    I use Tauri to build desktop applications with web technologies. It produces very small binaries and has a strong focus on security.

Productivity Software

  • Element

    I like to use Element. It is a Matrix client that supports end-to-end encryption and is open source. I use it for both personal and professional communication. It does have some bugs from time to time.

Workstation

  • GMMK Pro

    I am a big fan of mechanical keyboards. I have tried different switches and for now I stick with clicky lubed switches (Glorious Panda Switches). The build quality is good, the software could be better.