Profile picture
Steven Krouse @stevekrouse
, 7 tweets, 1 min read Read on Twitter
1/7 If there’s more than one way to encode an idea (in fully reduced form), you’re not being abstract/specific enough. Your encoding is lossy.
2/7 For example, filtering out the even values from a list must be something like: filter list even. While/for/each loop bullshit are all too low level
3/7 The core of what an idea *is* must be singular, definitional, unambiguous.
4/7 Yet “two more than x” encodes to either 2+x or x+2. It bothers me that there isn’t a single canonical reprentation for this idea like there is for “one third of x”, x/3
5/7 I don’t want to have to keep commutativity in my head. I want a representationthat makes it clear when order of operands matter
6/7 Yet you still have to position operands adjacent in *some* configuration, which will of course be interchangeable so I don’t see a way around it
7/7 We are stuck saying 2+x, and by the way addition is commutative so it’s really a single idea {2+x,x+2}
Missing some Tweet in this thread?
You can try to force a refresh.

Like this thread? Get email updates or save it to PDF!

Subscribe to Steven Krouse
Profile picture

Get real-time email alerts when new unrolls are available from this author!

This content may be removed anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just three indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member and get exclusive features!

Premium member ($3.00/month or $30.00/year)

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!