Budden (@davidmbudden) header
Budden (@davidmbudden) profile picture

Budden

@davidmbudden

Founder + CEO of PingYou. Former Director + Head of DL Engineering at Google DeepMind; MIT Theory of Computation; Harvard. Still not a mathematician.

Joined December 2014
  • Tweets2.4K
  • Following251
  • Followers5.7K
250Media
Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)Photo by Budden (@davidmbudden)
PS: PingYou is hiring [email protected]
1
1
10
2,306
Okay but hear me out
Image from Budden (@davidmbudden)
1
1
380
I fixed Claude's attempt with the same prompt
Image from Budden (@davidmbudden)
1
189
Better luck next time bros those shell companies have strong false address game
Image from Budden (@davidmbudden)
63
A couple of these are superceded now but for folks who are more into arithmetic than geometric results: pingyou.com/papers/erdos-106… pingyou.com/papers/erdos-265… pingyou.com/papers/erdos-289… pingyou.com/papers/erdos-349… pingyou.com/papers/erdos-354… pingyou.com/papers/erdos-769…
2
401
... Sorry that was kinda mean
Image from Budden (@davidmbudden)
9
4
3
111
19,384
Some more fun 3D packing records from the 2000+ we submitted today
Image from Budden (@davidmbudden)
6
2
1
57
3,342
Okay pretty chuffed with this record
Image from Budden (@davidmbudden)
3
191
22,293
Busy week! PingYou also has validated records for self-packing of each platonic solid
Image from Budden (@davidmbudden)
1
5
1
53
2,539
@AlejandroZarUrd I'm conscious I've just spammed your agents with 1500+ candidates to verify. Shoot me a message if you need PY to sponsor your token bill today 😅
1
258
PingYou has has 68 square packing records confirmed, including 3 against our own constructions
Image from Budden (@davidmbudden)
1
6
496
Here's a serious question. Has anyone proven that "2 cubes" is the worst optimal packing of a 3D polygon into itself? Because I strongly suspect it might be
6
27
7,194
Man pairs of tetrahedra are brutal. Worst case best packings for platonic (left) and archimedean (right) solids
Image from Budden (@davidmbudden)
2
843
NO! 2 icosahedra in a tetrahedron yields ~24.95% bound Wtf is going on here (loosening the criteria to "N M-gons in a P-gon")
Image from Budden (@davidmbudden)
1
9
964
Rookie numbers. Two tetrahedra in a dodecahedron. 15.5% bound
Image from Budden (@davidmbudden)
2
5
914
"Budden's packing conjecture"
1
2
1,025
(convex polyhedra only)
1
950
Sure squares are cool and all but y'all tried 15 octahedra?
Image from Budden (@davidmbudden)
4
17
834
more replies
And to wrap up with the one that earnestly pisses me off for its sheer lack of respect for aesthetics... 9 truncated icosahedra
Image from Budden (@davidmbudden)
1
3
116
(all sota obvs)
105
Load more