log☇︎
209000+ entries in 0.135s
deedbot: http://trilema.com/2017/i-love-her-or-collection-des-billets-doux-cca-2017/ << Trilema - I love her, or, Collection des billets-doux cca 2017.
mircea_popescu: Framedragger yeah, thourogh, isn't he.
mircea_popescu: strongest rebuff i know of the whole "ustards, psssh." angle.
mircea_popescu: yeah the find a flag by polaris story is pretty cool.
Framedragger: yes yes i understand, the cherry on top is that you make sure it's also *easy*.
asciilifeform: Framedragger: the auditability is the entire point of FUCKGOATS.
Framedragger: asciilifeform: i understand, but i mean the *detail*, etc. - it's a nice manual with everything spelled out for the user
asciilifeform: where you actually determine that the cpld follows the claimed logic.
asciilifeform: Framedragger: these are just basic tests. and distinct from the proper audit described in earlier text
Framedragger: i really admire the amount of effort you took to carefully spell out ways of auditing the thing
asciilifeform: it shat orc glyphs into the ascii.
asciilifeform: i made the mistake of editing the text on a crapple shitintosh
asciilifeform: ow fuck, html mutilation of the commands
asciilifeform: (scroll to end)
Framedragger: "when 4chan / $an_internet sets his mind to something"
Framedragger: http://btcbase.org/log/2017-03-12#1626094 << very nice! flight trail and star map correlation etc ☝︎
asciilifeform: they're going out this week.
Framedragger patiently awaits merchandise from the master
Framedragger: asciilifeform: mno, this was a super random find, was going over some logs, re-read piece of your sage probe article, poked source out of curiosity
Framedragger: maybe not important enough to recalc and repub checksums heh
deedbot: http://trilema.com/2017/the-slaves-of-1935/ << Trilema - The slaves of 1935
mircea_popescu: anyway, in other lulz, what is the winklevoss / silbert / etc usgian dorks claim to fame now ?
mircea_popescu: fine illustration of birthday paradox. if names were 4 characters long and randomly distributed, there'd be 13k people with the same name
mircea_popescu: anyway, that's a kickass article so there is that.
mircea_popescu: ugh. between the blog and the log he didn't find anything ?!
fake_space_whale: okay thanks.
fake_space_whale: Is there an intro to trilema somewhere? I tried poking around the website and didn't find anything in my brief hunt.
a111: Logged on 2017-03-12 14:44 Framedragger: https://github.com/adlai/cjhunt << nothing original to add
asciilifeform: http://btcbase.org/log/2017-03-12#1626220 << that thing requires prb to work ☝︎
mircea_popescu: and the product of this ("obviousness") is reallyt the lest fungible item there is.
Framedragger: i see what you mean - knowledge gained on the problem space, processes with dealing with problems and researching this domain developed, etc.
a111: Logged on 2017-03-11 14:39 mircea_popescu: you ever go to school ? what usually happens there's a chick there that's really good pre-puberty. then she starts bleeding, and she skips some classes / homeworks / attentionpaying. and then... she can never catch back up again. because interlocking.
mircea_popescu: goes right into the whole http://btcbase.org/log/2017-03-11#1625397 ☝︎
mircea_popescu: it is a very false idea that what we say here "is in the open" and thereby "anyone could" etc. the prb devs can't, notwithstanding their own delusions of information and ability.
mircea_popescu: it's not just the direct effect ("generic enough to be re-usable"). much more important are the second order effects. (if you never went to school, you'd never even HAVE KNOWN what computers are, and consequently...) sort of thing.
Framedragger: probably worth thinking about it more, it'd be quite a spiffy thing indeed... that said, i have a more general concern with time-sunk-cost-to-trb. i do wonder how realistic it is to expect a trb-i in the years to come. if it is, then working on shitty legacy trb codebase is opportunity cost par excellence :( ; but, maybe testing harness could be generic enough to be easily re-usable.
mircea_popescu: yeah a blockchain-and-mempool testing harness would be a mighty fine item to have.
Framedragger: this would be decently-demanding undertaking though, so makes sense to start from simpler unit tests which e.g. simply check if hash/signature checking routines work well. would still be handy for regression testing during development / when code is added, etc.
Framedragger: this would require a decently thought out testing framework (i don't mean shitty-web-framework, just, a systematized approach)
Framedragger: would be interesting to set up shitty-network-failure scenarios to see how 'antifragile' it is with regards to syncing up.
Framedragger: agree with mircea_popescu re fuzzing any inputs (primarily transactions)
a111: Logged on 2017-03-12 01:58 ben_vulpes: anyways, having thought about "testing" trb, i am interested to hear what kinds of tests framedragger would write
Framedragger: http://btcbase.org/log/2017-03-12#1626065 << nothing original to add ☝︎
Framedragger: https://github.com/adlai/cjhunt << nothing original to add ☟︎
a111: Logged on 2017-03-12 02:25 ben_vulpes: hey, if genesis is programmable, can generate chains for testing on the fly
davout: http://btcbase.org/log/2017-03-12#1626089 <<< this would be pretty cool, is also correct way to testnet ☝︎
mircea_popescu: you won't see 239 cuz it timeouts at 240 lol. and if you wait enough might even see 278.
asciilifeform: sed -n -e 's/^.*Ping timeout: //p' trilema.log | sort | uniq | cut -c1-3 | tr '\n' ' '
mircea_popescu is curious what peeps think.
mod6 goes to read about Zuleika
mod6: <+mircea_popescu> signatures don't match, scripts are bad, inputs are bad, outputs are too long, on it goes << yeah, exactly. eventually coverage like this is a must. eventually.
asciilifeform: ^ is this funny only to asciilifeform
asciilifeform: literally, 'material part', that is, of the immutable physical pieces of a problem.
mircea_popescu: but yes, it's not a novel thought by any means.
mircea_popescu: well i fucked it up, said tanks twice. first one is metals.
asciilifeform: ^ what mircea_popescu referred to as 'tanks part'
asciilifeform: aaaah we had this thread!!
mircea_popescu: their problem, however, is that they have nfi what they're doing, like that dog driving van on trilema.
mircea_popescu: same exact thing with the docker people -- if theior problem was that they wrote spr1ntf it'd be one thing
mircea_popescu: mp goes hunting. if mp goes hunting without a rifle and bullets, mp has fucked up the tanks part of engineering. if mp goes hunting in unknown martian planet, ends up eaten by hunter-eater, mp has fucked up river part of engineering. if mp goes hunting in zoo, shoots english bobby through overpenetration, mp has fucked up tanks part of engineering. if mp goes hunting in hunting place and hunts quarry but misses his shot, tech
asciilifeform: how does aiming the rifle differ, other than timewise, from designing a house that you then build with own hands
mircea_popescu: seriously though, trivial failure mode. compiler wil lcomplain if nothing else.
asciilifeform: can i use 'i didn't imagine that's what you mean' in the phrase table, or has mircea_popescu trademarked !
asciilifeform: y'know, i could write an eliza that 'wins' arguments this way
mircea_popescu: how this would work -- i've no idea, but technically i suppose it's there.
mircea_popescu: yes, if you meant "maybe alf typos the code and doesn't notice" then yes, expect.
mircea_popescu: i didn't imagine that's what you mean.
asciilifeform: presumably you could just as readily be involved in the felling of trees, mixing of cement, whatever else goes into building house.
asciilifeform: or so i read from 'im involved in the aiming'
asciilifeform: mircea_popescu does not picture building the house with own hands
asciilifeform: i suspect that we've unearthed the point of disagreement here
mircea_popescu: cuz im involved in the aiming neh
asciilifeform: how does aiming the rifle differ from drawing up a house, other than time parameter ?
asciilifeform: but not 'i draw up a house and expect that the floor will hold my 48 pianos' ?
mircea_popescu: but i wouldn't say "when i pull trigger i expect round to discharge". because i don't.
asciilifeform: mircea_popescu would not structure phrase, e.g., 'when i aim the rifle and pull trigger i expect to hit the target' ?
mircea_popescu: "we're expecting her to deliver my child in june". that's expect.
mircea_popescu: no, it means actual expect. something you want and will take time.
asciilifeform: mircea_popescu seems to think that 'expect' means 'unfoundedly expect'
mircea_popescu: i expect girl to shave. ie, tomorrow. i don't expect anything out of the floor.
asciilifeform: and of the gadget, to shit forth rngolade , rather than malodorously combusting
asciilifeform: you expect the floor to stay put when the piano is brought into the house.
mircea_popescu: expectation is the equivalent of the continuous tense, you may have expectations out of your household. but no expectations are involved in fuckgoats. if the current is what it was specified it'll work and if not it will burn. what do you ~expect~ ?
asciilifeform: well in the particular example given, failure would have become apparent within a millisecond or so
asciilifeform: the expectation is that the capacity of the reg is > the current drain. of the floor in a house > the pianos. etc
mircea_popescu: docker dude dun do that.
asciilifeform: but not 'an expectation.' ? why the word substitution .
mircea_popescu: the meaning of pile is that they are defined, specified, circumscribed.
asciilifeform: where is then the 'pile' ?
asciilifeform: at no point did asciilifeform make a physical 'pile' to determine the correct answer, it was arrived at on paper, with pen
asciilifeform: the choice is constrained by the peak & avg. drains of the other components
asciilifeform: asciilifeform, drawing up FUCKGOATS, had to pick what voltage regulator to use, they come in wide variety of max & peak voltage and current ratings
asciilifeform: let's take concrete example,
asciilifeform: in what sense does 'pile' in this construction not equal to what other folx mean when they say 'plan' ?
mircea_popescu: plenty of examples scattered in the logs, but anyway.
mircea_popescu: people are utterly resistent to doing this, principally because hopemechanism/bad engineers.
mircea_popescu: for the docker guy ? make pile of tanks (what he's engineering for) ; river (what he's engineering against) ; metal (what he's engineering with).
asciilifeform: fails because did not pray to vishnu correctly ?
asciilifeform: why does he fail, if not from refusing to agree to a verifiable expectation of correct function ?
mircea_popescu: no, because docker rat fails to correctly pile up his materials.