Ryan Xu

Years active
2026

Resources

Repositorysquare_packing

By Xu

github.com/ry-xu/square_packingComplete rational packings and an undilated radical n=51 construction; finite feasibility is confirmed here (T-125, T-126).

2 results (at S3) · 1 record (at S3)

Repositorysquare_packing_records.json

By Xu

github.com/ry-xu/square_packing/blob/8dc415296f697f5140caea27c7a0193d52deb4e6/square_packing_records.jsonThe complete source report retained for the rational packing comparisons.

2 results (at S3) · 1 record (at S3)

WebsitePersonal website

By Xu

ryanxu.net

0 results

2 results (at S3) · 1 record (at S3) · 30 credits (14 at S3, 13 at S2, 3 at S1)

Results

  • T-125 (upper bound, 25 cases, n = 51 to 295): source author — Ryan Xu; credited contributor — Xu, in [ry-xu square packing 2026] (Registered in: #442)
  • T-126 (upper bound, n = 51): source author — Ryan Xu; credited contributor — Xu, in [ry-xu square packing 2026] (Registered in: #442)

Records

Current registered contributions in their recorded family and scope. A result counts once when any of its facets remains current.

  • T-126 (upper bound, n = 51): source author — Ryan Xu; credited contributor — Xu, in [ry-xu square packing 2026] (Registered in: #442)

Credited work

Credits: 30
  • T-128 (upper bound, 8 cases, n = 105 to 306): prerequisite — Xu, in [Couzo exact refinements 2026-10-08] (Registered in: #487 · #478)
  • T-130 (upper bound, 5 cases, n = 84 to 270): prerequisite — Xu, in [Couzo follow-up refinements 2026-10-08] (Registered in: #487)
  • T-134 (upper bound, 6 cases, n = 132 to 303): prerequisite — Xu, in [Couzo exact certificates 2026-10-09] (Registered in: #487)
  • T-136 (upper bound, 17 cases, n = 131 to 307): prerequisite — Xu, in [SQUISH third request 2026-10-09] (Registered in: #487)
  • T-137 (upper bound, n = 70): prerequisite — Xu, in [Deleeuw n70 refinement 2026-10-10] (Registered in: #487)
  • T-138 (upper bound, 16 cases, n = 84 to 306): prerequisite — Xu, in [Mishapolk decimal poses 2026-10-09] (Registered in: #487)
  • T-139 (upper bound, n = 126): prerequisite — Xu, in [Daniel trio126 2026-10-09] (Registered in: #487)
  • T-140 (upper bound, 6 cases, n = 132 to 305): prerequisite — Xu, in [Couzo certificates 2026-10-10] (Registered in: #487)
  • T-146 (upper bound, 15 cases, n = 70 to 303): prerequisite — Xu, in [Daniel regularized lists 2026-10-10] (Registered in: #487)
  • T-147 (upper bound, n = 207): prerequisite — Xu, in [PingYou n207 certificate 2026-10-11] (Registered in: #558 · #512 · #516 · #518)
  • T-148 (upper bound, n = 153): prerequisite — Xu, in [PingYou n153 certificate 2026-10-11] (Registered in: #558 · #512 · #516 · #518)
  • T-149 (upper bound, n = 155, 156, 211): prerequisite — Xu, in [Ostashev records 2026-10-11] (Registered in: #512 · #516 · #518)
  • T-150 (upper bound, n = 146, 261): prerequisite — Xu, in [Barnett refinements 2026-10-11] (Registered in: #512 · #516 · #518)
  • T-158 (upper bound, n = 175, 232, 264): prerequisite — Xu, in [Ostashev records 2026-10-12] (Registered in: #598)
  • T-159 (upper bound, n = 102): prerequisite — Xu, in [Calle n102 2026-10-12] (Registered in: #598)
  • T-162 (upper bound, n = 129, 204, 303): prerequisite — Xu, in [Ostashev compositions 2026-10-12] (Registered in: #614 · #602)
  • T-164 (upper bound, n = 302): prerequisite — Xu, in [PingYou n302 certificate 2026-10-12] (Registered in: #614 · #602)
  • T-166 (upper bound, n = 153): prerequisite — Xu, in [PingYou n153 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-167 (upper bound, n = 207): prerequisite — Xu, in [PingYou n207 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-168 (upper bound, n = 146): prerequisite — Xu, in [PingYou n146 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-169 (upper bound, n = 261): prerequisite — Xu, in [PingYou n261 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-170 (upper bound, n = 105): prerequisite — Xu, in [PingYou n105 refinement 2026-10-12] (Registered in: #614 · #602)
  • T-173 (upper bound, n = 153, 207): prerequisite — Xu, in [Mishapolk exact certificates 2026-10-12] (Registered in: #614 · #602)
  • T-174 (upper bound, 68 cases, n = 68 to 308): prerequisite — Xu, in [PingYou PR 574 certificates 2026-10-13] (Registered in: #614 · #602)
  • T-175 (upper bound, n = 211, 241, 304): prerequisite — Xu, in [Ostashev merged bands 2026-10-13] (Registered in: #614 · #602)
  • T-183 (upper bound, n = 237): prerequisite — Xu, in [Mishapolk records 2026-10-14] (Registered in: #614 · #602)
  • T-185 (upper bound, n = 175): prerequisite — Xu, in [Couzo n175 2026-10-11]
  • T-187 (upper bound, n = 146): prerequisite — Xu, in [Daniel n146 2026-10-14]
  • T-193 (upper bound, 16 cases, n = 88 to 302): prerequisite — Xu, in [Daniel exact current records 2026-10-16]
  • T-229 (upper bound, n = 105, 204): prerequisite — Xu, in [Mishapolk issue 719 2026-10-22]

Other reviewed records

Reviewed records: 15

Related News

Sources
  1. github-profile: The GitHub account ry-xu gives its name as Ryan Xu, its website as ryanxu.net and its X account as small_LM (read 2026-10-14).
  2. owner-confirmation: Decisions and Exceptions, the Ryan Xu row: the owner’s instruction to credit ry-xu by his real name.
  3. packet: Opening paragraphs: the 25 packings of issue #432 from ry-xu/square_packing at 8dc4152; “Credit for the reported constructions belongs to ry-xu. The source describes an LLM-assisted search and certificate workflow.”
  4. bibliography: Source authors and credits print Xu; the [ry-xu square packing 2026] key keeps the handle. The later credits that build on his issue #432 packings name Xu, and their notes call those packings Ryan Xu’s ([Deleeuw n70 refinement 2026-10-10], [SQUISH third request 2026-10-09], [Ostashev records 2026-10-11]).

Identity evidence