cads: the public _thinks_ its opinion matters, and that's what is important.

cads: mircea_popescu: worse than that. They want judges to be voted on by a peer network. If the network doesn't like the judge's decision, they can vote another judge. The idea is that people found guilty of crimes will become universally shunned.

cads: mircea_popescu: In America, remember, privacy is 'dirty'.

cads: mircea_popescu: as long as american public doesn't know to invest in in policies and products that help identity management and security, shit like this will keep happening.

cads: mircea_popescu: *shrug* I do this when I make a connection that turns a deep problem into a resource. You should have seen me years ago each time I realized some little math connection.

cads: if we turn out _only_ verified code, our reputation would rise quickly.

cads: mircea_popescu: when you realize that this approach takes Coq -> Haskell -> C code, then you see it's about putting Coq in Cunt. Simple. I know ten medium level programmers already dying to be doing this kind of work, even if it was near free.

cads: mircea_popescu: thanks for that stimulating line of thought, I'm getting some positive feedback from my peers already.

cads: also, I know any number of people that play with the technology _for fun_, but much fewer who have names for themselves (and those guys tend to be happily employed)

cads: I'm thinking risk and externalities on the insurance derivative over this kind of service would be _far_ beyond my abilities to manage. However a code review would be quite lucrative and low risk. Also, it might be reasonable to begin offering formal verification services from the gate, or about 1 year after startup. It's not that hard to teach. When you have your own slaves.

cads: mircea_popescu: do you have customers in mind for the code review adventure?

cads: mircea_popescu: ding ding ding...

cads: mircea_popescu: http://trilema.com/2012/probably-the-hottest-business-idea-of-the-moment-in-btc/#comment-90935 "That’s a good point, if the codebase is small formal validation would probably be the way to go."

cads: mircea_popescu: very dark. That always seems like nothing more than a game to me. I think I'd have to develop the ownership mentality to be a really good master.

cads: mircea_popescu: they _pay_ for your teaching?

cads: mircea_popescu: ah, those kinds of slave. And they have so much to learn I can understand why teaching anyone else might be low priority.

cads: mircea_popescu: I tend to give my best advice without knowing it to friends, lol. And less good advice to my consutancy.

cads: but I should certainly be able to push up a _small_ service

cads: mircea_popescu: though I would be thrilled to offer that, frankly I would need 5 years of software dev manager work before I could assemble and run such a team, to completely forget about capital.

cads: mircea_popescu: this is where this community's advice is already coming in handy.

cads: mircea_popescu: I have already been advised once that for the project to succeed and be safe and beneficial long term.

cads: mircea_popescu: I would certainly keep you on the anonymous gratitude lisk

cads: mircea_popescu: I believe that what a student can do greatly increases even by having a teacher that says 'it is possible'. Moral support means philosophical and encouragement. It would mean a great deal to have whatever positive, constructive input you wish to provide. When we provide others with moral support, we do it only so far as it helps our reputation or internal sense of gratification at having helped someone.

cads: mircea_popescu: sounds like a reasonable protection

cads: mircea_popescu: aside from moral support and guidance, I will ask questions about how the mpex was implemented.

cads: mircea_popescu: I am a mathematician, not a coder, so I don't expect this project to succeed without some serious help. I have the whole #haskell community. I have 5 years of haskell. I can use ruby, python, php etc for frontend. I will rework my ideas on attribution and profit share (it may be best to arrange that I profit financially from a successful completion). Will this be a project you can provide moral support to?

cads: mircea_popescu: this is part of what I consider my "free work". Some people do a finance internship. I will build an exchange.

cads: mircea_popescu: barring any formal mentorship/student relationship, I would like at least to ask you basic questions over the next few months.

cads: mircea_popescu: I would not be able to pay you for your time. I would want to talk to you about high level architecture and implementation details.

cads: mircea_popescu: Is that the kind of project that you would be interested in mentoring?

cads: mircea_popescu: this summer I will work towards implementing a marketplace for BTC <-> LTC futures.

cads: mircea_popescu: I have a help request and project proposal for you.

cads: hey mircea_popescu , ce faci?