Show newer

people? using my code? not likely, and not recommended

Show thread

had a dream (nightmare) that someone opened a github issue. on my code

hazel :ms_asleep: boosted

huh, gdm actually gives me error messages related to my yubikey now

that's nice

hazel :ms_asleep: boosted
hazel :ms_asleep: boosted

[this one shows up a lot in my code and every time I see it I have to mentally balance the parentheses]

Show thread

post Racket code snippets that look like syntax errors but they're not

I'll start:
(vector ((gr-x-conv) x) ((gr-y-conv) y))

hazel :ms_asleep: boosted

the initial push for the internet came from the state and from academia. but the market innovated such now-ubiquitous features as 'every page taking forever to load' and 'half of it going down for no reason'

hazel :ms_asleep: boosted

'the cloud' is basically just a pyramid scheme for data

hazel :ms_asleep: boosted

Cat is the category of small categories.

CAT

is the category of large categories

I think that we should rename large categories to lategories

hazel :ms_asleep: boosted

I think instead of humourous paper titles that obscure their purpose, we should do papers with very clear and straightforward titles but their acronyms spell something funny

hazel :ms_asleep: boosted

It's too late now, but they should've named sized types something different

Show thread
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.