CodeShark

I am looking for people with the following areas of domain expertise: 1) A good understanding of how Bitcoin works at the protocol level 2) A good working knowledge of formal verification systems, interactive theorem provers, and formal specification languages. Grant money is…

Look, people, I'm not saying everyone's critics are right. Some critics may well be straight-out psychopaths. But a little self-reflection and appreciation for why certain people sometimes react a certain way is sometimes not such a terrible idea. Just saying.

To this day, despite not having been a Bitcoin Core contributor for a number of years, I still admire and respect many of the current and past Bitcoin Core contributors. I consider some of them to have been some of my greatest mentors, teaching me many things about tech, tools,…

Technical geniuses who refuse to learn to manage a brand are condemned to be outcompeted by their technical inferiors. - Plato

And I say this as someone who heavily defended Bitcoin Core once, during a perilous time. But cmon, Core...you're just making people hate you for all the wrong reasons, and it is DUMB.

I am humbled by the amount of interest this post has received. Many people have offered to help. But I am only looking for a handful of people, the best of the best. So thank you for your understanding if I do not reply immediately.

Bitcoin deserves more worthy adversaries. People who can actually teach us something in the arts of war and politics.