Now — favo02

October 2026

Current

🇩🇰 Still making the most of my exchange in Denmark
- Doing a lot of sport 🏃🚴⚽🏐 (connect on Strava!)
- Bonding 🫂 with new friends
📚 Working hard (😹) towards the upcoming exams (yes, I also have to study):
- Learning 🧩Isabelle/HOL for Interactive Proof Assistants, enjoying it a lot
- Hating PyTorch for 💬Natural Language Processing. Meh, I really ~~hate~~ don't like ML/AI
- Project repos coming soon...

🧑‍💻 Solved everybody.codes story 04 puzzles (solutions)
🇩🇰 Moved to Copenhagen for my exchange semester at 🎓 KU:
- Handled lots of 📜 bureaucracy and 🏚️ logistics
- Met many 👥 new people and worked hard to find my 🫂 own group
- Adjusted to a new ⏰ routine
- Cycled a ton 🚲
- Started playing 🏐 volleyball with KU sports
🏃💨 Ran my first official race: the World Athletics Road Running Championships Copenhagen 2026 5K
- Smashed my old 🏅 PB with a time of 20:40 (strava activity)
- More eager than ever to keep 🚀 improving

🧘‍♂️ Time to relax after an infinite exam session:
- Sports, a ton of 🏃🚴🥾 in the ⛰️ (if it's not on Strava, it didn't happen)
- Shorten 📚toread and 🎥towatch lists
- A few days at the 🏖️ with friends
🚧🏡 Finally some time for homelab maintenance and work on personal projects

🧮📚 Learned numerical methods and a bit of MATLAB for Calcolo Numerico exam (calcolo-numerico repo)
🧑‍💻 Solved FlipFlop 2026 puzzles (solutions)
🥵 Still enduring the heat
📚 Studied Statistical Methods for Machine Learning theory

📺👴 Vibe coded nonno-puffo, a TV guide for my grandparents
📚 Prepared Statistical Methods for Machine Learning final project: sm4ml-adaboost, an AdaBoost implementation
🥵 Suffered from the heat