derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
0
Followers
0
Following
Joined November 18, 2022
Posts
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
Curse you, OpenJVerein, for now defaulting to assign donation receipts to the bank account holder rather than the member.
And curse me for forgetting to update the bank account details when changing the name of a member (because what OpenJVerein is now doing is, in fact, the right way to do it IMHO).
And curse me for forgetting to update the bank account details when changing the name of a member (because what OpenJVerein is now doing is, in fact, the right way to do it IMHO).
0
0
0
0
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
Bachelor thesis, written a decade ago: Model Checking with LTL (Linear Temporal Logic, a simplification of CTL / Computational Tree Logic)
Lecture, to be given tomorrow: modelling with timed automata and model checking with CTL (including a live demo within UPPAAL) :D
Lecture, to be given tomorrow: modelling with timed automata and model checking with CTL (including a live demo within UPPAAL) :D
0
6
0
0
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
Could not decrypt message: the encryption has been corrupted
(one minute later, with me doing absolutely nothing in between)
Message is shown correctly
A good morning to you, too, dear Matrix protocol!
(one minute later, with me doing absolutely nothing in between)
Message is shown correctly
A good morning to you, too, dear Matrix protocol!
0
3
0
0
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
You: emitting short wave
Me: consuming danube wave
(A kind of cake with cherries, cream and chocolate frosting that is called "Donauwelle" in German; no idea whether it has an English equivalent)
Me: consuming danube wave
(A kind of cake with cherries, cream and chocolate frosting that is called "Donauwelle" in German; no idea whether it has an English equivalent)
0
0
0
0
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
Enbies and Gentlequeers, may we present to you: the USB-C killer five thousand.
No power delivery, no negotiation, just 12V straight to VBUS
You surely wouldn't regret having a USB-C plug with 12V on VBUS around.
No power delivery, no negotiation, just 12V straight to VBUS
You surely wouldn't regret having a USB-C plug with 12V on VBUS around.
0
37
0
0
Open post
derf
@derf@social.skyshaper.org
Arranging the line noise, despite everything else.
social.skyshaper.org
Proposal: looting and leveling with hyperscaler data centres.
(loot all CPUs, GPUs, SSDs / HDDs, and RAM chips they're hoarding, then make them level with the surrounding ground so something better can be built instead)
(loot all CPUs, GPUs, SSDs / HDDs, and RAM chips they're hoarding, then make them level with the surrounding ground so something better can be built instead)
0
6
0
0