log☇︎
167000+ entries in 0.101s
mircea_popescu: the important difference is that this was not reusable but throwaway code. the requirement was "calculater result" not "write program"
asciilifeform: in asciilifeform's ( and probably everyone else's... ) experience, the most lethal bugs are ones which produce ~correct~ answer, ~all of the time
mircea_popescu: once you found the misspelling you found it and ere you found it the text was just as correctly spelled as it will be after you find it : "as far as i know, correctly spelled"
mircea_popescu: testing only reveals the presence of errors, not their absence. sure. and guess what ? reading code with human eyes, also. and so on.
mircea_popescu: asciilifeform are you proposing what exactly, that out of an array of ineffectual methods we're to choose one and stick to it ?
asciilifeform: but if you were to use its list of primes for some other program...
asciilifeform: ^ is a slightly modified version of what lobbes posted. it gives the correct answer, even
asciilifeform: re what testing can and cannot reveal
a111: Logged on 2017-08-15 18:50 lobbes: And yeah, horrible to read to boot
mircea_popescu: http://btcbase.org/log/2017-08-15#1698279 << it has the significant advantage that it bridges into unrelated record. if your result diverges from the result, you now have a grounded suspicion re the source of whatever list you used. ☝︎
mod6: In that case, I have a bit more simplified version of mine that more closely resembles what I started with before.
mircea_popescu: these premises are dependent however on diversity of implementation. (remarkably, they are not dependent on correctness of implementation ; but they are dependent on correctness of treatment of divergence, ie, no "consensus-building", ever, at all)
mircea_popescu: in other words, the republican model significantly reduces costs and, incredibly enough, introduces a new revenue stream.
a111: Logged on 2017-08-15 06:00 ben_vulpes: what secrets of the universe did my inferior american education deprive me of?
mircea_popescu: divergence. and if there is divergence, there is significant educational benefit in it, as seen in http://btcbase.org/log/2017-08-15#1698143 ☝︎
a111: Logged on 2017-08-15 18:45 asciilifeform: lobbes: it isn't that this doesn't work, but that the effort needed to verify that you didn't somehow miss one , is substantial
mircea_popescu: http://btcbase.org/log/2017-08-15#1698273 << verification happens through coherence. if one man writes one program to do one calculation, that man must check that a) his implementation is correct and b) his design actually does take from input to output if correctly implemented. if however the lordship writes a dozen+ programs to do the same calculation, no one man needs to verify either a or b for his own item UNLESS there's ☝︎
a111: Logged on 2017-08-15 18:44 lobbes: Interesting seeing teh different approaches. Instead of primality test, I just iterated through a static list/array of primes (I figure that list ain't changing anytime soon). Here's my potato code: http://wotpaste.cascadianhacker.com/pastes/X0jSt/?raw=true
deedbot: http://trilema.com/2017/where-the-fuck-is-everyone/ << Trilema - Where THE FUCK!!! is everyone ?
mircea_popescu: o hey peterl got teh mpfhf reverser done.
asciilifeform: imho oughta be reintroduced, this useful command.
asciilifeform: pretty serious goxlag, too
asciilifeform: mod6: the three snippets are a pretty good, imho, intro course to 'you can have a useful, statically-compiled lang without promiscuous pointers'
mod6: http://wotpaste.cascadianhacker.com/pastes/au9GU/?raw=true << another formulation. << thanks for posting anyway
asciilifeform: i.e. 'this dun happen to folx with a working immune system'
asciilifeform: reads, interestingly, very much like the gut tuberculosis thing
mod6: using PeterL's method, i get the same number with openssl
asciilifeform: imho life is too short to use 'eyeball diff'.
PeterL: try this: print a list of the primes up to 100 or 1000, remove one at random, then try to spot which is missing just by looking at the list
lobbes: And yeah, horrible to read to boot ☟︎
lobbes: True. Plus if someday I need a bigger list, then I gotta go editing hardcoded lists vs just flipping a parameter somewhere
asciilifeform: not that lists of primes ain't handy -- but that the effort needed to verify one is >= to what is needed to generate same. ergo why not generate.
asciilifeform: or for that matter the one 2yrs ago re the hypothetical tabs-an'-spaces vpatches and 'what determines effort needed to read'
asciilifeform: see also the thread with mod6 re the q of 'what is a readable proggy'
asciilifeform: lobbes: it isn't that this doesn't work, but that the effort needed to verify that you didn't somehow miss one , is substantial ☟︎
lobbes: Interesting seeing teh different approaches. Instead of primality test, I just iterated through a static list/array of primes (I figure that list ain't changing anytime soon). Here's my potato code: http://wotpaste.cascadianhacker.com/pastes/X0jSt/?raw=true ☟︎
PeterL: it's a basic brute force primality test, what is wrong with it?
asciilifeform: omfg PeterL what is that primality test
PeterL: http://p.bvulpes.com/pastes/1DId9/?raw=true << my function, by the way
PeterL: http://btcbase.org/log/2017-08-15#1698240 << about a minute to write function, about 40 ms to evaluate ☝︎
asciilifeform: shinohai: anything, anything to make that Golden Socialist Future full of nonterrorist blocks made of nonterrorist tx...
shinohai: 13:40:00 @gmaxwell (also for sending out transactions people can use many other options, including SMS and snail mail--- a txn is so small you can just communicate it however else you communicate. Snail mail is slow, but if you're only communicating with the outside world via that already...)
jhvh1: asciilifeform: The operation succeeded.
asciilifeform: !~later tell mod6 http://wotpaste.cascadianhacker.com/pastes/au9GU/?raw=true << another formulation.
mircea_popescu: so it turns out, i never heard of gut tb because you generally need aids to get it. and back when i was reading they didn't have aids just yet.
asciilifeform: asciilifeform in fact has ~several~ dishes , from old renters of the grounds, but can't be arsed
asciilifeform: or i suppose it would, if you have the guts from old tv sat dish
asciilifeform: shinohai: rtlsdr won't work, it dun go to 12GHz
asciilifeform: mod6: amusingly, if you ~did~ have a big enough and old enough universe to contain primorial(2**4096), you could factor, e.g., mircea_popescu's key, in polynomial time, with plain old gcd
mod6: im not sure i know how to code this.
asciilifeform: ( timewise or spacewise )
asciilifeform: mod6: we dun have enuff universe for that
mod6: i thought it was 1*2*3*5*7*11*13 ... all the way up through whatever prime fits into < 4160 bits.
asciilifeform: mod6: P = primorial(N) for some N such that P < 2**4096 .
mod6: maybe i misunderstand the request.
mod6: this primorial thing is gonna run for a while eh
mircea_popescu: the chumps. do you have any FUCKING IDEA how chumpy the esltarded chumps are ?!
mircea_popescu: i'm tal;king of the nobodies on a stick herp0derping importantly
mircea_popescu: asciilifeform i don't care about the fucking shrems involved. we know they're smegma.
asciilifeform: in so far as publicity stunts go, this isn't even preposterously expensive -- anyone can rent a MHz or so of channel
mircea_popescu: cuz that's what the fucking wheel is, a REQUIREMENT. like totally optional.
mircea_popescu: and the fucking littoral compressed lulzship doesn't require wheels.
mircea_popescu: they're so fucking stupid their continued existence is an insult to humanity.
shinohai: 12:27:29 Socal Mircea_popescu no it isn't it saves on bandwidth costs and doesn't require internet to get the BTC blockchain
mircea_popescu: "look mom, i'm just like the nigger on tv! talking of the satcom portion!! would you like to hear more meaningless words ???"
mircea_popescu: you know ? the SATCOM!!!!! portion
mircea_popescu: "<Socal> Ah ok I don't know about FIBRE I was simply speaking on the SATCOM portion"
asciilifeform: they purchased time on 4 commercial sats
asciilifeform: https://www.blockstream.com/satellite/satellite/ ( http://archive.is/XeYBv ) << claims to be live, lists channel freqs
shinohai: "Go to the #blockstream-satellite IRC channel on freenode for additional help."
mircea_popescu: present tense is merely a political requirement in the vein of "subway hero must be not white"
shinohai: First you get out the crayons and build the prototype, then .....
mircea_popescu: but to summarize : words are slowly fuzzed in the desired emotional direction.
asciilifeform: shinohai: link seems to refer to the satellite thing in present tense. it is live ?
mircea_popescu: rather : prison is the only employment he's qualified fopr
shinohai: He missed a lot of teh logs in prison!
asciilifeform: i dun think this one has the excuse of mere idiocy
mircea_popescu: he STILL doesn't know how to run a node ? after all this fucking time ?
shinohai: Charlie Shrem on twatter: "Bounty: I want to run a full node and connect to @Blockstream satellite. Sell me a DIY kit with all requirements" ☟︎☟︎
mircea_popescu remembers the day mycobacterium was called "koch's baccilus"
mircea_popescu will now have to hit the textbooks.
mircea_popescu: asciilifeform i never heard of this before ? i mean, lung, bone, some vacuous organs. but gut ?!
mircea_popescu: shinohai hey, the forum is a high bar.
shinohai: tl;dr I'm afraid to get picked apart if I come to #trilema, I prefer to stay on steemit and feed idiots full of shit.
mircea_popescu: tuberculosis of the gut ?!
mircea_popescu: http://btcbase.org/log/2017-08-15#1698171 << this is a little rich. ☝︎
mod6: thanks for humoring me though
asciilifeform: it's that, or forcing the reader to puzzle out repeated pastes of the slice expression
mod6: having to do the 'rename'
mod6: a topic for further discussion i suppose.
mod6: looks cleaner. not sure it is necessary though.
mod6: ah, ok. so you gotta add a subtype for that.
asciilifeform: using the 'rename' feature
jhvh1: asciilifeform: The operation succeeded.
asciilifeform: !~later tell mod6 http://wotpaste.cascadianhacker.com/pastes/6WPk2/?raw=true << 2^n karatsubas, with same readability as 'classical'
mircea_popescu: in other lulz, "the taking of pelham 123" is one helluva usg-film offering. we find that "wall street guys" r criminalz, that everyday mta riders are heroic (even if a little half-breed), and all sorts of good and valuable citizenship lessons for life!
mircea_popescu: lobbes ty!
lobbes: aka, I get the same output as both of PeterL's runs
lobbes: If using the 4160 bit limit, then I get the following (comes to 4150 bits): http://wotpaste.cascadianhacker.com/pastes/ED76z/?raw=true
a111: Logged on 2017-08-14 17:20 mircea_popescu: this is actually going to be teh magic number of the republic. so at this juncture i would like to ask everyone to compute "the largest primorial (ie, product of all successive primes) that fits in 515 bits", sign it and put it into deedbot.