Pinned toot

This message was sent from a non-IU address. Please exercise caution when clicking links or opening attachments from external sources.

Pinned toot
Pinned toot

reposting this from old account so I can pin it

Pinned toot

welcome to PL mastodon we have
- nobody

hazel :ms_asleep: boosted
hazel :ms_asleep: boosted

If it's not well-founded, then I can't do induction, because it'll recur forever downards, defeating the whole purpose of induction on ordinals... drats

Show thread
hazel :ms_asleep: boosted

downsides of writing tests for a library that produces pictures: comparing pictures is really hard, and automating their comparison is confusing

upsides of writing tests for a library that produces pictures: jackson pollock

if we're being pedantic, straight lines don't exist in nature, or at all, anywhere

hazel :ms_asleep: boosted

normal person: hey whats up
me, philosopher: what is "up"

(no seriously, the suckless people are nazis, they did a torch march, stop using their stuff for the love of god)

Show thread

suckless: using extremely bad software with memory leaks and garbage code to Own The Libs

hazel :ms_asleep: boosted

types of computers startups 

- "our primary product is a website"

- "our primary product is a website (electron)"

- "i read your front page and i still have no idea what you actually do"

- "i talked to one of your marketers for 20 minutes and i still have no idea what you actually do"

- business model: existing popular startup's business model but focused on an area where it doesn't make sense

- business model: enter a space that regulation hasn't caught up to yet (most of the ones involving computers) and then just do blatantly evil shit that is not yet illegal

- commercialization of a concept developed in the 60s

- commercialization of a 20 year old open source project

hazel :ms_asleep: boosted

@hazel Russell's sophomore paradox: the set of all grades that do not count towards themselves

hazel :ms_asleep: boosted
hazel :ms_asleep: boosted

:geordi_dislike: string theory
:geordi_like: everything in the universe is a cons cell

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.