Show newer
hazel :ms_asleep: boosted

@hazel an excellent programmer knows not to touch a computer

hazel :ms_asleep: boosted

@hazel a great programmer chooses the right language

this is very much a joke but I am also currently jaded over the code that I just wrote

Show thread

"a good programmer can write readable code in any language"

yeah but sometimes good programmers don't want to take the effort to transliterate 7 lines of Haskell into a monstrosity of Java

hazel :ms_asleep: boosted

Before you stand two trolleys, one never lies and the other contains a goat. Maxwell's demon asks if you'd like to switch trolleys

hazel :ms_asleep: boosted

misinfo 

when a kid keeps asking "why's that" and every time you answer they just ask why on the answer, and this goes on forever

that's what we like to call... a "why" combinator

hazel :ms_asleep: boosted

RWST is just the "turn Haskell into Python" monad

everyone talks about sigma males but nobody talks about pi males, or proving things about males with path induction

in a week i have to change "first-year" to "second-year" and that terrifies me

hazel :ms_asleep: boosted

People talk about "denotional semantics" and "logical semantics" but all I know are big steppy and small steppy

hazel :ms_asleep: boosted

toki pona children's book of animal noises 

soweli li mu
soweli li mu
soweli li mu
soweli li mu
akesi li mu pi akesi
soweli li mu

Show older

hazel :ms_asleep:'s choices:

types.pl

A Mastodon instance for users who like the study of programming languages, formal semantics, types, or linguistics.