Sebastian Ullrich
@kha.functional.cafe.ap.brid.gy
makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
"Whoa he even defined a class... oh, it has instance methods but no fields"
November 2, 2025 at 5:33 PM
"Whoa he even defined a class... oh, it has instance methods but no fields"
With a Settlers cameo even
October 17, 2025 at 5:56 PM
With a Settlers cameo even
@andrejbauer I didn't think an actual nightmare-inducing toot could exist
September 15, 2025 at 5:05 PM
@andrejbauer I didn't think an actual nightmare-inducing toot could exist
Oh, I guess I'm typing this from inside the UK but that notwithstanding, ...
August 11, 2025 at 11:43 AM
Oh, I guess I'm typing this from inside the UK but that notwithstanding, ...
Without meaning to, I guess this only worked out because I categorized staying for a single event as "visited". I can think of only one country I visited but didn't stay the night: the Vatican
August 10, 2025 at 3:24 PM
Without meaning to, I guess this only worked out because I categorized staying for a single event as "visited". I can think of only one country I visited but didn't stay the night: the Vatican