Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Peter Sewell

@peter_sewell_@types.pl
mastodon 4.8.0-alpha.2+glitch
  • Open on types.pl
176 Followers
63 Following
4 Posts
Joined November 10, 2022
Open post
Peter Sewell @peter_sewell_@types.pl
· 9mo ago
Replying to
@wilbowma@types.pl Dear Jack Davidson, Wayne Graves, The ACM Digital Library provides an important service to computer science, facilitating access to the primary research literature. I am dismayed to see that it now, rather than showing the author-written and peer-reviewed abstracts of papers, displays an AI-generated summary. To add insult to injury, it moreover does so in a way that will very easily be misread to be the authors' text. This is antithetical to the practice and progress of science, and misrepresentation of the author and of the peer-review process. It is also a waste of ACM resources. The hazards should be clear to anyone involved in the scientific process. Please remove this feature immediately. best wishes, Peter Sewell Professor of Computer Science, University of Cambridge. FRS
38
6
33
0
Open post
Peter Sewell @peter_sewell_@types.pl
· 6mo ago
Replying to
@michael@toot.mynameismwd.org But... Now you have stencils for teensy router bits to inlay elegant more-volume-now buttons into the guitars. Surely?
2
2
0
0
Open post
Peter Sewell @peter_sewell_@types.pl
· 6mo ago
Replying to
@adrian@discuss.systems The bibtex from DBLP is often sensible and usable without editing, while publisher bibtex (including ACM DL) is often broken one way of another
1
0
0
0
Open post
Peter Sewell @peter_sewell_@types.pl
· 6mo ago
Replying to
@adrian@discuss.systems with DBLP bibtex?
0
1
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 21:39:08 UTC