The internet discovers TLA+. Now what?

Re:The internet discovers TLA+. Now what? by lisp2240 on Sunday September 27, 2026 @06:30AM (#49865371)

Take a writing class. This was painful to read.

[ Parent | on HN ]

Re:The internet discovers TLA+. Now what? by rsrsrs86 on Sunday September 27, 2026 @08:10AM (#49865993)

Yep. Unreadable

[ Parent | on HN ]

Re:The internet discovers TLA+. Now what? by pelagicAustral on Sunday September 27, 2026 @07:05AM (#49865584)

Hahaha this is so funny... people here get slammed all the time of using AI for writing and here be, just someone writing his way through Internet history and gets slammed for it just the same... you can't hardly win with an audience like this... haha

[ Parent | on HN ]

Re:The internet discovers TLA+. Now what? by cryptonym on Sunday September 27, 2026 @07:35AM (#49865753)

You can be bad at writing with or without AI.

[ Parent | on HN ]

Re:The internet discovers TLA+. Now what? by pona-a on Sunday September 27, 2026 @09:39AM (#49866563)

If the author threw this into Claude to add some load-bearing similes to their unedited monologue, it would only make it more insufferable to anyone complaining about it now.

[ Parent | on HN ]