Robert Widmann
cfi.bsky.social
Robert Widmann
@cfi.bsky.social
Desktop developer. Programming language enthusiast. reenignE. Aspiring Type Theorist. λΠω Lover. Math@CMU 2019. Swift@Apple. 🏳️‍🌈
Shame on you @microsoftteams.bsky.social for requiring scanning for devices on the local network. You do not need this capability, and the fact that you cripple your app and eject people from calls if they turn it off is idiotic. Say no to your marketing and product people for once.
November 3, 2025 at 2:44 PM
since NYT games has revealed people like constraint solving, i figured i'd pitch them a struct packing game

it'll just cost them a copy of libclang - a measly half a gigabyte of text
October 19, 2025 at 7:36 PM
Enforce In-order Execution of I/O - Wikipedia
en.wikipedia.org
May 20, 2025 at 7:30 PM
Webular Expressions by Cisco
February 17, 2025 at 10:27 PM
@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
U.K. - The Only Thing She Needs
YouTube video by Flesh Wound
youtu.be
January 7, 2025 at 12:24 AM
January 1, 2025 at 10:35 PM
Free startup idea: Put a convincing Perplexus simulation into the Vision Pro app store and charge me $20 for it immediately
December 31, 2024 at 11:09 AM
Grindr should acquire Niantic send skeet
December 23, 2024 at 4:00 AM
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.
December 9, 2024 at 6:45 AM
“Imagine this, if you will, as a program”
December 7, 2024 at 10:57 PM
And garlic chive dumplings, fried crispy on the bottom
December 2, 2024 at 3:48 AM
叉烧包!
December 1, 2024 at 11:21 PM
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
November 25, 2024 at 1:49 AM
Been learning some Chopin etudes, and through the pain I actually do feel like I’m learning new things as a pianist!
November 25, 2024 at 1:47 AM
Soup or Stew?
October 9, 2023 at 1:30 AM