Welcome

Height in Stockholm

Sat, 11 Apr 2026 09:28:12 +0200

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.

How I made the most intrusive Firefox extension

Sat, 11 Apr 2026 07:37:02 +0200

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 the time a lot of news outlets gave warnings on how to identify such fake stores and I thought why not automate this?

QR Codes

Sun, 15 Mar 2026 15:43:16 +0100

Homepage

Consulting

Trace Validation & Model Based Testing: State of the Art

Wed, 21 Jan 2026 09:06:23 +0100

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 of our algorithms that we check. But when it comes to implementing the formal specification: did we actually implement the correct model? Or is there some bug? This is what we are trying to solve with trace validation and model based testing.

Consulting

Sat, 15 Feb 2025 00:00:00 +0000

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 advances usable in practice?
WebAssembly: how can we extend the capabilities of WebAssembly to fit our systems?

Services

Research Briefings: Current academic and industry findings on agentic AI reliability for coding, system engineering and formal modelling, WebAssembly and distributed systems
System Design Advisory: Review and design of agentic AI architectures with reliability, fault tolerance, and auditability

Interested or need something else? Hit me up at arne@arnevogel.com

TIL: Home Manager Nixpkgs Mismatch

Wed, 17 Jan 2024 11:39:38 +0100

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 corresponds with your chosen release of Nixpkgs.

If you insist then you can disable this warning by adding

 home.enableNixpkgsReleaseCheck = false;

to your configuration.

What does the ping actually measure?

Mon, 30 Oct 2023 20:29:57 +0100

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 received. ping reports the difference between these two as the latency.

Tag 69 - Und zurück

Sun, 08 Oct 2023 01:58:55 +0900

Und es geht zurück.

Ja ich bin zurück. (Man beachte die +3)

Tag 68 - Zurück in Tokyo

Sat, 07 Oct 2023 01:56:16 +0900

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 hat man Internet und Strom. Klingt interessant, mach ich. Tokio Spirit.

Tag 67 - Osaka

Fri, 06 Oct 2023 09:25:38 +0900

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 Monat schon besucht hab.

Tag 66 - Bambus Wald & Kyoto Tower

Wed, 04 Oct 2023 20:27:02 +0900

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 Minuten durch. In der Umgebung gibt es aber noch mehr sachen zu erkunden, von daher angucken kann man sich das mal.

Tag 65 - Torii Wege & Kaiserpalast

Tue, 03 Oct 2023 21:38:41 +0900

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 den Kaiserpalast besucht.

Tag 64 - Puh

Mon, 02 Oct 2023 20:33:37 +0900

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, für den “Garten” rund um den Palast lohnt es sich nicht zu kommen.

Tag 63 - Rote Eimer

Sun, 01 Oct 2023 20:10:46 +0900

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 Glück gibt es ein Museum direkt in der nähe zur Palastanlage. Dannach war es immer noch nicht wirklich besser aber weiter gehts: die eigentliche Palastanlage angeguckt.

Tag 62 - Nara & Ryokan

Sat, 30 Sep 2023 18:39:34 +0900

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 man eigentlich gar nicht.

Tag 61 - Letzer Arbeitstag

Fri, 29 Sep 2023 16:18:08 +0900

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 später schon da.

Tag 60 - Fast vorbei

Thu, 28 Sep 2023 21:29:24 +0900

So schnell sind zwei Monate rum.

Tag 59 - Skytree

Wed, 27 Sep 2023 21:29:30 +0900

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 nicht gesehen. Aber nach ein paar Metern hab ich ihn dann doch gefunden. So schnell übersieht man ihn nicht ;)

Tag 58 - Gruppe

Wed, 27 Sep 2023 10:02:50 +0900

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 vollkommen ok bei einer etwas besonderen Textur. Etwas Schwammig(?) wenn ich es beschreiben müsste.

Tag 57 - Aufbruch

Wed, 27 Sep 2023 10:02:47 +0900

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 Mitternacht, Laden ist geschlossen, es wird renoviert.

Tag 56 - Hakone | Teil 2

Sun, 24 Sep 2023 21:32:29 +0900

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 Hakone.

Tag 55 - Hakone | Teil 1

Sun, 24 Sep 2023 21:32:25 +0900

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 hätte.

Tag 54 - Tokio bei Regen bei Nacht

Fri, 22 Sep 2023 20:59:12 +0900

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

Thu, 21 Sep 2023 20:56:38 +0900

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 umgekehrt zu meiner Antwort.

TIL: Using Wireshark to print UDP Data

Thu, 21 Sep 2023 10:36:48 +0900

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

Wed, 20 Sep 2023 21:47:33 +0900

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 dann ein Waffel mit Vanilleeis gefüllt.

Tag 51 - Dorayaki

Tue, 19 Sep 2023 21:58:38 +0900

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 gegessen hatte:

Tag 50 - Kamakura

Mon, 18 Sep 2023 20:44:17 +0900

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 hingegen kann ich wirklich Empfehlen.

Tag 49 - Aquarium

Mon, 18 Sep 2023 08:45:37 +0900

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

Sat, 16 Sep 2023 19:25:31 +0900

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 hinterherrufen.

Und beide schrecken auf als, Guter Vergleich ein, aber es war extrem.

Tag 47 - Kein Respekt für Fahrradwege

Sat, 16 Sep 2023 09:12:42 +0900

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 Fahrradfahrer gerne auf dem Gehweg. Da heißt es als Fußgänger Augen zu und durch: keine Angst zeigen.

TIL: How to display Test Outputs in Rust

Fri, 15 Sep 2023 12:01:54 +0900

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

So the full command becomes cargo test -- --nocapture.

Tag 46 - Warntag

Fri, 15 Sep 2023 09:23:34 +0900

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 - アーネ

Wed, 13 Sep 2023 21:36:55 +0900

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

Tue, 12 Sep 2023 21:36:36 +0900

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

Tue, 12 Sep 2023 09:24:43 +0900

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

Sun, 10 Sep 2023 23:49:28 +0900

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

Sat, 09 Sep 2023 20:17:59 +0900

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 Stunde.

Tag 40 - Schneckentempo

