185800+ entries in 0.116s
erlehmann: trinque i
tried again and used --export-options export-minimal
herbijudlestoids: I had a lot of fun reading
the log
today of asciilifeform
talking about NIC drivers
herbijudlestoids: so is anyone going
to link me
this ada numeric lib by "alf" or not!
phf: he probably also missed
the RATO and
the gp, and he wasn't here for
the Larasian either
herbijudlestoids: I am kind of happy
to hear
that all
this
time I was gone, and
thinking of
this shit, you guys were also
thinking of
this shit
trinque will need another beer for
this
herbijudlestoids: asciilifeform: I didn't look
too deeply, but
take a look, it has
TLA+ style formal verification properties
trinque: erlehmann:
teh fingerprint of your key
deedbot: mircea_popescu rated herbijudlestoids 1 << missed on all
the
things.
trinque: erlehmann: I was asking you which fp you wanted
to use, as several made it in here. I gather you registered more
than one key?
a111: Logged on 2014-02-14 00:43 BingoBoingo: herbijudlestoids: i
tried
to wipe out your bids with one limit order down
to 111 satoshis and it skipped your bids and sold cheap
mircea_popescu: herbijudlestoids we pretty much settled on ada as
the proper environment for critical code, more or less.
mircea_popescu: herbijudlestoids i
take it you missed alf's ada numeric lib
too ?
erlehmann: mircea_popescu i
think she
thinks herself
to be
too modest. on
the other hand, she has repeatedly
told me she will not fuck me without me stating sexual interest, which in my experience people only do if
they actually do
think about fucking.
BingoBoingo: herbijudlestoids:
That's another
thing you missed
herbijudlestoids: I was
thinking of applications and had
this idea of writing an implementation of bitcoind in SPARK
herbijudlestoids: good question... been spending a lot of
time recently studying SPARK/Ada
mircea_popescu: erlehmann
that dude... recently came up, iirc he got like 10 btc or some crazy old
timer shit like
that.
erlehmann: mircea_popescu i even linked
the sharpie in pooper incident
to convince her of your generosity.
erlehmann: BingoBoingo sorry no article for you
today. am sleepy enough.
a111: Logged on 2017-06-02 23:56 erlehmann: dear diary, yesterday a person on IRC asked me if i am jealous after i referred
to ethereum as a scam again. jealous, i asked. yes, she answered, jealous of people who invest in cryptocurrencies!
BingoBoingo: <erlehmann> “just don't hold it
that way” << Generally
this is how
tools work. Do not hold chainsaw by chain.
erlehmann: trinque so i just create an ascii armored pubkey export and
try again?
trinque: mk, I'm at some point going
to go back
to what I was doing.
☟︎ trinque: thing broke when you used it incorrectly; what's
the security problem
trinque: erlehmann: known derp; should barf if it gets moar
than one
erlehmann: trinque i see,
that was
the error apparently!
phf: aight,
that's my queue
trinque: erlehmann:
there are 4 key fingerprints in here; which did you want?
BingoBoingo: erlehmann: Go for it. I
thought you meant some broad "pls
to not be scammed" piece.
erlehmann: translating
to a lot of canadian dollares
erlehmann: > Our code didn't prefix
the Hex string with 0x and when we upgraded Geth from 1.5.3
to 1.5.9 on
the 24th of May,
the SHA3 function call failed and our sweeper process
then called
the contract with an invalid data payload resulting in
the ETH becoming
trapped.
erlehmann: >
The Web3 SHA3 implementation requires
the Hex value
to be prefixed with 0x - optional until Geth 1.5.6.
BingoBoingo: Is it a specific
thing or "cryptpscamming" in general
BingoBoingo: <erlehmann> i
think i can do one short hateful article about cryptoscamming before i sleep << Must be news.
phf: ng on his nick results in 404. likewise when he does !!up or !!rate deedbot claims
that he's not registered.
this doesn't look like an operator issue
erlehmann: i
think i can do one short hateful article about cryptoscamming before i sleep
erlehmann: BingoBoingo all articles on
the front page are from you. editor, edit
thyself?
BingoBoingo: <herbijudlestoids> for some reason I
thought you were from .au but I must be mixing you up with someone else <<
That's cazalla
BingoBoingo: erlehmann: Yes,
the gatekeeping mechanism is called editor
erlehmann: BingoBoingo does
there exist a gatekeeping mechanism so
that qntra does not drown in horsecock as kuro5hin did?
herbijudlestoids: for some reason I
thought you were from .au but I must be mixing you up with someone else
BingoBoingo: Well,
there's quite a few people around but it's Friday night.
BingoBoingo: Anyways I'll let you get back
to catching up
herbijudlestoids: I saw something on
trilema saying you can write articles for it and entitles you
to shares in it?
BingoBoingo: Well a lot has happened since
then...
there's a nearly
two and a half year old media empire, etc
herbijudlestoids: I am
trying
to remember how we played last, it was some kind of
texty
thing, do you remember
the interface for
that?
BingoBoingo: herbijudlestoids: Have you found any new markets where I can
take your money?
herbijudlestoids: thought I'd drop in and check on
the crazies, I see
things have changed dramatically
phf: actually i'm not sure why
that should be
the case..
phf: distance, l1 is whatever's immediately rated, l2 is whatever's rated by your rates. an informal way
to establish connectivity
phf: there's no "democracy", you're in deedbot's level 2 web of
trust
through my rating.
there's a handful of useful people in l1
that can at some point decide
that you shouldn't really speak anymore.
that's about it. if you ever become useful, you can get into l1.
thus
the s/r is maintained
phf: well, your current state is
that you can
talk at will
erlehmann: > Ostracism was crucially different from Athenian law at
the
time;
there was no charge, and no defence could be mounted by
the person expelled.
The
two stages of
the procedure ran in
the reverse order from
that used under almost any
trial system — here it is as if a jury are first asked "Do you want
to find someone guilty?", and subsequently asked "Whom do you wish
to accuse?"
erlehmann: and by “worked” i mean: no one complained
that anyone should be kicked out
erlehmann: worked until
the person hosting
the bot killed it
phf: erlehmann: now you can /msg deedbot !!up and after decoding a challenge response send it back with /msg deedbot !!v <response> you'll be permanently upped while you're connected
to services anyway
phf: there are no rules. she doesn't recognize most of
the
tracks and get indignant because "i love
the 90s!1" but of course
through
the prism of whatever survived into
the early 2000s
erlehmann: who is girl and what are
the rules of
the game?
phf: i have nothing else
to add
to
this conversation, i am
though playing "have you heard
this eurodance
track" game with girl, where i play something
that ~everyone~ danced
to in
the 90s, but didn't survive
the
test of
time and see if she heard it
a111: Logged on 2017-06-03 02:48 phf: c standard is written with an assumption of a "c machine", which in
turn is entirely undefined
a111: Logged on 2017-06-03 02:46 asciilifeform:
the basic idiocy of c world is
that
there is permitted
to exist a gap between written standard and
the actual implementation programs rely on
phf: so you bring all your assumptions of what c machine is with you, and
then map a "standard" on
top