Re: [TYPES] AI-generated conference submissions

Michael Shulman <shulman-TvkoZMfDC0T2fBVCVOL8/[email protected]> Fri, 20 Mar 2026 08:53:16 -0700
Newsgroups gmane.comp.science.types
Message-ID <CADYavpwQgYL_VZvSDC_birfCvnCAFzptnsQt_per4oQmmrfSBQ@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKVGhhdCdzIHRydWUsIGJ1dCBlbnRpcmVseSB1bnJlbGF0ZWQg
dG8gd2hldGhlciB0aGV5ICp1bmRlcnN0YW5kKiB0aGUgcHJvb2ZzCnRoZXkgZ2VuZXJhdGUuCgpP
biBGcmksIE1hciAyMCwgMjAyNiBhdCA3OjQ24oCvQU0gR2F2aW4gTWVuZGVsLUdsZWFzb24gPApn
YXZpbi5tZW5kZWwuZ2xlYXNvbkBnbWFpbC5jb20+IHdyb3RlOgoKPiBbIFRoZSBUeXBlcyBGb3J1
bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlz
dCAKPiBdCj4KPiBJJ20gZnJhbmtseSBhbWF6ZWQgdGhhdCBhbnlvbmUgY2FuIGhvbGQgc3VjaCBh
IHBvc2l0aW9uIGF0IHRoZSBwcmVzZW50Cj4gbW9tZW50Lgo+Cj4gSSB3b3VsZCBzdHJvbmdseSBy
ZWNvbW1lbmQgdXNpbmcgYW4gTExNIHRvIHBlcmZvcm0gcHJvb2Ygc2VhcmNoLiBUaGlzIGlzCj4g
bm90IGFuIGVsaXphLiBUaGV5IGFyZSBlZmZlY3RpdmUgYXQgZGV2aXNpbmcgbGVtbWF0YSBhbmQg
Y2FuIHJhZGljYWxseQo+IGluY3JlYXNlIHRoZSByYXRlIG9mIGRldmVsb3BtZW50Lgo+Cj4gR2F2
aW4KPgo+IE9uIFdlZCwgMTggTWFyIDIwMjYgYXQgMjI6MjIsIEhlbmRyaWsgQm9vbSA8aGVuZHJp
a0B0b3BvaS5wb29xLmNvbT4gd3JvdGU6Cj4KPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+IGh0dHA6
Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgCj4gPiBd
Cj4gPgo+ID4gT24gVHVlLCBNYXIgMTcsIDIwMjYgYXQgMDU6NDY6MzlQTSAtMDcwMCwgTWljaGFl
bCBTaHVsbWFuIHdyb3RlOgo+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPiA+IGh0dHA6Ly9saXN0
cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+ID4gPgo+
ID4gPiBJIHRoaW5rIGluIEpvbidzIHBocmFzZSAic29tZXRoaW5nIHRoYXQgeW91IGtub3dpbmds
eSBoYXZlbid0Cj4gPiB1bmRlcnN0b29kIiwKPiA+ID4gdGhlIHdvcmQgInlvdSIgcmVmZXJzIHRv
IGFsbCB0aGUgYXV0aG9ycyBvZiB0aGUgcGFwZXIuICBUaGV5IG1heSBub3QKPiA+ID4gaW5kaXZp
ZHVhbGx5IHVuZGVyc3RhbmQgYWxsIHBhcnRzIG9mIHRoZSBwYXBlciwgYnV0IGFzIGxvbmcgYXMg
YXQgbGVhc3QKPiA+IG9uZQo+ID4gPiBvZiB0aGVtIHVuZGVyc3RhbmRzIGVhY2ggcGFydCwgdGhl
eSBjYW4gYXNzZXJ0IHRoYXQgY29sbGVjdGl2ZWx5IHRoZXkKPiA+ID4gdW5kZXJzdGFuZCBpdC4g
IEFuIEFJIGlzIHF1YWxpdGF0aXZlbHkgZGlmZmVyZW50IGJlY2F1c2UgaXQgY2Fubm90IHRha2UK
PiA+ID4gcmVzcG9uc2liaWxpdHksIGhlbmNlIGNhbm5vdCBiZSBhIGNvLWF1dGhvci4KPiA+ID4K
PiA+ID4gSXQgbWF5IGJlIGVhc3kgZm9yIHN0dWRlbnRzIHRvIGZhbGwgaW50byB0aGUgdHJhcCBv
ZiB0aGlua2luZyB0aGF0IHRoZQo+IEFJCj4gPiA+ICJ1bmRlcnN0YW5kcyIgd2hhdCBpdCB0b2xk
IHRoZW0gYW5kIHRoZXJlZm9yZSB0aGV5IGRvbid0IGhhdmUgdG8uICBUaGF0Cj4gPiA+IGRvZXNu
J3QgbWFrZSBpdCBva2F5OyBpdCBtZWFucyB0aGV5IG5lZWQgdG8gYmUgZWR1Y2F0ZWQsIGdlbnRs
eSBhbmQKPiA+IGZpcm1seS4KPiA+Cj4gPiBFdmVyIHNpbmNlIHRoZSBFbGl6YSBwcm9ncmFtLCBB
SXMgaGF2ZSBiZWVuIGRlc2lnbmVkIHRvIHByb2plY3QgdGhlCj4gPiBpbGx1c2lvbiBvZiB1bmRl
cnN0YW5kaW5nLiAgVGhlcmUgaGF2ZSBiZWVuIGRlY2FkZXMgb2YgZGV2ZWxvcG1lbnQKPiA+IHRv
IHRoaXMgZW5kLiAgSXQncyBub3Qgc3VycHJpc2luZyB0aGF0IHN0dWRlbnRzIGZhbGwgZm9yIGl0
Lgo+ID4KPiA+IC0tIGhlbmRyaWsKPiA+Cj4KCgotLSAKTWljaGFlbCBTaHVsbWFuClByb2Zlc3Nv
ciBvZiBNYXRoZW1hdGljcyBmb3IgSHVtYW5zCjxodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19f
aHR0cHM6Ly9ob21lLnNhbmRpZWdvLmVkdS8qc2h1bG1hbi9odW1hbnMuaHRtbF9fO2ZnISFJQnpX
TFVzIVdIa3VHN0xCczlhenJ0SEZmeENtU25Nb1pTWHUybU1LRVVYeHExclNzZk1tallQTjJKemZo
cGJ6UjFBWkhKczc4a1duWm5ZYkVrSllKQ0dOWXZWZXl0Q2NqcGwxbHR3JCA+ClVuaXZlcnNpdHkg
b2YgU2FuIERpZWdvCgoiVGhlIHJvbGUgb2YgdGhlIGludGVsbGVjdHVhbCBjYW5ub3QgYmUgdG8g
ZXhjdXNlIHRoZSB2aW9sZW5jZSBvZiBvbmUKc2lkZSBhbmQgY29uZGVtbiB0aGF0IG9mIHRoZSBv
dGhlci4iCiAgICAgICAgLS0gQWxiZXJ0IENhbXVzCg==