Viewing profile — edanm

No, but now I really want to know what the advice is! Can you share it?

> On the other hand, if you already are a good/skilled programmer, AI is not solving anything for you. Its output is flawed and has to be manually fixed and refactored. When you co…

Based on the amount of output, I'm fairly sure simonw has replaced himself with ai years ago :)

I don't get this perspective. How much of the source code of the compiler you use did you read? How much of the source code of the standard library of your chosen language did you …

Yes! I immediately thought of this. And as a bonus reference - this all reminds me a lot of the book "There Is No Antimemetics Division".

Also, Zanagrams is really fun too!

First, this is fantastic! Really fun. I really like everyone's idea of finding some way of letting the player play all 18 words. Either count up time, and use total time as the sco…

> That's not ever going to be enjoyable. Tolerable, perhaps, given focus on the goal, but few people would be willing to tolerate it. This is wrong in multiple ways. For one thing,…

Not that I disagree with anything here, but... I wish it were clearer in these kinds of posts how "I use AI code I don't understand" is so different from "I use libraries written b…

Missing cause it's not true.

> and [Erdős problems are] sufficiently uninteresting that people have not spent that much effort trying to solve them. Note that this is not really true of this problem in particu…

No, the thing the LLM did is not a proof, it's the opposite. It's proving that the conjecture is false. Reductio ad absurdum is a technique to prove something.

Yes. One point I don't usually see people address is that using external dependencies has much of the same properties. Developers often depend on external libraries like things for…

Yep, just lost after I think >5 years. But not because of your comment, because of GP comment.

I'm not quite sure I understand the connection.

Interesting story. Dan Wells and Brandon Sanderson will be very happy. :)

That makes this more ok, IMO. I'm otherwise against "AI-edited" being part of the rules — it's very hard to draw the line (does asking an AI for synonyms of a word count?). AI-edit…

Despite commenting on this literally five seconds ago in the sibling comment, I hadn't made the connection that if "vav" is V, then using "vav vav" is like "VV" which is like "W". …

It's pronounced the same as in English. Wiz, Waze, Wix. It's written with "double vav" in Hebrew, not just a single vav which would make it read as Viz.

Agree with much of your comment. Though note that as GP said, on the Wason selection task, people famously do much better when it's framed in a social context. That at least partia…

I should clarify — I disagree with disallowing any comments that used LLMs in the writing. I think comments should be judged on their quality, not on how they were written. I might…

I wasn't talking about someone learning the language and using this instead of learning it. There are a lot of people who understand English fairly well, but are not actively learn…

I disagree with this policy. Some people can really benefit from using LLMs to help them write. E.g. non-native speakers. LLM-assisted-writing doesn't have to be low effort, it can…