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