acdha, 28 days ago @dabeaz a $56B tool, if you go for his self-assessed value
@dabeaz a $56B tool, if you go for his self-assessed value