Re: [TYPES] AI-generated conference submissions
Jonathan Aldrich <[email protected]> Tue, 17 Mar 2026 09:58:48 -0400
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CANwk4Ub=Mpxr7SaXuOFVVs3g7smvsvuC=PwYfzgpN822AEDMWA@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKUGVuYWx0aWVzIGZvciBBQ00gcG9saWN5IHZpb2xhdGlvbnMg YXJlIGNvdmVyZWQgaGVyZToKCmh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3d3 dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wb2xpY2llcy9wZW5hbHRpZXMtZm9yLXB1YmxpY2F0aW9u LXZpb2xhdGlvbnNfXzshIUlCeldMVXMhU2phejhvd2hmRW85WEdJT2pkSHZZbHQ0SzFpME5yY1Uy T0p3aE9mRlctenZsTmFhdGVSYm50Y3JGU0xMRUJ1ZkYtQlRvZW1fTXh3dy11em1YeVQ0WUdHZTJJ dGNDR0s4eUdDR2VlNnJOdyQgCgpSZWdhcmRpbmcgYXBwbGljYXRpb24gdG8gY2FzZXMgb2YgQUkg dXNlLCBJJ2QgbGlrZSB0byBlY2hvIE1hZSdzIGNhbGwgZm9yCmVtcGF0aHkgYW5kIGdyYWNlLCBw YXJ0aWN1bGFybHkgaW4gY2FzZXMgdGhhdCBtaWdodCBpbnZvbHZlIHN0dWRlbnRzLiBBIGxvdApv ZiB2aW9sYXRpb25zIGFyZSBsaWtlbHkgdW5pbnRlbnRpb25hbCBpbiB0aGlzIGNvbnRleHQuIEFD TSBkZWZpbml0ZWx5CnRyaWVzIHRvIHRha2UgdGhlc2UgZmFjdG9ycyBpbnRvIGNvbnNpZGVyYXRp b24gaW4gYWRkcmVzc2luZyBldGhpY3MgYW5kCnBsYWdpYXJpc20gY2FzZXMuICBBIGhhcm1sZXNz IHVzZSBvZiBBSSBieSBhIHN0dWRlbnQgd2hvIG5lZ2xlY3RzIHRvCmFja25vd2xlZGdlIEFJIHVz ZSwgcGVyaGFwcyBiZWNhdXNlIHRoZXkgd2VyZSB1bmF3YXJlIG9mIHRoZSBwb2xpY3ksIG1pZ2h0 CnJlY2VpdmUgb25seSBhIHdhcm5pbmcgKCJMZXZlbCBJIikgYW5kIGlmIGFscmVhZHkgcHVibGlz aGVkLCBhIGNvcnJpZ2VuZHVtCnRvIHRoZSBwYXBlciBhY2tub3dsZWRnaW5nIHRoZSBBSSB1c2Uu CgpJZiB0aGUgQUkgdXNlIGNvbXByb21pc2VzIHRoZSBpbnRlZ3JpdHkgb2YgdGhlIHBhcGVyIHRo ZSBwYXBlciB3b3VsZCBvZgpjb3Vyc2UgYmUgcmVqZWN0ZWQgb3IsIGlmIGFscmVhZHkgcHVibGlz aGVkLCByZXRyYWN0ZWQgKCJMZXZlbCBJSSIpLiAgV2hlbgpjYXVnaHQgZHVyaW5nIHJldmlld2lu ZywgdGhlc2Uga2luZHMgb2YgdmlvbGF0aW9ucyBjYW4gYmUgaGFuZGxlZCBieQpjb25mZXJlbmNl IGNoYWlycyAoZS5nLiB3aXRoIHRoZSBhcHByb2FjaCBNYWUgc3VnZ2VzdHMpLCB3aXRoIG5vdGlm aWNhdGlvbgp0byBBQ00ncyBFdGhpY3MgYW5kIFBsYWdpYXJpc20gY29tbWl0dGVlLiAgSSByZW1l bWJlciBob3cgYmlnIG9mIGEgZGVhbApldmVuIGEgc2luZ2xlIHBhcGVyIHJlamVjdGlvbiB3YXMg dG8gbWUgYXMgYSBzdHVkZW50OyBJIGFtIHN1cmUgdGhhdCB0aGlzCmxldmVsIG9mIGFjdGlvbiBp cyBlbm91Z2ggdG8gbW90aXZhdGUgY2FyZSBhbmQgY29tcGxpYW5jZSB3aXRoIGRpc2Nsb3N1cmUK cmVxdWlyZW1lbnRzIGZvciB0aGUgdmFzdCBtYWpvcml0eSBvZiBvdXIgY29tbXVuaXR5LgoKVGhl IHBlbmFsdGllcyBkbyBlc2NhbGF0ZSBhY2NvcmRpbmcgdG8gdGhlIGNvbnRleHQuICBDYXJlbGVz cyB1c2UgYnkKc29tZW9uZSB3aG8gc2hvdWxkIGtub3cgYmV0dGVyICh0eXBpY2FsbHkgbW9yZSBz ZW5pb3IgcmVzZWFyY2hlcnMpIG1pZ2h0IGJlCmEgTGV2ZWwgSUlJIHZpb2xhdGlvbiwgd2l0aCBh IDEteWVhciBwdWJsaWNhdGlvbi9wYXJ0aWNpcGF0aW9uIGJhbjsgaWYgaXQKd2FzIGludGVudGlv bmFsIG9yIHJlcGVhdGVkIGl0IHdvdWxkIGJlIGEgMiB5ZWFyIGJhbiAoTGV2ZWwgSVYpLCBhbmQg aWYgaXQKaXMgc2V2ZXJlLCBpbnRlbnRpb25hbCwgYW5kIHJlcGVhdGVkIGl0IHdvdWxkIGJlIExl dmVsIFYgKDUgeWVhciBiYW4pLiAgSW4KcHJhY3RpY2UsIGJhbnMgb2YgNSB5ZWFycywgb3IgbW9y ZSAoZm9yIHN0YWNrZWQgTGV2ZWwgViBwZW5hbHRpZXMpIGFyZQp0eXBpY2FsbHkgZm9yIHRoaW5n cyBsaWtlIHJldmlld2luZyByaW5ncywgc2V2ZXJlIHJlc2VhcmNoIG1pc2NvbmR1Y3QsCnNldmVy ZSBoYXJhc3NtZW50IG9yIGFidXNlIGluIEFDTS1yZWxldmFudCBjb250ZXh0cy0taW4gd2hpY2gg Y2FzZSBpdCBpcyBvZgpjb3Vyc2UgdmVyeSB3ZWxsIGp1c3RpZmllZC4gIFdpdGhvdXQgcmV2ZWFs aW5nIGRldGFpbHMgb2YgY29uZmlkZW50aWFsCmNhc2VzLCBzY2FuZGFscyB0aGF0IG1ha2UgdGhl IG5ld3MgYXJlIGxpa2VseSB0byBiZSBhdCB0aGlzIGxldmVsIG9mCnNldmVyaXR5ICh0byBiZSBj bGVhciwgIm1ha2VzIHRoZSBuZXdzIiBpcyBub3QgYW1vbmcgb3VyIGNyaXRlcmlhLS10aGVyZSdz CmNvcnJlbGF0aW9uIGhlcmUsIG5vdCBjYXVzYXRpb24pLiAgS2VlcCBpbiBtaW5kIHRoYXQgYSA1 IHllYXIgYmFuIGlzCmFscmVhZHkgY2FyZWVyLWVuZGluZyBvciBhdCBsZWFzdCBjYXJlZXItYWx0 ZXJpbmcgZm9yIHNvbWVvbmUgd2hvc2Ugd29yawpjZW50ZXJzIG9uIHB1Ymxpc2hpbmcgaW4gQUNN IHZlbnVlcy4KClRoZSBBQ00gc3BlbmRzIGEgbG90IG9mIHZvbHVudGVlciB0aW1lIGFuZCBtb25l eSAoc29tZSBvZiB0aGVzZSBpbnZvbHZlCmluLWRlcHRoIGludmVzdGlnYXRpb25zIGFuZCBsYXd5 ZXJzKSBvbiBzdWNoIGlzc3VlcywgYW5kIHdoZW4gdGhleSBjb21lIHRvCnRoZSBwdWJsaWNhdGlv bnMgYm9hcmQsIHRoZSBjb252ZXJzYXRpb25zIGludm9sdmUgY2FyZWZ1bCBhbmQgc3Vic3RhbnRp dmUKZGVsaWJlcmF0aW9uLCB3aXRoIHRoZSB0eXBpY2FsIHJlc3VsdCBhIHN0cm9uZyBjb25zZW5z dXMgb24gdGhlIGFjdGlvbgp0YWtlbi4gSGF2aW5nIGJlZW4gYSBwYXJ0IG9mIHRoZSBwcm9jZXNz LCBJIGNhbiBzYXkgd2hpbGUgaXQgaXMgaW1wZXJmZWN0LApjb3N0bHksIGFuZCBzb21ldGltZXMg c2xvdywgaXQgaXMgZ2VuZXJhbGx5IGZhaXIgYW5kIGl0cyBvdXRjb21lcyBhY2hpZXZlIGEKbGFy Z2UgbWVhc3VyZSBvZiBqdXN0aWNlIGFuZCBoZWxwIHRvIHByb3RlY3Qgb3VyIGNvbW11bml0eS4K CkJlc3QsCgpKb25hdGhhbgoKT24gVHVlLCBNYXIgMTcsIDIwMjYgYXQgMzozMOKAr0FNIERyb3Nz b3BvdWxvdSwgU29waGlhIDwKcy5kcm9zc29wb3Vsb3VAaW1wZXJpYWwuYWMudWs+IHdyb3RlOgoK PiBXaGF0IGhhcHBlbnMgdG8gYXV0aG9ycyB3aGVuIHN1Y2ggYW4gQUkgZ2VuZXJhdGVkIHBhcGVy IGlzIGVuY291bnRlcmVkPyBJCj4gd291bGQgaGF2ZSB0aG91Z2h0IHRoYXQgaWYgQUNNIGhhZCBh IHN0cmljdCBwb2xpY3ksIGVnIG5vIHBhcGVycyBwdWJsaXNoZWQKPiBmb3IgdGhlIG5leHQgNSB5 ZWFycywgdGhlbiB0aGUgcHJvYmxlbSB3b3VsZCBiZSBzaWduaWZpY2FudGx5IHJlZHVjZWQKPgo+ ICAgICAgIFNvcGhpYQo+IOKAlOKAlOKAlOKAouKAouKAouKAlOKAlOKAlAo+IFNlbnQgZnJvbSBt b2JpbGUgcGhvbmUsIGhlbmNlIHN1Y2NpbmN0Cj4KPiA+IE9uIDE3IE1hciAyMDI2LCBhdCAwMzo1 NCwgSm9uYXRoYW4gQWxkcmljaCA8am9uYXRoYW4uYWxkcmljaEBjcy5jbXUuZWR1Pgo+IHdyb3Rl Ogo+ID4KPiA+IO+7v0NBVVRJT046IFRoaXMgbWVzc2FnZSBjYW1lIGZyb20gb3V0c2lkZSBJbXBl cmlhbC4gRG8gbm90IGNsaWNrIGxpbmtzIG9yCj4gb3BlbiBhdHRhY2htZW50cyB1bmxlc3MgeW91 IHJlY29nbmlzZSB0aGUgc2VuZGVyIGFuZCB3ZXJlIGV4cGVjdGluZyB0aGlzCj4gZW1haWwuCj4g Pgo+ID4KPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVk dS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPiA+Cj4gPiBVZ2gsIEkgaGF2ZSBiZWVu IGZvcnR1bmF0ZSBlbm91Z2ggbm90IHRvIGVuY291bnRlciB0aGF0IGluIG15IHJldmlld2luZy4K PiA+IEJ1dCBJIGhlYXIgaXQgaXMgdmVyeSBjb21tb24gaW4gb3RoZXIgc3ViZmllbGRzIHNvIGl0 IHdhcyBwcm9iYWJseSBqdXN0IGEKPiA+IG1hdHRlciBvZiB0aW1lIGJlZm9yZSBpdCBnb3QgdG8g UEwuCj4gPgo+ID4gSWYgdGhpcyBpcyBhbiBBQ00gY29uZmVyZW5jZSwgb3VyIHBvbGljaWVzIGFs cmVhZHkgcmVxdWlyZSBkaXNjbG9zaW5nIHRoZQo+ID4gdXNlIG9mIEFJIGZvciBhbnl0aGluZyBi ZXlvbmQgZ3JhbW1hci1jaGVja2luZy1zdHlsZSBhcHBsaWNhdGlvbnM6Cj4gPgo+ID4KPiBodHRw czovL3VybGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMv cG9saWNpZXMvbmV3LWFjbS1wb2xpY3ktb24tYXV0aG9yc2hpcF9fOyEhSUJ6V0xVcyFSQzRGY0Ew LUlIYzU1QXhkUU11V05ISWZzRGROcUFsYnZoMm03VHBTazd3Q2FUWmw3X2lRc01aZnF1LW9Ndjc2 OGtwXzd2d0lOY0VQTXR1Z1FHTVJWRDhqY1Z1ZU1qd2V2a0VZdTVaTG53JAo+ID4KPiA+IElmIHRo ZXJlIGFyZSBhbnkgbm9uLUFDTSBQTCBjb25mZXJlbmNlcyB0aGF0IGRvbid0IGhhdmUgdGhpcyBw b2xpY3ksIEkKPiA+IHdvdWxkIGVuY291cmFnZSB0aGVtIHRvIGFkb3B0IGl0Lgo+ID4KPiA+IEFD TSBpcyBldmFsdWF0aW5nIHRvb2xzIHRoYXQgY2FuIChoZXVyaXN0aWNhbGx5KSBkZXRlY3QgQUkg dXNlLCBhcyB3ZWxsCj4gYXMKPiA+IHRvb2xzIHRoYXQgY2FuIGlkZW50aWZ5IGhhbGx1Y2luYXRl ZCByZWZlcmVuY2VzLiAgV2Ugc2hvdWxkIHN0YXJ0IHRvIHNlZQo+ID4gZGVwbG95bWVudCBvZiB0 aGVzZSB3aXRoaW4gdGhlIG5leHQgeWVhci0taWYgYW55b25lIG9uIHRoaXMgbGlzdCBpcyBhbgo+ IEFDTQo+ID4gUEMgY2hhaXIgYW5kIHdhbnRzIHRvIGRvIGFuIGVhcmx5IHRyaWFsLCBsZXQgbWUg a25vdyBhbmQgSSBjYW4gY29ubmVjdAo+IHlvdQo+ID4gd2l0aCBwZW9wbGUgd2hvIG1heSBiZSBh YmxlIHRvIGFycmFuZ2UgdGhhdC4gIEl0J3Mgb2YgY291cnNlIGltcG9ydGFudCB0bwo+ID4gaGF2 ZSBhIGh1bWFuIHZlcmlmeSBhbnkgdG9vbCByZXBvcnRzIGJhc2VkIG9uIGhldXJpc3RpY3MgYXMg dGhleSBtYXkgYmUKPiA+IGluY29ycmVjdCwgYnV0IHRoZSBwb2ludCBpcyB0aGF0IHRoZXkgY2Fu IHNhdmUgdGltZSBpbiBpZGVudGlmeWluZwo+IHByb2JsZW1zLgo+ID4KPiA+IFJlZ2FyZGluZyBy ZXZpZXdpbmcgd29ya2xvYWQsIGl0J3MgdmVyeSB1bmZvcnR1bmF0ZS4gIFRoZSB0b29scyBtZW50 aW9uZWQKPiA+IGFib3ZlIHdpbGwgZXZlbnR1YWxseSBoZWxwIHNvbWUuICBJbiB0aGUgbWVhbnRp bWUsIGl0J3MgbXkgdmlldyB0aGF0IG9uY2UKPiA+IHlvdSBkZXRlcm1pbmUgdGhhdCBhIHBhcGVy IGlzIHNvIGZsYXdlZCBpdCBjYW5ub3QgYmUgYWNjZXB0ZWQsIGVzcGVjaWFsbHkKPiA+IGlmIHRo YXQgZmxhdyBpbnZvbHZlcyBtaXNjb25kdWN0IHN1Y2ggYXMgdW5kaXNjbG9zZWQgQUkgdXNlIG9y IG90aGVyd2lzZQo+ID4gbWFrZXMgdGhlIHBhcGVyIHZlcnkgZGlmZmljdWx0IHRvIHJlYWQsIGl0 J3MgcmVhc29uYWJsZSBmb3IgdGhlIHJldmlld2VyCj4gdG8KPiA+IHN0b3AgcmVhZGluZyBhbmQg cmV0dXJuIGEgcmV2aWV3IGJhc2VkIG9uIHRoZSBwb3J0aW9uIHRoZXkgcmVhZC4gIE9mCj4gPiBj b3Vyc2UsIEkgd291bGQgbWVudGlvbiB0aGUgc2l0dWF0aW9uIHRvIHRoZSBQQyBjaGFpciB0byBt YWtlIHN1cmUgdGhleQo+IGFyZQo+ID4gT0sgd2l0aCB0aGlzOyBtb3N0IHByb2JhYmx5IGFyZS4K PiA+Cj4gPiBCZXN0LAo+ID4KPiA+IEpvbmF0aGFuCj4gPgo+ID4KPiA+PiBPbiBNb24sIE1hciAx NiwgMjAyNiBhdCA5OjUw4oCvUE0gU3RlcGhhbmllIEJhbHplciA8Cj4gc3RlcGhhbmllLmJhbHpl ckBnbWFpbC5jb20+Cj4gPj4gd3JvdGU6Cj4gPj4KPiA+PiBbIFRoZSBUeXBlcyBGb3J1bSwKPiBo dHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+ ID4+IF0KPiA+Pgo+ID4+IERlYXIgYWxsLAo+ID4+Cj4gPj4gSSBoYXZlIG5vdyBiZWVuIG51bWVy b3VzIHRpbWVzIG9uIHRoZSByZWNlaXZpbmcgZW5kIG9uIGEgd2hhdCBpdCBhcHBlYXJzCj4gPj4g dG8gbWUgKGFsbW9zdCkgZW50aXJlbHkgQUktZ2VuZXJhdGVkIGNvbmZlcmVuY2Ugc3VibWlzc2lv bnMgdGhhdCBJIHdhcwo+ID4+IGFzc2lnbmVkIHRvIHJldmlldy4gIE9mIGNvdXJzZSBJIGhhdmUg bm8gcHJvb2YsIGJ1dCB0byBtZSBpdCB3YXMgcHJldHR5Cj4gPj4gb2J2aW91cy4gIFRoZSBzdWJt aXNzaW9ucyBpbiBxdWVzdGlvbiBjb25zaXN0IG9mIGFuIGFtYWxnYW1hdGlvbiBvZgo+ID4+IG1l YW5pbmdmdWwgd29yZHMgKHNvbWV0aW1lcyBub3QgZW50aXJlbHkgZnJvbSB0aGUgY29udGV4dCB0 aGUgcGFwZXIKPiA+PiBvdWdodCB0byBiZSBhYm91dCksIGFyZSBnZW5lcmFsbHkgd2VsbCB3cml0 dGVuLCBhbHRob3VnaCBtZWFuaW5nbGVzcywKPiA+PiBhbmQgZXZlbiBjb21lIGJhY2tlZCB1cCB3 aXRoIHNvbWUgcnVsZXMgd2l0aCBob3Jpem9udGFsIGxpbmVzIGFuZCBwcm9vZgo+ID4+IHNrZXRj aGVzIChzb21ldGltZXMgZnJvbSB2YXJpb3VzIGNvbnRleHRzKS4gIFRoYXQgY2F0Y2gsIGhvd2V2 ZXIsIGlzCj4gPj4gdGhhdCB0aGUgd2hvbGUgY29tcG9zaXRpb24gZG9lc24ndCBtYWtlIHNlbnNl Lgo+ID4+Cj4gPj4gV2hhdCBhcmUgd2UgZ29pbmcgdG8gZG8gYWJvdXQgdGhpcyBhcyBhIGNvbW11 bml0eT8KPiA+Pgo+ID4+IEkgaGF2ZSBudW1lcm91cyBjb25jZXJucyBoZXJlOiBNeSBpbW1lZGlh dGUgY29uY2VybiBpcyB0aGF0IEkgZG8gbm90Cj4gPj4gbGlrZSB0byBzcGVuZCBteSB0aW1lIG9u IHN1Y2ggc3VibWlzc2lvbnMuICBFdmVuIHRob3VnaCBpdCdzIHF1aXRlCj4gPj4gb2J2aW91cyBp bW1lZGlhdGVseSB0aGF0IHRoZSBwYXBlciBpcyBtZWFuaW5nbGVzcywgaXQgc3RpbGwgdGFrZXMg c29tZQo+ID4+IHRpbWUgdG8gbWFrZSBzdXJlIGFuZCBqdXN0aWZ5IHRoZSB2ZXJkaWN0LiAgQW5v dGhlciBjb25jZXJuIEkgaGF2ZSBpcwo+ID4+IHRoZSByaXNrIHRoYXQsIHVuZGVyIHRpbWUgcHJl c3N1cmUsIG5vIGR1ZSBkaWxpZ2VuY2UgaXMgZG9uZSwgYW5kIHdlIG1heQo+ID4+IGVuZCB1cCBh Y2NlcHRpbmcgc3VjaCBhIHBhcGVyLgo+ID4+Cj4gPj4gQXMgYSBmaXJzdCBzdGVwIHdlIG1heSBy ZXF1aXJlIGF1dGhvcnMgdG8gZGVjbGFyZSB3aGV0aGVyIEFJIHdhcyB1c2VkIGluCj4gPj4gcHJl cGFyaW5nIHRoZWlyIHN1Ym1pc3Npb24gYW5kIHdoYXQgZm9yIGFuZCB3ZSBkZWxpbWl0IHdoYXQg dXNlcyBhcmUKPiA+PiBwZXJtaXR0ZWQuCj4gPj4KPiA+PiBMb29raW5nIGZvcndhcmQgdG8geW91 ciB0aG91Z2h0cywKPiA+Pgo+ID4+IFN0ZXBoYW5pZQo+ID4+Cj4gPj4KPgo=