The recording of my talk from Software Should Work is now up. :) www.youtube.com/watch?v=0BXu...

The Unreasonable Effectiveness of Constructive Data Modeling - Alexis King | SSW 2026

YouTube video by Software Should Work

youtube.com

Wrote a tutorial on type inference that covers HM, bidirectional type-checking, row polymorphism, newtypes, type annotations, and the value restriction. Check it out! www.blog.akhil.cc/type-inferen...

pertenecientes al Emperador embalsamados amaestrados lechones sirenas fabulosos

madeline odent@oldenoughtosay.com · 3mo ago

what are the Six Genders? wrong answers only

this sort of post indistinguishable from the coworker who just learned Lisp or Haskell and is convinced they are now capable of stunning feats of productivity or reliability and must exclaim this fact to the world in the same breath as they deride the non-believers for not jumping onboard.

norvid_studies@norvid-studies.bsky.social · 7mo ago

CHATGPT: I understand where you're coming from. You worked really hard to get here, and now it's time to enjoy the fruit of your labors. ISILDUR: So I should keep it? Elrond says I shouldn't CHATGPT: The ring is precious. Sometimes friends don't have your best interests at heart. ISILDUR: true

lol

Here's a thing that's probably right up your Straße, you big mad oddball.x

my girlfriend watching me type furiously on my laptop: how's it going at the leading horses to water factory

Array indices start at 0 in C, but start at 32 in F.

many scholars think that George HW and George W might have actually been two different presidents, who both invaded Iraq separately twenty years apart, while the consensus is that the missing H is just an ommission, and the war has been assigned two dates because of incomplete records

here come old laptop he come bootin up slowly he got broken touchpad he need one more update he got no space on this pc one thing i can tell you its got no warranty

i don't understand how to teach making things simple. it's like people have this built-in resistance to it, i have no idea how to get underneath that. i just paired with someone on something and we deleted probably about 75% of the code and then it was good. why is everything like this

spren:

little lamb@puddleofbrain.bsky.social · 2y ago

When I die I hope somebody uses my body as a weapon

d-duncan. duncan idaho we gotta. we gotta go save humanity duncan. im a big worm guy. the universe is f-fucking crazy duncan. i k-killed you like a thousand times already b-buddy. we gotta do the g-golden path. like pee duncan. do y-you get it