Pinned post

Bestes Feature der Schweizer Bahnen: auf den Öffnen-Knopf drücken führt dazu, dass sich die Tür beim nächsten halt automatisch öffnet. Besonders nützlich wenn eins vollbepackt unterwegs ist (z.B. in den Skiurlaub oder so).

Liebe DB, falls ihr das lest, bitte unbedingt auch implementieren!

Zweite Sache: man wird überall angesprochen, dass man ja seine Maske abnehmen dürfe. Danke aber die trag’ ich schon aus einem Grund…

Erste Sache, die mir in Dänemark auffällt: auf dem Fahrradstreifen fahren ist ohne Todesangst möglich. Er ist mindestens zwei, wenn nicht drei Mal so breit wie in Deutschland oder der Schweiz.

Ich wusste nicht, dass man S-Bahnen auch Scheuer-wenden kann

Ah it's not, as explained on the website. Reading is hard 🙈

Show thread

Formalizing 100 Theorems: cs.ru.nl/~freek/100/

Freek Wiedijk uses a rather arbitrary collection of 100 favorite theorems from some 1999 web page as a benchmark set for the progress of automatic proof assistants. I'm sad that Pick's theorem has seen so little love.

Netflix just killed support for Firefox ESR. Can't imagine how many support tickets all the open source OSes will get because of this...

Everything should be back now, upgrade was a success :)

Show thread

TIL that disabling `networking.service` is not enough to stop Debian from using `/etc/netiwork/interfaces` to configure the network interfaces.

My ISP is upgrading their NICs on Saturday, so expect some downtime.

I've fixed the IPv4 connectivity issue, so let's hope that the previews come back eventually.

Show thread

Played Baba is You yesterday, and this game is incredible. Go check it out if you haven't already!

hempuli.com/baba/

Huh, previews for some servers don't render correctly. It seems that IPv4 from this server to other servers is broken, but incoming IPv4 is fine. I'll have a deeper look at this in the evening.

OH: "[...] we just gotta reverse the polarity"

Am I in a Doctor Who episode?

… gebrochen ist nichts, ist wohl “nur” ein Bänderriss. Sechs Wochen keinen Sport :(

Show thread

… und Fuß umgeknackst. Hoffentlich ist es nur verstaucht

Alright, sorry everyone again for the intermittent downtime, we fixed a v4 peering issue. Now both routes are propagated properly.

Show older

Ben Fiedler's choices:

Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!