Twitter | Search | |
bgc
readin and writin
1,535
Tweets
336
Following
266
Followers
Tweets
bgc retweeted
Jonathan Protzenko 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!
Reply Retweet Like
bgc retweeted
上木 敬士郎/Keishiro Ueki Jan 30
Replying to @ChocoLinkage
この機構のある1つの点はアステロイドを描いています アステロイドの媒介変数表示は x=cos(θ)^3 y=sin(θ)^3 これでなんとなく仕組みがわかった方もいらっしゃるかも
Reply Retweet Like
bgc Jan 30
This looks awesome! Congrats to Yujie and Vincenzo; hoping I'll have time to dig into this soon...
Reply Retweet Like
bgc retweeted
Nature 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.
Reply Retweet Like
bgc retweeted
ProfGhristMath Jan 20
henry wente: geometer & teacher. he left this world today: 20-jan-2020. he's the reason i'm a mathematician.
Reply Retweet Like
bgc retweeted
Philip Zucker Dec 22
New post: Programming and Interactive Proving With Z3Py
Reply Retweet Like
bgc retweeted
Arvind Narayanan Dec 29
Replying to @random_walker
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.
Reply Retweet Like
bgc retweeted
Fabian Iwand Dec 30
Sooo ... yesterday I claimed that circle inversion transforms any source material into something more beautiful. I might have been wrong about that.
Reply Retweet Like
bgc retweeted
Neil Shubin Dec 30
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.
Reply Retweet Like
bgc retweeted
William Ngan Dec 19
Some generated snow crystals from GAN, based on Wilson Bentley's classic photos. Training is still in progress, slowly slowly. More to come soon!
Reply Retweet Like
bgc retweeted
tau Dec 30
here are some (pretty) parametric surfaces that i plotted today
Reply Retweet Like
bgc retweeted
Keenan Crane Dec 29
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?
Reply Retweet Like
bgc retweeted
Mircea Petrache Dec 27
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?
Reply Retweet Like
bgc retweeted
JessTheGeologist Dec 27
Reply Retweet Like
bgc retweeted
Vladimir Agafonkin Dec 27
🚗🅿️ 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!
Reply Retweet Like
bgc retweeted
Jeremy Brazas Dec 20
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!"
Reply Retweet Like
bgc retweeted
Katherine Ye Dec 20
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/
Reply Retweet Like
bgc retweeted
Noam Zeilberger Dec 17
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees.
Reply Retweet Like
bgc retweeted
The Xena Project Dec 14
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.
Reply Retweet Like
bgc retweeted
上木 敬士郎/Keishiro Ueki Nov 17
Reply Retweet Like