Reposted by Joshua Grochow
Software engineering could and should be done with the same care as any other type of engineering. This is a post in honor of Margaret Hamilton (and also a subtweet of all vibe-coders everywhere).
Joshua Grochow
@joshuagrochow.bsky.social
2.6K followers 526 following 2K posts
Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) home.cs.colorado.edu/~jgrochow
![Abstract
We provide a clearer presentation of the Chair44 monotile, a new strongly aperiodic
monotile in three-dimensional Euclidean space E3
.
With LLM tools (ChatGPT Astra), Ioannis Tsiokos recently reported the first
known strongly aperiodic monotile in three-dimensional Euclidean space E
3
, the Chair44
monotile (see Figure 3, taken from Tsiokos’ preprint [11]). Hats off to Tsiokos for this
discovery, the framework he developed, and the human inquiry that led to the Chair44
monotile.
However, the paper itself and the formalization that it claims for support are not
in a form that is readily usable to anyone who wants to understand or check it. This is
not just because of the needless length or complexity of the argument (which is indeed
overwhelming as presented), or because the formal repository is not in normal form, or
because much of the text is misleading or poorly organized, but mainly because there
is so much irrelevant puff to push through. These are hallmarks of an LLM-driven
research paper.
We must, absolutely, insist on a higher standard for scientific discourse. The aim
must be to communicate, clearly, with people in the community — certainly this is an
historical requirement for publication.1](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ysaiuavm2f7d4th42c4valhw/bafkreiaosjugf6tpo6hjqor3cxkfxhrhmmtv6qkvup2luprwbry2oia2pi)
