felix91gr.bsky.social
Jack of all trades. Colors are frickin' amazing.
👤 Joined on 23 October 2024
Followers
Following
Total Posts
@felix91gr.bsky.socialNot Found
firen10.bsky.social
Not Found
Not Found
Not Found
Not Found
kevin-gallant.bsky.social
ds-wen.bsky.social
smallrun.bsky.social
art.camilleroux.com
trashedcoast.bsky.social
attie.ai
chaosgreml.in
Not Found
Not Found
plumenator.bsky.social
Not Found
tabymeow.afrolatinsky.app
jumpyjellybeanbathbombs.com
Not Found
Not Found
acairns.co.uk
winemommystery.bsky.social
Not Found
garchanjo.com
I was asking myself the same thing a few months ago, which naturally led to the followup question: what would be a fun way to learn Lean? And that led me to this wonderful little collection adam.math.hhu.de
Show Postthanks! yeah I found the natural number game yesterday. played the first few tutorial levels, enjoyed it
Show PostThe little red maiden calls out in challenge! (unfortunately, her voice was too soft, and no one heard her.) #art #morriarty #silksong
Show Posti disagree with this on the grounds that cuckoldry is morally good and ethical
Show PostPonko is upset that mother (I) wants to work instead of only paying attention to her and give her lots of treats
Show Post