Yes - I was just trying to give things a "this is interesting, so upvote & discuss!" kick. In the absence of Ken popping up with good "Author here for your 8087 questions" comment.

▲

elpocko a day ago | parent [-]

I guess he didn't pop up because the article is 6 years old.

https://news.ycombinator.com/item?id=23362673

▲

kens a day ago | parent [-]

I'm here now if anyone has questions. I can't be online all the time :-)

	▲	bell-cot a day ago \| parent [-]
		Re-post that comment top-level, so folks can see that the Big Name is now on stage. ;)