Re: [TYPES] AI-generated conference submissions
Jon Sterling <[email protected]> Tue, 17 Mar 2026 08:27:38 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGkgYWxsLAoKVGhpcyBpcyBpbmRlZWQgYSBjb25jZXJuaW5n IHRyZW5kLi4uIEp1c3Qgd2FudGVkIHRvIGNoaW1lIGluIHdpdGggYSBjb3VwbGUgY29tbWVudHM6 IEkgYWdyZWUgdGhhdCBvdXIgY29tbXVuaWNhdGlvbnMgc2hvdWxkIGJlIGtpbmQuIEJ1dCBJIGFs c28gYW0gaGF2aW5nIHRyb3VibGUgdW5kZXJzdGFuZGluZyB0aGUgY2lyY3Vtc3RhbmNlcyB1bmRl ciB3aGljaCBhIHN0dWRlbnQgbWlnaHQgcHJvZHVjZSBhIGJ1bmNoIG9mIHN0dWZmIHRoZXkgZG9u J3QgdW5kZXJzdGFuZCAoZS5nLiB0aGUgYXdmdWwgUE9QTC1zdHlsZSBydWxlIG5lc3RzKSBhbmQg c2VuZCBpdCB0byBhIGNvbmZlcmVuY2Ugd2l0aG91dCBiZWluZyBhd2FyZSB0aGF0IHRoZXkgYXJl IGNvbW1pdHRpbmcgYSBzZXZlcmUgYnJlYWNoOiB0aGUgaXNzdWUgaXMgbm90IHNvIG11Y2ggc3Rh bmRhcmRzIG9mIHRoZSBmaWVsZCwgYnV0IHRoZSBmYWN0IHRoYXQgbm9ib2R5IHdobyB3aWxsIGV2 ZXIgYmUgY2FwYWJsZSBvZiBhY3RpbmcgaW4gZ29vZCBmYWl0aCB3aXRoIHRoZSBjb21tdW5pdHkg bmVlZHMgdG8gYmUgdGF1Z2h0LCBmaXJzdCwgdGhhdCB5b3Ugc2hvdWxkIG5vdCBhdHRlbXB0IHRv IGhvb2R3aW5rIHRoZSBjb21tdW5pdHkgYnkgc2VuZGluZyBsaWVzIGFuZCBmYWJyaWNhdGlvbnMg dG8gYSBjb25mZXJlbmNlLgoKSW4gb3RoZXIgd29yZHMsIGFsbW9zdCBhbGwgb2YgdXMgc3RhcnRl ZCBvZmYgaW5jcmVkaWJseSBpZ25vcmFudCBvZiBzY2llbnRpZmljIHN0YW5kYXJkcyBhbmQgY29t bXVuaXR5IHN0eWxlIGFuZCBuZWVkZWQgYSBsb3Qgb2YgZ3VpZGFuY2UsIGJ1dCB0aGVyZSBpcyBh IGRpZmZlcmVuY2UgYmV0d2VlbiBtZXNzaW5nIHVwIHNvbWUgdW5zcG9rZW4gY29tbXVuaXR5IGNv bnZlbnRpb24gYW5kIHNlbmRpbmcgbGllcyBhbmQgZmFicmljYXRpb25zIHRvIGEgY29uZmVyZW5j ZS4gSXQgaXMsIGJ5IGRlZmluaXRpb24sIGltcG9zc2libGUgdG8gZG8gdGhlIGxhdHRlciBpbmFk dmVydGVudGx5IG9yIGJ5IG1pc3Rha2UuCgpXaXRoIHRoaXMgc2FpZCwgSSBtdXN0IHZlcnkgc3Ry b25nbHkgYWdyZWUgd2l0aCBNYWUncyBjb21tZW50cyBhYm91dCB0aGUgbmVlZCBmb3IgcGFyc2lt b25pb3VzIGZvcm1hbGlzbSwgYW5kIHRoZSBwZXJmdW5jdG9yeSB3YXkgdGhhdCBldmVuIHByb2Zl c3Npb25hbHMgZmlsbCB1cCBvdXIgcGFwZXJzIHdpdGggdW5uZWNlc3NhcnkgZm9ybWFsIGp1bmsg dGhhdCB3ZSBoYXZlIHRvIGFkbWl0IG5vYm9keSBpcyByZWFkaW5nIGNhcmVmdWxseSBhbnl3YXku IEJ1dCBJIHdpc2ggdG8gYmUgdmVyeSBjYXJlZnVsIGhlcmUsIGJlY2F1c2UgSSBkb24ndCB0aGlu ayBpdCBpcyByaWdodCB0byB2aWV3IHRoZSBwcm9ibGVtIG9mICJnb29kIGZhaXRoIGNvbnRyaWJ1 dGlvbnMgdGhhdCBhcmUgb3Zlcmx5IGNvbXBsaWNhdGVkIiBhcyBwYXJ0IG9mIGEgc3BlY3RydW0g dGhhdCBhbHNvIGNvbnRhaW5zICJiYWQgZmFpdGggY29udHJpYnV0aW9ucyB0aGF0IGFyZSBvdmVy bHkgY29tcGxpY2F0ZWQgYmVjYXVzZSB0aGV5IGFyZSBhcGluZyB0aGUgZm9ybWVyIi4gVGhlc2Ug YXJlIHR3byBlbnRpcmVseSBkaWZmZXJlbnQgcHJvYmxlbXMuIFdlIHNob3VsZCBub3QgYmxhbWUg Z29vZCBmYWl0aCBwZW9wbGUgd2hvIGluY2x1ZGUgYSByZWFsIHRob3VzYW5kLWNhc2UgaW5kdWN0 aW9uIGluIHRoZWlyIFBPUEwgYXBwZW5kaXggZm9yIHRoZSBiYWQgZmFpdGggcGVvcGxlIHdobyBm YWJyaWNhdGUgYSBmYWtlIHRob3VzYW5kLWNhc2UgaW5kdWN0aW9uLiBUaG91c2FuZC1jYXNlIGlu ZHVjdGlvbnMgYXJlIG9iamVjdGl2ZWx5IGJhZCwgYnV0IHdoYXQgbWF0dGVycyBoZXJlIGlzIGlu dGVudC4gCgpGaW5hbGx5LCBzeXN0ZW1zIGxpa2UgTGVhbiBhbmQgUm9jcSBjYW4gaW5kZWVkIHJl YWxseSBoZWxwIHBlb3BsZSBicmlkZ2UgdGhlIGdhcCBiZXR3ZWVuIHRoZWlyIGFtYml0aW9uIGFu ZCB0aGVpciBhYmlsaXRpZXMuIEkgaGFkIHRvIHJldHJhY3QgbXkgZmlyc3Qgc3VibWlzc2lvbiB0 byBQT1BMIGV2ZXIsIGVhcmx5IGluIG15IFBoRCwgYmVjYXVzZSB0aGVyZSB3YXMgYSBzZXJpb3Vz IGVycm9yIGluIHRoZSBtYXRoZW1hdGljcy4gSSBsZWFybmVkIFJvY3EgYW5kIGZpZ3VyZWQgb3V0 IGhvdyB0byBzdGF0ZSBhbmQgZm9ybWFsaXNlIHRoZSByZXN1bHQgSSdkIGludGVuZGVkLCBhbmQg SSBob3BlIHRoYXQgb3RoZXIgeW91bmcgcGVvcGxlIHdpbGwgYmUgZ3VpZGVkIHRvIGhhdmUgc2lt aWxhciBleHBlcmllbmNlcy4KCkJlc3Qgd2lzaGVzIHRvIGFsbCwKSm9uCgoKPiBPbiAxNyBNYXIg MjAyNiwgYXQgNDowOOKAr2FtLCBNYWUgTWlsYW5vIDxtcG1pbGFub0Bjcy5wcmluY2V0b24uZWR1 PiB3cm90ZToKPiAKPiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4u ZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgXQo+IAo+IFRoaXMgaXMgYSBxdWFnbWly ZSBvZiBhIHRvcGljISBJJ20gY2hpbWluZyBpbiBoZXJlIG1vc3RseSB0byBwb2ludCBvdXQKPiB0 aGF0IHdlIGhhdmUgKmV4aXN0aW5nIFNJR1BMQU4gcG9saWNpZXMqLCBpbmhlcml0ZWQgZnJvbSBv dXIKPiBwdWJsaXNoZXJzLCB0aGF0IHJlcXVpcmUgQUkgZGlzY2xvc3VyZSBvbiBhbGwgc3VibWlz c2lvbnMuIFNvLCBpZiB0aGUKPiBhdXRob3JzIGRpZCB1c2UgQUkgYW5kIGZhaWxlZCB0byBkaXNj bG9zZSBpdCwgdGhhdCBtYXR0ZXIgY2FuIGJlCj4gcmVmZXJyZWQgdG8gdGhlIHB1YmxpY2F0aW9u IGJvYXJkIGZvciByZXZpZXcuCj4gCj4gSSdkIGhvd2V2ZXIgbGlrZSB0byB0YWtlIHRoZSAic3R1 ZGVudCdzIHNpZGUiIGFzIHdlbGwgZm9yIGEgbW9tZW50Cj4gaGVyZS4gIEkgaGF2ZSBiZWVuIHNv bWV3aGF0IGx1Y2t5OyBkZXNwaXRlIGJlaW5nIG9uIDMvNCBvZiB0aGUgUEFDTVBMCj4gUENzIHRo aXMgeWVhciAoYmFkIGlkZWEsIEkga25vdykgSSdtIG5vdCBmZWVsaW5nIGF0IGFsbCBidXJpZWQg dW5kZXIKPiBhbiBhdmFsYW5jaGUgb2YgQUktZ2VuZXJhdGVkIHBhcGVycyB0aGF0IEkgaGF2ZSB0 byByZXZpZXcuICBCdXQgSQo+ICpoYXZlKiBzZWVuIGFuIGVudGVycHJpc2luZyB1bmRlcmdyYWR1 YXRlIHN0dWRlbnQgb3IgdHdvIHdobywgbmV3bHkKPiBlbmFtb3JlZCB3aXRoIGJvdGggcHJvZ3Jh bW1pbmcgbGFuZ3VhZ2VzICphbmQqIEFJLCB0YWtlIGEgY3JhY2sgYXQKPiBzcGlubmluZyB0aGVp ciBpZGVhIGFsbCB0aGUgd2F5IHVwIHRvIGEgcGFwZXIgbGFyZ2VseSB3aXRob3V0Cj4gc3VwZXJ2 aXNpb24uICBXaGVyZSBJIGhhdmUgc2VlbiB0aGlzLCB0aGVzZSBzdHVkZW50cyBhcmVuJ3QgdHJ5 aW5nIHRvCj4gZ2FtZSBtZXRyaWNzLCBvciBib29zdCB0aGVpciBwdWJsaWNhdGlvbiBjb3VudHMs IG9yIG9uIHNvbWUgZG9vbWVkCj4gcXVlc3QgdG8gZ2V0IGludG8gZ3JhZHVhdGUgc2Nob29sOyBy YXRoZXIsIHRoZXkgYXJlIGdlbnVpbmVseSBob3BpbmcKPiB0aGF0IHRoZXkgaGF2ZSBtYWRlIGEg Y29udHJpYnV0aW9uLCBhbmQgaGF2ZSBjb21lIGZyb20gYW4gYWNhZGVtaWMKPiBiYWNrZ3JvdW5k IHRoYXQgY29uc2lzdGVudGx5IHJld2FyZGVkIGJ1cnlpbmcgdGhlIHJlYWRlciBpbiBmb3JtYWxp c20KPiBhcyBhIHdheSBvZiAic2hvd2luZyB5b3VyIHdvcmsiIG5vIG1hdHRlciBob3cgdXNlZnVs IHRoYXQgZm9ybWFsaXNtCj4gdWx0aW1hdGVseSBwcm92ZXMgdG8gYmUuIFRoZXkgaGF2ZSBhbiBp ZGVhLCBhbmQgdGhleSBrbm93IHRoYXQgcGFwZXJzCj4gYWJvdXQgdGhlIGlkZWEgaW5jbHVkZSBh IGRlbnNlIHNlY3Rpb24gb2Ygc3ltYm9scyB0aGF0IHRoZXkgY2FuJ3QKPiByZWFsbHkgcmVhZDsg c28gdGhleSBnZW5lcmF0ZSBhIGRlbnNlIHNlY3Rpb24gb2Ygc3ltYm9scyBhbmQgY2FuJ3QKPiBy ZWFsbHkgcmVhZCBpdC4KPiAKPiBXZSBkZWZpbml0ZWx5IGRvbid0IHdhbnQgdG8gZW5jb3VyYWdl IHRoaXMgYmVoYXZpb3IhIEJ1dCB3aGVuIHdlCj4gdWx0aW1hdGVseSByZWplY3QgdGhlc2UgcGFw ZXJzLCBJIGhvcGUgd2UgZG8gc28gd2l0aCB0aGUgaWRlYSBvZiB0aGlzCj4gc3R1ZGVudCBpbiBt aW5kLiBXZSBtYXkgYmUgdGhlIGZpcnN0ICJyZWFsIiBQTCByZXNlYXJjaGVycyBmcm9tIHdoaWNo Cj4gdGhleSd2ZSBoYWQgYSBjaGFuY2UgdG8gcmVjZWl2ZSBkaXJlY3QgZmVlZGJhY2ssIGFuZCB0 aGVyZWZvcmUgYXJlCj4gYWxzbyB0aGUgZmlyc3QgcGVvcGxlIHdpdGggYSBjbGVhciBvcHBvcnR1 bml0eSB0byB0ZWFjaCB0aGVtIGFib3V0IHRoZQo+IHN0YW5kYXJkcyBvZiBwdWJsaWNhdGlvbiBp biBvdXIgZmllbGQuCj4gCj4gU28sIGhlcmUncyBteSBzdWdnZXN0aW9uOiBsZXQncyBjb21lIHVw IHdpdGggYSAiZm9ybSByZXNwb25zZSIgdGhhdAo+IGNhbiBiZSBsaWdodGx5IHRhaWxvcmVkIHRv IGVhY2ggc3VibWlzc2lvbiwgb3V0bGluaW5nIHRoZSAndXN1YWwnCj4ga2luZHMgb2YgY29uZnVz aW9uIHRoYXQgU3RlcGhhbmllIGlzIGNhbGxpbmcgb3V0IGhlcmUgYW5kIHRoYXQgSSdtCj4gc3Vy ZSBtYW55IG9mIHVzIGhhdmUgc2VlbiBmcm9tIG91ciBvd24gW3VuZGVyZ3JhZHVhdGVdIHN0dWRl bnRzIGF0IG9uZQo+IHRpbWUgb3IgYW5vdGhlci4gTGV0J3MgYWltIHRvIG1ha2UgdGhpcyByZXNw b25zZSBub3QgYWJvdXQgQUksIGJ1dAo+IGFib3V0IHRoZSBuZWVkIGZvciBwYXJzaW1vbmlvdXMg Zm9ybWFsaXNtLS0tYW5kIGluIHBhcnRpY3VsYXIsIHdoeSB0aGUKPiBzdWJtaXNzaW9ucyB3ZSdy ZSBzZWVpbmcgZG9uJ3QgcmVhbGx5IGZpdCB0aGF0IGJpbGwuICBXZSBjYW4gaW5jbHVkZSBhCj4g c3VnZ2VzdGlvbiB0byB3b3JrIGluIExlYW4gb3IgUm9jcSBhcyBhIHdheSBub3QganVzdCB0byBp bmNyZWFzZQo+IGNvbmZpZGVuY2UgaW4gdGhlIHJlc3VsdHMgYnV0IHByb3ZpZGUgZ3VhcmRyYWls cyBhcm91bmQgdGhlIGZvcm1hbAo+IGRldmVsb3BtZW50IG1vcmUgZ2VuZXJhbGx5LiAgQW5kIGxl dCdzIGFjY2VwdCwgYXMgYSBjb21tdW5pdHksIHRoYXQKPiBpdCdzIG9rIHRvIHNlbmQgYSByZXNw b25zZSBsaWtlIHRoaXMgKndpdGhvdXQqIGEgZGVlcCByZXZpZXcgd2hlbiB0aGUKPiBwcmVzZW50 YXRpb24gd2FycmFudHMgaXQtLS1ldmVuIGlmIHRoZXJlIG1pZ2h0IGhhdmUgYmVlbiBhbiBvdmVy bG9va2VkCj4gcmVjb3ZlcmFibGUgaW5zaWdodCBkZWVwIHdpdGhpbiB0aGUgdGVjaG5pY2FsIHRh bmdsZS4KPiAKPiBJIGhvcGUgd2UgdGFrZSB0aGlzIG9wcG9ydHVuaXR5ISBMZXQncyBsZWFkIHdp dGgga2luZG5lc3MsIGFuZCBzZWUKPiB3aGF0IGhhcHBlbnMgbmV4dC4KPiAKPiAKPiBNYWUKPiAK PiBPbiBNb24sIE1hciAxNiwgMjAyNiBhdCA0OjAz4oCvUE0gU3RlcGhhbmllIEJhbHplcgo+IDxz dGVwaGFuaWUuYmFsemVyQGdtYWlsLmNvbT4gd3JvdGU6Cj4+IAo+PiBbIFRoZSBUeXBlcyBGb3J1 bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlz dCAgIF0KPj4gCj4+IERlYXIgYWxsLAo+PiAKPj4gSSBoYXZlIG5vdyBiZWVuIG51bWVyb3VzIHRp bWVzIG9uIHRoZSByZWNlaXZpbmcgZW5kIG9uIGEgd2hhdCBpdCBhcHBlYXJzCj4+IHRvIG1lIChh bG1vc3QpIGVudGlyZWx5IEFJLWdlbmVyYXRlZCBjb25mZXJlbmNlIHN1Ym1pc3Npb25zIHRoYXQg SSB3YXMKPj4gYXNzaWduZWQgdG8gcmV2aWV3LiAgT2YgY291cnNlIEkgaGF2ZSBubyBwcm9vZiwg YnV0IHRvIG1lIGl0IHdhcyBwcmV0dHkKPj4gb2J2aW91cy4gIFRoZSBzdWJtaXNzaW9ucyBpbiBx dWVzdGlvbiBjb25zaXN0IG9mIGFuIGFtYWxnYW1hdGlvbiBvZgo+PiBtZWFuaW5nZnVsIHdvcmRz IChzb21ldGltZXMgbm90IGVudGlyZWx5IGZyb20gdGhlIGNvbnRleHQgdGhlIHBhcGVyCj4+IG91 Z2h0IHRvIGJlIGFib3V0KSwgYXJlIGdlbmVyYWxseSB3ZWxsIHdyaXR0ZW4sIGFsdGhvdWdoIG1l YW5pbmdsZXNzLAo+PiBhbmQgZXZlbiBjb21lIGJhY2tlZCB1cCB3aXRoIHNvbWUgcnVsZXMgd2l0 aCBob3Jpem9udGFsIGxpbmVzIGFuZCBwcm9vZgo+PiBza2V0Y2hlcyAoc29tZXRpbWVzIGZyb20g dmFyaW91cyBjb250ZXh0cykuICBUaGF0IGNhdGNoLCBob3dldmVyLCBpcwo+PiB0aGF0IHRoZSB3 aG9sZSBjb21wb3NpdGlvbiBkb2Vzbid0IG1ha2Ugc2Vuc2UuCj4+IAo+PiBXaGF0IGFyZSB3ZSBn b2luZyB0byBkbyBhYm91dCB0aGlzIGFzIGEgY29tbXVuaXR5Pwo+PiAKPj4gSSBoYXZlIG51bWVy b3VzIGNvbmNlcm5zIGhlcmU6IE15IGltbWVkaWF0ZSBjb25jZXJuIGlzIHRoYXQgSSBkbyBub3QK Pj4gbGlrZSB0byBzcGVuZCBteSB0aW1lIG9uIHN1Y2ggc3VibWlzc2lvbnMuICBFdmVuIHRob3Vn aCBpdCdzIHF1aXRlCj4+IG9idmlvdXMgaW1tZWRpYXRlbHkgdGhhdCB0aGUgcGFwZXIgaXMgbWVh bmluZ2xlc3MsIGl0IHN0aWxsIHRha2VzIHNvbWUKPj4gdGltZSB0byBtYWtlIHN1cmUgYW5kIGp1 c3RpZnkgdGhlIHZlcmRpY3QuICBBbm90aGVyIGNvbmNlcm4gSSBoYXZlIGlzCj4+IHRoZSByaXNr IHRoYXQsIHVuZGVyIHRpbWUgcHJlc3N1cmUsIG5vIGR1ZSBkaWxpZ2VuY2UgaXMgZG9uZSwgYW5k IHdlIG1heQo+PiBlbmQgdXAgYWNjZXB0aW5nIHN1Y2ggYSBwYXBlci4KPj4gCj4+IEFzIGEgZmly c3Qgc3RlcCB3ZSBtYXkgcmVxdWlyZSBhdXRob3JzIHRvIGRlY2xhcmUgd2hldGhlciBBSSB3YXMg dXNlZCBpbgo+PiBwcmVwYXJpbmcgdGhlaXIgc3VibWlzc2lvbiBhbmQgd2hhdCBmb3IgYW5kIHdl IGRlbGltaXQgd2hhdCB1c2VzIGFyZQo+PiBwZXJtaXR0ZWQuCj4+IAo+PiBMb29raW5nIGZvcndh cmQgdG8geW91ciB0aG91Z2h0cywKPj4gCj4+IFN0ZXBoYW5pZQo+PiAKCg==