I'm starting a category theory without context (credit: ) art gallery thread
First entry: tonight's diagram chasing
A classic
Surgery on dependent lenses

• • •

Missing some Tweet in this thread? You can try to force a refresh
 

Keep Current with matteo, the cube master

matteo, the cube master Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @mattecapu

23 Nov
If you didn't get it, the bottom line (or at least *my* bottom line) is semicolon-y coding is obsolete.

We should write code with string diagrams!

It's not about *visual programming*, it's about making concurrency trivial to see and reason about.
Also, don't get me wrong, I don't want everything to be a string you plug around. I want string diagrams to be a way to organize code in a file, not as the only programming facility. That's hell.
In particular, 'stringy' coding should be added *on top* of semicolony coding, like writing code in separate files became a standard programming facility/practice.

I want to write code in interacting, separate columns.
Read 4 tweets
23 Nov
"We're busy teaching you to program in a programming language that has semicolons all over the place. What that means is that it is not at all obvious how to split those tasks up into things which can be done simultaneously on different cores,... 1/5
Because your program structure says 'first do this and then, maybe, using the results of that, do something else'. And you have no choice but to wait for the first thing to finish before you start the second thing, and... 2/5
...in the context of what's happening to processors this is a *disaster*!
We are teaching you to program with a technology which was great last century, but something's gotta give if you're going to be able to survive in programming this century! 3/5
Read 7 tweets
21 Oct 19
Introducing the Pirahã people:
en.wikipedia.org/wiki/Pirah%C3%…
They are a small (800ish) culture leaving in the Amazon forest. Them alone suffice to challenge a lot of our assumptions about human nature. Follow me.

(1/n)
They have one of the most interesting culture: very self-sufficient (they call themselves 'the straight ones' and show no major interest in 'developing' themselves), incredibly adapted to their environment. This both reflects and is reflected in their unique language.

(2/n)
Pirahã is indeed unique, as it is the only remaining dialect of the now-defunct Mura lang. Pirahã has no more than 13 distinct phonemes (English has 25ish). This phonetical simplicity allows them to sing/whistle their language, very useful if you hunt in group in a forest!

(3/n)
Read 16 tweets

Did Thread Reader help you today?

Support us! We are indie developers!


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

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

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

Donate via Paypal

Thank you for your support!

Follow Us on Twitter!

:(