RT @HECKSCAPER@twitter.com

@chordbug@twitter.com yeah no i'm gonna just have to do this

πŸ¦πŸ”—: twitter.com/HECKSCAPER/status/

RT @keenanisalive@twitter.com

How do you chop up a shape into nice little cubes? In a new paper we study this problem using a beautiful tool from differential geometry called "Cartan's moving frames," showing how it can be applied to symmetric 3D cross fields (with Etienne Corman): cs.cmu.edu/~kmcrane/Projects/S

πŸ¦πŸ”—: twitter.com/keenanisalive/stat

RT @Terrorbuns@twitter.com

this is the funniest bug i'll ever have in a game I've made

πŸ¦πŸ”—: twitter.com/Terrorbuns/status/

RT @matt_dz@twitter.com

Semantic Program Alignment for Equivalence Checking
Paper: berkeleychurchill.com/research
Source code: github.com/bchurchill/pldi19-e
Programming Language Design and Implementation (@PLDI@twitter.com) 2019
Berkeley Churchill, Oded Padon, Rahul Sharma, Alex Aiken

πŸ¦πŸ”—: twitter.com/matt_dz/status/112

RT @letkma@twitter.com

cashing in on that trend of those 'satisfying' animations you see everywhere

πŸ¦πŸ”—: twitter.com/letkma/status/1123

RT @yokoyoko468b@twitter.com


πŸ¦πŸ”—: twitter.com/yokoyoko468b/statu

remember when I was pondering an SMT based C parser that could find errors across preprocessor flags? well, I started prototyping…


RT @Morusque@twitter.com

grattoir Γ  chat avec dΓ©tection de grattage qui diffuse des sons de harpe lorsque le chat en joue

πŸ¦πŸ”—: twitter.com/Morusque/status/11

RT @McMacMacray@twitter.com

My first full creation in . I was actually able to do this as my 3D Design class final. I'm very happy with it.

πŸ¦πŸ”—: twitter.com/McMacMacray/status

Show more

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!