scientist, coder
- cryptography - multiparty protocols (MPC), decentralized random beacons (DRB), zero-knowledge proofs (ZKP), pseudorandom correlation generators (PCG), commodity crypto ($), BFT
- fintech - cryptocurrency, defi, snark bridges
- machine learning - vision, interpretation, testing, nlp, causality
- user interfaces - design, testing
- quantum - computing, crypto, deniability, proofs
- Apple News, iBooks, Google Dapper Observability, Uber Autonomous Driving
"'Tis the note of the Jubjub! Keep count, I entreat;
You will find I have told it you twice.
Tis the song of the Jubjub! The proof is complete,
If only I've stated it thrice."
The Beaver had counted with scrupulous care,
Attending to every word:
But it fairly lost heart, and outgrabe in despair,
When the third repetition occurred.
It felt that, in spite of all possible pains,
It had somehow contrived to lose count,
And the only thing now was to rack its poor brains
By reckoning up the amount.
"Two added to one—if that could but be done,"
It said, "with one's fingers and thumbs!"
Recollecting with tears how, in earlier years,
It had taken no pains with its sums.
"The thing can be done," said the Butcher, "I think.
The thing must be done, I am sure.
The thing shall be done! Bring me paper and ink,
The best there is time to procure."
The Beaver brought paper, portfolio, pens,
And ink in unfailing supplies:
While strange creepy creatures came out of their dens,
And watched them with wondering eyes.
So engrossed was the Butcher, he heeded them not,
As he wrote with a pen in each hand,
And explained all the while in a popular style
Which the Beaver could well understand.
"Taking Three as the subject to reason about—
A convenient number to state—
We add Seven, and Ten, and then multiply out
By One Thousand diminished by Eight.
"The result we proceed to divide, as you see,
By Nine Hundred and Ninety and Two:
Then subtract Seventeen, and the answer must be
Exactly and perfectly true.
"The method employed I would gladly explain,
While I have it so clear in my head,
If I had but the time and you had but the brain—
But much yet remains to be said.