People sometimes misunderstand this, so I'd better add: of course it's fine to use AI tools! We use them heavily ourselves. Just not to generate or edit text to be read by fellow humans on HN.
It's impossible to know for sure what was LLM generated or edited, but we have to rely on imperfect classifiers or else the site would be completely flooded by genai text, which is not what the community here wants to read, nor in the intended spirit of HN.
In this day and age there's no excuse to not build a new distributed system without DST, the AI is not lazy.
> once celld has confirmed they're no longer needed
Isn't that the same check then act race in a new spot, and is it covered by an invariant?
Obligatory "what is deterministic simulation testing" link to https://youtu.be/4fFDFbi3toc
[flagged]
Some of your recent comments have been killed by our software because they've been classified as genai text, which is not allowed on HN itself (see https://news.ycombinator.com/newsguidelines.html#generated and https://news.ycombinator.com/item?id=47340079).
People sometimes misunderstand this, so I'd better add: of course it's fine to use AI tools! We use them heavily ourselves. Just not to generate or edit text to be read by fellow humans on HN.
It's impossible to know for sure what was LLM generated or edited, but we have to rely on imperfect classifiers or else the site would be completely flooded by genai text, which is not what the community here wants to read, nor in the intended spirit of HN.