Edoardo Luppi
08/19/2026, 4:35 PMYoussef Shoaib [MOD]
08/19/2026, 4:39 PMEdoardo Luppi
08/19/2026, 4:40 PMEdoardo Luppi
08/19/2026, 4:43 PMEdgar Avuzi
08/19/2026, 5:10 PMEdoardo Luppi
08/19/2026, 5:11 PMPablichjenkov
08/19/2026, 6:08 PMStefan Oltmann
08/19/2026, 6:14 PMStefan Oltmann
08/19/2026, 6:16 PMStefan Oltmann
08/19/2026, 6:19 PMIsn't it better to not have comments in the code? Keeping the code self-explanatoryI'm a huge fan of clean code and can see where this comes from. Comments go out of touch, that's true. What the code can explain should never be commented. But so often there are circumstances that can't be expressed in code. Mostly WHY this solution was taken over an (maybe) more obvious one. Also, edge cases often need a bit more explanaiton.
Edoardo Luppi
08/19/2026, 7:30 PMPR review is great tooDefinitely. A first pass with AI is what I do now. Catches all nits. Then I can focus on the real review.
Stefan Oltmann
08/19/2026, 7:40 PMYoussef Shoaib [MOD]
08/19/2026, 7:40 PMEdoardo Luppi
08/19/2026, 7:41 PMStefan Oltmann
08/19/2026, 7:42 PMStefan Oltmann
08/19/2026, 7:43 PMStefan Oltmann
08/19/2026, 7:43 PMStefan Oltmann
08/19/2026, 7:45 PMYoussef Shoaib [MOD]
08/19/2026, 7:45 PMStefan Oltmann
08/19/2026, 7:46 PMStefan Oltmann
08/19/2026, 7:48 PMStefan Oltmann
08/19/2026, 7:52 PMStefan Oltmann
08/19/2026, 7:58 PMEdoardo Luppi
08/19/2026, 9:10 PMEdoardo Luppi
08/19/2026, 9:12 PMStefan Oltmann
08/19/2026, 9:12 PMEdoardo Luppi
08/19/2026, 9:13 PMEdoardo Luppi
08/19/2026, 9:15 PMStefan Oltmann
08/19/2026, 9:15 PMStefan Oltmann
08/19/2026, 9:16 PMI also have perf goals tied to AI this year, so I'm "forced" to use it under some capacity.Very interesting.
Edoardo Luppi
08/19/2026, 9:18 PMStefan Oltmann
08/19/2026, 9:32 PMStefan Oltmann
08/20/2026, 12:54 PMStefan Oltmann
08/20/2026, 12:58 PMYoussef Shoaib [MOD]
08/20/2026, 1:03 PMthe AI-generated proof was not human-digested to be in the form of a publication-ready preprint; and it has taken me several days (with heavy AI assistance) to perform such a digestion, to place the proof in proper context with previous literature and to simplify and streamline the argument to highlight the main ideas
Stefan Oltmann
08/21/2026, 4:03 PMStefan Oltmann
08/21/2026, 4:04 PMStefan Oltmann
08/21/2026, 4:06 PMStefan Oltmann
08/21/2026, 4:07 PMStefan Oltmann
08/22/2026, 6:20 PM