I have some resume-type information on LinkedIn and if you Google my name you can see tons of code I wrote, technical discussion I was a part of, etc.
Since everyone asks: yes my name is Havoc Pennington. Havoc is my middle name, but I have always gone by it since childhood. Dad appreciated the following passage:
And Caesar's spirit, raging for revenge,Julius Caesar Act 3, scene 1, 270—275
With Ate by his side come hot from hell,
Shall in these confines with a monarch's voice
Cry "Havoc!" and let slip the dogs of war,
That this foul deed shall smell above the earth
With carrion men, groaning for burial.
Not sure what this was supposed to say about me. Here's a personal essay about my Dad if you're curious.
By the way, having a memorable name has been a huge positive in life — something counterintuitive enough that some countries make it illegal to name kids wacky things. If you don't have a chance to name a kid something memorable, at least name your company or product well. It's OK for names to be "negative," what matters is whether people can remember them.
I'm happy to meet people in the tech industry doing interesting work.