Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ AI-assisted proof of optimal packing for 11 squares(github.com)
21 points by bluepeter an hour ago | 12 comments
▲yzydserd 2 minutes ago | parent | next [-]

fwiw The prime site for square in square packing is at https://kingbird.myphotos.cc/packing/squares_in_squares.html

The triangular view is most interesting. And a 20 minute video on this view is at https://youtu.be/uL5wuiy34rs

▲agnishom an hour ago | parent | prev | next [-]

The readme has no figures :( describing the packing?

▲fredsted 40 minutes ago | parent | next [-]

There's a cool figure here: https://x.com/ojoshe/status/2107590622005924265

▲wackget 14 minutes ago | parent [-]

Any mirrors which don't require giving clicks to neo-Twitter, please?

▲schiffern 7 minutes ago | parent [-]

https://kingbird.myphotos.cc/packing/squares_in_squares.html

For more packings (circles in circles, etc) check out this page: https://erich-friedman.github.io/packing/index.html

▲tantalor 36 minutes ago | parent | prev | next [-]

Pics or it didn't happen

▲vessenes an hour ago | parent | prev [-]

I had the same thought! Pics please.

▲jo-han an hour ago | parent [-]

<https://en.wikipedia.org/wiki/File:Packing_11_unit_squares_i...> from https://en.wikipedia.org/wiki/Square_packing

▲WithinReason 31 minutes ago | parent | prev | next [-]

A list of many square packings, with images:

https://jlevy.github.io/squares/

▲aunty_helen 19 minutes ago | parent [-]

I like geometry. These packings show there are ugly numbers, like 51.

▲mlmonkey 31 minutes ago | parent | prev | next [-]

Lot more pics here: https://jlevy.github.io/squares/

▲coppercrisp62 an hour ago | parent | prev [-]

Did an interval-arithmetic branch and bound once, getting the rounding modes right took me weeks.