crtdaydreams[busybot|asciilifeform]: http://logs.bitdash.io/asciilifeform/2022-10-18#1114061 << I really don't do enough soldering letalone desoldering to merit buying. Plus that's specifically engineered for through-hole stuff, would be better to invest in e.g. hakko iron + hot air gun first imo
bitbot[asciilifeform|busybot]: (asciilifeform) 2022-10-18 vex: https://www.altronics.com.au/p/t2065-micron-90w-vacuum-desoldering-station/ mebbe worth tooling up if you value your time crtdaydreams
crtdaydreams[busybot]: can then easily desolder surface mount chips
crtdaydreams[busybot]: unpx: hola!
crtdaydreams[busybot]: must be something wrong with my nat fwd setup
crtdaydreams[asciilifeform|busybot]: it's likely why currently not seeing ascii, peterL, etc. as peered
crtdaydreams[busybot|asciilifeform] may take some time for chains to sync across all peers
crtdaydreams[asciilifeform|busybot]: unpx: going to also suggest to tweak the gdint knob, add an extra couple zeroes
crtdaydreams[busybot|asciilifeform]: it'll chew holes in your ethernet cord
crtdaydreams[busybot|asciilifeform] has gdint set to 10000
unpx[busybot]: Sup, looks like workin now
unpx[busybot]: My ssh connection is shitty tho, checking later
shinohai[busybot]: Welcome unpx!
unpx[busybot|asciilifeform]: Hello, I'm figuring out if I have to fix the fork
unpx[asciilifeform|busybot]: hmm no wait, not mine break
unpx[busybot|asciilifeform]: shinohai, thanks!
asciilifeform: unpx: there are over9000 of these gratuitously complex horrors
dulapbot: (asciilifeform) 2021-01-20 asciilifeform: verisimilitude: good # of'em want to 'look' 'clever' to 'make tenure' etc
asciilifeform: ... chock-fulla 'random oracles', 'byzantine consensus', & other academiwankage artifacts.
dulapbot: (trilema) 2017-08-09 asciilifeform: replete with magicnumbers, 'random oracle' assumptions, 'perfect hash', and other maculae
asciilifeform: no 'journal of cryptology'(tm)(r)(c) is aboutta print the pest spec, given as 'simple like kalashnikov' and worx, rather than 40 megatonnes of 'proof' squiggles. 'you can take this to the bank.'
signpost[busybot] finds himself discussing the dichotomy of the "business of X" vs the "science of X" in just about everything these days. medicine, engineering, etc, etc.
asciilifeform: signpost: dun fughet 'the psychopathology of x'
signpost[asciilifeform]: bit of business in that too, but yeah, also the smearing shit on walls for sake of it.
asciilifeform: the 'biznis' aspect there is that 'worx and trivially understood by bright 8th grader' doesn't getcha printed, much less tenured. hence what's in a typical 'respectable paper'.
asciilifeform: (not to mention that our spec aint citing anyffin but 30+y.o. rfcs... 'this dun scratch anyone's back')
asciilifeform: from yet other angle, a working implementation of wot is rather like 'garlic to vampire', i.e. actually vanishes the over9000 pseudo-problems which come from 'must accessible to randos'. anathema.
dulapbot: Logged on 2022-09-30 22:35:31 asciilifeform: saw similar pieces re ye olde irc and its forced spanning tree, and inescapably they end with 'and so we need this 100kloc of gnarly auto-consensus coad , let's learn from shitcoins' etc
asciilifeform thinks it could be interesting to leave some hardbound deadtrees of new spec where certain folx might read it, but hasn't any realistic expectations of seeing'em on net
asciilifeform: prolly oughta wait until spec is bugfree per current reader's lights; and prolly also until we've the luby algo
asciilifeform slowly rewriting, and not only for prettyprint, but to actually nail down the chain mechanics and remove various underspecified (and in places, contradictory) ughs
unpx[asciilifeform|busybot]: asciilifeform: I've been studying to get almost there. Algebraic Cryptography mostly for now. But then I'd like to settle on my own stuff and play.
asciilifeform: unpx: where is 'there' ?
unpx[asciilifeform|busybot]: Research in cryptography
unpx[busybot]: May even do Pest protocol security ``proof'' as exercise. (proof as in type theory -- maybe if I'll have time Petri net could be a thing too)
asciilifeform: unpx: only if you assume that the cipher & hmac aint breakable (then -- elementary, there's justabout nuffin to 'prove')
asciilifeform: the boojum is that we haven't ANY such proof, other than for ye olde otp.
dulapbot: (trilema) 2016-06-10 asciilifeform: essentially the Big Dirty Secret re crypto is that NO ONE HAS YET proven that non-otp cryptography ~actually exists~
unpx[busybot|asciilifeform]: That's the main point of protocol proof afaik. Serpent is an exercise for this semester. Been studying finite fields and now getting into non-linearity and so on
unpx[asciilifeform|busybot]: asciilifeform: I don't get if I'm connected with you or if I'm hopping via crtdaydreams. Just in case >>> http://logs.bitdash.io/asciilifeform/2022-10-19#1114131
bitbot[busybot|asciilifeform]: (asciilifeform) 2022-10-19 d4: asciilifeform: http://paste.deedbot.org/?id=9BH0
asciilifeform: there aint even any cryptosystems, afaik, that rest on ANY kind of problem with known-hardness.
asciilifeform: unpx: not plugged in just yet
unpx[busybot|asciilifeform]: > -a- pending message buffer full, forcing timeout <<< This is going to be fun
asciilifeform: ( see other old thrds re subj )
dulapbot: (trilema) 2017-09-28 asciilifeform: incidentally i just realized that von neumann had this thread. and modelled the item in shannon's terms : he asked that the ciphertext contain 0 bits of info re the plaintext. and proved that this is true if and only if you're using... otp
unpx[asciilifeform|busybot]: My favorite test for quantum computers and consequently how I see the PQC-race
asciilifeform: unpx: per asciilifeform's lights, 'quantum computer' is a religious/grantological artifact and of ~0 interest from practical pov
unpx[busybot]: Yeah, just like the Russell's teapot
dulapbot: (asciilifeform) 2022-06-11 asciilifeform: not far from asciilifeform's chair there for instance is a princely bldg housing a, shit thee not, 'quantum cloud computing' 'startup', funded to 1e8+$ and peddling stock
dulapbot: (asciilifeform) 2022-04-14 asciilifeform: crtdaydreams: read, when orig. posted. has 0 to do with 'in $n cycles', but w/ shor's algo & variants. on the entirely imaginary apparatus advertised as 'quantum computer' (originally a joke paper by r.feynman, nao a multi-$1e9 reich grantsmanship game, reminiscent of 'hot fusion')
asciilifeform: unpx: quantumism is part eternal grant racket perpetuum mobile, and part reich FUD gambit to move gullible folx off rsa.
dulapbot: (asciilifeform) 2022-06-29 asciilifeform: ( not even to mention the obscene complexity of implementation of eccism, making a meaningful audit of given proggy just about impossible )
asciilifeform: in 'cryptology kommunity' it has justabout reached the status of 'climate consensus'(tm)(r) -- point out the above, get shown the door in <1sec
unpx[busybot]: Right now my opinion stop at most crypto UX may be misused and become what's called a footgun, reason why 'cryptography community' and 'security community' starts saying things like ``GPG bad, GPG footgun, just don't, use Signal''
asciilifeform: 'use AOL messenger' lol
asciilifeform: i.e. 'don't use footgun, just put the gun straight in mouth, why suffer'
asciilifeform: '90s 'crypto wars' did not end, the reich simply retooled away from pushing attempts to mandate key escrow to psyops where 'reasonable people' accept pkiism
dulapbot: (trilema) 2017-07-19 asciilifeform: ( summary : ustards are fixated on 'escrowable' ciphers, as they were called in 1990s, but today they do not use the word . i.e. schemes for getting your privkey to be something THEY can access on a whim )
asciilifeform: sometimes, the mask slips (afaik linked item ~not~ an apr.1 joak!)
dulapbot: (trilema) 2017-05-31 asciilifeform: in recent sads, 'Our batch prime-generation algorithm suggests that, to help reduce energy consumption and protect the environment, all users of RSA—including users of traditional pre-quantum RSA—should delegate their key-generation computa- tions to NIST or another trusted third party. This speed improvement would also allow users to generate new RSA keys and erase old RSA keys more frequently, limiting the damage of key theft.'
asciilifeform: the pushing of 'modern' (in 100% of cases, gratuitously complex) algos -- yet another form of escrow 'via other end of digestive tract'.
unpx[asciilifeform|busybot]: Yeah, makes me think about this https://eprint.iacr.org/2015/1018.pdf
asciilifeform: i.e. the 'don't make own crypto'(tm)(r) dictum printed in just about erry piece of Official maculature on the subj. 'don't make own, use our boobytrapped lib like proper patriot.'
asciilifeform: unpx: they openly backpedalled on 'move all usg ministries to ecc'
asciilifeform: upnp: re: 'security assumptions of pest' -- this summarizes moar or less whole thing.
asciilifeform: if the 2 given symmetric algos hold -- airtight. otherwise -- 0 security. there aint much to 'proof'.
asciilifeform: ... the prototypes, however -- another matter, lol.
bitbot[asciilifeform|busybot]: Logged on 2022-10-05 16:17:44 asciilifeform: in otherlulz, lulzy sideffects of yest.'s blatta bugola.
unpx[busybot]: Yeah, if everything is behind that wall it's okay
asciilifeform: unpx: misbehaviour 'inside wall' is dealt with by unpeering.
asciilifeform: ( i.e. a peer can spam without restriction )