Re: [TYPES] AI-generated conference submissions
Michael Shulman <shulman-TvkoZMfDC0T2fBVCVOL8/[email protected]> Tue, 17 Mar 2026 17:46:39 -0700
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CADYavpxviSanJvk15+k2NENJJqKJ=G-M3x3oSs9YT4iLV06u=g@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSSB0aGluayBpbiBKb24ncyBwaHJhc2UgInNvbWV0aGluZyB0 aGF0IHlvdSBrbm93aW5nbHkgaGF2ZW4ndCB1bmRlcnN0b29kIiwKdGhlIHdvcmQgInlvdSIgcmVm ZXJzIHRvIGFsbCB0aGUgYXV0aG9ycyBvZiB0aGUgcGFwZXIuICBUaGV5IG1heSBub3QKaW5kaXZp ZHVhbGx5IHVuZGVyc3RhbmQgYWxsIHBhcnRzIG9mIHRoZSBwYXBlciwgYnV0IGFzIGxvbmcgYXMg YXQgbGVhc3Qgb25lCm9mIHRoZW0gdW5kZXJzdGFuZHMgZWFjaCBwYXJ0LCB0aGV5IGNhbiBhc3Nl cnQgdGhhdCBjb2xsZWN0aXZlbHkgdGhleQp1bmRlcnN0YW5kIGl0LiAgQW4gQUkgaXMgcXVhbGl0 YXRpdmVseSBkaWZmZXJlbnQgYmVjYXVzZSBpdCBjYW5ub3QgdGFrZQpyZXNwb25zaWJpbGl0eSwg aGVuY2UgY2Fubm90IGJlIGEgY28tYXV0aG9yLgoKSXQgbWF5IGJlIGVhc3kgZm9yIHN0dWRlbnRz IHRvIGZhbGwgaW50byB0aGUgdHJhcCBvZiB0aGlua2luZyB0aGF0IHRoZSBBSQoidW5kZXJzdGFu ZHMiIHdoYXQgaXQgdG9sZCB0aGVtIGFuZCB0aGVyZWZvcmUgdGhleSBkb24ndCBoYXZlIHRvLiAg VGhhdApkb2Vzbid0IG1ha2UgaXQgb2theTsgaXQgbWVhbnMgdGhleSBuZWVkIHRvIGJlIGVkdWNh dGVkLCBnZW50bHkgYW5kIGZpcm1seS4KCk9uIFR1ZSwgTWFyIDE3LCAyMDI2IGF0IDI6NTbigK9Q TSBNYXJ0aW4gTGVzdGVyIDxtYXJ0aW4ubGVzdGVyQGdtYWlsLmNvbT4Kd3JvdGU6Cgo+IFsgVGhl IFR5cGVzIEZvcnVtLCBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5m by90eXBlcy1saXN0IAo+IF0KPgo+IEhpIGFsbC4KPgo+IEkgdGhpbmsgaXQncyB3b3J0aCBjb25z aWRlcmluZyB0aGUgc3BlY2lmaWNzIG9mIHRoaXMgY29tbWVudDoKPgo+IE9uIFR1ZSwgTWFyIDE3 LCAyMDI2IGF0IDQ6NTDigK9QTSBKb24gU3RlcmxpbmcgPGpvbkBqb25tc3RlcmxpbmcuY29tPiB3 cm90ZToKPiA+Cj4gPiBJIHdvbmRlciBpZiB3ZSBhcmUgc3BlYWtpbmcgcGFzdCBlYWNoIG90aGVy Li4uIEkgdGhpbmsgaXQgaXMgaW5kZWVkIGEKPiBzZXZlcmUgYnJlYWNoIG9mIGV0aGljcyB0byBz ZW5kIHNvbWV0aGluZyB0aGF0IHlvdSBrbm93aW5nbHkgaGF2ZW4ndAo+IHVuZGVyc3Rvb2QgdG8g YSBjb25mZXJlbmNlLCBhbmQgaXQgaXMgaGFyZCBmb3IgbWUgdG8gY29tZSB1cCB3aXRoIGFueSB2 YWxpZAo+IGFyZ3VtZW50IHRvIHRoZSBjb250cmFyeS4KPiA+Cj4KPiBJcyBpdCBhIGJyZWFjaCBv ZiBldGhpY3MgdG8gc3VibWl0IGEgcGFwZXIgKGFzIGNvcnJlc3BvbmRpbmcgYXV0aG9yKQo+IGlm IG15IGNvLWF1dGhvciB3cm90ZSBhIHByb29mIHRoYXQgSSBoYXZlbid0IGNoZWNrZWQgb3IgZG9u J3QKPiB1bmRlcnN0YW5kLCBidXQgSSB0cnVzdCBteSBjby1hdXRob3IncyBob25lc3R5IGFuZCBq dWRnZW1lbnQ/IEkgdGhpbmsKPiB0aGlzIGlzIGZpbmUuCj4KPiBXaGF0LCB0aGVuLCBpZiBJIGNv bmNlaXZlIG9mIHRoZSBBSSBhcyBhIGNvbGxlYWd1ZSBvciBjby1hdXRob3I/Cj4KPiBVbmRlciBj dXJyZW50IHJ1bGVzIGFuZCBjb252ZW50aW9ucywgdGhpcyBpcyBjbGVhcmx5IG5vdCBPSy4KPiBT dWJtaXNzaW9uIHJ1bGVzIGJhbiBBSS1nZW5lcmF0ZWQgcGFwZXIgY29udGVudCBhbmQgc2F5IEFJ cyBjYW4ndCBiZQo+IGNvLWF1dGhvcnMuIFNvY2lhbGx5IGFuZCBsZWdhbGx5LCB3ZSBkb24ndCB2 aWV3IEFJcyBhcyBzZW50aWVudCBhbmQKPiBkb24ndCBwZXJtaXQgdGhlbSB0byB0YWtlIHJlc3Bv bnNpYmlsaXR5IGZvciB0aGVpciBhY3Rpb25zLgo+Cj4gQnV0IGlmIHlvdSBpbnRlcmFjdCB3aXRo IEFJcyBpbiBhIGNvbnZlcnNhdGlvbmFsIHdheSwgYm91bmNpbmcgaWRlYXMKPiBiYWNrIGFuZCBm b3J0aCAoYXMgSSBkbyksIGl0IG1heSBiZSBlYXN5IHRvIGZhbGwgaW50byB0aGlzIHRyYXAuCj4g Q29uc2lkZXIgVGVycmVuY2UgVGFvJ3MgY29tbWVudCAob3ZlciBhIHllYXIgb2xkLCB3aGVuIEFJ cyB3ZXJlIG5vdCBhcwo+IGdvb2QgYXMgdGhleSBhcmUgbm93KSB0aGF0IGNvbnZlcnNpbmcgd2l0 aCBBSXMgaXMgbGlrZSBhZHZpc2luZyBhCj4gIm1lZGlvY3JlLCBidXQgbm90IGNvbXBsZXRlbHkg aW5jb21wZXRlbnQsIGdyYWR1YXRlIHN0dWRlbnQiLiBJZgo+IHlvdSdyZSBhIHN0dWRlbnQsIEFJ cyBtYXkgd2VsbCBhcHBlYXIgdG8gZGlzcGxheSBrbm93bGVkZ2UgYW5kCj4gaW50ZWxsaWdlbmNl IGNvbXBhcmFibGUgdG8geW91ciBwZWVycy4KPgo+IElzIGl0IE9LIGZvciB0d28gZ3JhZHVhdGUg c3R1ZGVudHMgdG8gc3VibWl0IGEgY28tYXV0aG9yZWQgcGFwZXIsCj4gd2hlcmUgdGhlIGNvcnJl c3BvbmRpbmcgYXV0aG9yIGhhc24ndCBmdWxseSBjaGVja2VkIGFuZCB1bmRlcnN0b29kIHRoZQo+ IG90aGVyJ3Mgd29yaz8gSWYgc28sIHRoZW4sIHJ1bGVzIGFuZCByZWd1bGF0aW9ucyBub3R3aXRo c3RhbmRpbmcsCj4gd291bGRuJ3QgaXQgYmUgT0sgZm9yIGEgZ3JhZHVhdGUgc3R1ZGVudCB0byBz dWJtaXQsIHdpdGhvdXQgZnVsbAo+IHVuZGVyc3RhbmRpbmcsIGEgcGFwZXIgd2hlcmUgc29tZSBv ZiB0aGUgd29yayB3YXMgZ2VuZXJhdGVkIGJ5IGFuIEFJPwo+Cj4gKEZvciB0aGUgYXZvaWRhbmNl IG9mIGRvdWJ0LCBJIGRvbid0IGNvbmRvbmUgd3JpdGluZy9zdWJtaXR0aW5nIHBhcGVycwo+IHdp dGggbmVlZGxlc3MgZm9ybWFsaXNtLCBvciB3aXRoIEFJLWdlbmVyYXRlZCBjb250ZW50IHRoYXQg eW91IGhhdmVuJ3QKPiBhY2tub3dsZWRnZWQgYW5kIGNoZWNrZWQvdW5kZXJzdG9vZC4pCj4KPiBZ b3VycywKPgo+IE1hcnRpbi4KPgoKCi0tIApNaWNoYWVsIFNodWxtYW4KUHJvZmVzc29yIG9mIE1h dGhlbWF0aWNzIGZvciBIdW1hbnMKPGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczov L2hvbWUuc2FuZGllZ28uZWR1LypzaHVsbWFuL2h1bWFucy5odG1sX187ZmchIUlCeldMVXMhVTRs VVNLQXBTRWE4a1pEVUxtd2hxaDVkX3BJWG1WT3NuclU4MWVQTnhSc2lrS0YyWGNjNEpMVzB2RGp1 WG9jQ2hNQjdqVU96WjREejN3UmhPaTMtTjdSTkZZVHEtN0UkID4KVW5pdmVyc2l0eSBvZiBTYW4g RGllZ28KCiJUaGUgcm9sZSBvZiB0aGUgaW50ZWxsZWN0dWFsIGNhbm5vdCBiZSB0byBleGN1c2Ug dGhlIHZpb2xlbmNlIG9mIG9uZQpzaWRlIGFuZCBjb25kZW1uIHRoYXQgb2YgdGhlIG90aGVyLiIK ICAgICAgICAtLSBBbGJlcnQgQ2FtdXMK