I'm gonna start here first:
lean-lang.org/functional_p...
Genderative AI
@quephird.bsky.social
1084 Followers
290 Following
(def me (atom {🏳️⚧️ :trans ⌨️ :code 🧮 :math 🌷 :plants 👗 :fashion 🎮 :games 🎨 :art 🖌:poetry 📸 :photos 🎧 :edm 🧱 :lego 💅 :polish 👟 :runner 🍳 :food}))
-
-
I have a made an important decision: since I haven't been able to make progress on any of my existing projects, and I can't think of anything new to work on that I feel capable of doing, I'm gonna learn some Lean...
-
Is this a shmup of sorts?
-
🫂🫂🫂
-
OMFG SAME 💛
-
#TOTD Genesis - The Musical Box (Live @ De Montfort Hall, Leicester on 25 February 1973)
www.youtube.com/watch?v=qJHQ...
Musical Box (Live)
YouTube video by Genesis - Topic
-
I feel this hard...
If I can't be my own/I'd feel better dead is how i felt before transition
-
I'm so sick of people like him
ಠಠ_ಠ_ಠ__ಠ_ಠ_ಠಠ
-
I think... I think I'm "cat on keyboard"
-
💛💛💛
