Roberto Tonino https://www.robertotonino.com Roberto Tonino's personal website en-us Fri, 11 Jul 2025 20:26:23 +0200 Fri, 11 Jul 2025 20:26:23 +0200 Book review: Hyperion https://www.robertotonino.com/hyperion https://www.robertotonino.com/hyperion Review of the book Hyperion by Dan Simmons. Sat, 21 Feb 2026 02:28:50 +0100 Problems with scaling https://www.robertotonino.com/resolution https://www.robertotonino.com/resolution Tale of a back and forth with Linux configs and Claude Fri, 28 Nov 2025 22:22:11 +0100 Stages of adoption https://www.robertotonino.com/adoption https://www.robertotonino.com/adoption One day, you stumble on a new methodology/tool. Fri, 11 Jul 2025 20:26:23 +0200 Run-time verification of web applications https://www.robertotonino.com/haydar2013-report https://www.robertotonino.com/haydar2013-report This report summarizes the paper “A formal approach for run-time verification of web applications using scope-extended LTL”. Mon, 24 Mar 2025 11:07:48 +0100 Do less, but finish it https://www.robertotonino.com/do-less https://www.robertotonino.com/do-less A simple way that was recommended me to solve a problem that curious people have. Tue 26 Nov 2024 20:35:01 +0100 How I take notes https://www.robertotonino.com/note-taking https://www.robertotonino.com/note-taking Reminding my future self how I take notes right now. The approach is so minimal that it should last forever. Sun 24 Nov 2024 18:25:14 +0100 Values https://www.robertotonino.com/values https://www.robertotonino.com/values Talking about my values. Tue, 11 Jun 2024 21:11:36 +0200 Moving in a new city and leaving the nest https://www.robertotonino.com/moving-out https://www.robertotonino.com/moving-out Describing my first experience moving out from my family to a new city. Thu 9 Nov 2023 00:00:00 +0100 Focus on the system, not the tool https://www.robertotonino.com/focus https://www.robertotonino.com/focus Tools are only good if used correctly. Sat 4 Nov 2023 00:00:00 +0100