183500+ entries in 0.098s
mircea_popescu: phillipsjk i have nfi what
that's supposed
to mean, if you care. what back
taxes and how does it help ?!
mircea_popescu: asciilifeform give
the man some
toime, eh, he said might be, and so on.
mircea_popescu: danielpbarron do you recall why you negrated
the dood ?
shinohai: Those dishes won't wash
themselves.
mircea_popescu: you have
to READ
the code. multiple
times. multiple. many many
times.
mircea_popescu: the "assisted" part simply signifies
trhat
the lazy operator intends
to not do any work and still pretend like he has something
to say.
phillipsjk: mircea_popescu, you have
to re-review
the code, do you not?
mircea_popescu: no, "computer assisted proof checker" is jsut another way
to say "i wave it before my cat and see if it mews".
phillipsjk: wizard as in wise person yes. Last estimate I saw said about 160 people are do
the work world-wide (mainly for
the US military). (they want
to know war-only weapon modes will actually work as intended)
mircea_popescu: oh oh oh i see, 1 from me -one from daniel ok, i got confused. sorry
trinque nothing unusal here.
mircea_popescu: stop "thinking" like
that, it's not
thought and it's not socially acceptable in adult males, either.
mircea_popescu: phillipsjk oh,
the "wizard does it"
thing emerges yes ?
tell you what, loading up a label maker you put a "computer" label on with "correctes check passed" labes does nothing useful for everyone.
phillipsjk: However
that may be out-of-scope for what V is supposed
to do.
phillipsjk: I
think it would be useful
to be be able
to resign patches after running a computer-assisted proof checker )or just
test cases) against
them.
mircea_popescu: asciilifeform aww i was gonna check
this lost key
thing
phillipsjk: That is why I said
the concern may be orthogonal. Lost keys are a concern.
mircea_popescu: if people can't review
the code nobody's proving anything. ever.
mircea_popescu: phillipsjk do you have handy a graph depicting
the relation between x and e^x ?
mircea_popescu: please
tell me
this "proven correct" isn't just anotgher idle handwave, "let
that wizard over
there do it"
phillipsjk: You prove
the interface matches
the documentation. repeat all
the way up
the stack.
phillipsjk: I believe code should be proven correct, so
that abstraction leakage does not bite you in
the ass.
mircea_popescu: moreover, it'd seem on
the first pass
that
the "possible hidden fragility" of disallowing "large codebases" aka piles of crap nobody's ever read is preferable
to
the VERY LOUDLY OBVIOUS vulnerability of running black boxes
phillipsjk: Your solution in
the logs is
to replace unix with DOS
to avoid
that problem.
phillipsjk: That may be an orthogonal problem
though.
phillipsjk: You model assumes
that people are able
to review
the code. It may not scale
to large code-bases.
mircea_popescu: well, just as soon as you can be specific re
that fragility, i'm, all ears.
phillipsjk: mircea_popescu,
they bought up CAvirtex,
that is why I am getting e-mail.
phillipsjk: I found
the concept of V interesting. I worry it may have hidden fragility
though. I may port it
to BSD when I have
time.
mircea_popescu: i've been sitting here
trying
to recall which irrelevant scam "exchange" kraken is, can't really come up with much. was in
the one
the
tradehills scammers made in
their doomed but cheeky attempt
to "come back"
the usual coupla years later ? or was
the one named after a pirate-era mpoe-pr post ?
phillipsjk: Presumably
transactions with many outputs are more efficient
than dual input/output
transactions.
They may be able
to eliminate an arbitrary number of round
trips
through
their hot wallet as well.
mircea_popescu: "the price of
two strings
tied
to one can goes up
to bla bla" ?
phillipsjk: "Many clients have said
they prefer a lower bitcoin withdrawal fee even if it means slower
transactions. Accordingly, we are now sending withdrawals
together in batches
to reduce cost.
This allows us
to reduce
the bitcoin withdrawal fee
to: 0.001 XBT"
phillipsjk: Then on june 10th,
they sent a follow-up email, saying in part:
mircea_popescu: but
then at once i
told myself -- no,
transaction fees are definitely having an effect!
phillipsjk: On june 8th, Kraken sent out an e-mail saying
that Bitcoin withdrawal fees would rise
to 0.0025 XBT
mircea_popescu: but
then, like a doubt occured
to me. what if
transaction fees aren't having an effect after all ?
mircea_popescu: at first, when i received your letter, i at once said : surely,
transaction fees are having an effect.
phillipsjk: Thought you might be interested
to know
that
transaction fees are finally having an effect.
a111: Logged on 2015-02-06 00:00 mircea_popescu: "this is, without a doubt,
the worst resume i have ever seen."
phillipsjk: I am
the one with
the horrible resume.
jhvh1: shinohai:
The operation succeeded.
ben_vulpes: but proposed is not
to exhume dos but run an ada os
thinger?
mircea_popescu: both in
terms of exposing
the idiocy of
the enemy in very specific
terms, and in
terms of providing solutions
to
teh problems.
mircea_popescu: the experience with making / using
the fg
turns out most useful, really.
mircea_popescu: asciilifeform in an ideal world we just hijack intel management engine
to do
that job.
mircea_popescu: "instead of making
ten cars we made
this bus with
ten driver seats.
talk it out among yourselves.
there's bulletproof glass in some parts."
mod6: yeah. back
to dos-like sys
mircea_popescu: there's also
the "bunch of retards who
think
themselves competent and will wish
to '''help'''" as per older
threads re flies.
mircea_popescu: this is shapinbg up
to be
the achile's heel for lisp huh