I suspect that giving too many details may make it obvious who they are. Perhaps the co-worker reads Hacker News?
Honestly, if the poster is serious about being a professional manager and wants good advice on this, they should reach out to a professional organization that provides resources e.g.:
https://www.neurodiversityhub.org/resources-for-employers
Using anecdotes from HN as a guide doesn’t seem like a great approach.
I suspect that giving too many details may make it obvious who they are. Perhaps the co-worker reads Hacker News?