thinking of getting into crocheting hyperbolic planes
it’s probably a great way to develop intuition for the weirdness of hyperbolic geometry, feeling the way the surface needs to fold in on itself to push all its internal connections out into 3D space
“As illustrated in the book, there is actually negative curvature and hyperbolic geometry all around us, but people generally see it without seeing it. You will develop an entirely new understanding by actually following the simple instructions and crocheting!“

SO COOL

• • •

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

Keep Current with Meekaale Brockman

Meekaale Brockman 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 @meekaale

31 Oct
Christopher Alexander’s “fifteen properties” of lifelike beautiful geometry is so extremely relevant to my current research of trying to understand why typical computer-generated “mind maps” feel too slick, skeletal, soulless to really do justice to minds
I think you can simply go through the properties and ask if each one is present in a typical tree-structured "mind map” like this one. Image
“Levels of Scale,” yes, although not as vibrant as in nature. Image
Read 20 tweets
28 Jun
"Proofs are programs" as in Curry-Howard seems to mostly make sense if you think of programs as having an input and an output like "A to B" which in logic corresponds to having one premise and one goal conclusion
But it might also make sense to think of programs as proof assistants that are open-ended so the user is playing around with rules and resources without aiming for one particular conclusion
Of course you can model this with co-functions and keep the Curry-Howard equivalence, but somehow this seems to be related to a divide in programming culture between interactive dynamic systems and static determinate functions
Read 9 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 Become our Patreon

Thank you for your support!

Follow Us on Twitter!