Pinned toot

"Computers are rocks we tricked into thinking" is entirely incorrect. Computers are rocks we tricked ourselves into believing they could think

Pinned toot

It is with great regret that I announce that I'm thinking about W types and eliminators again

idk about you but that doesn't look like a lognormal distribution to me

Show thread

I'm done but instead of doing the actual work with the data I've collected I'm going to visualize it in graphs with Racket :racket:

Show thread

I helped a student step through foldr and foldl and understand how partial application works and I'm like wow... It might turn out that I'm a useful member of society after all... Who knew I could be helpful...

Nowadays logos are all flat colour sans serif letters. Boring and uninteresting

Show thread

Perl's logo actually looks pretty cool
It's like a stamp

Show thread

Networks, machine learning, AI, graphics, distributed computing...

Show thread

Thinking about how there's entire branches of computer science I know nothing of

lmao someone sent [a, c, a, b] in the Zoom chat for the Haskell course

I know I should write my filesystem script in Python because it's the standard and looking up related tools always yields Python results. But then I'm like "but I could write it in Racket"

re: POPL 2021 livetooting 

The problem is that the core of type theory is the function, and in set theory those are... sets
It's all sets

Show thread

POPL 2021 livetooting 

I guess I never made a proper thread for this
Just hopped in halfway to something that sounded like type theory but looked like set theory
No idea what that was about. But I'm wondering if you could define a type theory whose axioms are all set theory ones

Fine. I will write a named function and return it instead of implementing a Y combinator

Show thread

Back on my nonsense again (trying to write an anonymous recursive function in Scala)

Show older
types.pl

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