Fri, 08 Sep 2023 17:01:05 +0900

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 nicht besetzt sein. Und die Anreise soll wohl auch nicht so einfach sein. In der Saison kommt man von Tokio direkt zur 5ten Station hoch welche auf ungefähr 2000 Meter höhe liegt. Außerhalb der Saison muss man wohl mehrere Umstiege nehmen um hoch zu kommen.

Tag 39 - Oder doch nicht

Thu, 07 Sep 2023 21:28:28 +0900

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 brauchen.

Tag 38 - Ausrüstung

Wed, 06 Sep 2023 21:47:30 +0900

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 gekauft.

Das wird schon.

Tag 37 - Bus Tickets

Wed, 06 Sep 2023 08:57:00 +0900

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

Mon, 04 Sep 2023 20:40:47 +0900

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

Sun, 03 Sep 2023 20:32:50 +0900

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 die schnelle nicht.

Keine Ahnung warum es keine offiziellen Archive für sowas gibt.

Tag 34 - Teezeremonie

Sat, 02 Sep 2023 21:56:35 +0900

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 vorgeschrieben, alle Handgriffe sind festgeleft, kurz, das lernt man nicht mal so.

Tag 33 - Parkplätze

Fri, 01 Sep 2023 21:32:41 +0900

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. gemacht.

Und das, was auch durch Abwesenheit glänzt, ist mir heute aufgefallen: Es gibt nur sehr wenige (kostenlose) öffentliche Parkplätze hier.

Tag 32 - Emergency Calls Only

Thu, 31 Aug 2023 21:34:02 +0900

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 Convenience Store verkauft werden.

Tag 31 - Fuji Planungen

Thu, 31 Aug 2023 09:26:21 +0900

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

Tue, 29 Aug 2023 20:20:36 +0900

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

Mon, 28 Aug 2023 21:24:30 +0900

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 gewesen wären, aber wie ich von der Kajakplanung jetzt weiß: es gibt keinen Termin an den alle gleichzeitig können.

Tag 28 - teamLabs Planets

Sun, 27 Aug 2023 22:23:37 +0900

Achtung die Videos sind laut!

Noch ein Erdbeben, das ich nicht gespürt habe?

Andere aus meiner Gruppe haben es gespürt. Warum ich dagegen immun bin, weiß ich nicht.

Heute war ich mit Leuten aus der Arbeitsgruppe bei einen australischen Meat Pie Shop (Fleischpastete?). Der Laden ist auf einer Kirche im außenbereich von Tokio.

Foto vom Essen habe ich vergessen, aber davon habe ich ein Video gemacht:

Mitten im Essen ein Regenschauer.

Tag 27 - Architektur (oder mehr Toiletten)

Sat, 26 Aug 2023 20:26:15 +0900

Ok, ich steh auf.

Geh auf dem Balkon und hole Sachen von der Wäscheleine rein: Sonne und extrem heiß.

Ok soweit nichts neues.

Also bereite ich mich auf dem Tag vor.

Frühstücken, gucken was man heute mal angucken kann, das Übliche. Ah und mit Sonnencreme eincremen.

Und was ist als man Raus kommt?

Regen, strömender Regen.

Hier aus dem Restaurant wo ich dann trotzdem mal hingegangen bin.

Was ich hiermit wohl ausdrücken möchte, das Wetter kann ziemlich schnell aus einen extrem ins andere Wechseln.

Tag 26 - Zahltag

Sat, 26 Aug 2023 10:09:28 +0900

Gestern war Zahltag.

Da wir kürzer als 6 Monate in Japan sind, bekommen wir hier kein Bankkonto. Deshalb gibt es das Geld in Bar.

Interessantes Gefühl.

Mir wurde dazu noch gesagt, selbst wenn ich das Geld auf der Straße verlieren würde, würde es sehr Wahrscheinlich bei das Polizei angegen werden.

Das Vertrauen in Mitbürger ist wohl sehr groß in Japan. Weiter wurde mir das Erzählt:

Persönliche Gegenstände werden einfach liegen gelassen, wenn man z.B. im Cafe auf Toilette geht. Laptop, Handy, egal. Es wird einfach liegen gelassen, weil es noch da sein wird wenn man wiederkommt.

Tag 25 - Toilette

Thu, 24 Aug 2023 21:04:55 +0900

Auf dem Heimweg über Umwege: Wieder so ein Kontrast zwischen Moderne und Vergangenheit.

Riesen Hochhaus, welches eine Einkerbung für einen Schrein hat.

Wie hab ich das den noch nicht gezeigt?

Ein kleines Waschbecken auf dem Spühkasten.

