Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @blockspins
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @blockspins
-
Prikvačeni 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:25Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
この機構のある1つの点はアステロイドを描いています アステロイドの媒介変数表示は x=cos(θ)^3 y=sin(θ)^3 これでなんとなく仕組みがわかった方もいらっしゃるかもpic.twitter.com/tH2Hjpcw1l
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This looks awesome! Congrats to Yujie and Vincenzo; hoping I'll have time to dig into this soon...https://twitter.com/nature/status/1221420278154252288 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
henry wente: geometer & teacher. he left this world today: 20-jan-2020. he's the reason i'm a mathematician.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
New post: Programming and Interactive Proving With Z3Py http://www.philipzucker.com/programming-and-interactive-proving-with-z3py/ …
#z3Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
here are some (pretty) parametric surfaces that i plotted todaypic.twitter.com/Hcvieindau
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
bgc proslijedio/la je Tweet

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 …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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/Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.pic.twitter.com/KpB0raTFus
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je Tweet
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 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
bgc proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.