IdeaWell

Project ideas from Hacker News discussions.

AI-assisted proof of optimal packing for 11 squares

Original Article

Hacker News Discussion

📝 Discussion Summary (Click to expand)

Theme 1 – Desire for visual illustrations
Many participants complained that the README lacked pictures and asked for figures to make the packings understandable.
- “The readme has no figures :( describing the packing?” – agnishom
- “I had the same thought! Pics please.” – vessenes
- “Pics or it didn’t happen.” – tantalor
- “Lot more pics here: https://jlevy.github.io/squares/” – mlmonkey

Theme 2 – Technical difficulty of proving optimality
Commenters highlighted the effort required to obtain rigorous proofs, mentioning interval‑arithmetic branch‑and‑bound, formal verification, and the inherent hardness of packing problems.
- “Did an interval‑arithmetic branch and bound once, getting the rounding modes right took me weeks.” – coppercrisp62
- “So this is a proof that the Walter Trump packing is the optimal packing?” – derektank
- “Wow, I never would have imagined one could prove optimality for that accursed beautiful thing.” – kevinwang

Theme 3 – Intuition behind messy, non‑trivial optimal packings
Several users expressed puzzlement over why certain numbers (e.g., 51, 83, 87) lead to irregular, “ugly” optimal arrangements rather than simple aligned stacks, and questioned whether current best solutions are truly optimal.
- “It’s unintuitive that a messy configuration of squares can be more optimal than neatly arranging them aligned … How does one explain the messy cases??” – brabel
- “Because the outer perimeter must be a square. 83 and 87 could shrink the outer perimeter in one dimension, but not in both at the same time.” – entropicdrifter
- “It is possible they can; it’s not yet proven that the listed packings for 83 and 87 are optimal.” – sheept
- “I like geometry. These packings show there are ugly numbers, like 51.” – aunty_helen

🚀 Project Ideas

PackViz: Interactive Square Packing Explorer

Summary

  • A web‑based interactive visualizer that lets users view, rotate, zoom, and download high‑quality SVG/Canvas renderings of known square‑in‑square packings for any n, with overlays showing gaps and optimal side lengths.
  • Core value: eliminates the frustration of missing figures in READMEs and gives an immediate, intuitive grasp of both neat and “messy” optimal configurations.

Details

Key Value
Target Audience Researchers, educators, and hobbyists interested in geometric packing problems
Core Feature Interactive packing viewer with searchable n, side‑length display, gap highlighting, and export options
Tech Stack React (Vite), TypeScript, D3.js for SVG manipulation, TailwindCSS for UI
Difficulty Medium
Monetization Hobby

Notes

  • “The readme has no figures :( describing the packing?” – agnishom; “Pics please.” – vessenes; “Pics or it didn’t happen” – tantalor
  • Provides a single, click‑free destination for visualizing packings, reducing reliance on scattered Twitter/X links and encouraging discussion about why certain configurations appear messy.

PackMirror: Curated, Twitter‑Free Archive of Packing Resources

Summary

  • A static‑site mirror that hosts images, videos, PDFs, and HTML pages of square‑in‑square (and related) packing results sourced from Wikipedia, personal sites, and academic pages, all accessible without requiring clicks to Twitter/X.
  • Core value: gives users reliable, fast access to packing visualizations while respecting their preference to avoid neo‑Twitter traffic.

Details

Key Value
Target Audience Anyone seeking packing diagrams or videos who wants to avoid social‑media links
Core Feature Searchable, categorized library of packing assets with direct download links and provenance metadata
Tech Stack Hugo static site generator, Netlify (or Vercel) for hosting, Algolia‑lite search (client‑side)
Difficulty Low
Monetization Hobby

Notes

  • “Any mirrors which don't require giving clicks to neo‑Twitter, please?” – wackget
  • “For more packings (circles in circles, etc) check out this page: https://erich-friedman.github.io/packing/index.html” – schiffern; the archive would aggregate such links in one place, fostering easier cross‑reference and community discussion.

PackProof: Collaborative Notebook for Interval‑Arithmetic Verification of Packing Optimality

Summary

  • An online Jupyter‑style notebook environment pre‑loaded with interval arithmetic libraries and packing‑specific templates, enabling users to reproduce, tweak, and verify proofs of optimality (e.g., Walter Trump’s 11‑square packing) or explore new configurations.
  • Core value: lowers the barrier to rigorously checking packing claims, addressing the pain of manually getting rounding modes right and the desire for clear explanations.

Details

Key Value
Target Audience Mathematicians, computer scientists, and advanced hobbyists working on packing proofs
Core Feature Interactive notebooks with built-in interval arithmetic, visualization of gaps, and ability to share/run proofs
Tech Stack Python (JupyterLite or MyBinder backend), mpmath/interval libraries, MathJax for rendering, React for UI
Difficulty High
Monetization Revenue-ready: Institutional licensing ($99/year per lab) + optional paid private notebooks

Notes

  • “Did an interval-arithmetic branch and bound once, getting the rounding modes right took me weeks.” – coppercrisp62
  • “Lot more pics here: https://jlevy.github.io/squares/” – mlmonkey (visual verification aids)
  • “How does one explain the messy cases?? Is that about how division can result in irrational numbers…” – brabel; PackProof would let users experiment with interval bounds to see why certain “messy” packings are optimal, sparking deeper discussion.

Read Later