CodeShark
@eric_lombrozo
Followers
84K
Following
23K
Media
1K
Statuses
27K
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.
15
13
47
Luckily there is a third alternative:. A formal spec that is implementation-neutral and a process for certifying implementations against it as well as an assessment of potential failure modes and protocols for how to handle them.
2
0
8
I know open source means you can write anything you want and publish it and get people to use it and all that, but most people do not understand the process very well or are not sufficiently capable of participating in it effectively. To the technical geniuses, this may seem.
2
0
10
I think back to those difficult times we had to endure during the fork wars. People came together for a common cause. We were truly brothers in arms. We were fighting in the trenches together against people who were *actuallly* certifiably insane. We may not have gotten a.
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,.
8
0
16
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.
6
3
19
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,.
3
4
22
Technical geniuses who refuse to learn to manage a brand are condemned to be outcompeted by their technical inferiors. - Plato.
14
4
27
Much love for all the work you do. I know it doesn't pay much, and I am enormouslg grateful for the free software you provide. Please see this message as constructive criticism, out of respect and love.
0
0
44
Dear Bitcoin Core. I am writing this as a public letter. I have a very simple message: people don't hate you for the OP_RETURN stuff. They don't hate you for any of those nonsense battles. Despite a few loudmouths, most people couldn't care the slightest bit about anything.
62
26
301
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.
Despite the contrarian claims of certain Bitcoin Core developers (which I shall not name), formal specification and verification of Bitcoin consensus rules in a neutral client-independent manner is ABSOLUTELY possible. To be sure, it's not a trivial problem. But it is imperative.
5
1
17
I don't want to start no fork wars nor client ego contests nor anything of the sort. I am all in favor of a neutral-yet-rigorously-accurate formal definition. Then let all sorts of teams come up with their own implementations using whatever languages/tools/forums/moderation.
0
1
25
The idea that the rules governing a multitrillion dollar network should be "officially" defined by a reference implementation maintained by just a handful of people is patently absurd. It is merely a historical accident due to the fact that Satoshi originally implemented them in.
1
3
26
Despite the contrarian claims of certain Bitcoin Core developers (which I shall not name), formal specification and verification of Bitcoin consensus rules in a neutral client-independent manner is ABSOLUTELY possible. To be sure, it's not a trivial problem. But it is imperative.
11
5
54
RT @eric_lombrozo: I am looking for people with the following areas of domain expertise:. 1) A good understanding of how Bitcoin works at t….
0
13
0
The longterm benefits to Bitcoin will be immense. It may take a while until people appreciate these benefits, but I assure you, one day you will wonder why this wasn't done earlier.
0
0
5
RT @eric_lombrozo: I am humbled by the amount of interest this post has received. Many people have offered to help. But I am only looking f….
0
1
0
I firmly believe the objectives of this project can be achieved. It is not an easy project, but achieving it is worth beyond words.
1
0
3
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.
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.
4
1
14
RT @eric_lombrozo: @Arthur_van_Pelt Bitcoin deserves more worthy adversaries. People who can actually teach us something in the arts of war….
0
2
0
Fortunately, it still remains the investment of a lifetime with returns unheard of anywhere else. But technical progress, unfortunately, took a huge hit.
1
0
7