Show Idle (>14 d.) Chans


← 2022-10-18 | 2022-10-20 →
02:45 crtdaydreams 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
02:45 bitbot (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
02:46 crtdaydreams can then easily desolder surface mount chips
~ 2 hours 2 minutes ~
04:48 crtdaydreams unpx: hola!
04:49 crtdaydreams must be something wrong with my nat fwd setup
04:50 crtdaydreams it's likely why currently not seeing ascii, peterL, etc. as peered
04:52 * crtdaydreams may take some time for chains to sync across all peers
04:52 crtdaydreams unpx: going to also suggest to tweak the gdint knob, add an extra couple zeroes
04:53 crtdaydreams it'll chew holes in your ethernet cord
04:54 crtdaydreams ls
04:54 crtdaydreams eck!
04:54 * crtdaydreams has gdint set to 10000
~ 2 hours 58 minutes ~
07:53 unpx Sup, looks like workin now
07:53 unpx My ssh connection is shitty tho, checking later
07:55 shinohai Welcome unpx!
~ 47 minutes ~
08:42 unpx Hello, I'm figuring out if I have to fix the fork
08:44 unpx hmm no wait, not mine break
08:45 unpx shinohai, thanks!
~ 1 hours 44 minutes ~
10:29 unpx Meh.... https://youtu.be/n5eRPNdiNtQ
10:32 asciilifeform unpx: there are over9000 of these gratuitously complex horrors
10:33 asciilifeform see also.
10:33 dulapbot (asciilifeform) 2021-01-20 asciilifeform: verisimilitude: good # of'em want to 'look' 'clever' to 'make tenure' etc
10:35 asciilifeform ... chock-fulla 'random oracles', 'byzantine consensus', & other academiwankage artifacts.
10:35 dulapbot (trilema) 2017-08-09 asciilifeform: replete with magicnumbers, 'random oracle' assumptions, 'perfect hash', and other maculae
10:37 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.'
10:38 * signpost 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.
10:39 asciilifeform signpost: dun fughet 'the psychopathology of x'
10:41 signpost bit of business in that too, but yeah, also the smearing shit on walls for sake of it.
10:42 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'.
10:44 asciilifeform (not to mention that our spec aint citing anyffin but 30+y.o. rfcs... 'this dun scratch anyone's back')
10:45 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.
~ 1 hours 7 minutes ~
11:53 asciilifeform see also.
11:53 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
~ 2 hours 2 minutes ~
13:55 * 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
13:57 asciilifeform prolly oughta wait until spec is bugfree per current reader's lights; and prolly also until we've the luby algo
13:58 * 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
~ 41 minutes ~
14:40 unpx 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.
14:40 asciilifeform unpx: where is 'there' ?
14:41 unpx Research in cryptography
14:43 unpx 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)
14:44 asciilifeform unpx: only if you assume that the cipher & hmac aint breakable (then -- elementary, there's justabout nuffin to 'prove')
14:45 asciilifeform the boojum is that we haven't ANY such proof, other than for ye olde otp.
14:45 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~
14:45 unpx 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
14:46 unpx 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
14:46 bitbot (asciilifeform) 2022-10-19 d4: asciilifeform: http://paste.deedbot.org/?id=9BH0
14:46 asciilifeform there aint even any cryptosystems, afaik, that rest on ANY kind of problem with known-hardness.
14:47 asciilifeform unpx: not plugged in just yet
14:47 unpx > -a- pending message buffer full, forcing timeout <<< This is going to be fun
14:48 asciilifeform ( see other old thrds re subj )
14:49 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
14:49 unpx My favorite test for quantum computers and consequently how I see the PQC-race
14:49 asciilifeform unpx: per asciilifeform's lights, 'quantum computer' is a religious/grantological artifact and of ~0 interest from practical pov
14:51 unpx Yeah, just like the Russell's teapot
14:51 asciilifeform see also.
14:51 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
14:52 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')
14:58 asciilifeform unpx: quantumism is part eternal grant racket perpetuum mobile, and part reich FUD gambit to move gullible folx off rsa.
14:58 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 )
15:00 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
15:04 unpx 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''
15:05 asciilifeform 'use AOL messenger' lol
15:06 asciilifeform i.e. 'don't use footgun, just put the gun straight in mouth, why suffer'
15:07 unpx Precisely
15:10 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
15:10 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 )
15:11 asciilifeform sometimes, the mask slips (afaik linked item ~not~ an apr.1 joak!)
15:11 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 par
15:13 asciilifeform the pushing of 'modern' (in 100% of cases, gratuitously complex) algos -- yet another form of escrow 'via other end of digestive tract'.
15:15 unpx Yeah, makes me think about this https://eprint.iacr.org/2015/1018.pdf
15:15 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.'
15:16 asciilifeform unpx: they openly backpedalled on 'move all usg ministries to ecc'
~ 27 minutes ~
15:44 asciilifeform upnp: re: 'security assumptions of pest' -- this summarizes moar or less whole thing.
15:45 asciilifeform if the 2 given symmetric algos hold -- airtight. otherwise -- 0 security. there aint much to 'proof'.
15:46 asciilifeform ... the prototypes, however -- another matter, lol.
15:46 bitbot Logged on 2022-10-05 16:17:44 asciilifeform[6]: in otherlulz, lulzy sideffects of yest.'s blatta bugola.
~ 1 hours 36 minutes ~
17:23 unpx Yeah, if everything is behind that wall it's okay
17:24 asciilifeform unpx: misbehaviour 'inside wall' is dealt with by unpeering.
17:24 asciilifeform ( i.e. a peer can spam without restriction )
← 2022-10-18 | 2022-10-20 →