Welcome

A collage of markings used by companies to gauge the height of customers walking into their stores in Stockholm.

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.

Homepage Consulting

Trace validation and model based testing allow us to keep a formal specification and an actual implementation of the specification in sync.

Reliable LLMs | Distributed Systems | WebAssembly I am a fourth year PhD candidate doing systems research at FAU Erlangen-Nürnberg.

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.

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:…

Und es geht zurück.

Zurück nach Tokio.

Ok, genug von Kyoto gesehen.

Aufm Weg zum ersten Ziel: Der Zugführer hat einen Plan der Sekundengenau sagt, wann er ankommen soll und wann er los fahren muss.

Heute hab ich Fushimi Inari-Taisha besucht.

Puh was für ein Tag.

Aufgewacht zu Regen.

Gestern noch alles aufgeräumt und eingepackt damits heute früh genug los gehen kann.

Ja das wars jetzt.

So schnell sind zwei Monate rum.

Heute frei gehabt.

Nach der Arbeit mit der Gruppe los gewesen.

Letzte Woche für das Praktikum.

Jetzt wo es hell ist sieht man auch die Aussicht aus dem Gemeinschaftszimmer.

Wie angekündigt war ich übers Wochenende in Hakone.

Den Post für Morgen wird es erst Sonntag geben.

Ok folgende Situation: Du bist in einen schmalen Gang und dir kommt eine Person entgegen.

You can use Wireshark to display the content of UDP packets.

Keine Ahnung warum ich erst in der zweiten Wochen angefangen habe Eis zu essen.

Ok das hab ich gar nicht erklärt, warum ich Gestern überhaupt los war.

Heute war ich in Kamakura.

Heute war ich im “Art Aquarium”.

Erstmal einer japanischen Mutter und ihr Kind einen riesen Schrecken eingejagt.

Hier ist mein Review für Fahrradwege in Tokio.

Add -- --nocapture to the test command for prints in tests to display.

Der Warntag hat mich auch in Japan durch die NINA App erreicht.

Für was das wohl stehen mag?

Etwas was ich noch nicht auf Kamera habe, aber Krankenwagen, wenn die in eine Kreuzung rein fahren, sprechen mit den Verkehrsteilnehmern.

So langsam wird es kühler in Tokio.

Heute war ich zuerst zum Ghibli Museum.

Ok auf einmal ist er weg?

Was soll das denn?

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.

Und auf einmal sind 50.000 Yen weg.

Und wieder nichts gespührt: Die Tickets nach Fuji sind gekauft.

Wetter sieht interessant aus.

Heute war ich im Yayoi Kusuma Museum.

Heute hab ich bei einer Teezeremonie mitgemacht.

Wie sie sehen, sehen sie nichts: Mittwoch Nach war hier der Gehweg noch 10m lang komplett offen.

Heute morgen so um 6 Uhr von einen Geräusch aufgeweckt worden.

Die Hauptsaison um auf Fuji zu klettern endet am 10.

Ok bin ich aufm Kopf gefallen?

Meine letzte Mitstreiterin ist fast fertig mit ihren Praktium.