| Tweets |
| bgc retweeted | ||
|
Jonathan Protzenko
@_protz_
|
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! blog.merigoux.ovh/en/2019/12/20/…
|
||
|
|
||
| bgc retweeted | ||
|
上木 敬士郎/Keishiro Ueki
@ChocoLinkage
|
Jan 30 |
|
この機構のある1つの点はアステロイドを描いています
アステロイドの媒介変数表示は
x=cos(θ)^3
y=sin(θ)^3
これでなんとなく仕組みがわかった方もいらっしゃるかも pic.twitter.com/tH2Hjpcw1l
|
||
|
|
||
|
bgc
@blockspins
|
Jan 30 |
|
This looks awesome! Congrats to Yujie and Vincenzo; hoping I'll have time to dig into this soon... twitter.com/nature/status/…
|
||
|
|
||
| bgc retweeted | ||
|
Nature
@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. go.nature.com/37mEAES pic.twitter.com/0vb096GYBy
|
||
|
|
||
| bgc retweeted | ||
|
ProfGhristMath
@robertghrist
|
Jan 20 |
|
henry wente: geometer & teacher.
he left this world today: 20-jan-2020.
he's the reason i'm a mathematician.
|
||
|
|
||
| bgc retweeted | ||
|
Philip Zucker
@SandMouth
|
Dec 22 |
|
New post: Programming and Interactive Proving With Z3Py philipzucker.com/programming-an… #z3
|
||
|
|
||
| bgc retweeted | ||
|
Arvind Narayanan
@random_walker
|
Dec 29 |
|
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.
|
||
|
|
||
| bgc retweeted | ||
|
Fabian Iwand
@mootari
|
Dec 30 |
|
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
|
||
|
|
||
| bgc retweeted | ||
|
Neil Shubin
@NeilShubin
|
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.
sketchfab.com/tomstewartscie…
|
||
|
|
||
| bgc retweeted | ||
|
William Ngan
@williamngan
|
Dec 19 |
|
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
|
||
|
|
||
| bgc retweeted | ||
|
tau
@_timhau
|
Dec 30 |
|
here are some (pretty) parametric surfaces that i plotted today pic.twitter.com/Hcvieindau
|
||
|
|
||
| bgc retweeted | ||
|
Keenan Crane
@keenanisalive
|
Dec 29 |
|
How do you chop up a tetrahedron into nicely-shaped little cubes? Here's one way, obtained a la symmetric moving frames (cs.cmu.edu/~kmcrane/Proje…). How else can you do it? pic.twitter.com/Cx3WyjYTJm
|
||
|
|
||
| bgc retweeted | ||
|
Mircea Petrache
@MirceaSci
|
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? pic.twitter.com/FF6XUO22c3
|
||
|
|
||
| bgc retweeted | ||
|
JessTheGeologist
@drrocktagon
|
Dec 27 |
|
|
||
|
|
||
| bgc retweeted | ||
|
Vladimir Agafonkin
@mourner
|
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 @observablehq visualization! observablehq.com/@mourner/kinem…
|
||
|
|
||
| bgc retweeted | ||
|
Jeremy Brazas
@jtbrazas
|
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!" pic.twitter.com/Vk39my2UrW
|
||
|
|
||
| bgc retweeted | ||
|
Katherine Ye
@hypotext
|
Dec 20 |
|
Today, @theintercept published an exposé by Rodrigo Ochigame (a PhD candidate at MIT) on the invention of "ethical AI" by big tech.
theintercept.com/2019/12/20/mit…
Here's why I think it's important to read this piece and share it widely. 1/
|
||
|
|
||
| bgc retweeted | ||
|
Noam Zeilberger
@noamzoam
|
Dec 17 |
|
In time for the holidays, an illustration of Rémy's algorithm for generating unbiased random binary trees. pic.twitter.com/KpB0raTFus
|
||
|
|
||
| bgc retweeted | ||
|
The Xena Project
@XenaProject
|
Dec 14 |
|
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. twitter.com/blockspins/sta…
|
||
|
|
||
| bgc retweeted | ||
|
上木 敬士郎/Keishiro Ueki
@ChocoLinkage
|
Nov 17 |
|
|
||