Tweets

You blocked @blockspins

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @blockspins

  1. Pinned Tweet
    22 Jan 2019

    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: 1/n

    Show this thread
    Undo
  2. Retweeted
    Jan 31

    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!

    Show this thread
    Undo
  3. Retweeted

    この機構のある1つの点はアステロイドを描いています アステロイドの媒介変数表示は x=cos(θ)^3 y=sin(θ)^3 これでなんとなく仕組みがわかった方もいらっしゃるかも

    Show this thread
    Undo
  4. Jan 30

    This looks awesome! Congrats to Yujie and Vincenzo; hoping I'll have time to dig into this soon...

    Undo
  5. Retweeted
    Jan 26

    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.

    Undo
  6. Retweeted
    Jan 20

    henry wente: geometer & teacher. he left this world today: 20-jan-2020. he's the reason i'm a mathematician.

    Show this thread
    Undo
  7. Retweeted
    22 Dec 2019

    New post: Programming and Interactive Proving With Z3Py

    Undo
  8. 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 thread
    Undo
  9. Retweeted
    30 Dec 2019

    Sooo ... yesterday I claimed that circle inversion transforms any source material into something more beautiful. I might have been wrong about that.

    Show this thread
    Undo
  10. Retweeted
    30 Dec 2019

    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.

    Undo
  11. Retweeted
    19 Dec 2019

    Some generated snow crystals from GAN, based on Wilson Bentley's classic photos. Training is still in progress, slowly slowly. More to come soon!

    Show this thread
    Undo
  12. Retweeted
    30 Dec 2019

    here are some (pretty) parametric surfaces that i plotted today

    Show this thread
    Undo
  13. Retweeted
    29 Dec 2019

    How do you chop up a tetrahedron into nicely-shaped little cubes? Here's one way, obtained a la symmetric moving frames (). How else can you do it?

    Undo
  14. Retweeted
    27 Dec 2019

    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?

    Show this thread
    Undo
  15. Retweeted
    27 Dec 2019
    Undo
  16. Retweeted
    27 Dec 2019

    🚗🅿️ 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 visualization!

    Show this thread
    Undo
  17. Retweeted
    20 Dec 2019

    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!"

    Undo
  18. Retweeted
    20 Dec 2019

    Today, published an exposé by Rodrigo Ochigame (a PhD candidate at MIT) on the invention of "ethical AI" by big tech. Here's why I think it's important to read this piece and share it widely. 1/

    Show this thread
    Undo
  19. Retweeted
    17 Dec 2019

    In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.

    Show this thread
    Undo
  20. Retweeted
    14 Dec 2019

    People are getting better at using with . 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.

    Undo
  21. Retweeted
    Undo

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.

    You may also like

    ·