---
title: "Places"
description: "Places I've visited"
---
{% extends "_layouts/base.html" %}

{% block head %}
<link rel="stylesheet" href="/assets/leaflet/leaflet.css" />
<script src="/assets/leaflet/leaflet.js"></script>
{% endblock %}

{% block main %}
<h1>Places</h1>

<p>Places I've visited</p>

<div id="map" style="width: 100%; height: 400px;"></div>

<h2>2025</h2>
<ul>
    <li>February: <b>Brussels, Belgium</b> 🇧🇪</li>
</ul>

<h2>2024</h2>
<ul>
    <li data-coord="[50.811667, 4.381111]">February: <b>Brussels, Belgium</b> 🇧🇪 (see also: <a href="/blog/adventures-at-fosdem/">Adventures at FOSDEM</a>)</li>
    <li data-coord="[47.268333, 11.393333]">July: <b>Innsbruck, Austria</b> 🇦🇹</li>
    <li data-coord="[55.95, -3.183333]">August: <b>Edinburgh, Scotland</b> 🏴󠁧󠁢󠁳󠁣󠁴󠁿 (Fringe Festival)</li>
    <li data-coord="[52.372778, 4.893611]">September: <b>Amsterdam, Netherlands</b> 🇳🇱</li>
    <li data-coord="[48.208333, 16.3725]">December: <b>Vienna, Austria</b> 🇦🇹 plus:
        <ul>
            <li data-coord="[47.562, 13.649]"><b>Hallstatt, Austria</b> 🇦🇹</li>
        </ul>
    </li>
</ul>

<h2>2023</h2>
<ul>
    <li data-coord="[44.2016694,10.124868]">July: <b>Tuscany, Italy</b> 🇮🇹</li>
</ul>

<h2>2022</h2>
<ul>
    <li data-coord="[65, -18]">July: <b>Iceland</b> 🇮🇸 (mini-road-trip)</li>
</ul>

<h2>2021</h2>
<ul>
    <li data-coord="[53.191389, -2.890278]">August: <b>Chester, England</b> 🏴󠁧󠁢󠁥󠁮󠁧󠁿</li>
</ul>

<h2>2020</h2>
<ul>
    <li data-coord="[56.683056, -4.313889]">August: <strike>trans-European road-trip</strike> <b>Loch Rannoch, Scotland</b> 🏴󠁧󠁢󠁳󠁣󠁴󠁿</li>
</ul>

<h2>2019</h2>
<ul>
    <li data-coord="[41.9, 12.483333]">April: <b>Rome, Italy</b> 🇮🇹</li>
    <li data-coord="[50.2702, -4.7874]">May: <b>Mevagissey, England</b> 🏴󠁧󠁢󠁥󠁮󠁧󠁿</li>
</ul>

<h2>2018</h2>
<ul>
    <li>February:
        <ul>
            <li data-coord="[31.228611, 121.474722]"><b>Shanghai, China</b> 🇨🇳</li>
            <li data-coord="[31.3, 120.619444]"><b>Suzhou, China</b> 🇨🇳</li>
            <li data-coord="[32.060833, 118.778889]"><b>Nanjing, China</b> 🇨🇳</li>
            <li data-coord="[39.906667, 116.3975]"><b>Beijing, China</b> 🇨🇳</li>
        </ul>
    </li>
    <li data-coord="[50.698, -3.093]">August: <b>Beer, England</b> 🏴󠁧󠁢󠁥󠁮󠁧󠁿</li>
</ul>

<script defer>
const map = L.map("map", {
    center: [52.48, 7],
    zoom: 5,
});
L.tileLayer('https://tile.openstreetmap.org/{z}/{x}/{y}.png', {attribution: '&copy; <a href="https://www.openstreetmap.org/copyright">OpenStreetMap</a> contributors'}).addTo(map);

const markers = Array.from(document.querySelectorAll("[data-coord]").values()
  .map((x) => JSON.parse(x.dataset.coord))
  .map(L.marker),
);

for (const marker of markers) {
  marker.addTo(map);
}

const bounds = L.latLngBounds(markers.map((x) => x.getLatLng()));
map.fitBounds(bounds);
</script>
{% endblock %}