Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @blockspins
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @blockspins
-
Pinned Tweet
Ooh, this is so cool, part of my PhD was on the topology of liquid crystal textures like these! The LC's in this movie are in the "cholesteric nematic" phase: the molecules are rod-shaped and like to line up with each other with a "twist", wiki: https://en.wikipedia.org/wiki/Cholesteric_liquid_crystal … 1/nhttps://twitter.com/vancew/status/1087870532911955968 …
0:25Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
この機構のある1つの点はアステロイドを描いています アステロイドの媒介変数表示は x=cos(θ)^3 y=sin(θ)^3 これでなんとなく仕組みがわかった方もいらっしゃるかもpic.twitter.com/tH2Hjpcw1l
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
This looks awesome! Congrats to Yujie and Vincenzo; hoping I'll have time to dig into this soon...https://twitter.com/nature/status/1221420278154252288 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Research in Nature shows that metmaterials made from LEGO that exploit a self-dual concept have emergent properties that are not predicted by standard symmetry analysis. https://go.nature.com/37mEAES pic.twitter.com/0vb096GYBy
Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
henry wente: geometer & teacher. he left this world today: 20-jan-2020. he's the reason i'm a mathematician.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
New post: Programming and Interactive Proving With Z3Py http://www.philipzucker.com/programming-and-interactive-proving-with-z3py/ …
#z3Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
In our data-driven world, the claim that we don’t have a good way to study something quantitatively may sound shocking. The reality even worse — in many cases we don’t even have the vocabulary to ask meaningful quantitative *questions* about complex socio-technical systems.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Sooo ... yesterday I claimed that circle inversion transforms any source material into something more beautiful. I might have been wrong about that.pic.twitter.com/M9WxUWIHqw
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
For the new paper, we’ve posted 3D scans of fins and individual bones of Tiktaalik, Sauripterus and others. All freely available! All suitable for 3D printing and research! Enjoy.https://sketchfab.com/tomstewartscience/collections/fin-ray-patterns-at-the-fin-to-limb-transition …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Some generated snow crystals from
#pix2pixHD GAN, based on Wilson Bentley's classic photos. Training is still in progress, slowly slowly. More to come soon!pic.twitter.com/Ylf0H2NeNj
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
here are some (pretty) parametric surfaces that i plotted todaypic.twitter.com/Hcvieindau
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
How do you chop up a tetrahedron into nicely-shaped little cubes? Here's one way, obtained a la symmetric moving frames (http://www.cs.cmu.edu/~kmcrane/Projects/SymmetricMovingFrames/index.html …). How else can you do it?pic.twitter.com/Cx3WyjYTJm
Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Take a regular tetrahedron of sidelength 1 and on each of its 4 faces, build (externally) a regular tetrahedron sharing that face. The centers of symmetry of these 4 new tetrahedra form another regular tetrahedron. What is its sidelength?pic.twitter.com/FF6XUO22c3
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
bgc Retweeted

As a driving beginner, I couldn't figure out how to properly park my car in a tight new parking spot. But as a proud geek, I knew just the thing that would help — a mathematical model with an @observablehq visualization!https://observablehq.com/@mourner/kinematics-of-reverse-angle-parking …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Meet the Hawaiian mapping torus - the mapping torus of the shift map. First singular homology is infinite cyclic generated by inner loop. Can you find the non-trivial elements of H_2? If you look at the image, it might feel H_2 is trivial since there is no "enclosed space!"pic.twitter.com/Vk39my2UrW
Thanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
Today,
@theintercept published an exposé by Rodrigo Ochigame (a PhD candidate at MIT) on the invention of "ethical AI" by big tech. https://theintercept.com/2019/12/20/mit-ethical-ai-artificial-intelligence/ … Here's why I think it's important to read this piece and share it widely. 1/Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.pic.twitter.com/KpB0raTFus
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
bgc Retweeted
People are getting better at using
#leanprover with@observablehq . I'm trying to round up some of the examples of things people like Bryan Gin-ge Chen and Kevin Kappelmann have done over the last few months.https://twitter.com/blockspins/status/1155899279690670082 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.