J jlevy.github.io Show HN: A New Lower Bound on the Square Packing Problem 2 points zalzal 1 month ago 1 comments