Posts

Sandbox Your AI Dev Tools: A Practical Guide for VMs and Lima
AI coding assistants and other devtools can steal your credentials and data. Here's how to run them safely in isolated VMs using Lima on macOS/Linux.
November 2025  ·  21 minutes read

How to Query GitHub for User Contributions in a Specific Timeframe
A quick note on how to use the GitHub API to find user contributions within a specific timeframe.
October 2025  ·  5 minutes read

TLS Certificate Cheat Sheet - OpenSSL & Curl
A cheat sheet for working with TLS certificates: creating and inspecting keys, certs and CSRs, signing and validating, and testing TLS connections.
September 2025  ·  10 minutes read

My Mac Dev Setup and Favorite Tools
How I setup and use my computer and tools for development.
January 2024  ·  12 minutes read

Terminal and Bash - Tips & Tricks
A collection of notes, tips and tricks about how I setup and use my terminal (iTerm2) and shell (Bash). Perhaps you find some of it useful or interesting for your own setup.
January 2024  ·  9 minutes read

Bid cancellations considered harmful
Collaboration with Mike Neuder on MEV-Boost bid cancellations and their downsides.
May 2023  ·  20 minutes read

Block Building inside SGX
About building Ethereum L1 blocks inside SGX, and landing them on mainnet.
March 2023  ·  10 minutes read

Running Geth within SGX: Our Experience, Learnings and Code
Running geth inside SGX at Flashbots - our experience, learnings and code.
December 2022  ·  10 minutes read

Securing private keys with a high-performance, threshold signature-based protocol
This post is about the paper “Improving security for users of decentralized exchanges through multiparty computation”, by Robert Annessi and Ethan Fast. The paper introduces an effective algorithm for …
July 2021  ·  5 minutes read

Creating Go Bindings for Ethereum Smart Contracts
To interact with Ethereum smart contracts in Go programs, you need bindings for the specific type of contract. This post is a quick guide for generating these bindings from various sources: Manually …
May 2021  ·  6 minutes read

Starting a TypeScript Project in 2021
This is a guide for starting a TypeScript project in 2021 with modern tooling. TypeScript 4 Optionally esbuild to bundle for browsers (and Node.js) Linting with typescript-eslint (tslint is …
April 2021  ·  8 minutes read

PDFx update and new version release (v1.4.1)
PDFx is a tool to extract text, links, references and metadata from PDF files and URLs. Thanks to several contributors the project received a thorough update and was brought into 2021. The new …
April 2021  ·  3 minutes read

MicroPython-Ctl - a TypeScript library for talking to MicroPython devices
I’m happy to introduce MicroPython-Ctl: a TypeScript library for talking to MicroPython devices (such as ESP32/8266, Raspberry Pi Pico, Pyboard, WiPy, and many more). Use micropython-ctl to quickly …
January 2021  ·  8 minutes read

A new version of logzero is released (v1.6) 🎉
logzero is a simple and effective logging library for Python, supporting colors, logfiles, syslog, JSON logs and much more.
October 2020  ·  2 minutes read

Oh wow, it’s been about two years since my last post, and oh boy were those eventful! Most notably, I’m now a father of two 🐥🍼. Happy, busy, and frequently getting up way too early for my liking. 😂 …
October 2020  ·  2 minutes read

October 2018  ·  One minute read

November 2017  ·  One minute read


November 2017  ·  0 minutes read

logzero - Simplified logging for Python 2 and 3
logzero is a simple and effective logging module for Python 2 and 3.
June 2017  ·  2 minutes read

This post shows how to write tests for Vue.js plugins and extensions by creating Vue.js instances, changing state and validating transformation and expected errors, to continuously verify that …
May 2017  ·  5 minutes read

How to automate building and deployment of Hugo websites to GitHub Pages using Travis CI, triggered by pushing to the Git repository.
April 2017  ·  2 minutes read

Impressions of the KubeCon / CloudNativeCon 2017 in Berlin
April 2017  ·  3 minutes read

Snapchat is going public, and there is lots of interesting data in the IPO filing.
February 2017  ·  2 minutes read