log☇︎
153900+ entries in 0.045s
asciilifeform: as in fact described by mircea_popescu in the bitcoin-fs thread.
asciilifeform: mircea_popescu: by allocating the size of the largest possible block, for ALL block
asciilifeform: i will give example pertaining to bignum/crypto
asciilifeform: but this defeats a good chunk of the purpose of using ada to begin with.
asciilifeform: then you can 'write c' aha.
asciilifeform: for incorrigible c-smokers, it has a 'unchecked deallocation' thing that you can re-enable, at your peril.
asciilifeform: l0l
asciilifeform: where buffers are born and die promiscuosly
asciilifeform: *insist on
asciilifeform: mircea_popescu: only if you insist of 'writing c'
asciilifeform: in essence ada demands that you make intelligent use of static blocks of ram
asciilifeform: and don't ever allocate a block you have no intention of re-using in its birth size.
asciilifeform: as in, re-use the blocks sanely.
asciilifeform: you RECYCLE
asciilifeform: students of the lang, e.g., mod6, prolly understand why
asciilifeform: it has allocation but NOT free ! (you can 'cheat' and re-enable it, but then your proggy is considered 'cursed')
asciilifeform: ada memory alloc is an interesting item that deserves own conversation
asciilifeform: then yes.
asciilifeform: up to size of machine mem
asciilifeform: mircea_popescu: what means proper-big
asciilifeform: (but then again i have 'pretty close' to working postgres db in phuctor, so there)
asciilifeform: fwiw i have pretty close to a working bignumatron in ada.
asciilifeform: mod6: much of today there was 'how large is this hole'
asciilifeform: welcome to new planet.
asciilifeform: hey mike_c
asciilifeform: mod6: arithmetizing what the events of today would look like on a gossiptronic net.
asciilifeform: mod6: right now it's mainly kako, phf, and i
asciilifeform goes off for a scale model version of this
asciilifeform: http://log.bitcoin-assets.com/?date=14-04-2015#1100378 << possibly better ☝︎
asciilifeform: 'martian bank'
asciilifeform: http://log.bitcoin-assets.com/?date=03-10-2014#856353 << possible starting point, but i misplace the mega-thread ☝︎
asciilifeform: cramer-shoup ~is~ provably equivalent to diffie-hellman discrete log.
asciilifeform: rsa is NOT publicly proven to be equivalent to Factoring in difficulty;
asciilifeform: i will give example, of the precious few 'gifts of the learned monks',
asciilifeform: on trilema no less, iirc
asciilifeform: there's an engl ver
asciilifeform: l0l
asciilifeform: a well-designed ~mathematical~ mechanism doesn't HAVE 'unknown unknowns.' it has PROOF where 'unless x,y,z ' (e.g., ecdsa break, or p==np) 'mechanism works such-n-such'
asciilifeform: as well as 'idiots can mine without operating node'
asciilifeform: to fix the 'miners can selectively deny tx', for instance
asciilifeform: i can see at least a dozen effective variants of fix.
asciilifeform: satoshi ~could~ have invented mircea_popescu's hybrid pow/pos algo.
asciilifeform: mircea_popescu himself teaches us that 'you are responsible for ALL questions on the exam'
asciilifeform: how not ?
asciilifeform: the whole design, like the infamous 'galloping gertie' dud bridge, leads to this.
asciilifeform: briefly back to thread, i credit miner cartel, as i did in the beginning, as the INEVITABLE consequence of satoshi IDIOCY
asciilifeform: hm
asciilifeform: anyway i'm a (p0000r) whore today, fwiw.
asciilifeform: (spoiler re: above: blockchain as an exponentiated-primes product!111)
asciilifeform: yes!
asciilifeform: but i have less excuse than most, i followed the subject before it was a subject, had my own crackpot bitcoin, unpublished, a decade ago, etc.
asciilifeform: generally it is not an interesting line of thought, it is on par with 'if i knew today's lottery number last week'
asciilifeform: if i had even so much as mined on the ~fpgas that i already owned~ when the thing began, i would be in neighbouring dirigible to mircea_popescu
asciilifeform: i walked the razor blade for a very long time, ended up very p0000r for it
asciilifeform: it was a difficult time, smart folks were very difficult to persuade to give a damn re bitcoin
asciilifeform: mircea_popescu: i grasped this.
asciilifeform: (hamiltonian mechanics recommended to all in the audience, helps)
asciilifeform: it ~is~ the low-energy state of the system
asciilifeform: (to some laughter)
asciilifeform: mircea_popescu: i buy the miner cartel! if you recall, i walked into #b-a with miner cartel.
asciilifeform: hm?
asciilifeform: (why NO high-S miners?)
asciilifeform: ftr the cartel exists unquestionably, the high-S derpage is proof of it
asciilifeform: even now.
asciilifeform: but they are so threadbare, that a loss of 2-3% can mean death.
asciilifeform: aha, yes
asciilifeform: their margin is so pathologically narrow that the tx matter
asciilifeform: because miners do not generate tx
asciilifeform: sybil has the upper hand over miners
asciilifeform: this is the exact point where i disagreed, the last time we did this thread and were interrupted
asciilifeform: aha
asciilifeform: argument here is - if miners do not ~collectively~ countenance the sybil, it cannot operate ?
asciilifeform: if mircea_popescu has the time/patience, let's arithmetize
asciilifeform: cartel of miners is something that plausibly may exist, as i said before. but i do not see it as the ~necessary hypothesis~
asciilifeform: perhaps with respect to (a)
asciilifeform: (a) is cartel, (b) - sybils.
asciilifeform: because ~weighs less~
asciilifeform: but i hold that (b) is more reasonable hypothesis ipso facto.
asciilifeform: no hard proof of (a) or (b)
asciilifeform: other - that ru had electron beam gun.
asciilifeform: one - ru prayed in new spiffy church and god interceded, carefully carved hole in plane and pilot's arse.
asciilifeform: two theories dominate,
asciilifeform: a top-of-the-line american jet is found with a clean fist-sized hole lengthwise, incl. pilot's arse. pieces reassembled, and everyone shits their pants in astonishment.
asciilifeform: better example, bear with me:
asciilifeform: whereas i've modelled sybilatrons for ages.
asciilifeform: mircea_popescu thinks 'nominal attempt' - as in 'hasty justification because asciilifeform had indigestion and was inclined to harp on mircea_popescu for no good reason' ?
asciilifeform: from my perch it is not distinguishable from bush's 'weapons of mass destruction' thing
asciilifeform: but not with ~mine~
asciilifeform: i believe that mircea_popescu is a clever fella, and that, given the prior available to HIM, it 'necessarily doesn't'
asciilifeform: sorta like usg's 'classified due to Sources & Methods (tm)' form letter reply.
asciilifeform: when i asked re: the cartel, i got : http://log.bitcoin-assets.com/?date=14-03-2016#1432648 ☝︎
asciilifeform: http://log.bitcoin-assets.com//?date=14-03-2016#1432257 ☝︎
asciilifeform: i recall this.
asciilifeform: all effective undertakings - have it.
asciilifeform: and is a thing.
asciilifeform: trinque: aha, it is called fuhrerprinzip
asciilifeform: trinque: if mircea_popescu had been going for the 'fuck off, who asked anyone' angle, why would he have bothered to write the qntra piece re: miner collusion ?
asciilifeform: http://www.dianacoman.com/2016/03/28/when-the-messenger-shoots-back/#comment-246
asciilifeform: l0l!
asciilifeform: phf: aha, mine also. so far the data is discouraging - who the fuck, for example, is aegis ?