log☇︎
52900+ entries in 0.522s
mircea_popescu: a restatement of the old adage, "the problem with socialism is that idiots are always cocksure ; everyone else, full of doubts"
mircea_popescu: i'm not saying it's a big deal, no.
asciilifeform: mats: word 'suspect' implies uncertainty. cyanide is not a 'suspect' poison, tor, signal, etc are not 'suspect' usgologies.
asciilifeform: 'Writing in response to a tweet from technologist Mason Borda which read: "Zcash is the only altcoin (that i know of) designed and built by professional and academic cryptographers. Hard to ignore," Snowden replied, "Agree."'
trinque: chick's gonna get out in a few years and get paid under the table, disappear
trinque: smells a lot like "hey lets get srsbsns PROOF of russian hax into the news"
trinque: this transcript is such a fucking snore, ye gods
asciilifeform: elling a... telling a lie to an FBI agent is not going to be the right thing."'
asciilifeform: in other lulz, via BingoBoingo , '"Reality, uh, you know we obviously know a lot more than... than what we're telling you at this point. And I think you know a lot more than what you're telling us at this point. I don't want you to go down the wrong road. I think you need to... to stop and think about what you're saying and what you're doing. Uhm, you know, I... I think it's a... an opportunity to maybe tell the truth. Because, uh, t
fromphuctor: ohnicethx sir, one link at a time, chugging along on the road
asciilifeform: if you really must have in ru, here's where asciilifeform started, as a 4yo, https://royallib.com/read/zaretskiy_andrey/a_ya_bil_v_kompyuternom_gorode.html#0
asciilifeform: if you want a kindergarten b00k in english, try feynman's 'lectures on computation'
asciilifeform: and ~all of the mathematical work was done long before there existed such a thing as a programmable comp
asciilifeform: a. turing & a. church
fromphuctor: klicked on a link, now here
asciilifeform: relatedly, is there a 'fawkes news' in britain ? and if not, why not.
asciilifeform: i'm a little surprised that 'linux foundation' and prb foundation ain't on that list
mircea_popescu: and speaking of freenode bs : "* - A massive thank you to our sponsors and exibitors: Private Internet Access, Canonical, Bytemark, yubico, Open Rights Group, Free Software Foundation, OpenSUSE, Minetest, KDE, bitcoin.com."
asciilifeform: who the fuck would put wireless nic in a final hop router, lol
asciilifeform: mircea_popescu: 'edge' has 1 usb hole , and it is inside, holds the flash stick it runs of. so not really a place to put wireless. 'pcengines' has 2 usb holes and 3 internal pci-e, plus antenna hole predrilled, so theoretically yes
mircea_popescu: in fact, i'd even declare it an absolutely required bit of republican computing, as such. because it does make a first step towards the specifically stated uci goal, "location ambiguity"
mircea_popescu: well, i would defo buy a bunch of these if properly set up so they can be ip x in wan1 and ip y in wan2 and then establish sessions through the least decongested one at all times.
trinque: that pcengines guy's a great one, 3 nics.
asciilifeform: 'edge' was a hundy, but it had nice steel chassis, etc. ( and also i suspect sold at a loss, stock firmware was brazenly nsaware )
mircea_popescu: if it can be delivered a la FG, and it doesn't cost MUCH more than the current shits, defo.
asciilifeform wonders whether anybody would actually buy a generic fpgatronic packet eater-shitter ☟︎
asciilifeform: there's no particular reason why a router oughta contain a few 100MB of unixlike, rather than, say, a few kB of fpga config.
asciilifeform: eats packet (on either end), looks at a few fields, either accepts (then rewrites a few fields and shits out of other arse) or rejects (drops on floor)
asciilifeform: router is a pretty simple item, incidentally, and a good first candidate for proper total deunixation
mircea_popescu: as opposed to, say randomly, "a piece of junk"
mircea_popescu: that at any future point you must be able to produce a package you're willing to label "openbsd"
asciilifeform: why would a router care re privesc
asciilifeform: also helps if it has a serial port ( mine do )
asciilifeform: just about anything with a few GB nic ports, fanless cpu, and some place to stick netbsd etc, worx
asciilifeform: 64bit mips thing, there was a thread
asciilifeform: this one, for example, is a defanged (refirmwared) 'edgerouter'
asciilifeform: i certainly can't bring myself to use the konsoomer crapola, when making a replacement that lasts ~forever and requires 0 nursing, is hardly even day's work
a111: Logged on 2017-09-29 03:10 BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists
davout: http://btcbase.org/log/2017-09-27#1717916 <<< none, i did hit up a couple DCs around here, nothing interesting came out of it ☝︎
a111: Logged on 2017-09-20 19:22 asciilifeform: and incidentally i dun have a nonleaking miller-rabin yet, need nonleaking gcd ( have on paper, but not in ffa yet )
mircea_popescu: and in other "asian people should just be holocausted" news : piece of shit router, gets set up to work on static ip, spews out the helpful error message of "the value can't be equal". verbatim. and the source of it is a pile of inclusion gnarl so you can't even trivially debug the nonsense THAT way.
BingoBoingo finds it a nice change of pace to have a Trilema fiction story with so much emphasis on the protagonists ☟︎
a111: Logged on 2017-09-29 00:24 mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner.
mircea_popescu: they'll "offer you" to take them and set their fat ass down in a $5mn apartment in a condo overlooking the pierre.
mircea_popescu: ie, a haskell so pure it doesn't even run on machines, it's paper only.
mircea_popescu: because neither of these, even if wrung into acceptability in the most theoretical sense, come with any sort of even vague hope of a possibility of a guarantee of computability.
mircea_popescu: i'd propose as heuristics from this that the moment anyone proposes either a) a computable corolary of ZFC, no matter its kind or b) a computable corolary of AOC, no matter its kind, we're lost for reason.
asciilifeform: again i dun have a verdict re the verdict of $subj, all i got in my notes is 'd00d appears to have stated the problem correctly'
mircea_popescu: seems to me the main reason $item stood out to your examination is that in a sea of former fools you finally found a latter kind.
asciilifeform: author ~does~ have some strange cockroaches in his head: cites shamir's 'proof that factoring can be O(log N)' but omits to mention that it requires a machine that works in arbitrarily-sized integers in constant time...
mircea_popescu: f "has it" in a sense of having very mathematical altogether.
mircea_popescu: anyway. my point is that the idea that "a practical implementation of the axion of choice always exists" is way WAY further out there than simply thje axiom of choice. WAY. because even "trivial" things (find the coprime n powers that sum to cube) are in point of FACT, know, proven, concrete poured and long dry, strictly incomputable.
asciilifeform: i dun have a verdict on $article yet. will say that it is simply, afaik, the beginning and the end publicly available on the subj.
mircea_popescu: asciilifeform no cube can be written as a sum of two co-primes raised to the power of three or above.
asciilifeform: if it's a problem in the integers, and it has an answer, it is 'possible'
asciilifeform: dunno that it is a conjecture when the working set consists strictly of items you can have on a physical comp
asciilifeform: the thing's been in my queue for a while, marked with 'determine what all of the assumptions were'
asciilifeform: ^ offers a solution to the megapuzzler, but takes 'complexity classes ARE disjoint' as a lemma.
mircea_popescu: there's a pretty decent pile of lulz.
mircea_popescu: body parts seeping from the ground in a swamp and such ?
asciilifeform: picture if these imbeciles designed a body for some creature.
asciilifeform: and if you lick a 9v cell your tongue dereferences a null ptr and falls off, neh
mircea_popescu: but speech is certainly a perversion, so this argument is hard to bring.
asciilifeform: i suppose holding a knife between yer teeth, or a flute, etc is also 'against nature' lol
mircea_popescu: a...ficcionados (lol) can readily resolve the problem though : douche the girl, then anally feed her a banana for buffer, then load her up in whatever flavour you favour and then proceed to dinner. ☟︎
a111: Logged on 2017-09-28 18:29 BingoBoingo: "That's exactly the problem. Yesterday I ate a most delicious desert out of my slavegirl's own ass, directly. This dream of many previous sultans and whatnots that nevertheless couldn't ever be fulfilled effortlessly came through, for me. I didn't even much care for it either way," << TMSR problems
asciilifeform: note that, e.g., game of go, is exptime-complete but turns out that good algo exists. complexity class as we have it is a broken concept, which was asciilifeform's argument to start
asciilifeform: ( iirc last time we had the thread, mircea_popescu dug up a few even-moar-painful complexity classes, to place the dragon into. and asciilifeform had to point out that THEIR disjointness from P is equally unproven )
asciilifeform: or rather, requires a proof that P!=NP...
asciilifeform: until you have a proof, a hash, cipher, etc. is 'strong until it ain't'
mircea_popescu: but anyway, there's a difference between "it in principle exists" and anything useful.
mircea_popescu: for instance, the dillutionists propose a similar view of solutions.
mircea_popescu: "for as long as the plaintext went through alfhash, it is known as a mathematical fact, irrespecvtive of any considerations, that so many steps must be undertaken to undo it"
asciilifeform: but as i understand we asked for a squarer even circle : that 'CAN make grounded promise that effort will require AT LEAST x'
mircea_popescu: in the common understanding of "hash is hard", what is said is "B can not make any grounded promise that his effort will require less than X work for an arbitrary item chosen by A"
mircea_popescu: a modelling in which b knows the plaintext breaks this definition, and it is therefore not interesting.
mircea_popescu: the correct measurement of hash strength includes two parties, defined as : party A, which knows the plaintext and computes the hash ; and party B, which does not know the plaintext and computes it on the basis of nothing but the hash.
asciilifeform: i get this. and would like one of these. but strongly suspect that it is a provably square circle.
mircea_popescu: the point of interest for the "max case" is b. the point of interest to us is a. the "average case" is either a+b/2 or else ni * weight i / sum i.
mircea_popescu: consider the work required to reverse it has been calculated for each value, and is in the domain [a, b].
mircea_popescu: suppose there's a function that does hashing over a domain consisting of 2^100 possible distinct values.
a111: Logged on 2017-09-28 15:09 asciilifeform: the fundamental boojum preventing anything like a rationally designed blockcipher-hash-prng , is that we do not actually have a theory of average-case problem hardness.
a111: Logged on 2017-09-28 15:00 asciilifeform: ( and it is entirely conceivable that some variation on the theme of bbp's function will give you a fast search for 'where in pi might this fuzzy match be' and the like )
a111: Logged on 2017-09-28 14:53 asciilifeform: 'Given the “stark difference between the abnormal rate and the actual market prices of bitcoin and ethereum on April 19”, B2C2, which Quoine called a “sophisticated” investor with experience trading virtual currencies, should have suspected the “abnormal rate” was a mistake. '
BingoBoingo: "That's exactly the problem. Yesterday I ate a most delicious desert out of my slavegirl's own ass, directly. This dream of many previous sultans and whatnots that nevertheless couldn't ever be fulfilled effortlessly came through, for me. I didn't even much care for it either way," << TMSR problems ☟︎
trinque: well, if you're going to go to this trouble, consider a few other things.
trinque: there's no automatic way to change your key. sign a full export of a new public key with an old one and I'll make the change.
asciilifeform: cruciform: it's a manual process, you gotta talk to trinque
cruciform: so, the logs suggest that my 2048bit RSA key is too short - how do I register a longer one with deedbot?
a111: Logged on 2017-03-02 18:09 asciilifeform: ok i cannot resist answering ben_vulpes . because he will find answer in encyclopaedia, but it will not be an actual answer, but only a thought-extinguisher.
asciilifeform: any attempt at proceeding in the absence of said theory, is guaranteed to give you a 'it seemed clever and unbreakable to ME!' idiocy, a la aes et al.
asciilifeform: the fundamental boojum preventing anything like a rationally designed blockcipher-hash-prng , is that we do not actually have a theory of average-case problem hardness. ☟︎
asciilifeform: ( and it is entirely conceivable that some variation on the theme of bbp's function will give you a fast search for 'where in pi might this fuzzy match be' and the like ) ☟︎
a111: Logged on 2017-09-20 19:28 asciilifeform: incidentally iirc we did the proof of 'if there is a good hash, there is a good blockcipher, and vice-versa'
a111: Logged on 2017-09-28 09:39 mircea_popescu: not necessarily the specific example. but yes, symmetric cipher always reduces to a "parametrized otp".
asciilifeform: get this, 'they should have known' that it was a usg wash trade to pump ethertadrium price, and simply sat there, not, horror, matching it
asciilifeform: 'Given the “stark difference between the abnormal rate and the actual market prices of bitcoin and ethereum on April 19”, B2C2, which Quoine called a “sophisticated” investor with experience trading virtual currencies, should have suspected the “abnormal rate” was a mistake. ' ☟︎
asciilifeform: usg.ethertardium pumpatron subcontractor caught red-handed by a sharp http://btcbase.org/log/2017-09-27#1717884 , and tries to weasel out, 'unhappen' the resulting rape. ☝︎
asciilifeform: 'Quoine in turn claims that B2C2 is “being opportunistic and seeking to profit from a technical glitch” It said the trades were “inadvertently” executed at the “abnormal rate of... 10 bitcoins for one ethereum, which was approximately 125 times higher than the actual market price of ethereum on April 19” because of a technical glitch.'
mircea_popescu: not necessarily the specific example. but yes, symmetric cipher always reduces to a "parametrized otp". ☟︎