Tag 24 - Rote Eins :(

Wed, 23 Aug 2023 23:12:45 +0900

Heute auf dem Heimweig :(

Und noch etwas vom Heimweg: eine Tankstelle

Mit an der Decke hängenden Zapfsäulen.

Matcha Eis

…mit Azuki Bohnenpaste.

Bohnen?

Zu Eis?

Wurde mir so empfohlen, von alleine hätte ich das wohl nicht… naja wahrscheinlich trotzdem rein aus Neugier… Bestellt.

Aber kann man tatsächlich gut Essen. Die Bohnen sind mit viel Zucker verkocht, schmecken also nicht herzhaft. Zwar noch ein bischen aber genau passend.

Tag 23 - Milch

Tue, 22 Aug 2023 21:10:31 +0900

Ok, wer hat sich den Quatsch ausgedacht?

Hat mich die ganze Zeit schon aufgeregt. Und jetzt habe ich auch wirklich einen Grund dafür.

Heute Morgen schön die Milch gegen die Kühlschranktür gehauen und fallen lassen…

So eine Sauerrei. Und dan hab ich nicht mal einen Mob hier. Musste ein Handtuch für herhalten.

Heute morgen soll wohl auch wieder ein Erdbeben passiert sein.

Ich hab wieder nichts davon mitbekommen :(

Tag 22 - Kompost

Mon, 21 Aug 2023 21:50:32 +0900

Ich bin immer noch Gesund.

Zur Sicherheit hab ich trotzdem heute Home-Office gemacht.

Morgen aber wieder ab ins Büro.

Um diesen langweiligen Tag jetzt trotzdem noch ein Bild zu geben, ein Bild noch von Gestern:

Nichts atemberaubendes und wahrscheinlich auch nicht so geplant, aber ich fands trotzdem cool.

Viele Grüße aus Japan

Mon, 21 Aug 2023 14:55:04 +0900

Hi, Eva, Max, Jose und alle anderen die 438 Zeichen richtig abtippen können,

Dann kann ich ja beruhigt sein, dass ich da keinen Typo reinbekommen habe. :D

Und die Karte ist dann ja wohl auch angekommen. Ich habe ein bisschen Angst, dass jemand a la “Das Leben der Anderen” sich die Karte anschaut, bevor sie das Land verlässt, mich für einen Spion hält und die Karte verschwinden lässt. 😅

Grüße an den gesamten Lehrstuhl von mir, aber gebt die URL dieses Eintrag nicht weiter. Wer sich das mal anschauen will, kann es ruhig selber abtippen. Für maximalen Effect aber so tun, als wäre das Ergebnis das Spannendste der Welt ;)

TIL: When a SVG Script will execute (and when it won't)

Mon, 21 Aug 2023 10:05:34 +0900

Ok, SVGs can have script elements where you can add regular JavaScript. But the script won’t always be executed when you add it to a page.

This script will execute if you add the the SVG directly in the HTML. E.g.,

<body>
<svg
 viewBox="0 0 10 10"
 height="120px"
 width="120px"
 xmlns="http://www.w3.org/2000/svg">
 <circle cx="5" cy="5" r="4" />

 <script>
 alert("hi");
 </script>
</svg>
</body>

direct.html

But not if you add the SVG in an image tag. The image will show but the script won’t be executed. E.g.,

Tag 21 - Shinjuku Gyoen

Sun, 20 Aug 2023 18:57:57 +0900

Ok scheinbar geht Covid auf der Arbeit rum. Mindestens zwei Personen haben übers Wochenende Symptome bekommen.

Dann zeigt mal her Siemens Healthineers was ihr könnt…

Gutes Ergebnis. War aber auch teuer genug der Test. 12€ für einen Test? Hätte ich mal meine letzen Tests aus Erlangen mitgenommen.

Heute wollte ich zu Shinjuku Gyoen, einen Park hier in der Stadt. Mal testen wie gut ich mich an die Hitze akklimatisiert habe.

Tag 20 - Napoleon in Ägypten

Sat, 19 Aug 2023 15:08:31 +0900

Heute war ich im Sumida Hokusai Museum.

Hokusai ist der Künstler von Die große Welle vor Kanagawa von dem es auch einen Druck im Museum gab.

Das Museum war wirklich gut gemacht. Alle Bilder hatten englische Beschreibungen und es gab diese Terminals, an denen der geschichtliche Hintergrund zu jedem Bild erklärt wurde. Es gab auch eine Chronik mit Ereignissen aus Hokusais Leben neben Ereignissen aus der Weltgeschichte. Dadurch wurden die Lebensumstände von Hokusai (er lebte von 1760 bis 1849) noch einmal in einen Kontext gesetzt.

Tag 19 - Metro

Fri, 18 Aug 2023 21:14:58 +0900

Für heute mal ein Video aus der S-Bahn.

Die verschiedenen Linien werden hier in 2-4 Minutentakt befahren.

Mittlerweile ist es auch nicht mehr üblich, in der S-Bahn eine Maske zu tragen. Vereinzelt sieht man noch Maskenträger. Vor ein paar Monaten soll das Verhältnis aber wohl noch umgekehrt gewesen sein. Aber mit der Hitze ist wohl auch der Drang zur Maske zurückgegangen.

Und Bezahlen tut man mit der Suica Karte. (Ich hoffe jetzt mal, dass da nichts wichtiges drauf steht). Mit der Karte kann man sogar in verschiedenen Supermärkten und Restaurants bezahlen.

Tag 18 - Duschen

Thu, 17 Aug 2023 21:36:48 +0900

Ich habe am ersten Tag überhaupt keine Fotos vom Bad gemacht. Die Bäder sind hier so wie im Video aufgebaut:

Es gibt einen separaten Raum, in dem Dusche und Badewanne kombiniert sind.

Die Badewanne wird hier nicht zum Waschen benutzt. Vor dem Baden wird ganz normal geduscht und erst danach geht es in die Badewanne.

Ist echt angenehm kann ich sagen! Am besten sind auch mehrere Runden abwechselnd kalt duschen und heiß Garen lassen :)

Tag 17 - Rauchen

Wed, 16 Aug 2023 17:36:25 +0900

Rauchen ist hier fast nirgends erlaubt. Nicht einmal im Freien ist das Rauchen erlaubt, geschweige denn in Gebäuden.

Für Raucher gibt es speziell abgetrennte Bereiche:

Ansonsten zur Arbeit, erste Projektphase ist erfolgreich abgeschlossen. Auf gehts zur zweiten Phase.

Tag 16 - Polizeipräsenz

Tue, 15 Aug 2023 21:33:17 +0900

Heute war der Kriegsgedenktag (siehe auch Tag 03).

Der Kaiser (oder Tenno was Wikipedia mir sagt) war wohl nicht direkt am umstrittenen Kriegsdenkmal. Aber an der Nippon Budokan, einer Halle nur 200 Meter entfernt.

Und das hat man gemerkt. Überall war Polizeipräsenz.

Um dem umstrittene Kriegsdenkmal war heute auch mehr los als sonst.

Rund um dem Kriegsdenkmal haben sich verschiedene Leute mit Flugzetteln und Transparenten aufgestellt. Wie ich das mitbekommen habe waren die nicht gut auf die CCP zu sprechen.

Tag 15 - Taifun

Mon, 14 Aug 2023 20:32:46 +0900

Der nächste Taifun zieht über Japan hinüber. Aber er wird uns wohl wieder verpassen.

Laut der NERV App ist das Taifun Nummer 7. Und Nummer 8 ist auch schon unterwegs. Irgendwie komisch, dass das hier wohl so üblich ist, dass die schon durchnummeriert sind.

Ansonsten, ein schöner und ereigenissloser Montag.

Das vielleich noch: Mittagessen mit Aussicht.

Tag 14 - Nationalmuseum für Natur und Wissenschaft

Sun, 13 Aug 2023 20:45:08 +0900

Mein Essensrückblick diese Woche.

Nummer 1 war gewöhnungsbedürftig. Den Namen habe ich schon wieder vergessen. Das Gericht wird mit hauchdünn gehobelten Krabben garniert, die sich durch die Hitze zu bewegen beginnen. Aber das war nicht das Gewöhnungsbedürftigste. Schlimmer war das grüne Gemüse welches extrem bitter ist. Das kann man nur zusammen mit anderen Sachen essen. Naja, jetzt weiß ich, dass ich das nicht noch einmal brauche.

Das Lätzchen Essen:

Tag 13 - Kanda-Myojin

Sat, 12 Aug 2023 21:54:40 +0900

Ausgeschlafen.

Ramen gegessen.

MOMAT Museum besucht.

Abends, Myojin Schrein angeguckt.

Als erstes war ich heute im MOMAT Museum. Dort habe ich ein Bild über die Zerstörung des Myojin-Schreins gesehen. Vor fast 100 Jahren, 1923, hat ein großes Erdbeben große Teile von Tokyo zerstört. Und ich sage bewusst fast, denn am 1. September ist der Jahrestag.

Der Schrein ist hier ganz in der Nähe meiner Wohnung. Dachte ich mir, da kann ich ja mal einen ruhigen Abendspaziergang hin machen.

Tag 12 - Mountain Day

Fri, 11 Aug 2023 21:46:42 +0900

Heute ist/war Moutain Day, Nationalfeiertag in Japan.

Angesichts der Hitze habe ich es etwas ruhiger angehen lassen und bin nicht auf einen Berg hochgekrakselt Stattdessen war ich im Artizon Museum.

Dort gab es zwei Ininity Nets von Yayoi Kusama :O

Natürlich habe ich auch keine Bilder von Gemälden gemacht, bei denen Fotographieren verboten stand. Deswegen hat mich der laufende Wächter auch nicht aus der Fassung gebracht, der wollte eh nur zu einen anderen den er erwischt hat.

Tag 11 - Shibuya

Thu, 10 Aug 2023 23:43:57 +0900

Heute wollte ich für das Ghibli Museum Karten kaufen. Das geht nur einmal im Monat, jeweils am 10. um 10:00 für den nächsten Monat.

Ok ich hab erstmal verschlafen in die Warteschlange zu gehen. Das war die Warteschlange nach zwei Stunden:

Und das war das Ergebnis nach der Warteschlange:

…alles Ausverkauft. Oder so scheint es… Ich habe meinen Betreuer, den ich auch eingeladen hatte, davon erzählt und er hat auch nochmal geguckt. Stellt sich heraus, dass es zwei Ticketkontingente gibt: Eines für Ausländer über die englische Seite und eines für Japaner über die normale japanische Seite. Auf der japanischen Seite gibt es nicht mal eine Warteschlange.

Tag 10 - Erdbeben?

Wed, 09 Aug 2023 22:20:50 +0900

Wer will sich da noch über Lätzchen lustig machen?

Bekommen übrigens nicht nur die “Ausländer” hier. Mag zwar komisch aussehen, wenn man in so einen Laden kommt und alle Lätzchen tragen, aber was kann man bei so einem Ergebnis schon dagegen sagen?

Nach dem Essen noch gesehen, dass es in der nähe wohl ein Erdbeben gab? Nichts von gespührt.

Ich beschwöre es hier jetzt mal ganz offiziell auf: Eigentlich würde ich dann doch noch gerne hier mal so ein (kleines) Erdbeben miterleben.

Tag 09 - Stupsnasen

Tue, 08 Aug 2023 20:35:57 +0900

Was man im Straßenverkehr sofort merkt, ist, dass die Autos hier anders aussehen. Viele haben so eine “Stupsnase”.

Das war auch schon alles, danke für die Aufmerksamkeit.

Tag 08 - Richtig angekommen

Mon, 07 Aug 2023 21:10:16 +0900

Ok krass. Heute war ein stinknormal Tag für mich. Ganz normal aufgewacht, ganz normal zur Arbeit, ganz normal gearbeitet, ganz normal nach Hause (zum ersten Mal ohne Navi-Unterstützung 🎉). Und keine neuen Fotos gemacht. Wahnsinn, wie schnell man sich an eine neue Umgebung gewöhnt.

Aber ich beschwere mich nicht, war auch mal wieder angenehm.

Eine Sache kann ich dann noch von letzter Woche zeigen: Telefonzellen. Was zum Teufel? Die stehen hier überall. Die soll es wohl noch für Naturkatastrophen geben. Was ich dann doch wieder verstehen kann.

Tag 07 - Uneo Park

Sun, 06 Aug 2023 20:29:06 +0900

Eine Woche ist rum.

Ganz am Anfang habe ich noch mein Essen gepostet. Aber nach dem ersten Tag habe ich damit aufgehört, weil ich das für jeden Tag eher langweilig finde. Hier noch einmal nachgereicht, was es die Woche über zu essen gab:

Bisher war das Essen immer gut. Mit den Essstäbchen komme ich auch langsam zurecht. Das Essen findet zumindest den Weg in den Mund ;)

Das Essen hier ist auch erstaunlich günstig. Keines der Gerichte oben hat mehr als 10€ gekostet. Die meisten Gerichte kosten um die 1000 Yen, was ungefähr 6,40€ entspricht. Da kann die Mensa nicht mithalten. Und es gibt immer gratis Getränke dazu, entweder einen kalten Tee oder eben Wasser. Außerdem gibt es meistens noch gratis Reis nachschlag dazu, wenn man welchen bestellt hat.

Tag 06 - Edogawa Feuerwerkfestival

Sat, 05 Aug 2023 15:47:02 +0900

Ok Wochenende. Fing erstmal ganz unspektakulär mit Wäschewaschen an. Aber das war wirklich praktisch: Beim Einschalten prüft die Maschine, wie voll sie ist, damit man genau so viel Waschmittel einfüllen kann, wie sie braucht.

Was hab ich sonst gemacht? Geschwitzt!

Am Nachmittag habe ich den Kaiserpalast besucht. Beziehungsweise den Garten des Kaiserpalastes. Den Eingang zum “richtigen” Palast hab ich nicht gefunden, bzw. es war so heiß, dass ich nicht weitersuchen wollte.

Tag 05 - Linksverkehr

Fri, 04 Aug 2023 21:33:21 +0900

Acht Uhr im Büro, nichts los. Die meisten fangen hier um 10 Uhr an zu arbeiten.

Haben ja auch nicht alle einen so kurzen Weg hierher wie ich. Kanda Station bis Iidabashi Station mit einmal Umsteigen in 13min. Mit jeweils 2-3 Minuten Fußweg zum Bahnhof bzw. zum Büro. Die anderen Pendeln da schon eher 1 Stunde pro Tag hierher.

Das musste ich auch fotografieren: ein separater Fahrradweg in Tokio. Selten diese Dinger! Dieser Fahrradweg ist der erste den ich in den 5 Tagen hier gefunden habe.

Tag 04 - Anzüge

Thu, 03 Aug 2023 21:08:58 +0900

Wieder entspannte 35°C heute bei 55% Luftfeuchtigkeit. Und alle anderen laufen hier mit Anzug zur Arbeit.

Und das ist wohl schon entspannt. Bis 2005 war es wohl noch üblich, auch im Hochsommer Anzugjacke und Krawatte zu tragen. Um aber weniger Energie für Klimaanlagen zu verbrauchen, wurde in der Cool Bis Kampagne empfohlen, Büros nur noch bis 28°C zu kühlen. Damit einher ging die Empfehlung, Anzugjacke und Krawatte lieber zu Hause zu lassen.

Tag 03 - Grillen

Wed, 02 Aug 2023 20:14:41 +0900

Zwei Bilder vom weg zur Arbeit.

Werbung über Werbung in der nähe der S-Bahn Station.

Außenansicht vom IIJ Gebäude in dem ich arbeite.

Aus der Mittagspause ein Video. Was man da hört sollen wohl Grillen sein. Unglaublich wie laut die Viecher sind. Es sollen außerdem verschiedene Grillenarten in Tokio existieren, die sich dann je nach Tag und Nachtstunde bzw. Monaten abwechseln mit dem Lärm.

Neben den abgebrochenen Ast sieht man eine von den Grillen:

Tag 02 - Erster Arbeitstag

Tue, 01 Aug 2023 23:47:23 +0900

Mein erster Arbeitstag hier.

Weg zur arbeit: zuerst in die falsche Richtung mit der S-Bahn gefahren. Nächste Station: Tokio Station? Das kommt mir doch bekannt vor? Bin ich hier richtig? Warum bekommen die Ringlinien hier die gleichen Farben, egal in welche Richtung es geht? Das gleiche Problem wie in Erlangen… da sollte sich mal jemand eine Lösung für ausdenken.

Auf der Arbeit angekommen Besucherkarte bekommen und ab in den 15. Stock. Was für eine Aussicht:

TIL: Japan APN Sim Einrichten

Mon, 31 Jul 2023 20:44:42 +0900

Kleiner Eintrag, weil es bei mir nicht so einfach war die APN SIM auf Android einzurichten.

Ein Paar Sachen die zu beachten sind:

Zumindestens bei mir: In den Einstellung wird nichts zu APN gefunden. Auf Deutsch heißt das bei mir Zugangspunkte
Die Zugangspunkte können unter Einstellungen > Verbindungen > Mobile Netzwerke eingestellt werden.
Von hier aus funktioniert die englische Anleitung wieder

Tag 01

Mon, 31 Jul 2023 14:37:23 +0900

Heute gings los, um 12:35 war Abflug ab München.

Nach ungefähr 12 Stunden sind wir über Japan. Ob das Fuji ist kann ich nicht 100% sagen, von der Route würde es aber passen.

Über der Stadt, so weit man gucken kann Gebäude…

Meine Wohnung für zwei Monate. Direkt auch der erste fauxpas… ich bin einfach mit den Schuhen in die Wohnung getrampelt :/ Wabaki

Heute: 35°C bei 55% Luftfeuchtigkeit. Zum Glück ist die Wohnung mit einer Klimaanlage ausgestattet.

TIL: Randomness in Latex

Mon, 30 Jan 2023 21:48:32 +0100

You can use \usepackage{pgffor} for randomness in LaTeX.

\usepackage{pgffor}
\pgfmathdeclarerandomlist{Options}{{option1}{option3}{option3}}
\pgfmathrandomitem{\randomlySelected}{Options}

This will select one random element from Options and populate \randomlySelected with it. \randomlySelected can they get used just as you would expect it to work. One thing I noticed though: the random item selection will pick the same element for ~15 seconds. So rebuilding will not necessarily give you another option, even if you rebuild multiple times, if you don’t wait for some amount of time.

Zipfian Distribution Simulator

Tue, 15 Nov 2022 20:40:26 +0100

Below is a simulator for a zipfian distribution with parameters $N$ and $\alpha$. Each entry has probability: $${f(i;\alpha,N)={\frac {\left[{\frac {1}{\ i^{\alpha}\ }}\right]}{\ \left[\ \sum \limits _{n=1}^{N}{\frac {1}{\ n^{\alpha}\ }}\ \right]\ \ }}}$$

N =

$\alpha$ =

TIL: Window Resize Behavior on Mobile

Sun, 13 Nov 2022 11:44:25 +0100

When the url bar on mobile gets hidden it triggers a window.resize. This is something I learned by a PR for listudy.

In my code I had window.onresize = resize_ground; to adjust the size of the chess board when the browser window changed width. But as Sean Yeh in the PR pointed out this caused unintended behavior in mobile browsers. When scrolling down the url bar would hide. As this would trigger a window.resize and thus the chess board would get resized causing the page position to jump back to the top.

TIL: Beamer has Slide Transitions

Fri, 11 Nov 2022 16:12:04 +0100

I always just assumed that slide transition animations are limited to WYSIWYG presentation programs. Turns out you can define slide transitions in beamer by default without any special packages.

See Chapter 14.3 of the beamer documentation for all the available transitions and their options.

Some of the transitions seem to be wonky though, with some parts of the slide being hidden or cut off after the transition.

TIL: The Nix Home Manager Works on Non-Nix Distros

Mon, 07 Nov 2022 16:47:45 +0100

Nix in general seems promising for both reproducible software and as a distro. But making a full switch seems like a lot of work and im lazy. Because of this I am happy to find out that the home-manager project works on non-nix distros. Tl:dr on home-manager: it lets you configure and install software on your system using the nix ecosystem. This lets me incrementally switch while staying on my regular distros. I have successfully run the home-manager on Ubuntu and Arch linux.

The Hardest Lakes of Kalandra

Sat, 13 Aug 2022 14:13:15 +0200

In the latest expansion of Path of Exile you can create your own areas to play in. An example of this can be seen below:

The area is constructed by placing tiles on a board. You enter the area from one of the land tiles.

Moving away from the starting tile causes the difficulty to increase. Further away = more difficult areas, but also more rewards. In the example the highest difficulty is 10.

WebAssembly hosted Web Server

Mon, 01 Aug 2022 20:51:00 +0200

We can now host web servers as WebAssembly modules!

As a proof of concept see wasmhosted.arnevogel.com, which is hosted by a WebAssembly module run by wasmtime. Also check out the source code.

How we got here

This year, sock_accept was added to WASI. Because of this, we can now accept connections on pre-opened listening sockets from within WebAssembly. Before sock_accept only sock_recv, sock_send, and sock_shutdown were defined for WASI. Unfortunately, you can’t do much with the three of them alone.

Wie GPT3 funktioniert - Visualisierungen und Animationen

Mon, 27 Jul 2020 17:21:01 +0100

Dies ist eine Übersetzung des Beitrags “How GPT3 Works - Visualizations and Animations” von Alammar, Jay (2020), abgerufen von: https://jalammar.github.io/how-gpt3-works-visualizations-animations/

Ein trainiertes Sprachmodell erzeugt Text.

Wir können ihm optional etwas Text als Eingabe übergeben, was seine Ausgabe beeinflusst.

Die Ausgabe wird aus dem erzeugt, was das Modell während der Trainingsphase “gelernt” hat, in der es riesige Textmengen gescannt hat.

Training ist der Prozess, bei dem das Modell viel Text vermittelt wird. Es wird einmal gemacht und ist abgeschlossen. Alle Experimente, die wir hier sehen, sind von diesem einen trainierten Modell. Es wird geschätzt, dass das Training 355 GPU-Jahre und 4,6 Millionen Dollar gekostet hat.

How Fast Is WebAssembly?

Fri, 05 Jun 2020 19:40:42 +0200

This work is a summary of the paper “Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code” by Abhinav Jangda, Bobby Powers, Emery D. Berger, and Arjun Guha https://www.usenix.org/conference/atc19/presentation/jangda

Abstract:

WebAssembly was introduced to be an efficient and fast alternative to JavaScript. The goal is to achieve execution times within the range of native code performance. But can WebAssembly achieve this goal? The original paper which introduced WebAssembly already tries to answer this question. But doubts have been expressed about the validity of the benchmarks used for this purpose.

Unit Fractions

Thu, 24 Jan 2019 13:20:42 +0100

Calculating unit fractions with the algorithm of fibonacci.

Post Correspondence Problem (PCP)

Sun, 08 Jul 2018 00:00:00 +0000

Problem Statement

Given a list of pairs ((x₁,y₁),(x₂,y₂),…,(x_n,y_n)) of non-empty words x₁,x₂,…,x_n,y₁,y₂,…,y_n find a non-empty list of indices i₁,i₂,…,i_m so that the concatination of x_i₁.x_i₂….x_{i_m} equals y_i₁.y_i₂….y_{i_m}.

The word pairs (x_i,y_i) of a problem case can well be imagined as dominoes, where on one half x_i and on the other half y_i are written. There are n types of dominoes and any number of dominoes are available.

The correspondence problem can now be understood as follows: Is there a sequence of dominoes so that the words on the upper half of the dominoes (read from left to right) produce the same word as the words (read from left to right) from the lower half of the merged dominoes?

RGB Rainbow

Thu, 05 Apr 2018 00:00:00 +0000

For the cyclic cellular automaton I had to get a variable amount of colors around the color circle. This is how I solved that problem.

\# of colors

I split the color wheel into 6 equal parts:

Sector/Color	R	G	B
0	incr.	0	255
1	255	0	decr.
2	255	incr.	0
3	decr.	255	0
4	0	255	incr.
5	0	decr.	255

incr. means the color is increasing and decr. means the color is decreasing going counter clockwise around the circle.

Cyclic Cellular Automaton

Wed, 04 Apr 2018 10:30:52 +0200

update rate: ms

Simulation settings: # of colors: threshold: Wrapping:

Display settings: Cell Size: px

Rules: Each cell has a state. There are n states set with the number of colors above. The state of a cell is between 0 and n-1. A cell with state i is consumed and changes to i+1 if the number of cells with state i+1 in the moore neighborhood are equal or greater to the threshold. If a cell is in the n-1 state while it is consumed, it changes its state to 0.

Brian's Brain Cellular Automaton

Tue, 03 Apr 2018 17:08:02 +0200

update rate: ms

Simulation settings: Birth numbers: B Wrapping:

Display settings: Cell Size: px

Rules: There are three cell types. Dead (white), alive (black) and dying (gray). A alive cell always goes into dying and a dying cell always dies in the next iteration. A dead cell comes alive in the next iteration if the number of alive cells in the moore neighborhood are in the birth numbers (above).

Settings

Clicking on the simulation turns cells on and off.

Life-like Cellular Automaton

Sat, 31 Mar 2018 12:52:42 +0200

update rate: ms

Simulation settings: Spawn: B S Wrapping:

Display settings: Cell Size: px

Settings

Clicking on the simulation turns cells on and off.

Controls:

Start: Begins the simulation, calculating and displaying the next population every update rate seconds
Step: Calculates and displays the next population
Clear: Stops the simulation and clears the population
Randomize: Randomly sets 50% of the cells alive and the other 50% dead
Update Rate: How many milliseconds each frame is displayed. Lower = Faster simulation, but more CPU intensive.

Simulation Settings:

Regionalbahn Between Bremen and Hannover

Sat, 17 Mar 2018 16:25:15 +0100

While traveling with the Deutsche Bahn I noticed that they broadcast amongst others the speed and the position of the train under this url: https://www.wifi-bahn.de/schedule.jason

This is the result of logging the positions and speeds and plotting them with R’s ggmap:

The speed is in m/s, each point is after 30 seconds.

Logging with: bahnlog.py

Plotting with: bahn.Rmd

Logging Twitch Subscriptions for One Month

Sat, 10 Feb 2018 13:38:00 +0100

For one month now I have been logging twitch subscriptions of channels that have surpassed 50 viewers at one point in the month and are partnered with twitch.

Note that this the logging wasn’t perfect and this overview is only a distorted view on the ground truth of data that twitch has. The logger isn’t as robust as I would like to have it, it wasn’t logging 100% of the time in each channel and it sometimes counted subscriptions twice when users had the chance to announce a sub multiple times. The data is only a small portion of all subscriptions on twitch.

Taylor Series

Wed, 24 Jan 2018 12:45:56 +0100

Taylor series approximation for sin exp log cos and tan.

Generated with: taylorseries.m and ffmpeg

Some browsers might not support the .webm format. You can download the files to your pc and view them with vlc if that is the case.

Your browser doesn't seem to support the \ tag. Direct link to the video: newton-raphson-approximation.webm

Newton Raphson Method

Tue, 23 Jan 2018 16:18:43 +0100

The Newton-Raphson method (named after Isaac Newton 1669 and Joseph Raphson 1690) is a method for generating a numerical sulution for systems of equations.

Example for f(x) = -1/4x^4+5/2x^3-7x^2+8x-1, x0 = 2 and eps = 0.1 generated with MatLab:

Your browser doesn't seem to support the \ tag. Direct link to the video: newton-raphson-approximation.webm

Newton Raphson Method in MatLab

MatLab implementation for :

function y = newton_raphson_method(f,x,x0,eps)
	fx = jacobian(f,x);
	v = num2cell(x0);
	b = f(v{:});

	while norm(b) > eps
		d = fx(v{:})\f(v{:});
		x0 = x0 - d;
		v = num2cell(x0);
		b = f(v{:});
	end
	y = x0;
end

Note that the MatLab implementation doesn’t exit when the function has no root.

Numerical Analysis Cheat Sheet

Sun, 21 Jan 2018 15:11:39 +0100

Error Analysis

Machine Numbers

A set of machine numbers $\mathbb{M}(b,m,e)$ is composed of three parts, $b$ the base of the number, $m$ the number of digits in the mantissa and $e$ the number of digits for the exponent. $\mathbb{M}(10,3,1)$ contains the machine numbers with base 10 that have three digits for the mantissa and 1 digit for the exponent. One such number would be +102 +3 where +102 is the mantissa and +3 is the exponent. The corresponding number would be 102.000.

Using Postgresql on Ubuntu

Thu, 18 Jan 2018 11:56:52 +0100

Logging into psql as postgres user:

sudo -u postgres psql

Switching databases:

\c [DB NAME]

Executing an example query:

SELECT * from user;

Note that SELECT has to be capitalized, otherwise it will result in a syntac error. Also don’t forget the ; at the end of the query.

Exiting psql:

\q

Installing Latest Golang Version on Ubuntu

Wed, 10 Jan 2018 11:03:35 +0100

Installing Go with apt-get might not give you the most up to date golang version. On this page I describe how to install the latest golang version on how to set the $GOPATH and $GOROOT system variables

$go version
The program 'go' is currently not installed. You can install it by typing:
apt install golang-go

After installing golang with the suggested command apt install golang-go you might have an older version of golang installed.

License

Fri, 05 Jan 2018 00:49:45 +0100

Text and Images

Text and images are, unless otherwise noted, licensed under CC BY-SA 4.0

Code

Code on this site, everything between the html <code></code> tags, is licensed, unless otherwise noted, under X11, Apache 2.0 and GPLv3 license. You can choose yourself which license is most suitable for your need.

MathJax

Some pages on this site use MathJax to render LaTeX. MathJax is licensed under Apache 2.0, you can find the source code on the MathJax GitHub page.

MathJax Minimum Viable Installation

Tue, 02 Jan 2018 01:50:47 +0100

Downloading a local copy of MathJax gives you over 60mb in 30.000 files. If you want to use this on your webserver or don’t want 30.000 files on your local copy this can be a problem. Luckily many files can be cut without affecting MathJax’s functionality. For example for this website my MathJax folder has only 47 files in 12 folders and is only 948kb big.

Things to cut for free

Some of the files you get don’t add any functionality and are only for development or documentation reasons in the zip. So you can cut these files and folders without affecting MathJax in any way if you don’t specially need them yourself:

Theoretical Computer Science Cheat Sheet

Mon, 01 Jan 2018 17:33:55 +0100

Automata and Formal Languages

Formal Languages

An alphabet $\Sigma$ is a finite set of symbols. For example $\{0,1\}$ is an alphabet and $\{a,b,c,d\}$ is an alphabet. An word is a finite set of symbols from an alphabet $\Sigma$. One word for the alphabet $\{a,b,c,d\}$ would be $abc$ and another one would be $aaab$. The length of a word $w$ is defined as the number of symbols it has. So the length of the word $01010$ from the alphabet $\{0,1\}$ would be $5$. Every alphabet contains the empty word. The empty word is the word with size $0$. The set of all words that can be created from an alphabet is $\Sigma^* $.

Analyzing Hacker News "Who Is Hiring" Threads

Sat, 30 Dec 2017 17:54:49 +0100

Analyzing 41194 comments and 6367099 words posted in Hacker News “Who is Hiring” threads. If you don’t know what those threads are here is the latest one: Ask HN: Who is hiring? (December 2017)

In these threads companies can self promote their job offerings and in doing to they describe the jobs they are offering.

In this post I show the most interesting things I found while playing around with the data. Note: don’t take this too serious. I only did this for the fun of exploring and plotting data. This is no serious scientific and/or statistical analysis.

Applying Benfords Law

Thu, 28 Dec 2017 17:07:28 +0100

If you don’t know about Benford’s law here is a quick summary:

In numerical data the frequency distribution of the leading digits it not an equal distribution. The lower the digit the more likely it is to appear as leading digit in the data. For example in base 10: Numbers with the initial digit 1 occur about 6.6 times as often as numbers with the initial digit 9.

For more information check out the extensive Wikipedia page about Benford’s law.

Golang Cross Compiling on Ubuntu

Wed, 27 Dec 2017 15:41:07 +0100

Cross compiling a golang project on Ubuntu is as easy as building the project for ubuntu itself. Golang makes it easy to cross compile for many platforms and architecture types. When you want to cross compile your go project you only have to set the GOOS and GOARCH variables and go will handle the rest.

In your project folder typing go build will build it for the platform and architecture of the computer you currently are on. When you want to cross compile for a different platform you have to set the GOOS and possibly the GOARCH variable before go build. This is as easy as env GOOS=[OS] GOARCH=[ARCH] go build. Replace [OS] with the OS you want to target and [ARCH] with the architecture.

Denoising Functions in Matlab With FFT

Fri, 22 Dec 2017 12:44:59 +0100

Reducing the noise of a signal in Matlab using fast fourier transform.

You can download the Matlab file: denoise.m

The function generating the signal in this post will be:

% number of signal measurements
n = 1000;
% measuring from 0 to 2 pi
length = 2*pi;
% difference between two measurements
h = length/n;
% steps
t = (0:h:length-h);
% Signal
S = sin(2*t)+cos(7*t)-cos(t);

Plot of the signal from 0 to 2*pi.

Standalone Concat Version

Wed, 13 Dec 2017 13:21:01 +0100

For some time I wanted to create a standalone version of Concat without the download restriction I had to pose on the online version because of server limitations.

In a poll I put up some months ago the most asked feature was to increase the download limit. Unfortunately with only 20gb disk space on the server and about 300 people using the downloader every day that is not possible without investing in more disk space. Considering that the ads I have put up on the website only barely cover the server costs that was no option in going further.

Numerical Integration in Matlab

Sat, 09 Dec 2017 11:32:35 +0100

The code for the summed newton cotes formulas in matlab. The functions compute the integral of a function f(x) in the same file from a to b with step size n. Use a sufficient high n for accurate results.

See the example for usage.

x is a vector of equidistant nodes.

Trapezoid rule

function t = trapezoid_rule(a,b,n)
 t = 0;
 x = linspace(a,b,n);
 h = x(2)-x(1);
 for i = 1:length(x)-1
	t = t + (h/2 * (f(x(i)) + f(x(i+1))));
 end
end

Welcome

Height in Stockholm

How I made the most intrusive Firefox extension

QR Codes

Homepage

Consulting

Trace Validation & Model Based Testing: State of the Art

Consulting

Reliable LLMs | Distributed Systems | WebAssembly

Services

TIL: Home Manager Nixpkgs Mismatch

What does the ping actually measure?

Network time measurements with ping

Tag 69 - Und zurück

Tag 68 - Zurück in Tokyo

Tag 67 - Osaka

Tag 66 - Bambus Wald & Kyoto Tower

Tag 65 - Torii Wege & Kaiserpalast

Tag 64 - Puh

Tag 63 - Rote Eimer

Tag 62 - Nara & Ryokan

Tag 61 - Letzer Arbeitstag

Tag 60 - Fast vorbei

Tag 59 - Skytree

Tag 58 - Gruppe

Tag 57 - Aufbruch

Tag 56 - Hakone | Teil 2

Tag 55 - Hakone | Teil 1

Tag 54 - Tokio bei Regen bei Nacht

Tag 53 - Schmale Gänge

TIL: Using Wireshark to print UDP Data

Tag 52 - Eiszeit

1/5

Tag 51 - Dorayaki

Tag 50 - Kamakura

Tag 49 - Aquarium

Tag 48 - Brieftasche

Tag 47 - Kein Respekt für Fahrradwege

TIL: How to display Test Outputs in Rust

Tag 46 - Warntag

Tag 45 - アーネ

Tag 44 - Krankenwagen

Tag 43 - Statue

Tag 42 - Ghibli Museum & Sensō-ji

Tag 41 - Hamarikyu Garten

Tag 40 - Schneckentempo

Tag 39 - Oder doch nicht

Tag 38 - Ausrüstung

Tag 37 - Bus Tickets

Tag 36 - Wetter

Tag 35 - Yayoi Kusuma

Tag 34 - Teezeremonie

Tag 33 - Parkplätze

Tag 32 - Emergency Calls Only

Tag 31 - Fuji Planungen

Tag 30 - Halb hohe Stufen

Tag 29 - Fast ein Monat rum

Tag 28 - teamLabs Planets

Tag 27 - Architektur (oder mehr Toiletten)

Tag 26 - Zahltag

Tag 25 - Toilette

Tag 24 - Rote Eins :(

Tag 23 - Milch

Tag 22 - Kompost

Viele Grüße aus Japan

TIL: When a SVG Script will execute (and when it won't)

Tag 21 - Shinjuku Gyoen

Tag 20 - Napoleon in Ägypten

Tag 19 - Metro

Tag 18 - Duschen

Tag 17 - Rauchen

Tag 16 - Polizeipräsenz

Tag 15 - Taifun

Tag 14 - Nationalmuseum für Natur und Wissenschaft

Tag 13 - Kanda-Myojin

Tag 12 - Mountain Day

Tag 11 - Shibuya

Tag 10 - Erdbeben?

Tag 09 - Stupsnasen

Tag 08 - Richtig angekommen

Network time measurements with `ping`