929500+ entries in 0.701s
jurov: betting 4BTC at is
the same result as 4 bets 1 btc each, all weights equal
deadweasel: 10:24:44 <
thestringpuller> oink like
the bittorrent
tracker?
mircea_popescu: deadweasel 4. Use multiple bets
to get more of
the wiinings 'weight' << hiow;s
that work ?
gribble: (asks [--over] <pricetarget>) -- Calculate
the amount of bitcoins for sale at or under <pricetarget>. If '--over' option is given, find coins or at or over <pricetarget>.
cads: jurov: you
think
the BTC devs would like
that?
cads: Such a system would be so easy
to influence it would be ridiculous.
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.
jurov: cads,
truly fascinating ideas... but i propose
to have btc code formally verified first
mircea_popescu: cads
the retards re-re-re-inventing a broken version of pgp
cads: It is a proposed complete identity database
that will collect all available data on all humans. Get
this. For
the purpose of leading
to a gift economy.
thestringpuller: mircea_popescu: Simona is at
the bank, how do I say
this phrase. what is is again, ce froumaousa esti?
cads: 'People do naughty
things in private!' It's only barely dawning on us
that privacy protects you from disgusting
things.
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.
gribble: A market order
to sell 200000 bitcoins right now would net 11368941.2316 USD and would
take
the last price down
to 7.6000 USD, resulting in an average price of 56.8447 USD/BTC. | Data vintage: 11.6483 seconds
gribble: A market order
to sell 100000 bitcoins right now would net 9458202.1355 USD and would
take
the last price down
to 41.1000 USD, resulting in an average price of 94.5820 USD/BTC. | Data vintage: 0.0044 seconds
gribble: BTCUSD
ticker | Best bid: 137.00000, Best ask: 137.19000, Bid-ask spread: 0.19000, Last
trade: 137.00000, 24 hour volume: 60517.06080753, 24 hour low: 128.00100, 24 hour high: 139.89998, 24 hour vwap: 134.46786
gribble: smickles was last seen in #bitcoin-assets 22 hours, 30 minutes, and 47 seconds ago: <smickles> a bitcoin atm could be
the easiest way
to send money
to a friend, each of you just goes
to an atm
mircea_popescu: how long
till someone makes an ipad app
to pinpoint mentally retarded female students aged 12
to 14, not on
their period, with big
tits ?
eyes: thats what i figured but
though i would check :D
mircea_popescu: doesn't matter. spec at
the
time of
the bet being created counts.
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.
eyes: the spec on BFL has changed since
the bet was made
mircea_popescu: eyes not really much precedent. what's unclear
there ?
eyes: hey, anyone got any idea what
the precedant is for bets where
the conditions become unclear?
gribble: There are currently 35595.81 bitcoins demanded at or over 108.0 USD, worth 4409417.03238 USD in
total. | Data vintage: 0.0056 seconds
MJR_: i'm seeing bullish sentiment...if you
think GLD contracts expiring
today struck at 151 are an indicator...those just doubled in value since
the open
MJR_: but it points
to certification is only as good as certifier
cads: if we
turn out _only_ verified code, our reputation would rise quickly.
cads: The only part is
the veracity of our code
mircea_popescu: MJR_ well obviously. kinda why
those are
there,
to make
that point.
MJR_: so
the double cherry
truck and slightly smoky dragon were a joke, but
they actually could hold weight now
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.
MJR_: my point was
that if someone has credibility (mpex)
they can call
their cert whatever
they want, it will have value
mircea_popescu: "Stay
tuned for
the first commercially available, fully formally verified microkernel."
MJR_: this could be
the "slightly smoky dragon" certification
that i have been asking for...
cads: this approach is essentially extensible
to let us create almost anything needed. Bitcoin asic? Verified. LTC asic? verified. Bitcoin stock exchage?
mircea_popescu: a, no, if you read
the article/comments it's agreed some standards will have
to be arrived at/published
optimator: sure, but i want
to provide insurance
to a site. but I'll only insure if
they meet some standard. How do you define
the standard? individual for each site?
mircea_popescu: very light on actual anything. which mostly boils down
to some penetration
testing
mircea_popescu: but anyway. pci is pretty much marketing fluff. heavy on
the blabla and
three letter acronims, pompous definitions and posturing.
optimator: ah.
the issue is pci is broke, not
that an open sourced bitcoin security standard would fail
mircea_popescu: about half
the cards in
the world are available
to download on
the black market.
mircea_popescu: let's go by example :
the cc industry is pretty much all pci compliant
mircea_popescu: optimator i
think
that direction is pretty much diametrically opposed.
mircea_popescu: cads> mircea_popescu: do you have customers in mind for
the code review adventure? << sure. pretty much any new service opening.
cads: I might see some champing at
the bit :)
cads: throwing in
the bone about coding an exchange,
too
cads: mircea_popescu:
thanks for
that stimulating line of
thought, I'm getting some positive feedback from my peers already.
optimator: I've
thought about
the insurance
thing before. I
think you'll end up developing pci-type standards and
then measuring / certifying
the company against
those standards
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: The issue I see with formal verification is so few people know
to ask for it by name
cads: sex-employees cost
too much!
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?
MJR_: to judge
the amount of "institutional" or "wall street" interest
MJR_: that would be a good metric
to
track...
MJR_: yes,
that was my point, is
that i
think
there is increasing volume of people accustomed
to a 9:30 EST market opening
cads: I
think I might have hit on an interesting idea
cads: "One major point which
the original article neglects
to mention is
that
this proposed business would be an excellent point of crystallization for
true IT competence, drawing some actually qualified people in."
ChaangNoi: hell, who of
them would not have heard about btc by now
ChaangNoi: i
think a lot of
this is fund
traders doing it on
the side
deadweasel: correlation, US got woke up or got
to
their desk.
MJR_: funny how
the volume spiked at
the same
time as
the ny market opened
mircea_popescu: fucking scum at
the bottom of
the bitcoin pond,
these people.
mircea_popescu: how did
the phishers get
the emails ? coinbase leak ? a, we don't mention
that.
MJR_: ah, someone
talking about bitcoins linked
to
that, i
thought it was very interesting
MJR_: "medium of exchange" is
the most flexible part of money...
MJR_: mircea_popescu:
this article is great
ChaangNoi: what is not normal? (other
than japan)?
kakobrekla: things will be getting back
to normal shortly.
cads: Things
to learn. In
time ;)
mircea_popescu: i suspect such a sense is moreover dangerous in
that context.
cads: plenty of
time
to play in
that regard when I am entirely more possessed of my own sense of greatness
cads: Yep, if it's not authentic
the atmosphere suffers.
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.