▁▁▁⏐︎ 16000
asciilifeform: aah
asciilifeform: 'since it started running' sounds 100% useless
asciilifeform: who the hell knows when it started running.
asciilifeform: for all i know - five seconds ago.
asciilifeform: and will reboot again in another 5.
ben_vulpes: better to not offer that feature if that's how it works today, shinohai
phf: well, it probably keeps a state somewhere, but i mean since it got deployed, which was probably around the ba->tmsr
phf: fwiw if shinohai can give me a state format, i could trivially produce a seen table for anyone pre split
shinohai: ben_vulpes: I came in 2015
ben_vulpes: aok, so 1 then?
ben_vulpes: haw haw haw btc market cap > twitter market cap
ben_vulpes: in "comparing made up numbers" news
asciilifeform: in other non-news, https://mjos.fi << possibly interesting d00d of the dan bernstein type
deedbot: http://phuctor.nosuchlabs.com/gpgkey/294C0DC51A456CD1069D56E7B298CC2FDA9D8CF641980590454BE9B6C7F8051C << Recent Phuctorings. - Phuctored: 1618...3777 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown HK)
mircea_popescu: it's pretty much been 100% ssh huh
asciilifeform: mircea_popescu: randos throw in pgp keys still, half dozen or so in a month typically
asciilifeform: the most recent one of these to pop was the german thing
mircea_popescu: yea
mod6: "Real name: mod6" "Name must be at least 5 characters long"
mod6: foiled
mircea_popescu: lol!
mircea_popescu: http://btcbase.org/log/2016-12-22#1588544 << can you explain this mythos expand thing again ? ☝︎
a111: Logged on 2016-12-22 19:01 phf: asciilifeform: these are basically three different solutions to the same problem of "how to allow more than one kind of vpatch". yours is mechanical, mine is an attempt to expand the mythos and mp's is cutting the gordian knot
mod6: oh, fwiw, --gen-key --allow-freeform-uid
mircea_popescu: iirc it also had --expert or such
mircea_popescu: mod6 i read through http://www.mod6.net/v-99994-trace.txt and indeed it seems right and proper vtronics. one q though : was there any patch not signed by asciilifeform interspersed in the flow ? because that's the only not tested case i think, if you have say a->b->c->d where a, c and d are signed by x. does it stop at a ? ☟︎
asciilifeform: mircea_popescu: can easily simulate this by deleting a seal
mircea_popescu: yes.
mircea_popescu: ben_vulpes this incidentally is a very cogent point you bring, "Multiple implementations of an ambiguous specification provide far more value than the "many eyes" mantra of open source advocates. An implementation in Python might burn the eyes of a Perl hacker, and the Perl be entirely inscrutable to a man who's never touched it before, and even were such a man to sit down and learn Python for the purpose of auditing another'
mircea_popescu: s V implementation, it is in no way obvious that the time cost of his learning the language combined with the risk that he misses details in the audit is a better resource expenditure than simply implementing the tool again in his language of choice."
mod6: mircea_popescu: this is a solid point for testing, let me give this a test and see how it goes. will report.
mircea_popescu: as alf points out not hard, just nuke one seal
mircea_popescu: well, rename the file lol
phf: i'm about to upgrade btcbase, which in this case is an invasive procedure so bot's going to be down for a bit (15 minutes or so if everything goes well), after that there might be some bugs so feel free to yell at me
mircea_popescu: finally moving it to .net ?
shinohai throws moldy cabbage at phf
phf: things have been too stable, so i'm moving it literate pascal
mircea_popescu: but whai
mircea_popescu: i hear literate pascal is good.\
phf: not in my hands
mircea_popescu: now we know what it means when phf tells a girl he'll be 10-15 minutes.
mircea_popescu: ben_vulpes do you mean you iterate through all the seals ? :D
phf: jinxed :p
mircea_popescu: http://btcbase.org/log/2016-12-22#1588683 << actually that's a perfectly fine meaning whatever he meant. ☝︎
mircea_popescu subscribes to the harem- usage explained in ch.
asciilifeform: hm for some reason i thought we had autofallover on scriba ☟︎
asciilifeform: (if a111 doesn't answer in $time) ☟︎
mircea_popescu: http://btcbase.org/log/2016-12-22#1588693 << is this you ? ☝︎
mircea_popescu: and wtf "today we are building machine intelligence" idiocy is this.
asciilifeform: it's the pl d00d, with the pirate tv station in the solidarity years, the antarctic expedition, etc
mircea_popescu: ah. ok. anyway, it's funny, because compare this part : http://btcbase.org/log/2016-12-22#1588385 meets this part : "At this point, the robot is getting smarter as well, and participates in its own redesign." ☝︎
mircea_popescu: see, the man looked in the jaguar's eyes, and SAW a soul there. little bit of circularity.
asciilifeform: mircea_popescu: the thing is a flame, and it was not obvious to me either on 1st pass.
mircea_popescu: "it has good instincts as to what's funny and what's not". really ?
mircea_popescu: yes, when i teach a 15 yo to fuck, she ~has good instincts~ about what's slutty and what's not ; and works to clear the shit her mother shat on her so the slut within can shine
mircea_popescu: but the machine has no mother to shit on it ; AND NO GOOD INSTINCTS. or any instincts at all.
mircea_popescu: i take it she came this time ?
phf: ok, so we have a new beginning of log, which is http://btcbase.org/log/2012-04-13#-325969 ☝︎
a111: Logged on 2012-04-13 11:00 `MBot: [ GLBSE ] [ TRADE ] [ TYGRR-BOT ] [ 2 x 0.99999 = 1.999980 BTC ]
mircea_popescu: o.O
asciilifeform: ooh
mircea_popescu: dude sweet.
mircea_popescu: what was the stats link ?
asciilifeform: this was... #otc ..?
mircea_popescu: phf any idea why ← 2012-04-15 ⏐ 2012-08-10 → ?
mircea_popescu: asciilifeform no 2012 is very early ba
mircea_popescu: i have jun 2011 - apr 2012 otc logs also, but by now really scraping the bottom.
phf: asciilifeform: i'm not sure, but the ancient log connects cleanly into where kako starts
phf: it was mostly an opportunity to cleanup very messy internal log keeping that involved multiple sliced in memory arrays..
mircea_popescu: phf but why the gap ?
phf: looking into it
asciilifeform: phf: is there an automagical way to query when $nick first appeared ?
phf: http://btcbase.org/log-first-post?nick=mircea_popescu (that feature was requested by trinque)
asciilifeform: neato
phf: it's a redirector so not very convenient
mircea_popescu: pretty cool.
mircea_popescu: http://btcbase.org/log/2014-03-20#570859 << in which we find phf has been around for years.\ ☝︎
a111: Logged on 2014-03-20 22:39 phf: not quite
mod6: ok, so some results to the above: http://www.mod6.net/v-99994-trace2.txt ☟︎
asciilifeform: http://btcbase.org/log/2013-02-02#-142550 , http://btcbase.org/log/2013-02-02#-142536 << lel, there must be a missing piece, did i really appear in the log before saying anything ☝︎☝︎
a111: Logged on 2013-02-02 19:41 mircea_popescu: asciilifeform http://www.loper-os.org/?p=1009 re-doing that would be a worthy exercise
a111: Logged on 2013-02-02 19:50 asciilifeform: mircea_popescu: working on it
asciilifeform goes to pull own log out of dusty pit
mod6: <+mircea_popescu> i have jun 2011 - apr 2012 otc logs also, but by now really scraping the bottom. << these would be cool tho
mod6: high-drama in those days.
asciilifeform: hm.. looks like i was in #b-a on oct. 6, 2012, and after, but apparently never spoke....
asciilifeform: which is itching in my head, because i have nfi how i could have ~found~ it prior to the letter from hanbot
mircea_popescu: asciilifeform the dates seem off or something's amiss. i see you feb 3rd 2013
mircea_popescu: which is correcxt.
mircea_popescu: http://btcbase.org/log/2013-02-02#-142536 << here ☝︎
a111: Logged on 2013-02-02 19:50 asciilifeform: mircea_popescu: working on it
asciilifeform: mircea_popescu: feb.2 of 2013 was when asciilifeform first ~spoke~ there
mircea_popescu: aha...
mircea_popescu: what did you mean, "were there" ?
asciilifeform: i dug on my disk just now to try and recall when i ~tuned in~ and apparently it was much earlier, and i can't even recall why.
mircea_popescu: that's odd.
asciilifeform: 'there' in the sense of reading.
mircea_popescu: maybe you imported someone's log at some point ?
asciilifeform: nah it wouldn't be in that particular pile.
mircea_popescu: avid reader that you are
asciilifeform: this pile consists only of what came out of the hose.
mircea_popescu: yeah but you would have shown in chanlists which you do not.
asciilifeform: possibly tuned in and then immediately out.
mircea_popescu: as what, like a diff nick ?
asciilifeform: nope
mircea_popescu: then no, cuz you see, parts/joins are recorded.
asciilifeform: **** BEGIN LOGGING AT Sat Oct 6 11:29:23 2012
asciilifeform: Oct 06 11:29:23 * Now talking on #bitcoin-assets
asciilifeform: ...
phf: mircea_popescu: log that you gave me, goes apr 15, may 22, aug 10th
mircea_popescu: da fuck.
mircea_popescu goes to inspect.
phf: http://btcbase.org/log/2016-04-02#1444829 ☝︎
a111: Logged on 2016-04-02 19:14 mircea_popescu: in other news, http://trilema.com/wp-content/uploads/2016/04/tmsr-logs-apr2012-oct2013.txt.tar.gz
mod6: POP QUIZ: How much was the first MPEx fee after the beta period?
mircea_popescu: 20 iirc
mod6: haha, i think it was ya.
asciilifeform: oh hah turns out that i was wrong about when first spoke, also
asciilifeform: Oct 11 22:25:56 <asciilifeform> Please comment: "Shitcoin: a Modest Proposal." (http://www.loper-os.org/?p=988)
mircea_popescu: phf omfg you'\re right, i just made contact at first ; only started using it from august.
phf: asciilifeform: oddly enough that's not in the log. perhaps if you upload your logs i can slice them in..
mircea_popescu: yup. tis what it is.
mod6: wow, the fortunes won, and lost (looking at this old stuff...)
mircea_popescu: asciilifeform what chan was this in ?
asciilifeform: mircea_popescu: #b-a
phf: hmm
mircea_popescu: uh.
phf: asciilifeform: were you on bouncer from the beginning?
asciilifeform: nope
mircea_popescu: Oct 17 22:08:30 <asciilifeform> nubbins`: shitcoin was a crackpot proposal of mine (http://www.loper-os.org/?p=988). << this is 2013.
asciilifeform: mircea_popescu: in what year was 'Oct 06 11:33:00 <PeterLambert> I guess there is no need for glbse trading funds without a glbse' on your machine ?
phf: asciilifeform: what's your timestamp for "There's no drama like Bitcoin drama." ?
asciilifeform: Oct 11 15:48:50 <mircea_popescu> There's no drama like Bitcoin drama. The "will pirate make contact" storyline returns tomorrow and the new season of "will BFL deliver" starts in a couple of weeks. It's like reality TV without the ads. Which well-known Bitcoin business will suddenly fail next? Who should be voted off the libertarian island?
asciilifeform: (2012)
mircea_popescu: right.
asciilifeform: so apparently there i was
mircea_popescu: 48:51 here.
mircea_popescu: but i have no record of said modest proposal.
phf: ah so there's a break on oct 12 from 04:56 to 15:08 which falls under
mod6: http://btcbase.org/log/2012-08-11#-325354 ☝︎
a111: Logged on 2012-08-11 03:55 BTC-Mining: I lost 40 BTC due to a typo
asciilifeform: mircea_popescu: i wrote the article on oct 11 2012. so this makes sense
mod6: oh man, this stuff is gold
asciilifeform: but how the hell did i wander into #b-a, i still cannot remember.
mircea_popescu: mod6 remember that time someone put a mega sdice order in and flooded the book ?
mircea_popescu: confirmed, there's a hole in my log for the 12th. asciilifeform apparently you didn't merely meander in, but managed to do it when i was off.
mod6: <+mircea_popescu> mod6 remember that time someone put a mega sdice order in and flooded the book ? << Oh yeah, Sir. I'm still doing a O_O from that.
mircea_popescu: was like 10k btc worth or some similar insanity.
mod6: for sure. it was unreal. i did like a quadruple take.
mod6: <+asciilifeform> but how the hell did i wander into #b-a, i still cannot remember. << you were invited to checkout MPEx right?
asciilifeform: fwiw i definitely wasn't fully 'tuned in' until after the mpex review thing
asciilifeform: at the time i was doing a great deal of passive lurking, trying to draw a picture that might lead to the shangri-la where the smart folx live
mod6: yeah, i feel like you came in, talked for a few weeks, checked it out... then vanished again for a while. then you were here.
mircea_popescu: there's an easy mistake to make here where we look at the past and presume it's the present. gotta recall at the time most people (myself included) did not even regard the matter as serious enough to warrant permalogging.
mircea_popescu: so it's entirely possible you were curious about bitcoin, wandered in some chan or another, never thought more of it.
mod6: yeah, im an idiot for not logging everything.
mod6: i totally didn't log anything.
mircea_popescu: mod6 force is to be deployed as it becomes evident it's useful to deploy it, not randomly everywhere.
mod6: ya
mircea_popescu: anyway ; i dunno that it makes any sense to push this further ; otc logs, what else, we're going to do cypherpunk bbses too ?
mod6: some of that OTC stuff was totally insaneo. i remember this one particular day with pirate...
mod6: wild times
asciilifeform: mircea_popescu: 'curious re bitcoin' since shortly before 2010, but no good notes; but for some reason did not occur to me to visit irc folx until 2012
phf: our logs must go all the way back to Aristotle
asciilifeform: ftr i found bitcoin to be a very interesting thing (after, like many other people, very narrowly failing to come up with it) but couldn't stand ~bitcoin enthusiasts~ at all, barfed immediately when saw tardstalk, and #bitcoin, and will also admit, early #b-a
mod6: yeah tardstalk was awful. the only redeeming quality there was MPOE-PR.
mod6: i still have scammer ptsd
mircea_popescu: ahahaha ok this is great. "since hyperintelligence is a real threat any entity which develops hyperintelligence would be so taken with this threat that it would be forced to spend all its time filling obscure wikis with bad fanfic to prepare the other intelligences to deal with the singularity. you know, much like that bizarre faggot."
mod6: http://btcbase.org/log/2016-12-23#1588791 << in case this got lost in the shuffle above. ☝︎
a111: Logged on 2016-12-23 03:01 mod6: ok, so some results to the above: http://www.mod6.net/v-99994-trace2.txt
mircea_popescu: mod6 why's the hash mismatching ?
BingoBoingo: Oh my http://qntra.net/2016/12/us-leftists-begin-collecting-arms/#comment-82137
mircea_popescu: Joi Ito, who runs the MIT Media Lab, said a wonderful thing in a recent conversation with President Obama: "This may upset some of my students at MIT, but one of my concerns is that it's been a predominantly male gang of kids, mostly white, who are building the core computer science around AI, and they're more comfortable talking to computers than to human beings. A lot of them feel that if they could just make that science-f
mircea_popescu: iction, generalized AI, we wouldn't have to worry about all the messy stuff like politics and society. They think machines will just figure it all out for us."
mircea_popescu: now then, leaving aside the offensive inferiority complex women/nonwhites have towards white males : the guy has a point (mit media lab, which apparently got new leadership, a little smarter - and a little less female - being where ethereum retardation is hatched). the jwz is by now radioactive, a bunch of kids who can't subdue a girl their age, let alone a herd of adult women, want things to be about how it's ok to go around
mircea_popescu: in flipflops.
mod6: <+mircea_popescu> mod6 why's the hash mismatching ? << upon checking the output hash from the pressing of asciilifeform_zap_hardcoded_seeds.vpatch, it failed. because this patch depends on asciilifeform_dnsseed_snipsnip.vpatch which was not in the flow, because it was renamed 'duck-fuck-soup.vpatch'.
mircea_popescu: mod6 oh i thought it failed before.
mircea_popescu rereads
mircea_popescu: oh oh you moved the file rather than the seal. i see
mod6: yah, so, in this: a->b->c->d ; I basically just got rid of 'c', and then tried to press a->b->d (all signed by x) and it does fail. was this what we were trying to achieve? If not, i'll do another test np.
mircea_popescu: yeah, try again i say, but leave the vpatch rename the seal just.
mod6: aha, ok. will do. if i'd venture a guess, we'll see the exact same result.
mod6: let's see :]
mircea_popescu: then that'd be it.
deedbot: http://phuctor.nosuchlabs.com/gpgkey/AE6059BDD7FE61498088A210017B6C8C64175A61EA7E69D7B6EC99B5E54F9603 << Recent Phuctorings. - Phuctored: 1484...6717 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (secure4.edt02.net. FR)
mircea_popescu: anyway, idlewords guy is pretty much spot on as to how exactly silicon valley / "vc" etc world goes away. "Ray Kurzweil, who believes he will never die, has been a Google employee for several years now and is presumably working on that problem. There are a lot of people in Silicon Valley working on truly crazy projects under the cover of money." this is pretty much it, the byzantines found their way towards byzantinism, will
mircea_popescu: "intellectual property" all the way to the bottom.
mircea_popescu: (failure in resource allocation went from simple "tin women" to - google, or for that matter mit, can't figure out who to hire anymore.)
deedbot: http://phuctor.nosuchlabs.com/gpgkey/294C0DC51A456CD1069D56E7B298CC2FDA9D8CF641980590454BE9B6C7F8051C << Recent Phuctorings. - Phuctored: 1397...8359 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (Unknown HK)
asciilifeform: mircea_popescu: it is quite like saying catholic church has nfi who to hire.
mircea_popescu: it's how it failed.
mod6: mircea_popescu & asciilifeform : http://www.mod6.net/v-99994-trace3.txt
mod6: same outcome.
asciilifeform: google et al are not commercial orgs in the usual sense, and haven't been for years, they are religious institutions
mircea_popescu: asciilifeform economy is not optional.
asciilifeform: mircea_popescu: priests can stay fat for so long as there is fat to harvest. for so long as ~other~ people economize.
mircea_popescu: getting "other people" to work for you is the exact above problem.
mircea_popescu: you have this much sticky and have to pick who "other people" to stick.
asciilifeform: mod6: problem
asciilifeform: mod6: grep for 'fuzz'
asciilifeform: that should NOT be there
asciilifeform: ever.
mircea_popescu: ^
mod6: hmm.
asciilifeform: look at how my vtron invoked 'patch'
mod6: well, i suspect that this is a different problem really.
mod6: and yours doesn't check the output hash.
asciilifeform: correct, it did not, it instead invoked patch with zero fuzz
asciilifeform: (in case it isn't obvious, this was dangerous, and i did warn folks)
asciilifeform: mod6: and yes, your hash checker apparently broke, if the fuzz thing was able to come into play
asciilifeform: (presumably you omitted disabling fuzz because you had, in theory, the hash antecedent check. but why not 'belt and suspenders')
mod6: disable fuzz via patch flag?
phf: -F 0
asciilifeform: aha
mod6: anyway, ok ok ok.
mod6: no worries, fixing this requires some other changes. will go back to drawing board.
asciilifeform: fuzz is this horror where gnu patch tries to hammer square stick into round hole by default
asciilifeform: because, somewhere, monkeys are more concerned with 'appeared to work' than with 'correct output', or so author imagined
asciilifeform: i am still waiting for something like a logical argument for why patch fuzz existed.
mod6: so you think that if i just use '-F 0' then this problem is hypothetically resolved?
asciilifeform: mod6: it will at least die correctly
mod6: because, mind you, it is ~still~ trying to press asciilifeform_zap_hardcoded_seeds.vpatch, and whatever it shits out from this, if it does not match the expected output hash, will then die yes.
asciilifeform: (we already learned that your antecedent checker failed, but now gotta find out why)
mod6: we did?!
asciilifeform: aha
asciilifeform: or patch would not have tried to fuzz at all
asciilifeform: and the output would have been the expected one
mod6: im confused
asciilifeform: see where it goes with -F 0
mod6: i dunno, lemme try putting in the anti-fuzz thing
mod6: ok
asciilifeform: mod6: look here: asciilifeform_zap_hardcoded_seeds.vpatch should have been orphaned in your flow
asciilifeform: when you zapped the sig for asciilifeform_dnsseed_snipsnip.vpatch
asciilifeform: consult phf's displayer , http://btcbase.org/patches?patchset=stable
mod6: http://www.mod6.net/v-99994-trace4.txt
asciilifeform: the flow is wrong
asciilifeform: though mod6 probably knew this already.
mod6: yes, flow is wrong because 'asciilifeform_dnsseed_snipsnip.vpatch' is missing.
asciilifeform: you gotta recurse
asciilifeform: patch for whom antecedent does not exist, gets ignored
asciilifeform: ad infinitum
mod6: this graph is incorrect http://btcbase.org/patches?patchset=stable
asciilifeform: hm?
mod6: http://dpaste.com/0EW5AV7.txt
mod6: mine has another arrow going to dns_thermonyukyoolar_kleansing
mod6: http://thebitcoin.foundation/misc/vpatch-nodes.html
phf: there's no "correct" with v graphs, and every two months or so i spent some time meditating on what a v graph even is ☟︎
asciilifeform: waiwat
asciilifeform: of course there is
asciilifeform: somebody has buggy vtron.
asciilifeform: is the only way the graphs can differ.
mod6: <+asciilifeform> mod6: look here: asciilifeform_zap_hardcoded_seeds.vpatch should have been orphaned in your flow << i think it actually is, quite: when I have the sig for dnsseed moved to duck-fuck-soup, and i check the ante and desc for zap_hardcoded:http://dpaste.com/2QCN3Y4.txt
mod6: which says to me, that it was orphand off from dnsseed
asciilifeform: mod6: think for a minute: an orhpaned patch has no descendants.
asciilifeform: must have none. it dies.
asciilifeform: recursively
mod6: that's the same as saying : mod6@gentoo ~/sandbox-v $ ./v.pl a asciilifeform_zap_hardcoded_seeds.vpatch
mod6: that guy has been orphand, he has no parent.
asciilifeform: a vtron that displays descendants for a patch that has an antecedent hash that corresponds to no patch, or does the same for any of its apparent children, is incorrect
asciilifeform: if he is orphaned, his children also gotta die
mod6: anyway, i think my graph is correct.
mod6: phf's might correct, but his doesn't show all of the edges that mine does.
asciilifeform: this is not possible by definition, either it displays that exist, all of them, and is correct, or not all, then not.
mod6: asciilifeform: im having a hard time following you. let's try to keep this to something i can grok.
asciilifeform: aite. how do i help mod6
mod6: are you saying, in my flow, in these traces, when i remove a middle vpatch or sig, that it shouldn't show anything in the flow after the breakage even if there are vpatches with valid sigs that correspond to wot entities present? ☟︎
phf: asciilifeform: i don't really have mental capacity for this conversation right now, but mod6's graph is most likely correct, because all it does is links vpatches to vpatches by their shared hashes
asciilifeform: phf: yours did something else?
mod6: or to go back to mr. p.'s example: a->b->c->d all signed by x, if i remove 'c', then the flow should read: a->b
asciilifeform: mod6: you got it
asciilifeform: mod6: if flow breaks, everything that hung below the breaking point, falls down
mod6: but this is where it gets hairy.
mod6: if we look at my graph, that really wouldn't be true.
asciilifeform: it is less hairy if you use my algo, where every single patch, when deciding if it gets into the flow, has to trace descent to a genesis, unbrokenly
asciilifeform: if it can't-- zap.
mod6: if it were correct, in my mind, i suppose, the flow would be dropping zap_hardcoded_seeds and zap_showmyip_crud.
mod6: because there are other routes everywhere else that can follow. ☟︎
mod6: but those would be the only two that should drop.
mod6: not ~everything~ else.
phf: asciilifeform: mine removes some of the links where dependency is already demonstrated by other means. if you have a->b->c and a->c you can't press c without pressing b also
asciilifeform: phf: aah
mircea_popescu: pruned huh
mod6: and furthermore, i guess it doesn't make any sense to continue on at all if something is missing in the flow, because even if you could side-step where the breakage is, the vpatch down stream would actually fail to press anyway because its input hash wouldn't match the expected.
asciilifeform: mod6: it isn't 'missing', your vtron should simply disregard everything that hung below it
mod6: my v seems to do the correct thing by dying, but maybe showing the entire flow post breakage might be incorrect as well.
asciilifeform: dying is incorrect here
mod6: i think it should die. when its trying to press and it enounters something that doesn't match: death.
asciilifeform: but it wasn't pressing in this example
mod6: it would probably be better form to never have to die, but to never hit that case where we must die.
asciilifeform: it was computing flow
mod6: the same flow computation happens in both places.
asciilifeform: when you ask a vtron to press, it has to be for something that is in the flow
asciilifeform: computing flow must never fail
asciilifeform: when you, say, remove someone from your wot,
asciilifeform: if this orphans a tree branch, it should simply fall off
asciilifeform: i.e. your vtron doesn't see it in flow any more.
mod6: so back to the model: a->b->c->d if I remove 'c', all that should show up in the flow is 'a->b' and all that is pressable is 'a->b', should never attempt to even press 'a->b->d'
asciilifeform: aha!
asciilifeform: d is not in your universe no moar
mod6: ok ok.
mod6: got it.
asciilifeform: unless and until you put c back in play.
mod6: correct. now you get an 'a->b->c->d'
asciilifeform: this makes sense now, mod6 ?
mod6: very much so.
mod6: i'll work on something for this. will update at that point. thanks for talking me through it. :]
asciilifeform: np
asciilifeform: i will add 1 thing:
asciilifeform: there is only 1 case where a vtron ~must~ barf
asciilifeform: that is if it finds a graph cycle.
asciilifeform: it is impossible to operate correctly on a cyclical vflow.
asciilifeform: if you ever see one, you gotta find and negrate the joker who closed the cycle. ☟︎
asciilifeform: and fix your wot.
mod6: fwiw, i believe i've even tested this once by creating a special patch that pointed to an earlier patch in the flow.
asciilifeform: it is the ~only~ must-die condition for a vtron.
mod6: not 100% positive, but I seem to recall trying this once. i think my thing broke with a 'cyclic graph!' or something
asciilifeform: literally every other condition is recoverable.
asciilifeform: i.e. your tree is still valid.
asciilifeform: this includes empty set
asciilifeform: (no patches, no sigs, and no wot, or simply 1 or 2 of these)
mod6: also, as a note, i'll leave the anti-fuzz change in this new version -- it seems ~more~ correct than previous impl.
asciilifeform: fuzzing is wrong in all cases, aha
asciilifeform: i will rephrase again for clarity: for so long as you have 1 pubkey, which was used to make 1 seal, and that seal is for one, single patch, your only one, a genesis, you can display a flow. and literally every other file in .seals, .wot, .patches can be a lolcat.
asciilifeform: if they are ~all~ lolcats, you simply have a null flow.
asciilifeform: (no pressables)
mircea_popescu: http://btcbase.org/log/2016-12-22#1588701 << dude fear is the mind eater. ☝︎
a111: Logged on 2016-12-22 23:56 Framedragger: (mp suggested to invite him over, and here i am childishly fearing that he'll hate this place, mp will decide that he's not mp-complete/ready, and that's gonna be that. i know, sad.)
mircea_popescu: anyway, he probably WILL hate this place, what with his bizarre notions of ethics etc. but whatevs.
mircea_popescu: http://btcbase.org/log/2016-12-22#1588703 << dude wut ? ☝︎
a111: Logged on 2016-12-22 23:57 asciilifeform: we had this with at least 1 d00d who i respected (spandrel/'bloody shovel')
mircea_popescu checks, the only time i even said the word it was used as a noun.
mircea_popescu: and that was in 2014.
mircea_popescu: http://btcbase.org/log/2016-12-23#1588960 << for srs. ☝︎
a111: Logged on 2016-12-23 04:41 phf: there's no "correct" with v graphs, and every two months or so i spent some time meditating on what a v graph even is
mircea_popescu: http://btcbase.org/log/2016-12-23#1588979 << yes. ☝︎
a111: Logged on 2016-12-23 04:49 mod6: are you saying, in my flow, in these traces, when i remove a middle vpatch or sig, that it shouldn't show anything in the flow after the breakage even if there are vpatches with valid sigs that correspond to wot entities present?
mircea_popescu: as per http://btcbase.org/log/2016-12-23#1588738 ☝︎
a111: Logged on 2016-12-23 02:19 mircea_popescu: mod6 i read through http://www.mod6.net/v-99994-trace.txt and indeed it seems right and proper vtronics. one q though : was there any patch not signed by asciilifeform interspersed in the flow ? because that's the only not tested case i think, if you have say a->b->c->d where a, c and d are signed by x. does it stop at a ?
mircea_popescu: http://btcbase.org/log/2016-12-23#1588990 << ah, but the idea was with single guy in wot. ☝︎
a111: Logged on 2016-12-23 04:52 mod6: because there are other routes everywhere else that can follow.
mircea_popescu: obv if there are alternate routes then it's ok.
mircea_popescu: http://btcbase.org/log/2016-12-23#1589025 << it's not even clear to me this is actually possible to do. the closing element has to actually break a hash. ☝︎☟︎
a111: Logged on 2016-12-23 05:04 asciilifeform: if you ever see one, you gotta find and negrate the joker who closed the cycle.
mod6: yeah, if im in the wot too, and I have a valid sig to that one, then it's ok.
mircea_popescu: ie, if someone can close a cycle, it's not time to negrate, it's time to get a better hash.
mircea_popescu: mod6 yeah, if it's a (2 sigs) -> b(2 sigs) -> c(1 sig) -> d(2 sigs again) then it's a valid press.
mircea_popescu: but the idea was, put just alf in wot, cut a seal midway, see what happens.
mircea_popescu: as alf says, what happens should be all ulterior bits should fall off.
mod6: yea, a solid test.
mircea_popescu: anyway, it may feel a bit tedious/stupid/etc to keep workign these basics, but it'll pay off in time
mod6: agreed. we're getting there one bit at a time.
mod6: this next round of refactoring for this might be some work, but in the end, i aught to write a bunch of these tests into automated ones.
mod6: then once we agree that mine does what is deemed 'correct' others can use the tests to prove their own out.
mod6: at least, somewhat.
mod6: yeeep, lot of testing.
asciilifeform: http://btcbase.org/log/2016-12-23#1589055 << nope. making a cycle is trivial. ☝︎
a111: Logged on 2016-12-23 05:33 mircea_popescu: http://btcbase.org/log/2016-12-23#1589025 << it's not even clear to me this is actually possible to do. the closing element has to actually break a hash.
asciilifeform: just end up with even one descendant hash that already existed.
asciilifeform: if this weren't easily detectable, vtronics would be entirely impossible
asciilifeform: but fortunately-- it is.
asciilifeform: think simply of the chess rule, that any player whk recreates a board position that existed at ANY previous point in the game -- forfeits.
asciilifeform: *who
davout: asciilifeform: has to be 3 times in a row iirc
davout: http://btcbase.org/log/2016-12-22#1588327 <<< guy finds a PKI on the floor, runs to show it to all the other retards... ☝︎
a111: Logged on 2016-12-22 16:36 thestringpuller: asciilifeform: Emin is pushing SGX like solutions. Seems everyone is infected with security theatre these days.
Framedragger: http://www.politico.com/story/2016/12/foreign-travelers-social-media-232930
Framedragger: !$ getarchive http://www.politico.com/story/2016/12/foreign-travelers-social-media-232930
scriba: Previously archived URL: http://archive.is/hdhX2 (this was archived by scriba: no)
Framedragger: << "The U.S. government quietly began requesting that select foreign visitors provide their Facebook, Twitter and other social media accounts upon arriving in the country"
mircea_popescu: asciilifeform let's take the simplest cycle : a->b and b->a ; to do this, a must contain the hash of b ; and b must contain the hash of a. how do you propose to accomplish this ? ☟︎
mircea_popescu: Framedragger well, maybe that'll make someone somewhere believe these matter! usg doing its best to support teh economy.
shinohai: Happy Festivus Trilema!
mircea_popescu: in further news nobody cares about, "4 million letters of 'empathy, support' dropped on Mosul". this thing, which was a) going to be a war that b) was going to take two weeks twelve weeks ago (and then a month, and then two, and here we are) has now degenerated in a fucking spam offensive. ☟︎
mircea_popescu: of the printed mail-order-catalogue sort, because apparently nobody cares about twitter and myspace over there natch.
shinohai: The rebels were running out of TP, so the letters may come in handy in that regard.
mircea_popescu: "In a new photo report purportedly released by the Islamic State, an ISIS suicide car bomber attacks Iraqi forces in the Intisar neighborhood of east Mosul, Iraq. The photo report was released on ISIS terrorist channels on December 22."
mircea_popescu: so far there's "fake news" channels ; "terrorist" channels ; and of course "the media" aka http://trilema.com/2016/the-war-with-the-press/
mircea_popescu: i wonder if there's going to also be a 4th.
mircea_popescu: anyway alf will prolly appreciate : https://heavyeditorial.files.wordpress.com/2016/12/photo_2016-12-22_07-09-311.jpg ☟︎
mircea_popescu: they are building the armored thing after all!
mircea_popescu: (of all the weird therein included, it's of particular amusement to me that they do have the slant, but that they evidently introduced it graphically rather than numerically. nobody did the math required to see how that front apex should go ; it's just there because "that's how tanks look", forget blast flow simulations etc.)
BingoBoingo: lol
davout: http://www.expressio.fr/expressions/un-travail-d-arabe.php
mircea_popescu: heh
mircea_popescu: in these parts of the world it's un travail d'argentinian.
mircea_popescu: (i suppose also lulzy, that the front wheel cover has hinges, whereas the back one is screw-mounted. why not the other way around ?)
mircea_popescu: http://blogs.timesofindia.indiatimes.com/wp-content/uploads/2016/12/002.jpg << the pet rocks are also pretty cool.
mircea_popescu: (and check out the uniforms, everyone in iraq is O-9 ?!)
mircea_popescu just checked, o-9 pay grade is from 14.5k to 18k A MONTH. it is literally a better deal to be an entry level sysadmin working in pasadena than a lieutenant-general working in baghdad. ☟︎
mircea_popescu: reviewing the travail d'americain the sysadmin puts in, it should come at no surprise that the us last won a war when the europeans ran the effort for them,\
davout: what's that 0-9 thing?
mircea_popescu: O-9. pay grade.
mircea_popescu: like how much money is paid to various military positions in the us.
mircea_popescu: three stars epaulettes as seen in 2nd pic would conventionally indicate a us lieutenant-general, which is paid as an O[fficer]-9, 2nd highest.
deedbot: http://phuctor.nosuchlabs.com/gpgkey/AE6059BDD7FE61498088A210017B6C8C64175A61EA7E69D7B6EC99B5E54F9603 << Recent Phuctorings. - Phuctored: 1510...7009 divides RSA Moduli belonging to ' (ssh-rsa key from (13-14 June 2016 extraction) for Phuctor import. Ask asciilifeform or framedragger on Freenode, or email fd at mkj dot lt) <ssh...lt>; ' (secure4.edt02.net. FR)
mircea_popescu: from context looks like it's prolly worth ~sergeant in iraq. which is not altogether a bad estimation of respective valor.
mircea_popescu: “My heart! The light of my eyes! You are the heroes of Iraq, may God protect you. My soul, my heroes! But for God’s sake get out of the street and take cover from that sniper!” << bwhahaha this is just how arabic goes, too.
mircea_popescu: "oh light of the heavens, divine dove, bring me a glass of water" "honey, i lost you at dove. you want an omlet ?"
davout: god, whoever came up with HATEOAS deserves a bullet in the head
mircea_popescu: the what now ?
mircea_popescu: o look, rest-with-gui
davout: because APIs *have* to be clever, because these people are too good for documentation
mircea_popescu: davout this goes eerily with a http://trilema.com/2016/how-the-other-half-lives-a-very-seriously-funny-article/#selection-1023.253-1023.409 style of programming
mircea_popescu: "since the link was no longer displayed, the spambots are deterred!"
asciilifeform: http://btcbase.org/log/2016-12-23#1589083 << the shortest cycle possible in v (assuming that all of the patches are valid, that is, actually produce the hashes they indicate as descendants, as outputted by gnudiff, as opposed to a hand-sewn crapolade which does not) is a->b->a. this happens if you have a patch 'c' that has 'b' as antecedent but 'a' as descendant. ☝︎
a111: Logged on 2016-12-23 12:24 mircea_popescu: asciilifeform let's take the simplest cycle : a->b and b->a ; to do this, a must contain the hash of b ; and b must contain the hash of a. how do you propose to accomplish this ?
asciilifeform: and it is trivial to make, if mircea_popescu really wants, i can post an example set , with a toy key, and he can hang his vtron.
mircea_popescu: and how would it manage this ?
mircea_popescu: i suspect there's another protocol issue at stake here.
asciilifeform: i'ma post the example.
mircea_popescu: so let's examine this theoretically. in order to make c, you must have a's hash, yes ?
asciilifeform: a must exist, yes
mircea_popescu: ok. and in order to make b, you must have c's hash, yes ?
asciilifeform: nope.
mircea_popescu: post the example i guess ?
asciilifeform: aite. gimme a few min.
mircea_popescu: davout i am fwiw satisfied the problem is as follows : that fielding schmuck is an academitard. therefore publish or perish. meanwhile for incomprehensible reasons people decided to name some obvious item "rest" and reference him, as if he had anything to do. this created the basis for an academitard position for him, and put him in the publish or perish wringer. so he came up with the other thing, because gotta come up with
mircea_popescu: something ; and the decerebrated mechanism will try to shoehorn it in, python 3 style, because IF THEY DO NOT, then academiatardism collapses altogether. they are if you will the academia fans, expending their own labour to support the fiction they enjoy.
mircea_popescu: all this would have been avoided if a) people correctly observed that roy fielding is fundamentally incapable of having ideas, through not being in the wot.
mircea_popescu: (we'll skip over the entire "waka" incident for the sake of public morals.) ☟︎
davout: the first things i get when looking into this waka thing are indeed nasty
mircea_popescu: http://btcbase.org/log/2016-12-21#1587182 << speaking of this, here's a question for the eager : a diophantine equation is a multivariate polynomial, something like ax+by^2 = 0. the question is : given an arbitrary finite set of known-good equations, can you use recursion to decide whether an arbitrary equation in the same variables is good (has integer solution) or no good ? ☝︎☟︎☟︎
a111: Logged on 2016-12-21 17:23 trinque trying to wrap brain around whether this is a failure mode or universally true, but will have to implement tail recursion optimization in his own head first
mircea_popescu might have just made the world's subtlest point about recursion.
asciilifeform: mircea_popescu: http://nosuchlabs.com/pub/munchausen.tar.gz
mircea_popescu: asciilifeform this can't press ; 846f (genesis) is not used subsequently ?
asciilifeform: mircea_popescu: a v set consisting solely of genesis is valid
asciilifeform: (delete the other 2 patches and sigs and see this for yourself )
mircea_popescu: yes but the next patches fail to reference the genesis.
asciilifeform: it'd make no difference if they did
asciilifeform: you can make entirely similar example where they do, that still contains loop.
mircea_popescu: well, you just did my a->b b->a in three elements of which one is spurious after claiming a->b b->a is not it.
mircea_popescu: aaaanyway :
asciilifeform: i can make you another that follows whatever shape you like.
asciilifeform: or -- can make for yourself, see.
mircea_popescu: what you can't do is go back in time and agree at the juncture you actually meant to ; but the important point here is :
asciilifeform: not being an aristotelian, i dun need to!111
mircea_popescu: hm, actually, the hashes don't even check out. how was 702d... produced ?
asciilifeform: take a guess
mircea_popescu: plox to state.
asciilifeform: the hashes, first of all, check out (make the file consisting of the text line and one newline and see)
asciilifeform: but of course i made them the simple way, by vdiffing from genesis, but then deleting one link of the chain.
mircea_popescu: ah damn newline
mircea_popescu: yes. so what started all of this in my head, i been trying to lead like three times with "but the problem is :" - we may have a very bitcoin block-esque problem on our hands. specifically, the fact that the hash of a block doth not include the intended hash of its antecessor opens up to a problem we needn't be open to.
mircea_popescu: suppose we had a rule stating that "all patches must include as a comment the patch upon they are to be applied" ? ☟︎
asciilifeform: but -- and i'd rather that mircea_popescu do this in his head -- you can make a 'munchausen' where both steps (or however many, it can be as long as you like) reference the genesis.
asciilifeform: mircea_popescu: there isn't a 'the patch'
asciilifeform: vpatches are not applied 'onto a patch'
mircea_popescu: they do come in a definite order, yes ?
asciilifeform: they can be applied in the legal order and strictly in the legal order, that's what v is ~for~
mircea_popescu: right.
asciilifeform: and btw i ~solved this~ in my first vtron
asciilifeform: it will ring alarm if you run it on the munchausen.tar.gz set.
asciilifeform: i posted this as a litmus test of sorts, for vtrons.
mircea_popescu: this is fine, but the question is whether the specification as extent is correct
asciilifeform: imho it is
asciilifeform: cycles -- forbidden.
mircea_popescu: specifically whether it shouldn't include a comment requirement as above.
mircea_popescu: can you show this ?
asciilifeform: and anyone who creates one, is quite obviously in the wrong
asciilifeform: and i do not see any need for magical strings in comments.
mircea_popescu: yes but why should this be enforced at the promise level.
asciilifeform: because cycles in vflow are a Bad Thing and under no conceivable circumstances good ?
asciilifeform: and the culprit is immediately and mechanically identifiable.
mircea_popescu: so then why not make it so they are actually impossible ?
asciilifeform: give example of how, using the munchausen set.
mircea_popescu: if all patches are required to change a comment line in all files they touch, so that it contains the hash of that patch's intended antecessor ; then it is no longer possible to build cycles without deliberately hash-mining for them (because to close the cycle you will have to at one point claim as anterior an ulterior item).
asciilifeform: you can still hash-mine for them.
mircea_popescu: now whether this is actually a good idea is unclear.
mircea_popescu: well yes, but if you do hash mine for them we change the hash.
asciilifeform: and now you have a monstrous abortion that has to be 'self' aware
mircea_popescu: hm.
asciilifeform: instead of a very simple mapping.
asciilifeform: imho my solution is the correct one.
mircea_popescu: yeah it does add quite a bit of unwanted complexity doesn't it.
asciilifeform: the creator of a cycle is in all cases identifiable. kick his teeth in, negrate.
mircea_popescu: what is required to identify a cycle creator ?
asciilifeform: say at time T there is no cycle.
asciilifeform: at T+1 (after one patch) -- there is.
asciilifeform: the signator(s) of that patch is the culprit.
mircea_popescu: see, basically the fear here is that we DON'T escape the "swelf aware monstrosity" no matter what we do ; we may merely choose whether its in the comments or "somewhere else" magically.
mircea_popescu: here's an example to illustrate what i mean :
asciilifeform brb, tea
mircea_popescu: a is a genesis ; b is built on a ; c is built on b ; d is built on c ; e is built on d ; f is built on b ; g is built on d. now both g->d->e->f->b->a and g->d->c->b->a are valid presses.
mircea_popescu: suppose d->c and d->e occured within a second.
mircea_popescu: who do you negrate ?
mircea_popescu: (similarly, from a different pov - does this scheme open up cycle-negrate-arbutrage whereby an attacker could go around closing cycles and hoping we misidentify the culprit because of timing issues ?)
asciilifeform: mircea_popescu: i drew the graph, not seeing what is meant in your example: what means 'now both g->d->e->f->b->a and g->d->c->b->a are valid presses' ?
asciilifeform: the valid presses in the given graph are: a; a->b; a->b->f; a->b->c; a->b->c->d; a->b->c->d->g; and a->b->c->d->e.
asciilifeform: (notation seen here is simply the order in which patches apply.)
asciilifeform: i'll add that f, g, e ~may~ be pressable together in some combination, or may not, it depends on the actual 'patchons' inside
asciilifeform: mircea_popescu: your 'cycle arbitrageur' is precisely the same devil as my cornered-node-creator and panopticonic gossipd observer.
asciilifeform: i.e. a thing that can only exist if ~everyone~ has been catastrophically lazy/retarded for a very long time.
asciilifeform: otherwise he sits in hell playing cards with the other devils, where he belongs, and daren't stick out his nose.
asciilifeform: but in re: 'timing issue', we had a thread where i brought up 'two(+) d00dz form a cycle, who do we negrate' and specifically stated that deedbot-for-vpatches is necessary, and that any two+ folx who insist on issuing patches into same blocktime, and end up being part of a loop, are ~both~ idiots/wreckers
asciilifeform: so my cyclic(T)==false, cyclic(T+1)==true, culprit is the signator(s) of the patch closing the loop, worx great, when this condition is adhered to
asciilifeform: deedbot for patches; 1 per block.
asciilifeform: you get guaranteed well-ordering.
asciilifeform: this also would give mircea_popescu the thing he asked for, which was a litmus that'd let him reject a cycle-creating patch immediately from his light cone, before it can get into his vtron and cause headache. and that is, 'no patch may have a descendant that is also an antecedent of itself or of an earlier-blocktimed patch.'
mircea_popescu: you also get guaranteed limited production of patches to 1 per block.
asciilifeform: this is problem ?
mircea_popescu: i have nfi
mircea_popescu: i'm not making a positive argument here, and haven't throughout. just trying to examine this thing.
asciilifeform: it is eminently worth examining.
asciilifeform: if only for the n00bz.
mircea_popescu: asciilifeform so your contention here is that it is not possible to link a to g through a (b..f) set of patches such that (b..f) is a cycle and that two different paths exist from g to a ?
asciilifeform: but yes, for my simple culprit-finding algo, you DO need well-ordered set of patches.
asciilifeform: mircea_popescu: for the two paths to begin to exist, someone has to take a shit in the graph
asciilifeform: and close a cycle.
mircea_popescu: yes.
asciilifeform: and we immediately will know who.
mircea_popescu: well this immediately is problematic, because a cycle could be claimed to have been closed more than one way, is the point.
asciilifeform: not if 1 patch per blocktime.
asciilifeform: then we know the T at which no cycles, and the T+1 at which cycle exists.
mircea_popescu: this so far seems a lot like a kludge.
asciilifeform: it isn't though. it is mathematically bulletproof.
mircea_popescu: in any case i don't want to discuss problems in a marriage with proposed solutions.
asciilifeform: i contend that it isn't a problem, and that i solved it before releasing v.
asciilifeform: it is a taxidermic head of a problem hanging in my study wall.
asciilifeform: it is an ex-problem.
mircea_popescu: because a) conventionally cycle-closing patches aren't to be released and b) anyone involved in a closed cycle gets hung ?
asciilifeform: with 1-patch-per-block, there can be no ambiguity as to who is responsible for closing a cycle.
mircea_popescu: again : there's no point in discussing solutions as part of discussing problems.
asciilifeform: 'there is mud on my hands' 'faucet is right there, go wash' 'don't discuss solution, let's discuss problem!'
mircea_popescu: but in any case, turns out v actually has a previously poorly understood externality, in the sense of, requires a clock.
asciilifeform: i asked many times for the clock, and pretty sure i explained ~why~
asciilifeform: btw it does not require clock as such, only orderer.
mircea_popescu: that is what a clock is.
asciilifeform: orderer can be, e.g., a 'primus inter pares' monarch.
asciilifeform: rather than clock.
mircea_popescu: yes but this is one of those things you eminently do not wish to solve by human arbitrariety i dun think.
asciilifeform: i agree.
asciilifeform: fortunately we have a clock.
asciilifeform: that is ordered enough for this job.
asciilifeform: not sure that deedbot as-it-now-is would do the trick though
asciilifeform: it'll need a 1-patch-at-a-time hopper.
mircea_popescu: the cycle issue may require more thinking.
asciilifeform: thinking doesn't hurt.
mircea_popescu: furtunately it is not pressing.
asciilifeform: but imho the problem is thoroughly nailed.
asciilifeform: and i nailed it in 2015.
mircea_popescu: you made a blockchain dependency in 2015 ?
asciilifeform: well i do not maintain deedbot, and only could ask politely.
deedbot: http://www.contravex.com/2016/12/23/practical-trigonometry/ << » Contravex: A blog by Pete Dushenski - Practical trigonometry.
mircea_popescu: it's not altogether clear why the "hash whole thing, not just parts like fucking bitcoin blocks do" isn't a better solution. moves the clock externality to a strong hash externality
mircea_popescu: but arguably the latter we already depend on anytway
asciilifeform: there is unfortunately not an escape from the clock. as per the lamportclock thread.
asciilifeform: ordering -- matters.
mircea_popescu: yes, but ordering can be actually implemented by hashing
mircea_popescu: earlier a knowing later b's hash is equivalent to either time travel or hash breaking.
asciilifeform: nope
asciilifeform: you're still making use of the order.
mircea_popescu: hm ?
asciilifeform: you used the word 'later'
asciilifeform: the word 'later' implies an order.
mircea_popescu: yes. this is the point - that order can be introduced by hashing. all items are earlier than all other items whose hashes they know.
mircea_popescu: pff. all items are later than all other items whose hashes they know.
asciilifeform: notice, in the munchausen example, we had only 1 file, this is equivalent to 'hash everything'
asciilifeform: (i.e. stuffing all of, e.g., trb, into one long document)
asciilifeform: and cycle, notice, was still easy to make
asciilifeform: and if there were no time ordering, it would not be apparent who made the cycle
asciilifeform: (imagine instead of doctor mengele, each of the 3 patches had been signed by different people)
mircea_popescu: i don't actually see any of these. to start with, "hash everything" is exactly not what was done in the example. it hashed ~the text~, it did not hash ~the antecessor's hash~. this is the problem. that it doesn't hash everything, but just the text.
asciilifeform: that's what v is!!
mircea_popescu: this is turning into an abbot and costello skit.
asciilifeform: i can godelize your 'hash the patches' thing in the exact same way.
asciilifeform: and make cycles.
mircea_popescu: let me approach this matter from a different pov. do you agree that a string S consisting of computer code can be, depending on the context in which it is patched, the right thing or a deliberate subversion ?
asciilifeform: quite so, and is half the reason why v is necessary to begin with.
mircea_popescu: then therefore, do you agree with the proposition that signing S as long as S consists strtictly of computer code with no indication of context is a meaningless at best and dangerous at worst activity ?
asciilifeform: it would be a Bad Thing. if we were to do it. which we don't, because the antecedent hash gives us the context.
mircea_popescu: so then all strings S must incluide the antecedent hash. and in this definition string S = foo.txt ; nothing else.
asciilifeform: (standard gnupatch behaviour gives you precisely this contextless crapola , yes)
asciilifeform: they currently include the antecedent hash.
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: --- a/foo.txt 846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410
asciilifeform: +++ b/foo.txt 5ce2953ce7e2d11ce399e45eaa49aa8865af8760dd763ae5aa4298133257cf9931b2f04bdedc38a3aff52fb7a61e990d9b611d397e3db08d0449fddd887d7c27
asciilifeform: @@ -1 +1 @@
asciilifeform: -Foo Genesis, virginal.
asciilifeform: +Foo Genesis, modified.
mircea_popescu: no, because when I hashed to check your hashes i went sha512("Foo Genesis, modified.")
asciilifeform: ^ for the l0gz.
mircea_popescu: i was supposed to go sha512(#846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410 "Foo Genesis, modified.")
asciilifeform: i dun get the problem here?
mircea_popescu: this is because the "same" string (Foo Genesis, modified.) is NOT THE SAME string, depending on the contemplated context. it is a string in 846fdf... and ANOTHER string in whatever other context.
asciilifeform: mircea_popescu: the antecedent hash in this example ~is~ the entire context, because the example is so short.
mircea_popescu: right.
mircea_popescu: actually, because of how we build the presses, ALL contexts are "so short" as this one ; in the sense the antecedent hash always suffices.
asciilifeform: for so long as you ban cycles, the graph is guaranteed to behave in the predictable and sane way i described when first released v.
asciilifeform: see knuth's discussion of garbage collector, for related example.
asciilifeform: whole thing is more or less a straight rip of it.
mircea_popescu: ~so long as we ban niggers, politics will work ok. sure, the issue is how to ban them.
asciilifeform: i described one provably-correct algo for doing so, in this thread.
mircea_popescu: but any any rate, i think this discussion's exhausted itself, we'll have to see later on what we do about this.
asciilifeform: why continue to pretend that this is an open problem ? do you see an issue with the blocktime algo ?
mircea_popescu: yes ; that it requires blocktime.
mircea_popescu: (also that it's not currently implemented anywhere, but that's minor. the reason it's not implemented is that it doesn't, at least to my eyes, make much sense.)
asciilifeform: if mircea_popescu or anybody else wants to try to 'square the circle' and make a v-prime algo that doesn't need ordering, i will helpfully show how it breaks.
asciilifeform: and this is rapidly turning into the one-time-pad thread.
mircea_popescu: you're very kind, but the problem doesn't need that redefinition.
mircea_popescu: ordering is provided by hashing ; we're currently not actually using this, no idea why, but whatever. i really mean it when i say the discussion's exhausted itself, im not gonna sit here an' retrace the same circle witcha.
asciilifeform: even d00d with cock that only fits on a spool in atlantic cable-laying ship cannot break arithmetic.
mod6: asciilifeform: hey, say I wanted to test my toposort...
mod6: (i played with this for a long time lastnight after that quick conversation)
mod6: if i take this output hash from genesis for say, net.cpp:
mod6: --- a/bitcoin/src/net.cpp false
mod6: +++ b/bitcoin/src/net.cpp b72b573ba77b095e2497e297ba5b02aa68317f67438ee070fee86e129a95b85dc9b5ca98e96441bb2b3b98263dd88630990c913affbabf890641f349d1c6da47
mod6: so 'b72b573' ... and drop this into a down-flow vpatch that touches net.cpp, that should cause the cycle right? like so:
mod6: asciilifeform_dnsseed_snipsnip.vpatch:
mod6: diff -uNr a/bitcoin/src/net.cpp b/bitcoin/src/net.cpp
mod6: --- a/bitcoin/src/net.cpp c67fdd55e9d9d6b4973122b76729d7e83a456a8dc410f1c130cffbfd9f626c47ca7e8006bde912d9e0bd0a4b8457e895270d4a0efd22c4a199cd52ffd95b10dd
mod6: +++ b/bitcoin/src/net.cpp b72b573ba77b095e2497e297ba5b02aa68317f67438ee070fee86e129a95b85dc9b5ca98e96441bb2b3b98263dd88630990c913affbabf890641f349d1c6da47
asciilifeform: this is not actually a cycle, do you know why ?
asciilifeform: because it takes you back to genesis
mod6: ah. ok.
asciilifeform: notice, my vtron will not barf on it. because it does not cause a munchausening.
asciilifeform: (where an item comes to exist ex nihilo, without flowing from genesis)
mod6: im not sure if i follow. are you saying that genesis isn't a good place to test it because it is a root?
asciilifeform: returns to genesis are topologically harmless and so were legal in my vtron (they cannot cause any kind of inconsistent behaviour.) note that a deedbotted vtron as discussed in today's thread, would still ban them.
asciilifeform: mod6: take a paper and draw a loop containing the genesis.
asciilifeform: any patch in that loop is pressable without spinning in circle forever.
asciilifeform: because you can TRACE BACK TO GENESIS
asciilifeform: see.
asciilifeform: you never walk the entire loop, full circle.
asciilifeform: whereas in munchausen.tar.gz, you WOULD walk forever if you tried to flow
asciilifeform: or to press
asciilifeform: like ants in a circle.
mod6: well, i was trying to discern weather my toposort is correct or not.
mircea_popescu: thinking about it, is it actually possible to make a cycle where at least one element traces back to genesis ?
asciilifeform: mircea_popescu: mod6 posted one above.
asciilifeform: mircea_popescu: it is not illegal in my vtron because the toposort still provably terminates.
mod6: and when I do that above test ^, i never hit this line: death("Cyclic Graph!\n");
mircea_popescu: how is it a cycle if it terminates ?
asciilifeform: and you won't, if you copied my toposort.
mod6: it just hangs.
asciilifeform: mod6: so i guess you did not copy my toposort.
asciilifeform: mircea_popescu: it is a cycle topologically, but given as it contains the genesis, the 'ant walker' stops at the genesis, and does not walk in circles.
asciilifeform: 'the buck stops here.'
mircea_popescu: i don't get it, the genesis has an antecessor ?
asciilifeform: it does not!!
mod6: yeah, i certainly tried. and i thought i even tested this before... so maybe there was a regression. but i'll admit, that python code is very strange to me eith the for with the else.
mircea_popescu: so then how is it a cycle ?
asciilifeform: that is the definition of genesis, it has no antecessor.
asciilifeform: mircea_popescu: because dr.mengele makes a patch that ~produces~ the genesis, thinking he is oh so clever
mircea_popescu: but that is not ~the~ genesis ; that is merely the same string of code.
asciilifeform: so it would appear, if you naively drew the graph, that the genesis now has an antecedent
asciilifeform: but in fact it -- definitionally -- does not, even if someone tries to 'give' it one.
mircea_popescu: hm.
asciilifeform: the genesis, note, is not merely a string of code.
asciilifeform: it also is:
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: --- a/foo.txt false
asciilifeform: +++ b/foo.txt 846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410
asciilifeform: @@ -0,0 +1 @@
asciilifeform: +Foo Genesis, virginal.
asciilifeform: note the '--- a/foo.txt false'.
asciilifeform: fiat lux.
mircea_popescu: so now. how would one make a cycle whereof at least one element actually traces back to genesis ?
asciilifeform: here's one way:
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: --- a/foo.txt 846fdfb9d99724efbc97b1d2b519a221df9724dec3375c54913c1853af221c8e5ad5b5b8c38fffe4b654066071eafd8194fe7b86faa5fbadfbf1c5b872e81410
asciilifeform: +++ b/foo.txt false
asciilifeform: @@ -1 +0,0 @@
asciilifeform: -Foo Genesis, virginal.
asciilifeform: note that a correct vtron will not misbehave if you have this.
asciilifeform: returning to genesis is permitted, because the toposort still terminates.
mircea_popescu: asciilifeform i specifically want a cycle (n >1) where one element traces back to genesis. it seems to me that because one patch can only identify one antecedent, it is not possible to create cycles for the ~same reason organic chemistry doesn't work on hydrogen and oxygen only.
asciilifeform: (this was an aesthetic choice of mine, it can be revoked quite simply)
davout: why is it "returning to genesis" rather than "pressing something that happens to be equal to the genesis" ?
asciilifeform: davout: those are the same thing
asciilifeform: there is no colour of bits.
mircea_popescu: cuz shorter i guess.
mod6: <+asciilifeform> note that a correct vtron will not misbehave if you have this. << am trying this...
davout: and why is it considered an issue? i mean, what if we realize all these patches were retarded, that we roll them all back, but want to keep the flow for historical purposes?
mircea_popescu: nah.
mircea_popescu: per doctrine you're supposed to rebase. can still keep for "historical purpose"
asciilifeform: mircea_popescu: http://wotpaste.cascadianhacker.com/pastes/VZVHu/?raw=true << here is your 'cyclic ring of 3 atoms'
asciilifeform: cum genesis.
mircea_popescu: asciilifeform this goes a->b b->c c->a
asciilifeform: it is legal in my vtron, because it 'returns to earth'
mircea_popescu: what i want is a->b->c->b.
mircea_popescu: because exactly : yours is legal and fine ; mine is trouble.
asciilifeform: yours rings the alarm bell.
mircea_popescu: but ~can it actually be made~.
asciilifeform: i will post it, because i have it handy
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/TwMUZ/?raw=true << this sets off the alarm.
mircea_popescu: but this is a->b->c->d(=b). the only reason d is confused with b is because we don't hash correctly.
asciilifeform: we hash correctly.
asciilifeform: and there is no confusion.
asciilifeform: the alarm -- rings.
asciilifeform: and you can prove that it will.
mod6: ok
mod6: so i think i've tested exactly what you laid out, asciilifeform, with V99995 (the current version out there), and this is the result:
mod6: http://wotpaste.cascadianhacker.com/pastes/BRz2A/?raw=true
mod6: "returned to earth"
asciilifeform: which is correct.
asciilifeform: mod6: now try to get antecedents for foo-modified
mod6: ok
mod6: any others while i'm at it?
asciilifeform: nah
mod6: http://wotpaste.cascadianhacker.com/pastes/B00ZK/?raw=true
asciilifeform: correct.
asciilifeform: it stopped at genesis.
mircea_popescu: in point of fact, it should have looked like this : http://wotpaste.cascadianhacker.com/pastes/u51YZ/?raw=true and so following.
asciilifeform: mod6's vtron, in this respect, worx.
mircea_popescu: then there'd be absolutely no b=d ambiguity.
asciilifeform: mircea_popescu: this destroys the ability to see that we in fact returned to genesis. has it occurred to you to wonder why even to have patches at all? why not everyone just signs the entire hindenburg titanic of trb every time he changes a line ?!
mircea_popescu: we can't "return to genesis".
asciilifeform: sure we can. at least under my original vtron, this was a legal operation because it does not produce an eternal walk.
mircea_popescu: that it was supported by some implementation at some point doesn't actually provide it with cognitive content.
asciilifeform: you can ban it, as shown above in mircea_popescu's paste, by demanding that no new patch produce the antecedent of an old one.
asciilifeform: which still requires ordering.
asciilifeform: to have concept of 'new' and 'old'.
mircea_popescu: isn't ordering therein implicit ?
mircea_popescu: there's only one way to fit them all together.
asciilifeform: in mircea_popescu's paste, there is only 1 way.
mircea_popescu: right, is what i meanty
asciilifeform: what you need ordering for is if someone ~does~ break the no-old-antecedent-hashes-as-descendants rule
asciilifeform: and you want to find out ~who~
mircea_popescu: ie, if someone actually mines a hash, you mean ?
asciilifeform: mircea_popescu's solution, if i understand it, is to include a gensym in each patch body.
asciilifeform: this still requires ordering.
asciilifeform: a gensym, in case anyone forgot, is defined as a symbol that is guaranteed to be unequal to all other invocations of gensym.
mircea_popescu: nono, just previous patch hash. whenever you sit down to write a patch, you sit down to write it atop a press, or at any rate the situation resulting from a press. that has a "last item pressed" by necessity, and THAT will be your header.
asciilifeform: there is no concept of 'previous' without a time order !
asciilifeform: let's work this out :
asciilifeform: say i sit down to write a patch.
mircea_popescu: aite.
asciilifeform: and at the same time, mircea_popescu also does.
mircea_popescu: ok.
asciilifeform: we at the same time write '#Patch bfffhlerghhl' for our gensyms.
asciilifeform: and so we're nailed.
mircea_popescu: nope.
asciilifeform: in order to never do this, we have to confer.
asciilifeform: or to have an oracle.
asciilifeform: that orders for us.
mircea_popescu: look : your patch will be sha512(#Patch bfffhlerghhl\nalf's words\n) and my patch will be sha512(#Patch bfffhlerghhl\nmp's words\n)
mircea_popescu: they won't come out the same.
asciilifeform: they will if the payload is the same.
asciilifeform: which is same problem as in ordinary v.
mircea_popescu: you propose we both write the same code on the same patch ? then yes, they come out the same. this is fine.
asciilifeform: the inequality can only be enforced by an outside synchronizer.
mircea_popescu: (also why i said no above to "gensym")
mircea_popescu: i dunno if you read that ; did you ?
asciilifeform: mircea_popescu: as i understand, your solution to cycles is to demand that no two patches be equal.
mircea_popescu: well in fact, to demand that hashes cover the patch and its context, not merely the patch.
mircea_popescu: by similarity to how we'd like block hashes inbitcoin to cover the whole block and not just parts.
mircea_popescu: but yes, in the last instance, it's to demand that "same patch" can only mean, "same text" + "applied in same place".
asciilifeform: what does the string 'Patch for genesis' do in mircea_popescu's paste example ?
mircea_popescu: it's a fixed word. you could have it #Patch for false
mircea_popescu: if you prefer.
asciilifeform: for starters, a patch can antecedentize 10,001 other patches.
mircea_popescu: well, do we actually want this ? it doesn't seem to make sense ; in the sense that when you write the patch in question, you write it atop a specified code ; which is the result of a press ; which has a "last patch applied" necessarily. so that one should be the "antecedent" properly speaking.
asciilifeform: it does not in point of fact have a unique 'last patch applied', because there is no way to prevent two people who do not know about one another from both writing :
asciilifeform: diff -uNr a/foo.txt b/foo.txt
asciilifeform: --- a/foo.txt 53fedeea28a5b6608b422f90f8c28e97c4604d6da5c18b8167b10c994166d8f0b47cd07bca8a6e4e53b6a961bef75f494c70e97437b7afd2d69c4110d7c06575
asciilifeform: +++ b/foo.txt
asciilifeform: 25ce1cf14a94791ca4d0187cbc4247408cbc0c088dff1f13b312dff1d71af6b260d76a4df1277b66ed683dedc02852cbb3f366502459941f5e09e4594e733ac6
asciilifeform: @@ -2 +2 @@
asciilifeform: -#Patch for genesis.
asciilifeform: -Foo Genesis, virginal.
asciilifeform: +#Patch for 53fedeea28a5b6608b422f90f8c28e97c4604d6da5c18b8167b10c994166d8f0b47cd07bca8a6e4e53b6a961bef75f494c70e97437b7afd2d69c4110d7c06575
asciilifeform: +Foo Genesis, modified.
asciilifeform: i.e. identical patch.
asciilifeform: which takes you to the same place.
mircea_popescu: asciilifeform but when you write another one, you ~have to~ choose one of them.
asciilifeform: UNLESS we have clock.
asciilifeform: they are the same bits ! you cannot 'choose 1'
mircea_popescu: not by my model above.
asciilifeform: martians make a copy of mircea_popescu ! which mircea_popescu shoots which other !
asciilifeform: you cannot prevent the identical bitstrings, regardless of what epicycles you come up with. other than by ordering.
asciilifeform: there is no squaring for this circle, mircea_popescu .
mircea_popescu: in any case, as described v becomes an actual bitcoin , very much in the sense of "slavegirl powered btc" - each "block" ie vpatch is mined etc. this de facto allows to have things such as a "development clock" for perhaps other usage.
mircea_popescu: (it is uniquely idiotic to clock v patches by bitcoin - because for eg what happens in 2115 when v is the basis of bitcoin and a bug occurs which makes blocks not happen anymore and has to be fixed by a vpatch which can't exist because no blocks.)
asciilifeform: all bitcoin-like systems are doomed to have vaguely same shape, just like airplanes are doomed to have wings.
asciilifeform: mircea_popescu: for so long as you have the flame continuously burn, and at no point 'everyone died', it runs.
mircea_popescu: asciilifeform if you mean that you and i both sign the same patch text in the same tree context, the result here has been the very common, and very benign, MULTIPLE SEALS. which we currently have.
asciilifeform: just as bitcoin will still work when we rebake it with old balances and new clockwork.
mircea_popescu: this is not true. bitcoin blocks can stop right now.
mircea_popescu: the stoppage may require a patch
asciilifeform: what of it
mircea_popescu: except woe, you can't make it because someone already made a patch for this block and you aren't going to see another block without a patch.
asciilifeform: fortunately there are other ways of unambiguous ordering for the record.
asciilifeform: mircea_popescu takes the patch, writes it in corpses of usg soldiers in the desert, photographers come, it is printed in every paper in the world; now -- ordered.
mats: the butts are rising
mats: happy non denominational winter holiday
mircea_popescu: asciilifeform lemme state this thing from my pov for teh record here.
asciilifeform: plz
asciilifeform: for ze well-ordered record!
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/F4SWa/?raw=true << another example of convergence
mircea_popescu: 1. all ordered sets will create cycles whenever the index repeats ; 2. tmsr uses ordered sets to resolve specific problems of code development ; the application is called v ; 3. for the purpose tmsr uses ordered sets for, cycles are intolerable (the turing problem resolves to "acyclic set graph" in this particular case) ; 4. there is no way to guarantee numbers do not repeat.
mircea_popescu: this outlines a theoretical problem, which is present. it does not have many practical implications at the present time for purely political ("thou shalt not cycle!" is an imperative) and sociological (not that many people hammering out that many patches yet) reasons. therefore its solution is not in any sense pressing.
mircea_popescu: nevertheless, two different solutions have been considered. one is to attach an outside clock to the process. this has the obvious disadvantage of attaching an outside clock to the process. the other is to modify the indexing process for the set, from the current "index is hash of textual content" to a more advanced "index is hash of textual content + its context". as an exemplary poc it was proposed that this change may be i
mircea_popescu: mplemented as introducing a comment which references the previous item in the indexed set - but this is by no means the only, or the required, or standards-candidate implementation.
mircea_popescu: now, because of a naive "repetition creates cycles" and "index=text content" joint assumption, you automatically imagine that two people signing the same (text+context) pair would create a cycle. not anymore - the situation neatly reduces to "two people sign the same patch", ie, having multiple seals for the same patch.
mircea_popescu: did i miss anything ?
asciilifeform: the example i just posted involves two people, 'a' and 'b', who follow entirely different paths, come to same place, because they do not know about one another and there is no clock. now you can give them a place to put magical comment, but again they have to have a drumbeat or agreement method of one kind or another, or they can still follow this same path.
mircea_popescu looks
asciilifeform: carefully note that the patches a2 and b2 are not the same.
asciilifeform: and that this sequence could be as long as one could possibly like, 10,001 if we like.
mircea_popescu: i have nfi what i'm looking at here ; none of them correctly reference their antecedent hashes, so it's just random garbage
mircea_popescu: note that "insert random garbage" has not actually been proposed as far as i know.
asciilifeform: show me what 'correctly reference their antecedent hashes' would look like.
mircea_popescu: mk a sec
mircea_popescu: http://wotpaste.cascadianhacker.com/pastes/xfuHq/?raw=true < and so following.
asciilifeform reads
asciilifeform: you made b1 depend on a1
asciilifeform: which it does not
asciilifeform: a and b are on separate planets , and do not know about each other, and each was working from the genesis only.
asciilifeform: this was quite apparent from my paste.
mircea_popescu: mk lemme restate this then!
asciilifeform: b1 and a1 are in contradiction, you can apply one or the other to the genesis.
asciilifeform: b2 can only be applied on top of b1, and a2, similarly, on top of a1.
asciilifeform: (this in my original example.)
asciilifeform: they have entirely different paths, and so making them explicitly state their path, will not save you
asciilifeform: (which is what i gather mircea_popescu intended to do in his paste)
mircea_popescu: http://wotpaste.cascadianhacker.com/pastes/lpxZK/?raw=true >
mircea_popescu: next a line will reference f1bebb8.... and next b line will reference 33529af2cb74...
asciilifeform: what does putting 74e20d520ba4ecfdb59d98ac213deccecf591c9c6bfc5996ac158ab6facd6611cce7dd22120b63ebe9217f159506f352ce0ee6c0c2a1d200841ae21635dc5f9a in two different places, give you ?
asciilifeform: it is already in
asciilifeform: --- a/foo.txt 74e20d520ba4ecfdb59d98ac213deccecf591c9c6bfc5996ac158ab6facd6611cce7dd22120b63ebe9217f159506f352ce0ee6c0c2a1d200841ae21635dc5f9a
asciilifeform: in both
mircea_popescu: adding it in the actual file makes it part of the hash for the file.
asciilifeform: of the patch..?
mircea_popescu: yes.
asciilifeform: nobody's hashing ~the patches~. mircea_popescu wants to ?
mircea_popescu: dude. adding it in the actual file makes it part of the diff of the patch which makes it part of the hash.
mircea_popescu: wtf.
asciilifeform: nobody's diffing the patches, mircea_popescu
asciilifeform: you will need to describe a v-prime where patches get diffed
asciilifeform: (to produce what? patches of patches ?)
asciilifeform: if you formalize this -- we can work from that.
mircea_popescu: obstructive reading ftw.
mircea_popescu: let's indulge.
mircea_popescu: adding the hash of the antecedent to the actual file makes that hash part of the diff of the actual file, which makes it part of the hash of the patch (ie, diff of files).
mircea_popescu: happy nao or needs more pass ?
asciilifeform: i can still make you a cycle.
asciilifeform: in this system.
asciilifeform: without hash collisions, either.
mircea_popescu: please!
asciilifeform: but now i can also make 10,000,001 paths that lead to the same press, and cannot be easily distinguished by machine. which is a headache that normal v does not suffer from.
mircea_popescu: yeah, i'm not saying this is some sort of great improvement.
mircea_popescu: i am saying however it makes cycles impossible, so let's see that part.
mircea_popescu: !!key Tribalkiller
deedbot: http://wotpaste.cascadianhacker.com/r/yKhjR/?raw=true
mircea_popescu: and while he's incapacitated, http://btcbase.org/log/2016-12-21#1587343 << to briefly revisit the whole "greeks were actually smarter than you" thread : naive set theory (as expoused by, say, frege) runs into a problem known as russel's paradox : should the set of sets that don't include themselves include itself ? ☝︎
a111: Logged on 2016-12-21 19:03 mircea_popescu: should be pretty evident that a dimension defined in terms of divisibility is very fundamentally not the same thing as the latin notion of dimension-as-extensibility.
mircea_popescu: at issue is, of course, the constructivist approach to sets ; ZFC (which is the predominant, if unexamined, contemporaneous basis for set theory) disposes with this naivity, and instead approaches the matter greek-style : all sets are "constructed" by criteria in the sense of carving subsets from the superset V (ie the v Neumann universe). it is perhaps worth noting that russel's own solution favoured ~fucking over logic~ rat
mircea_popescu: her than the obvious renounciation of the constructivist delusion.
mircea_popescu: so yes, monkey makes ballista, shoots man. then monkey settles down, forgets about balista for a minute, spends TWO CENTURIES trying to figure out what man had already said. a rather hollow sort of victory, at least to my eyes.
mircea_popescu: (in this application, russel = monkey.)
asciilifeform: so i hand-cranked the sequence using mircea_popescu's method, to agglomerate, forever, a record of the path through the tree. and he is right that this will keep the toposort from detecting a loop. but this is rather like whitening an rng, it confuses only the machine, but not the reader, who will see that the ~output~ resulting from following the path is identical.
asciilifeform: you still have a loop, semantically, but no mechanical means of detecting it.
mircea_popescu: no, my contention is that this "Sameness" is entirely illusory.
mircea_popescu: in the sense contemplated in http://trilema.com/2014/pro-idiotas-which-obviously-means-people-who-have-ideas-ie-idiots/
asciilifeform: a == a
asciilifeform: said your very same aristotle.
mircea_popescu: mno. "a" does not exist. mp(a) != rando(a).
mircea_popescu: ie, idiots can not have ideas. no matter what they do.
asciilifeform: the mp-ness of a is provided by his seal.
mircea_popescu: the same exact string, if said by me, is an idea - if said by rando, is nothing.
asciilifeform: so the actual bits are not in fact the same.
asciilifeform: a+mpseal(a) != a+randoseal(a)
asciilifeform: bitwise.
mircea_popescu: right, which is what happens here. there's no such thing as "code", but only "x's code" even the same word "for" is not the same word.
asciilifeform: but the thing that makes it belong to somebody, and not some other, is the seal.
asciilifeform: not an imagined soul-substance.
mircea_popescu: the text ; the context ; and the ownership.
mircea_popescu: the context is not imagined, but very mach part of a corrent understanding of text.
asciilifeform: all that cannot be calculated mechanically, is, for the purpose of making a mechanism, imaginary.
mircea_popescu: this is a dubious statement.
mircea_popescu: in any case, "-if + for" is NOT the same thing wherever it appears. even if the strings are equal.
asciilifeform: let's consider what http://btcbase.org/patches would look like if we had been using this algo.
asciilifeform: is it even still possible to draw anything like a readable graph ? or would it look like a ball of yarn where it's this-here-copy-or-fuckyou, and it is not clear at all what was changed and what relied on what.
mircea_popescu: seems to me it would look exactly the same.
asciilifeform: nope.
asciilifeform: it'd look like rigor mortis.
mircea_popescu: how would it differ ?
mircea_popescu: yes but specifically.
asciilifeform: take, say, 'asciilifeform_lets_lose_testnet'.
mircea_popescu: ok
asciilifeform: actually, strike that;
asciilifeform: take mod6's latest, the makefiles patch.
mircea_popescu: ok.
asciilifeform: upstream from it, we have 'mod6_der_high_low_s' , 'malleus_mikehearnificarum', and 'asciilifeform_maxint_locks_corrected' .
mircea_popescu: yes.
asciilifeform: (this is a difficult process because we have multiple 'patchons' inside a patch..)
mircea_popescu: so what'd be the problem ?
asciilifeform: mircea_popescu's algo forbids sibling leaves, looks like.
mircea_popescu: how do you mean ?
asciilifeform: if each patch nails down an explicit 'and on top of THIS' press sequence, it drags the entire universe behind it, all of a sudden there is no such thing as 'sibling', i.e. a thing that goes from same ancestor to a different but nonconflicting place.
mircea_popescu: there's multiple approaches available. a) each patch nails down the whole list of direct antecedents, so it'd be 3 in this case ; b) each patch signer picks an arbitrary antecedent to reference of the list (of here - 3), others are free to "fork" it by picking a different one or w/e. ☟︎
mircea_popescu: i don't see this impossibility you discuss.
asciilifeform: you will end up with massive verticals.
asciilifeform: which is same as not even using v at all, but signing the entire project again and again.
mircea_popescu: well i dunno, the idea of code kinda is to be massive verticals. it;s unclear to me whence this "Signing entire project" comes from either.
asciilifeform: i already get grumbles that trb is an asciilifeform-vertical.
asciilifeform: and asciilifeform doesn't even sit in trb-foundation!
mircea_popescu: i also dun get such grumbles ? apparently there's a lot of divergence to be discussed here lol.
asciilifeform: according to legend, once upon a time, long ago, mircea_popescu lost his house key. so the next day he ordered twenty wagons of glue, and glued everything together -- the gurlz, the keys, his keyboard, his chair, ...
asciilifeform: never lost key again!
asciilifeform: this ~is~ a solution to 'i never again want to lose the key'
mircea_popescu: according to similar legend, there was once a bee dog who saw a glass bottle. because it wasn't red it therefore was grey and because it wasn't fleecy it therefopre was toothy and so the bee dog ran to town and warned everyone of the wolf.
mircea_popescu: the next day, bee dog saw a duck. because it wasn't blue therefore it was white and because it didn't have arms it therefore had claws and the bee dog ran back to town and warned everyone of the white wolf
asciilifeform: obscurantist claptrap is not helping mircea_popescu's argument.
mircea_popescu: you started it!
asciilifeform: mircea_popescu: if your branches cannot converge (and under your algo, they cannot, because path dependence ~everywhere~) your tree gets cancer, every single patch creates a wholly separate universe that can never touch others.
asciilifeform: even if it wants to.
mircea_popescu: why can't it converge, i don't get it ?
asciilifeform: because every descendant would be stuck having to pick, arbitrarily, one or the other path. and so on for ~each~ junction where this happened.
asciilifeform: and if any two descendants pick variant paths, they create that many paths again ~squared~, and so on.
asciilifeform: it begins to resemble the popular picture of time travel.
asciilifeform: which imho is a terrible place to end up in voluntarily.
mircea_popescu: asciilifeform http://btcbase.org/log/2016-12-23#1589605 ☝︎
a111: Logged on 2016-12-23 19:26 mircea_popescu: there's multiple approaches available. a) each patch nails down the whole list of direct antecedents, so it'd be 3 in this case ; b) each patch signer picks an arbitrary antecedent to reference of the list (of here - 3), others are free to "fork" it by picking a different one or w/e.
asciilifeform: mircea_popescu: if (b) is available, it becomes again possible to close cycles.
asciilifeform: if you want to absolutely ban cycles, mechanistically, you are stuck with (a)
asciilifeform: (full paths)
mircea_popescu: yes, but this time a clock is no longer necessary for the beheadings.
asciilifeform: how not ?
asciilifeform: two d00dz simultaneously (as far as we know) shoot out (b)s that make cycle.
asciilifeform: which one to behead ?
mircea_popescu: "how not" is not really a good question ; an example suffices.
mircea_popescu: anyway - so you list all 3 if there's 3. fine. why does this make convergence impossible ?
asciilifeform: draw for me the converger plox
mircea_popescu: maybe we're not talking of the same thing, but isn't the very patch in question, with its 3 references, a converger ?
asciilifeform: say 'a' and 'b', after futile period of divergence, have decided to produce a common offspring 'c'. what does c look like ?
mircea_popescu: c looks like #ref a #ref b sometext
asciilifeform: mircea_popescu: with your algo, 'a' cannot produce the same thing as 'b', because their immediate antecedents were different.
asciilifeform: and there is no way to erase this fact.
mircea_popescu: but this does not prevent c from calling both of them, does it ?
asciilifeform: c cannot call both, because conflict
asciilifeform: (a and b are conflictors)
mircea_popescu: much like currently mod6's latest, the makefiles patch. takes 'mod6_der_high_low_s' , 'malleus_mikehearnificarum', and 'asciilifeform_maxint_locks_corrected' .
asciilifeform: we do not have any merged-conflictors on that graph, universe is not yet old enough for this headache to have occurred naturally
mircea_popescu: if a and b are conflictors then the resolution of their differences will be in either a or b tree ; importing code from either b or a respectively to satisfy ; and the other branch may die.
mircea_popescu: asciilifeform so this makes it a uniquely poor example, seeing how it will conceivably sink the extant scheme.
asciilifeform: it does not.
asciilifeform: because in the extant scheme, 'a == a'.
asciilifeform: you are permitted to go to the same place via 2+ paths, because the graph is mandatorily acyclic and directional.
mircea_popescu: but in practice, should prb decide to come to sanity, the only avenue open to them is to... try and get their patches on the v tree.
asciilifeform: and we take out flamethrower
asciilifeform: and cook'em
asciilifeform: problem ?
mircea_popescu: conflicts aren't liable to be resolvable in general other than through the above described avenue
mircea_popescu: asciilifeform i was discussinfg an imaginary case where "resolution" actually means what it says.
asciilifeform: i do not see this hypothetical world, where it is unclear who is who.
asciilifeform: it is the devil from earlier thread, it can only happen if we are all retarded to begin with.
asciilifeform: orthogonally, but also quite painfully, not having 'a == a' also means that 'power rangers' can make new paths and claim credit for the works of others, and there will be NO mechanical means for a n00b to determine that this was done, other than to explore the exploding phase space.
asciilifeform: (which will grow exponentially)
asciilifeform: exponential growth of bitwise-identical entities is making my bowel churn just to think of it.
asciilifeform: if mircea_popescu signs 'τῶν γὰρ φύσει συνεστώτων τὰ μέν ἐστι ...', he does not also sign his copy of aristotle, and after that, the publisher's original manuscript, and with it, the medieval copy, and with that, the arab copy, and with that, .... plus the book from which he learned greek, and its manuscript...
asciilifeform: if i had any reason to think that turning v tree into a forest of vertical stakes , exponentially crowded with IDENTICAL payloads that cannot be machine-compared , would make it easier to tell friend from foe and wisdom from folly -- i would agree with mircea_popescu's algo. but i do not. ☟︎
asciilifeform: it makes it considerably harder. and, past a certain point, quite impossible.
asciilifeform: the proposal imho belongs with thomas edison's concrete furniture.
asciilifeform: great idea, from one pov, terrible from just about every other.
asciilifeform: http://www.gizmodo.co.uk/2016/12/flight-cancelled-after-moron-names-wi-fi-network-galaxy-note-7 << in unrelated lulz.
asciilifeform: '“This isn’t a joke,” said the captain, according to passenger Lucas Wojciechowski. “We’re going to turn on the lights and search everyone’s bag until we find it” ... “Ladies and gentlemen, we found the device,” said the captain. “Luckily only the name of the device was changed to ‘Galaxy Note 7'. It was not a GN7.”'
asciilifeform pictures, what if it had been an esp8266 in a bar of soap ? up an arse ?
mircea_popescu: asciilifeform in general this "make new path and claim the work of others" is always available. i can make new path and claim the work of everyone right now, what's to stop me.
asciilifeform: the fact that we have ordering.
mircea_popescu: huh ? i can just make a new patch off genesis.
asciilifeform: you can, but it will be readily apparent to be a later work than the earlier that you will presumably be 'filing the serial numbers off'
mircea_popescu: how would it be apparent ?
mircea_popescu: suppose i make an bitcoin.mp.1 which is like bitcoin.asciilifeform.1 except it includes #alf stole my girlfriend!
mircea_popescu: and just move the whole tree over there, and claim i made it. what stops me ?
asciilifeform: well yes. mircea_popescu used to teach, right ? how did he determine which idiot cribbed off which other idiot on exam
asciilifeform: or term paper.
asciilifeform: in practice it is never difficult.
mircea_popescu: so then the same thing here as there ; this attribution issue is not useful to distinguish between the two methods.
mircea_popescu: it's also not clear whence this idea of "recursive signing" comes from but anyway.
mircea_popescu: i don;'t get it, wtf is the problem with the string "Galaxy note" whatever.
asciilifeform: mircea_popescu: infamously flammable (recalled) pNoje
mircea_popescu: oh
asciilifeform: iirc battery thermistor.
mircea_popescu: heh mkay
asciilifeform: i went on airplane in october and there were signs hanging of 'if you have this-here, put it in this fireproof rubbish bin before boarding, or go home'
asciilifeform: one possible theory is that crapple drummed up the hysteria, their headphonejackless marvel was due for release that week iirc.
asciilifeform: http://btcbase.org/log/2016-12-23#1589086 << reminds me of the (legendary) airplane that flew orthodox icon around moscow N times to ward off german encirclement ☝︎
a111: Logged on 2016-12-23 12:50 mircea_popescu: in further news nobody cares about, "4 million letters of 'empathy, support' dropped on Mosul". this thing, which was a) going to be a war that b) was going to take two weeks twelve weeks ago (and then a month, and then two, and here we are) has now degenerated in a fucking spam offensive.
asciilifeform: (quite likely a pious fraud of 'let's bring back the church' idiot '90s)
mircea_popescu: nobody could possibly resist the power of modern democracy embeded in its ultimate representation, the unsolicited mailing.
asciilifeform: even in piddling civilian postbox i get aaaaalmost enough crapolade to stoke a furnace with.
mircea_popescu: pretty sure it's carefully constructed to be poisonous if burned.
asciilifeform: quite so!
asciilifeform: or i ~would~ burn it
asciilifeform: and so would everybody.
asciilifeform: http://btcbase.org/log/2016-12-23#1589092 << most likely is that they followed the contours of the existing auto ☝︎
a111: Logged on 2016-12-23 12:55 mircea_popescu: anyway alf will prolly appreciate : https://heavyeditorial.files.wordpress.com/2016/12/photo_2016-12-22_07-09-311.jpg
mircea_popescu: the modern democracy gotta make items that can not be useful ; and ONLY items that can not be useful.
asciilifeform: very carefully designed 'antifeatures', aha
asciilifeform: recall 'cuecat' ?
mircea_popescu: notrly "?
asciilifeform: !#s cuecat
a111: 11 results for "cuecat", http://btcbase.org/log-search?q=cuecat
asciilifeform: it was a toy given out as advertising gimmick
asciilifeform: that someone found a method of converting into (at the time, rare) barcode reader. and was sued for his trouble
mircea_popescu: ah
asciilifeform: 'consent bit'
asciilifeform: http://btcbase.org/log/2016-12-23#1589102 << it is, perhaps surprisingly, still better to be the general. he does not have to live in a 1room sv flat that costs 95% of that 18k. ☝︎
a111: Logged on 2016-12-23 13:08 mircea_popescu just checked, o-9 pay grade is from 14.5k to 18k A MONTH. it is literally a better deal to be an entry level sysadmin working in pasadena than a lieutenant-general working in baghdad.
asciilifeform: (incidentally a general who steps anywhere near the battlefield, gets hazard bonus, tax-free-enablement, and several other additions to pay)
mircea_popescu: sure, as in any socialist totalitarian state, it is better to not even care about the worthless money ; and try and achieve positions of power in the necessary feudal structure.
mircea_popescu: which is why atf agents stole bitcoin ; not usd.
asciilifeform: just about every literate young d00d in usa has at one point or another turned down (or accepted, and lived to regret) 200+k usd in sv
asciilifeform: because it is 'fairy gold'
asciilifeform: evaporates.
mod6: <+asciilifeform> http://wotpaste.cascadianhacker.com/pastes/F4SWa/?raw=true << another example of convergence << interesting.
pete_dushenski: http://archive.is/Q0e9f << and another example of reddit delusions not being confined to ethereum and shillary. apparently these poor kids are making up their own non-existent 90s movies now.
pete_dushenski: !~ticker --market all --currency rmb
jhvh1: pete_dushenski: BTCChina BTCRMB last: 6440.72, vol: 3095817.08510000 | Volume-weighted last average: 6440.72
mats: where do i sign up for this sysadmin job in pasadena than pays more than 200k usd
asciilifeform: mats: not literally sysadmin, you gotta be skilled labour, but nearly.
phf: back during iraq war the salaries for ~sysadmins~ were way above what you could get on the market (i remember looking at listings and vaguely contemplating doing it because it ~looked~ like fun), i.e. 100-150k for 6 month of deployment. i think now because of vc money it has switched.
asciilifeform: phf: tax-free, too.
asciilifeform: and 100k reenlistment bonus.
asciilifeform: i actually applied
asciilifeform: (rejected, 'position requires prior military experience, sorry we forgot to state in ad')
phf: you get to work from those Sun shipping containers, it was all very gibson bigend trilogy
asciilifeform: i did meet a d00d who ~did~ get the job, turns out those containers ain't bulletproof, whod'vethunkit.
phf: that's sort of part of the deal
asciilifeform: it surprised ~him~, not me...
asciilifeform: the sysadmin d00d in benghazi, i am told , was also quite surprised in his last 5min of life.
mircea_popescu: pete_dushenski hey, they're on the path of recreating a post-enlightenment history in which females actually matter, what's a movie compared.
asciilifeform: (unlike the iraq folx he wasn't getting tax-free double pay afaik)
phf: so it goes
mircea_popescu: asciilifeform bulletproof is extremely expensive logistically.
asciilifeform: noshit.jpg
mircea_popescu had bulletproof car, cost ~3.5x what same exact car make and everything cost.
asciilifeform: cheaper to get 10 spare sysops.
mircea_popescu: you can't even hoist it, it's like 7.5 tons
asciilifeform: aha, i rode in such a car, was crudely made, i could see why it weighs.
asciilifeform: you hoist it on the same hoist used for bus, garbage truck.
mircea_popescu: in bulletproofing there's really no substitute for mass.
mircea_popescu: the reason is that same old mc^2 ; there's no better heat dampener than water nor better energy dampener than mass.
asciilifeform: (obummer's obummermobile was so laden with armour that the british could not fix it, this was a scandal a few yrs back)
asciilifeform: civilian armoured vehicle is still a joke because it has windows
asciilifeform: ever see tank with windows ?
asciilifeform: dun matter what you make them from.
mircea_popescu: nah, bulletproof glass is a thing.
asciilifeform: bullet - yes
asciilifeform: rpg - no.
mircea_popescu: bulletproof is bulletproof not flamethrowerproof.
asciilifeform: also there is bullet and then there is bullet. you can get sabot rounds for ordinary '12' shotgun.
asciilifeform: but mircea_popescu probably knew this.
mircea_popescu: still won't go.
asciilifeform: let's ask BingoBoingo to try it in his back yard and post photo, how about.
asciilifeform: i'll pitch in to cover cost.
mircea_popescu: the thing with it is it's layered, no matter the impact energy you get refraction because of the medium variance.
asciilifeform: any good armour uses this effect, yes
mircea_popescu: so no, sabot or no sabot you're not shooting through the (tiny ass btw) windows.
asciilifeform: if you can pound a tungsten carbide nail through something, you can also shoot it.
asciilifeform: just takes moar v.
mircea_popescu: you can jump into a pool ; but if you go fast enough it's concrete not water. same thing with shooting - adding speed does not actually help. even if you can drill it.
phf: hence knife and bullet vests are two different beasts
mircea_popescu: aha.
mircea_popescu: in fact the most dangeroius rounds aren't the outer (ie, very fast) but the inner (ie, just slow enough to spall the shit out of you)
mircea_popescu: the very energetic rounds just ricochet.
asciilifeform: i'd seriously like to see what happens with, say, the lexan window, vs 'lahti' antitank round from ww2
asciilifeform: (afaik american vendors of lexan armour only warranty up to 12.7mm)
jurov: lexan??? iirc sapphire is used
asciilifeform: jurov: only in golden atomic dirigibles
mircea_popescu: aluminium oxynitrite ftw.
mircea_popescu: anyway, usually it's glass laminate / policarbonate in layers.
mircea_popescu: good for up to 10-15kJ
asciilifeform: sounds expensive. probably cheaper to put steel armour, and camera on one side, plasma tv on other !
asciilifeform: (why does tank need side windows anyway)
mircea_popescu: well the cheapest thing is to not use one in the first place
mircea_popescu: fucking death trap.
mircea_popescu: use the subway like normal people.
asciilifeform: but if you gotta 'ride a tank, hold a general's rank, while blitzkrig raged and the bodies stank'
asciilifeform: btw i wonder what a 100kw laser, of the right wavelength naturally, would feel like to the occupant of the windowed tank.
asciilifeform: (alternatively, of the 'wrong' wavelength, soften the ceramic a bit, then shoot with ordinary lahti)
mircea_popescu: in other lulz, https://archive.is/vsISw
asciilifeform: iirc turks giving helping hand to the kurd-control exterminator crews is old noose..?
mircea_popescu: teh hot week starts ~tomorrow.
asciilifeform: wai so hot
mircea_popescu: http://btcbase.org/log/2016-12-19#1585980 ☝︎
a111: Logged on 2016-12-19 18:48 mircea_popescu: anyway, to be fair here : the russians have no interest in waiting ; putin might be uncharacteristically meek, but in general a half dozen us ambassadors starting with the resident in manilla within the next week-10days is perfectly possible. at which point obama actually having the gall to call natl emergency and set aside the transfer of power is not entirely inconceivable. after which the russians WILL sink all the us carr
asciilifeform: iirc only thing out of mr p publicly thus far is 'was provocation'
mircea_popescu: sure.
mircea_popescu: o look, trump wants dm friedman as israel ambassador.
phf: dindu notin
asciilifeform: whossat
mircea_popescu: asciilifeform trumps bankruptcy laywer.
asciilifeform: 'Friedman, who specializes in litigation and bankruptcy law, was a key adviser to the incoming Republican president on US-Israel affairs during the presidential campaign.'
asciilifeform: aah
mircea_popescu: !~google friedman j street
jhvh1: mircea_popescu: In Attacking David Friedman , J Street Condemns Itself - Breitbart: <http://www.breitbart.com/jerusalem/2016/12/20/attacking-david-friedman-j-street-condemns/>; J Street Tries to Raise Money off David Friedman Nomination: <http://www.breitbart.com/big-government/2016/12/16/david-friedman-j-street-tries-raise-money/>; J Street Vehemently Opposes Nomination of David Friedman as US ...: (1 more message)
asciilifeform: https://archive.is/fKaEI << in other lelz
asciilifeform: 'In light of the rise of fake news on social media, the German Interior Ministry has proposed the creation of a "Center of Defense Against Disinformation," according to a report on Friday from the German news magazine "Der Spiegel."'
mircea_popescu: it's not just that the guy's ~not~ part of embassy usg. it's that he's a) pissed publicly on the very faces of the kids of the helicopter moms that make up embassy usg and b) is independently wealthy / intelligent enough to not give the slightest shit about them and their wine parties.
phf: i'd make a "my lawyer's jewish, i know, i'll make im speak to all other jews" joke, but so far trump's appointments that i heard have been very competent :o
phf: seems like the pattern with all the appointments. "competent. has strong animosity towards whatever bureaucratic apparatus he's going to be head of."
asciilifeform: 'Intelligence agencies and politicians in Germany are hoping to prevent a similar scenario next fall for the Bundestag elections. Some politicians in Germany have also proposed laws against the production and distribution of fake news.'
asciilifeform: ohnoez, unpermissioned nyooz.
mircea_popescu: phf pretty reasonable approach at that.
mircea_popescu: best way to handle bureaucracy is to force it to spend its time handling itself.
asciilifeform: the one thing i don't quite grasp is why a heavy calibre d00d like the one described, would take the job of ambassador
asciilifeform: is, e.g., mircea_popescu , burning with desire to work as american ambassador ?
mircea_popescu: he already has a house there. most of these are appointments of convenience, like making serial rapist head of rape dept.
asciilifeform: aah.
asciilifeform: then makes sense.
mircea_popescu: (laugh but this happened - TWICE. both national socialism and leninist socialism did this.)
phf: "that was some good shooting for the revolution there. hey you're good at shooting people. you're now the head of my shooting department"
asciilifeform: !#s amtorg
a111: 0 results for "amtorg", http://btcbase.org/log-search?q=amtorg
asciilifeform: hm.
mircea_popescu: the most amusing jewish joke in all this - lo, trump MADE A GOOD JEWISH JOEK. this is infinitely harder than the supposed "witty self-deprecation" imbeciles gathering in new york think funny
mircea_popescu: is "hey, israel is bankrupt, iam send halps."
mircea_popescu: also updated http://trilema.com/2016/how-to-participate-in-the-affairs-of-the-most-serene-republic/ a little.
asciilifeform: neato -- 'write a vtron!'
mircea_popescu: aha.
asciilifeform: like 'make telescope!' in 1700s, yes.
mircea_popescu: table stakes keep increasing ; but the good news is they also keep diversifying.