Ben Fiedler @bfiedler@mastodon.3fx.ch
Admin
Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten. In meiner Freizeit ruhe ich mich gerne aus, oder spiele Schach.
Personal von @flaps
Joined Apr 2020
depol, +
§219a ist weg!
zchess [1] now passes some ™️ chess engine tests from 1982! Although the score is easily improvable.
Next things I want to implement: some form of killer-/counter-move heuristic to speed up the search process, and time management.
SoLa Duo: 80km zu zweit mit einem Fahrrad von St. Gallen nach Zürich in unter 8h!
Jetzt bin ich aber auch richtig kaputt…
depol
Lass’ mal die Mindestraumtemperatur senken, weil uns die Privathaushalte so wichtig sind.
Hab' den webserver mal ausgetauscht, sagt bescheid wenn etwas nicht gehen sollte. #mastoadmin
> updates and reboots the mastodon server
> is bored of waiting for it to come up
> checks mastodon in the mean time
> ...
what did I expect
Spontane #mastoadmin time, wir upgraden mal ein bisschen. Hoffentlich geht nichts kaputt...
Jetzt mit verlinktem Analysebrett! Zu den Übersetzungen bin ich noch nicht gekommen, vielleicht schaffe ich da morgen was…
Meine zweite gewertete Partie war auch ein Erfolg, aber wieder sieht es im Mittelspiel sehr komisch aus.
Für diejenigen, die sich Fragen ob ich den Verstand verloren habe: https://en.wiktionary.org/wiki/yak_shaving
Wer konnte denn ahnen, dass Yaks so glatte Haut haben?
Ben Fiedler
boosted
Celebrate women in mathematics!
https://may12.womeninmaths.org/
Mein Blog spricht jetzt auch Schach :D
Deutsche Übersetzungen folgen
> Removed 28377 media attachments (approx. 15.1 GB)
Und jetzt auch wieder mit mehr Festplattenspeicher, nachdem wir alte remote Media-Dateien weggeschmissen haben.
Wer kennt es nicht? "Ja ich mach mal' nur ein kurzes Update" und prompt kompiliert der arme 2 vCPU server Ruby 3...
Aber jetzt segeln wir wieder auf der neusten Version durch das Fediverse!
Swisscom ist komplett tot, falls eure Freunde grad unerreichbar sein sollten. Scheint ein großes Issue zu sein, weil sowohl Festnetz als auch mobiles Internet davon betroffen sind...
Ben Fiedler
boosted
Schönes Zitat: "Ich brauche Privatsphäre. Nicht weil meine Handlungen fragwürdig sind, sondern weil euer Urteilsvermögen und eure Absichten fragwürdig sind." #privacy
Admin
Ich verfolge einen Informatik PhD mit Fokus auf formeller Verifikation von hardwarenahen Komponenten. In meiner Freizeit ruhe ich mich gerne aus, oder spiele Schach.
Personal von @flaps
Joined Apr 2020
Ben Fiedler's choices:
