Full threadantioedipus·Are you thinking of Arthur Whitney?His work was discussed on HN a few months ago: https://news.ycombinator.com/item?id=19481505View on HN