David Renshaw

@dwrensha

• Math programmer at icarm.io. • Chief acronymizer at acronymy.net. • Author and maintainer of capnproto-rust.

Pittsburgh PA, USA

youtube.com/@dwrensha

Joined October 2011

355 Following

847 Followers

Replies Reposts Media

David Renshaw
@dwrensha
Oct 15
An elliptic curve found by zevklagsbrun with rank ≥ 32: y² + xy = x³ − 28623928991398919165500467001947502452240040593445344054331428726899413x + 1636638097022027963025086119463360482368875730889253334875693440181143871885452358966522018914326964558817
curve #4239 — Elliptic Curve Rank Leaderboard
From elliptic-rank.icarm.cloud
David Renshaw
@dwrensha
Oct 8
The stellated tetrahedron with vertices [(1,1,1), (1,-1,-1), (-1,1,-1), (-1,-1,1), (-11/20, 11/20, 11/20), (11/20, -11/20, 11/20), (11/20, 11/20, -11/20), (-11/20, -11/20, -11/20)] does not fit through itself! Formal proof: github.com/dwrensha/Stell…
3
David Renshaw
@dwrensha
Sep 18
And just now wgxli submitted an even better curve at rank ≥ 31: elliptic-rank.icarm.cloud/curve/752
David Renshaw
@dwrensha
Sep 17
On Sunday, wgxli submitted a new rank ≥ 31 curve with new records for smallest naive height, faltings height, and discriminant: elliptic-rank.icarm.cloud/curve/724 Today, ranksunbounded answered with another rank ≥ 31 curve with records on all 4 metrics we track: elliptic-rank.icarm.cloud/curve/751
David Renshaw
@dwrensha
Sep 17
On Sunday, wgxli submitted a new rank ≥ 31 curve with new records for smallest naive height, faltings height, and discriminant: elliptic-rank.icarm.cloud/curve/724 Today, ranksunbounded answered with another rank ≥ 31 curve with records on all 4 metrics we track: elliptic-rank.icarm.cloud/curve/751
David Renshaw
@dwrensha
Aug 23
Ava Howell submitted a curve with rank ≥ 31: y² + xy + y = x³ + x² − 1284727764113567728281797636015784768866707681415849262157224232063x + 560368321454261339256859338901915312332769858684945406858043869199456710681989058863306170127006181 elliptic-rank.icarm.cloud/curve/302
David Renshaw
@dwrensha
Sep 16
I discovered that @tom7's "potential nopert 214" is in fact not a nopert. youtu.be/XFeKRSN9l9w

David Renshaw

David Renshaw’s posts