Profile avatar
cfi.bsky.social
Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️‍🌈
38 posts 102 followers 49 following
Regular Contributor
Active Commenter
Posts 12 Comments 26

Webular Expressions by Cisco

submitted 84 days ago • 0 comments

@adamneely.bsky.social Heard the opening to this and thought it might pique your interest as a lover of Making 4/4 Hard youtu.be/EGcqyN-TeDc

submitted 126 days ago • 0 comments

submitted 131 days ago • 0 comments

Free startup idea: Put a convincing Perplexus simulation into the Vision Pro app store and charge me $20 for it immediately

submitted 133 days ago • 0 comments

Grindr should acquire Niantic send skeet

submitted 141 days ago • 1 comment

Poking back in time to the history of types, and am interested to discover it took Russell quite a few tries to get a system of types going, and the systems he stood up bear a resemblance to the modern interpretation of the concept.

submitted 155 days ago • 2 comments

“Imagine this, if you will, as a program”

submitted 156 days ago • 0 comments

And garlic chive dumplings, fried crispy on the bottom

submitted 162 days ago • 0 comments

叉烧包!

submitted 162 days ago • 0 comments

Through Bach I learned to finger like an organist Through Beethoven I learned to bring out musical form and structure Through Chopin I am learning you need to use all your damned fingers at once as fast as possible what do you mean play the “thirds” etude with a 4-5/1-3 crossover you mad bastard

submitted 169 days ago • 1 comment

Been learning some Chopin etudes, and through the pain I actually do feel like I’m learning new things as a pianist!

submitted 169 days ago • 0 comments

Soup or Stew?

submitted 582 days ago • 0 comments