Height in Stockholm
A collage of markings used by companies to gauge the height of customers walking into their stores in Stockholm. I found those in grocery stores, the metro, museums.
Welcome
Recent content on Welcome
Latest posts
How I made the most intrusive Firefox extension
Or, how actually limiting the permissions of my web extension made me win the “Middle Finger Emoji Sticker” Award for requesting the most permissions of all Firefox extensions. Two years ago I made a proof of concept web extension that warns users if they access a domain that has been identified by watchlist internet , verbraucherschutz.com or verbraucherschutz.de as a fake store. At…
QR Codes
Homepage Consulting
Trace Validation & Model Based Testing: State of the Art
Trace validation and model based testing allow us to keep a formal specification and an actual implementation of the specification in sync. That is: we link the formal model and the implementation together such that we gain confidence that the implementation actually corresponds to the formal model. Why do we need this? Formal models give us great confidence in the safety and liveness properties…
Consulting
Reliable LLMs | Distributed Systems | WebAssembly I am a fourth year PhD candidate doing systems research at FAU Erlangen-Nürnberg . During this I have done internships at Ericsson (Stockholm) and in the research labs at the Internet Initiative Japan (Tokyo). My research areas are: Reliable LLMs: how can we make code generated by LLMs trustworthy? Distributed Systems: how can we make theoretical…
TIL: Home Manager Nixpkgs Mismatch
With nix-channel --update; nix-env -iA nixpkgs.nix nixpkgs.cacert; systemctl daemon-reload; systemctl restart nix-daemon I was able to solve the following error: trace: warning: You are using Home Manager version 24.05 and Nixpkgs version 23.11. Using mismatched versions is likely to cause errors and unexpected behavior. It is therefore highly recommended to use a release of Home Manager that…
What does the ping actually measure?
This is an appendix to the following blog post, if you want to learn how to get more details for network latency measurements using hardware timestamps, check it out: https://eng-blog.iij.ad.jp/archives/21198 Network time measurements with ping In short: ping uses gettimeofday to add a timestamp to the packet before sending it. And then uses gettimeofday again to get the time when the packet is…
Tag 69 - Und zurück
Und es geht zurück. Ja ich bin zurück. (Man beachte die +3)
Tag 68 - Zurück in Tokyo
Zurück nach Tokio. Koffer von der Arbeit holen, nochmal von allen verabschieden und los geht die Abreise. Aber erst morgen, 09:40 früh. Also was machen die letzte Nacht? Schlafen will ich nicht, damit ich im Flugzeug schlafen kann, also? Was machen? Mir wurde von 24/7 Cafes erzählt. Man bekommt einen kleinen Raum und kann sich beliebig Trinken, Softeis, und Bücher/Comics ins Zimmer holen. Außerdem…
Tag 67 - Osaka
Ok, genug von Kyoto gesehen. Auf gehts nach Osaka. Und das ist das erste Ziel: Burg Osaka. Und man kommt sogar oben drauf rauf. Dannach noch ein wenig durch die Stadt geirrt ohne Plan. Auch mal angenehm einfach nur zu erkunden. Aber ich musste ein paar Stunden tod kriegen. Zum Abschluss die Botanical Garden Ausstellung von teamLab besucht. Von der gleichen Gruppe deren Ausstellung ich im ersten…
Tag 66 - Bambus Wald & Kyoto Tower
Aufm Weg zum ersten Ziel: Der Zugführer hat einen Plan der Sekundengenau sagt, wann er ankommen soll und wann er los fahren muss. Und dann ist er 15 Sekunden zu spät abgefahren D: Zum Glück hat er 10 Sekunden wieder rein gefahren. Fünf Sekunden zu spät angekommen, das kann ich noch verkraften. Es ging zum Bambus Wald: Wenn man die ganzen Menschenmengen ignoriert: ganz ok. Man ist aber auch in 10…
Tag 65 - Torii Wege & Kaiserpalast
Heute hab ich Fushimi Inari-Taisha besucht. Das ist der Pfad mit den ganzen Toriis. Viel zu voll unten am Berg. Eigentlich wollte ich es heute ja eher entspannt angehen, und dann geht es aufeinmal wieder einen Berg hoch. Je weiter hoch man geht umso ruhiger wird es aber. Interessante Erfahrung. Man war wirklich eine Stunde um den Berg unterwegs, ständig unter diesen Toriis. Und dann hab ich noch…
Tag 64 - Puh
Puh was für ein Tag. Ich hab heute richtig was geschafft auf der Liste der Sehenswürdigkeiten. Angefangen mit Burg Nijō. Hier bin ich noch mit der Bahn hingefahren, alles weiter hab ich zu Fuß erkundet. Rein durfte man auch, aber Bilder machen war nicht erlaubt. Hat sich richtig gelohnt. Weiter zum Kaiserpalast. Und er hat zu… na super. Ich verstehe diesen Schotter auch nicht. Was soll das? Naja,…
Tag 63 - Rote Eimer
Aufgewacht zu Regen. Erstmal in den äußeren Onsen gesetzt. Tiefenentspannt im Regen gesessen…war das ein Donner? Schnell wieder rein. Dann zum japanischen Frühstück. Hab mein Handy vergessen, also keine Bilder. Stellt euch ein sehr herzhaftes Essen vor. Reis, Tofu, verschiedene kalte Salate, Fleisch. Passt schon. Passend zum Checkout hat es dann auch aufgehört zu Regnen. Aber schwül ist es. Zum…
Tag 62 - Nara & Ryokan
Gestern noch alles aufgeräumt und eingepackt damits heute früh genug los gehen kann. Ein Glück, dass ich die größere Variante des Koffers gekauft hab. Ist dann jetzt doch alles etwas mehr geworden als ich gedacht hatte. Schlüssel ist weg, jetzt gibt es kein zurück mehr. Auf gehts mit dem Shinkanzen. An den Bilder sieht man es, er ist schnell ;) War eine angenehme fahrt, die Geschwindigkeit fühlt…
Tag 61 - Letzer Arbeitstag
Ja das wars jetzt. Und ich bin dann doch irgendwie auch etwas wehmütig. Richtig eingelebt und dann geht es schon wieder weg. Gestern hab ich einen Frageboten übers Praktikum ausgefüllt. Ob ich das Praktium weiterempfehlen würde. Ja absolut. War echt schön hier und ich werde es dann doch vermissen. Genug gejammert. Morgen geht es nach Nara. Um 8:00 geht es mit dem Shinkanzen los und drei Stunden…
Tag 60 - Fast vorbei
So schnell sind zwei Monate rum.
Tag 59 - Skytree
Heute frei gehabt. Und als letzes großes Abenteuer Skytree besucht. Hatte ich vor Japan eigentlich gedacht, dass ich es viel früher besuchen würde. Mir wurde es aber empfohlen es erst am Ende zu machen, da man dann überhaupt erst weiß was man sich da anguckt. Und muss ich sagen, recht hatten sie. War echt schön jetzt nochmal zu sehen wo man überall war. Aus dem Bahnhof raus und erstmal den Skytree…
Tag 58 - Gruppe
Nach der Arbeit mit der Gruppe los gewesen. Einmal im Monat hält einer in der Gruppe einene Vortrag in größerer Runde und dannach wird zusammen Abendgegessen. Wir waren in so ein Restaurant in für alle am Tisch bestellt wird und es dann geteilt wird. Ich habs nicht bestellt aber probieren kann man ja mal. Pferdefleisch: Hmm, geht eigentlich. Ich würde es nicht nochmal gestellen aber geschmacklich…
Tag 57 - Aufbruch
Letzte Woche für das Praktikum. Sunshine City in Ikebukuro besucht. Mega Aussicht bei Nacht: Dannach im Planetarium. Und zum Abschluss Kobe Fleisch gegessen. Richtig Geil! Es gab eine Auswahl aus fünf verschiedenen Stücken. Wirklich nur kurz anbraten und fertig. Und man schmeckt wirklich den unterschied raus. Jedes Stück war anders. Und je mehr Fett dran ist, umso besser. Lohnt sich absolut. Nach…
Tag 56 - Hakone | Teil 2
Jetzt wo es hell ist sieht man auch die Aussicht aus dem Gemeinschaftszimmer. Geschlafen hab ich übrigends ziemlich gut. Fast zu gut. Ohne Sonne im Zimmer hab ich bis zum Wecker geschlafen. Zuerst waren wir heute im Open Air Museum. Ein riesen Park mit Skulpturen. Hier vom Turm aus: Super Museum, kann ich nur empfehlen! Mit der Aussicht drum passt es perfekt. Auf gehts weiter zum großen See von…
Tag 55 - Hakone | Teil 1
Wie angekündigt war ich übers Wochenende in Hakone. Was ist Hakone? Hakon liegt südlich von Tokio ungefährt 20km entfernt von Mt. Fuji. Und mehr wusste ich auch nicht wirklich bevor ich los gefahren bin. Nur, dass es wohl ziemlich cool sein soll. Na gut, fahrt da hin und es ist ein regnerischer Tag :/ Hätte ich die Hotel Reservierung nicht, weiß ich nicht ob es mich bei dem Wetter dahin gezogen…
Tag 54 - Tokio bei Regen bei Nacht
Den Post für Morgen wird es erst Sonntag geben. Ich fahre nach Hakone und werde den Laptop nicht mitnehmen. Hier ein paar Bilder von meinen Heimweg heute:
Tag 53 - Schmale Gänge
Ok folgende Situation: Du bist in einen schmalen Gang und dir kommt eine Person entgegen. Ihr passt nicht beide komfortabel durch den Gang. Die Person kommt näher. Zwei Meter noch. In welche Richung drehst du dich? Hin zur Wand oder drehst du dich zur Person? Diese Frage muss ich mich hier überraschend häufig beantworten. Und für mich überraschend war die Antwort aller Japaner bis jetzt genau…
TIL: Using Wireshark to print UDP Data
You can use Wireshark to display the content of UDP packets. To do this append -Tfields -e data to the wireshark command. E.g. sudo tshark -f "port not 53 and not arp and not tcp and not stp and not icmp6" -i enp65s0f0np0 -Tfields -e data
Tag 52 - Eiszeit
Keine Ahnung warum ich erst in der zweiten Wochen angefangen habe Eis zu essen. Ist mir vorher einfach nicht in den Sinn gekommen. Aber seitdem hab ich mich gut hier durchgegessen. Und damit genug der Einleitung, hier meine Bewertung von Japans Eis: 1/5 Absolut widerlich. Bei der Prämisse musste ich aber einfach zugreifen. Mais Eis? Das kann man ja nicht im Family Mart liegen lassen. Das Eis war…
Tag 51 - Dorayaki
Ok das hab ich gar nicht erklärt, warum ich Gestern überhaupt los war. Gestern war “Respect for the Aged Day”, ein Feiertag hier in Japan. Und was wollte ich Gestern auch noch zeigen: Dorayaki in der Form des Buddhas. Wieder etwas mit der Bohnenpaste, wie so fast jede der Süßspeisen hier in Japan. Nur ein bischen kommisch hab ich mich schon gefühlt als ich das Gestern beim Kotoku-in…
Tag 50 - Kamakura
Heute war ich in Kamakura. Fahrt dahin hat über eine Stunde gedauert, und es ging immer noch nicht übers Land. Über die gesamte Fahrt ging es durch die Stadt. Oder durch Städte, aber halt nicht übers Land. In Kamakura war ich zuerst zu Kotoku-in: Große Buddah Statue. Interessant für 5 Minuten, aber mehr auch nicht. Den Besuch kann ich nicht Empfehlen. Dannach war ich zu Kamakura Hasedera. Das…
Tag 49 - Aquarium
Heute war ich im “Art Aquarium”. Ganz ok, würde ich aber nicht empfehlen. Das war aber cool: da kommt man aus dem Auszug in den 9. Stock und sieht das. Und die Straße in Ginza war wieder gesperrt.
Tag 48 - Brieftasche
Erstmal einer japanischen Mutter und ihr Kind einen riesen Schrecken eingejagt. Ich hab gesehen, wie sie ihr Brieftasche verloren hat. “Excuse me” aber hat sie aus 20 Metern nicht gehört. Also hingejoggt, aufgehoben und hinterher. Sie bleiben vor einer Ampel stehen. Im Jogging Tempo überhole ich beide und sage noch mal “Excuse me”, vielleicht noch etwas Laut vom…
Tag 47 - Kein Respekt für Fahrradwege
Hier ist mein Review für Fahrradwege in Tokio. Die meisten Fahrradwege hier sind einfache farbliche Markierungen auf der Straße. Heißt aber nicht, dass Fahrräder darauf fahren würden. Kann ich aber auch verstehen, so wie ich Autos Fahrräder auf solchen Wegen überholen sehen habe. Und sonst wird es auch gerne als Parkplatz benutzt: Also: Autofahrer haben kein Respekt dafür. Stattdessen fahren viele…
TIL: How to display Test Outputs in Rust
Add -- --nocapture to the test command for prints in tests to display. So the full command becomes cargo test -- --nocapture .
Tag 46 - Warntag
Der Warntag hat mich auch in Japan durch die NINA App erreicht. Dann bin ich mal beruhigt, dass es dieses Jahr geklappt hat. Ich hatte hier in Japan auch schon eine Erdbebenwarnung erhalten 2-3 Minuten bevor es Tokio erreicht haben sollte. In der NERV App war sogar ein Sekunden genauer Timer wann es passieren sollte. Ich hab nichts gespührt :/
Tag 45 - アーネ
Für was das wohl stehen mag? フオーケル アーネ Das ist anscheinend mein Name in Katakana . In Katakana werden ausländische Eigennamen in Japan geschrieben. Und so wie oben steht mein Name auf meinen Personalausweis fürs Büro. ア - A ー - Letzes Buchstabe wird lang gezogen ネ - Ne Vorname passt schon mal, mehr oder weniger. フ - Fu オ - o ー - Lang gezogen ケ - Ke ル - ru Hmm?
Tag 44 - Krankenwagen
Etwas was ich noch nicht auf Kamera habe, aber Krankenwagen, wenn die in eine Kreuzung rein fahren, sprechen mit den Verkehrsteilnehmern. Über Mikrofon sagt eine der Personen etwas. Was genau weiß ich nicht, aber klingt ziemlich entspannt. Fast so, als würden die sich entschuldigen, dass sie jetzt hier durch müssen. So stelle ich mir das jedenfalls vor.
Tag 43 - Statue
So langsam wird es kühler in Tokio. Jetzt sind die Höhsttemperaturen nur noch so um die 30°C. Klingt immer noch schlimm, aber man gewöhnt sich wirklich dran. Was ich auch bemerkt habe: wenn ich jetzt die Klimaanlage zu Hause auf 27°C an mache ist mir tatsächlich manchmal kalt??? Hier noch ein Photo vom Ghibli Museum.
Tag 42 - Ghibli Museum & Sensō-ji
Heute war ich zuerst zum Ghibli Museum. Innen durfte man keine Bilder machen, also hier zwei Bilder von außen: Zum Ticket hat man noch ein Schnipsel von einer Filmrolle bekommen: Weiß jemand aus welchen Film das ist? Ich hab keine Ahnung 😅. Abends war ich noch zu Senso-ji. Ganz cool, aber wenn man Kanda Temple schon gesehen hat auch nicht viel anders als der.
Tag 41 - Hamarikyu Garten
Ok auf einmal ist er weg? Heute mal ein paar Flaschen nach unten in den Müll gebracht. Gibt ja kein Pfand hier. Und Deckel werden hier gesondert gesammelt. Zuerst war ich heute bei der Ghibli Uhr: Mein Tipp zur Uhr: Nicht zu spät kommen ;) Es steht online zwar, dass die “Show” zur vollen Stunde anfängt, dann ist es aber schon was vorbei. Die Animation beginnt 3-4 Minuten vor der vollen…
Tag 40 - Schneckentempo
Was soll das denn? Auf einmal geht es nur noch im Schneckentempo mit dem Typhoon vorran. Ich hatte jetzt eigentlich gehofft, dass der heute Abend vorbei zieht und das Wochenende normal wird. Ich hab auch nochmal wegen Fuji geguckt. Theoretisch kann man auch außerhalb der Saison hoch, nur gibt es dann fast keine Infrastruktur dort oben. Keine Hotels und die medizinischen Station sollen wohl auch…
Tag 39 - Oder doch nicht
Bei dem Wetter geb ich auf, Gewitter und Sturm, dann halt doch nicht :( Der Typhoon geht halt aber auch wirklich mitten drüber: Ich bin gespannt, wie schlimm das morgen hier wird. Vorsichtshalber hab ich mal ein paar der leeren zwei Liter Iso Flaschen mit Wasser ausgefüllt. Und verhungern werde ich in meiner Wohnung auch nicht. Ich fühle mich ein bischen wie ein Prepper, aber besser haben als…
Tag 38 - Ausrüstung
Und auf einmal sind 50.000 Yen weg. Der Typhoon darf aber mal langsam abdrehen. Bis jetzt ist aber noch alles im grünen Bereich laut diesen Vorhersagen: https://www.mountain-forecast.com/peaks/Fuji-san/forecasts/3776 https://www.fujimountainguides.com/mt-fuji-weather-forecast.html So lange es nicht zu Windig wird mach ich mir nichts draus. Für den Regen hab ich noch extra Regenhose und Jacke…
Tag 37 - Bus Tickets
Und wieder nichts gespührt: Die Tickets nach Fuji sind gekauft. Ich hoffe mal, dass der Typhoon bis Freitag Nachmittag an Fuji vorbei ist:
Tag 36 - Wetter
Wetter sieht interessant aus. Ich hoffe, dass es bis Freitag etwas besser aussieht bevor es auf Fuji rauf geht. Ich muss auch noch Equipment dafür Kaufen. Schuhe, Regenjacke/hose, Handschuhe etc. Hätte ich mal gewusst, dass ich zwei Koffer hätte mitnehmen konnte.
Tag 35 - Yayoi Kusuma
Heute war ich im Yayoi Kusuma Museum. Keine Fotos erlaubt. Außer im UV Raum. Leider gibt es die Bilder aus der Ausstellung Mein lieblings Bild aus der Ausstellung: https://i.imgur.com/A4uOQr1.jpeg https://i.imgur.com/yjsal51.jpeg Die Bilder sind aus einer anderen Ausstellung von mayu . Keine Ahnung warum Sie dort Bilder machen durfte und ich nicht :( Das Zweite Bild richtig gut war finde ich auf…
Tag 34 - Teezeremonie
Heute hab ich bei einer Teezeremonie mitgemacht. Oder war es ein Teeweg ? Die Gastgeber haben es zu mindestens Tea Ceremony bezeichnet, also bleibe ich bei Teezeremonie. Eingelanden hat Pierre-Louis, seine Schwägerin war dabei und die Tee Lehrerin. Und eine Lehrerin braucht man auch für das ganze. Alles hat seinen bestimmten Ablauf, die Position (und Winkel) der Utensilien ist genau…
Tag 33 - Parkplätze
Wie sie sehen, sehen sie nichts: Mittwoch Nach war hier der Gehweg noch 10m lang komplett offen. Und selbst Gestern war der Weg schon wieder fertig. Ist mir Gestern nur nicht aktiv Aufgefallen, weil, ist ja alles so wie sonst. Heute aber, “war hier nicht was”? Schon krass. Allgemein wird hier in Tokio viel in der Nacht gebaut. Ab, keine Ahnung, 9 Uhr(?) werden Straßenarbeiten usw.…
Tag 32 - Emergency Calls Only
Heute morgen so um 6 Uhr von einen Geräusch aufgeweckt worden. Hä was? Hat jemand geklingelt? An die Tür, keiner da. War wohl, dass die SIM Karte sich deaktiviert hat: Ok kein Problem, dachte ich. Ich hatte angenommen, dass ich einfach Online die Karte verlängern kann. Ja ne, nicht in Japan. Ich müss irgendwo eine Verlängerungskarte finden. Laut der Bedingungsanleitung sollten die auch in jeden…
Tag 31 - Fuji Planungen
Die Hauptsaison um auf Fuji zu klettern endet am 10. September. Ich hatte nicht damit gerechnet, dass die Saison so früh zu Ende geht. Ich hoffe, dass ich für nächsten Freitag (08.09.) noch eine Unterkunft finde. Damit ich Freitag hinfahren kann um Samstag rauf klettern zu können.
Tag 30 - Halb hohe Stufen
Ok bin ich aufm Kopf gefallen? Solche halb hohen Stufen gibt es doch nicht in Deutschland? Oder? Das Shampoo geht zur Neige und ich habe mal neues gekauft. Ich weiß nicht ob es daran lag, dass ich in einen Drug Store eingekauft habe, aber die sehen alle aus als wären die für Haarausfall gemacht. Selbst das “Body Wash” hat ein Pictogram von Haaren auf der Verpackung.
Tag 29 - Fast ein Monat rum
Meine letzte Mitstreiterin ist fast fertig mit ihren Praktium. Jetzt wo sie ihre letzen Tage hier plant wird mir auch erst richtige bewusst, dass schon fast ein Monat rum ist. Zur Praktikanten Situation. Vier Praktikanten gab es dieses Jahr. Zwei waren im Juni/Juli hier, meine Mitstreiterin im Juli/August und ich jetzt im August/September. Wäre wohl cooler gewesen, wenn wir alle gleichzeitig hier…