Show Idle (>14 d.) Chans


← 2021-02-03 | 2021-02-05 →
07:35 adlai http://logs.nosuchlabs.com/log/asciilifeform/2021-01-24#1030194 << "and here we test our powers of remembrance"
07:35 snsabot Logged on 2021-01-24 23:52:59 verisimilitude: I won't be making any more changes, since my plan is to discard the code later, anyway.
07:36 adlai deed-it-happen.lisp was published deliberately, despite being quite terrible.
07:36 adlai ... and on top of it being ugly code, I had to ~sign~ the damn thing!
07:37 * adlai notes, for the benefit of future readers, that http://verisimilitudes.net/base58 has expired by now.
07:37 snsabot Logged on 2021-01-24 21:14:04 verisimilitude: I'll leave this up for a few days or so: http://verisimilitudes.net/base58
07:38 adlai verisimilitude: please use a different URL, if you choose to publish an improved version of that code.
07:39 * adlai has deliberately made a controversial request, and is quite certain to receive a "don't tell me how to run my own webserver" complaint in response, quite possibly from someone other than verisimilitude ; topic is open for discussion.
07:50 adlai incidentally: after the earlier discussion I have deliberately published a broken link in one of my spews with the intent of rarely, if ever, having it serve eternally-static
07:50 snsabot Logged on 2020-10-08 15:22:19 adlai: speaking of managers^H^Hment: one advantage of at least offering to pay someone else to deal with the aforementioned scrap metal is that it makes quick work of the heavy skill, leaving a few years for the highly unlikely possibility that I actually spill sweat instead of keystrokes.
07:50 adlai content.
07:51 adlai http://logs.nosuchlabs.com/log/asciilifeform/2020-10-08#1023049 << at a certain point, I actually do start to count bytes; and the answer to "why?", in this case, is not "why not?", but rather - "because it's faster than counting individual bits".
07:51 snsabot Logged on 2020-10-08 15:47:47 shinohai: http://logs.nosuchlabs.com/log/asciilifeform/2020-10-08#1023010 << i also wonder y sha1sums plz
07:51 * adlai wonders whether to publish his own implementations of the sha2 functions.
07:52 adlai they are pretty much adlaifications of the ironclad originals.
07:53 adlai i.e., slight overuse of macros, arguably excessive reliance on numeric coincidence, and no comments, yet.
08:02 adlai incidentally: thank you, shinohai , for keeping archives of ben's old work.
08:03 * adlai considers "reliance on shithub" equivalent to "relying on $lord's castle to exist, esto perpetuum", fwiw
08:04 adlai castles rise and fall, ~especially~ when the lords in question have responsibilities beyond only maintaining a library.
08:11 adlai and on exactly the same topic, I do need at some point to cogently explain my own interpretation of the two quoted concepts in this line, although it appears that none other than myself is interested in these particular deconstructions.
08:11 snsabot Logged on 2021-01-06 21:43:18 verisimilitude: I don't buy into the ``god emperor'' or ``4D chess'' nonsense, know.
08:12 adlai the reason I find such nonsense both interesting and worth discussing publicly is that ideas that one believes to be independently invented are often unoriginal, although rarely to the point of plagiarism.
08:14 adlai one of the things I found quite distasteful about Mircea's behavior, and honestly also asciilifeform's, is the pervasive assumption that any instance other than the chronologically earliest, is plagiarised, rather than independently derived.
08:15 adlai maybe I am simply too much of a platonist for this republic!
08:18 adlai upstack, I'm quite certain that there actually is no "base58 document". there are a bunch of drafts, and implementations inspired by Satoshi's reference.
08:19 * adlai does have a few complaints about the Base58Check format, although honestly, not even adlai cares about those at this point
08:24 * adlai wonders how long it'll take Alert Reader to contradict that!
08:24 snsabot Logged on 2021-02-04 07:51:16 adlai: http://logs.nosuchlabs.com/log/asciilifeform/2020-10-08#1023049 << at a certain point, I actually do start to count bytes; and the answer to "why?", in this case, is not "why not?", but rather - "because it's faster than counting individual bits".
~ 16 minutes ~
08:41 * adlai notes, amuzdingly, that one of the regular spiders has that broken link in its perpetual fetch queue, despite never visiting the distinct post that contains that link; most likely, whatever awareness it has of article structure has not clicked to the site's minimal metadata.
08:41 snsabot Logged on 2021-02-04 07:50:02 adlai: incidentally: after the earlier discussion I have deliberately published a broken link in one of my spews with the intent of rarely, if ever, having it serve eternally-static
08:46 adlai in other noose, at some point I'll have to give verisimilitude a piece of my mind about the Elision idea; although it should be, at earliest, after the next flu season, and perhaps once the idea has congealed sufficiently than I could anchor that link to one post instead of a log message.
08:46 snsabot Logged on 2021-01-28 15:52:49 billymg: verisimilitude: you seem to allude to the value this adds in your first article with "The mathematician can truly create notation that suits the context. The programmer cannot." could you explain more behind the "why" of creating native word-based rather than character-based text storage?
08:47 * adlai leaves only the grain of ricin, that this is right smack dab in the middle of the whole "record audio, store text" optimisation.
~ 1 hours 24 minutes ~
10:12 trinque http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030811 << the amusing thing is that there's egotism on both ends, both "look mom I, am *also* smart" and "there were perhaps 100 intelligent men in history"
10:12 snsabot Logged on 2021-02-04 08:15:26 adlai: maybe I am simply too much of a platonist for this republic!
10:12 trinque *I am
10:12 trinque both ends have a disease that prevents them from cohering into a viable human superorganism
10:13 trinque discussing the categories presented here. I have more nuanced views of the men mentioned.
10:15 trinque also, when one's cursing, it's both true and not the point that "you know, there isn't really any bull's shit to be found here"
10:18 adlai isn't shit the source of all fertilizer? not exactly the worst of curses, in my book.
10:24 adlai as for intelligence (new folk: read at least part of the linked convo; it's more than one line!):
10:24 snsabot (trilema) 2014-10-12 asciilifeform: Adlai: now go and see reaction time vs. intelligence (take your pick of any known simple test for either of the two)
10:24 adlai my litmus test for this, although not yet fully formed, is converging towards something inspired by Buckminster Fuller's quote that one invention can save the labor of a thousand workers; his precise wording was probably a bit naive, and perhaps mostly betrays the optimism prevalent during that phase of the industrial revolution.
10:25 adlai I will however save the lazy new folk the trouble, and tl;dr Mircea's answer to that question as "watch their eyes".
10:26 * adlai considers that answer quite an effective behaviorism, although naturally it splits several different ways once you actually quantify it
10:31 adlai of course I'd not have remained so long past Mircea's -10 (and its various harbingers) had nuances not been present!
10:31 snsabot Logged on 2021-01-18 10:20:35 trinque: if nubs is curious what kept me going, much of it was mp+alf megathreads, out of which all manner of interesting topics sprang.
10:34 adlai speaking of WoT mathematics: I'm strongly tempted to declare that, if ratings are projected downto small-magnitude integers, then the (/ (1- domain) 2) must be composite; I have no opinion yet about the domain itself.
10:35 adlai if the size of each side of the domain is prime, there is too strong a temptation to treat the numbers themselves as an unambiguous worth metric, instead of something that obviously encodes multiple kinds of information.
10:37 trinque http://logs.nosuchlabs.com/log/asciilifeform/2020-10-31#1023907 << this notion has expanded since then. what can a rating be other than "pressed to choose, x comes before y"
10:37 snsabot Logged on 2020-10-31 11:58:53 trinque: if so, what's suddenly the obvious solution is that there can be no such thing as two equal contributors in the eyes of the pressor.
10:38 trinque *when pressed
10:38 trinque slept like shit and dropping words like the ruskies!
10:39 trinque adlai: I'd argue calling several people "3" has the pretense of information, and communicates very little.
10:40 shinohai http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030804 <<< I feel a bit sad his www vanished before I got more works preserved. I'm trying to get better at archiving things to my library, if for nothing else but personal use.
10:40 snsabot Logged on 2021-02-04 08:02:21 adlai: incidentally: thank you, shinohai , for keeping archives of ben's old work.
10:41 trinque "your packets/patches come before his" communicates quite a lot.
10:41 trinque flipped the other way, in what situation is undecidability useful in rating
10:41 adlai however, you don't want all the information signed; e.g., nobody blinks if someone rates their wife +10, a program running on a webserver located within their physical control +8, and their firstborn +9, yet people start having unpleasancies once the spare only gets a +4
10:41 trinque shinohai: it's not all in archive.is by now?
10:42 shinohai trinque: I could not find the base58 thing on archive.is *at all* ... spent several hours searching.
10:42 trinque adlai: wife=+10 is exactly a "contentless rating". of course he would, eh?
10:43 trinque I would rather know whose opinions he depreferences in favor of his wife
10:43 trinque and whether I have other routes to their preferences that might cause me to question my ordering of *him*
10:43 trinque the whole of the critique is that 10 means nothing here.
10:47 adlai http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030845 << integral domains [i.e., when your domain is not prime, and moreover, contains known factorisation] still encompass deterministic queries
10:47 snsabot Logged on 2021-02-04 10:41:32 trinque: flipped the other way, in what situation is undecidability useful in rating
10:47 snsabot Logged on 2021-02-04 10:34:22 adlai: speaking of WoT mathematics: I'm strongly tempted to declare that, if ratings are projected downto small-magnitude integers, then the (/ (1- domain) 2) must be composite; I have no opinion yet about the domain itself.
10:48 adlai e.g., mod2 is whether the rated is human or program; mod3 is an indication of the rated's field of expertise; and mod6 is a register collision of overly concise nomenclature.
10:48 trinque might have to dumb it down for me yet.
10:50 adlai do we agree that, although there may exist multiple WoTs in a world at any given point in time, the tendency is always for there to be fewer distinct ones, in favor of one large graph that contains the union of all other ones as nodes, and varios levels of [dis]trust between them?
10:51 trinque yep, more or less defines "world"
10:51 adlai excellent
10:51 trinque the "contains them as nodes" is unclear, a little fuzzier at the edges than that.
10:52 adlai can I keep using the term "Integral Domain", or should we find a more understandable -- and possibly more correct -- concept?
10:52 adlai it does have a mathematical definition, although it's quite a general one
10:53 trinque I don't have much number theory in my gourd.
10:53 adlai "ring" is also correct, mathematically, although it may be too general.
10:54 adlai well, the way ratings work atm, they are small-magnitude integers, although almost no arithmetic is performed on the values themselves, beyond the comparisons.
10:56 adlai however, in his original "WoT Mathematics" article, Mircea actually describes a few such computations.
10:57 shinohai We can all go home, the solution to P! = NP has been found: https://archive.is/ekOFQ
10:57 adlai lemme guess, the solution is "Logic, and the infinite wisdom of MP" ?
10:58 * adlai may simply be well and truly stupid, but questions of algorithmic complexity class at the level of NP-"hardness" etc always did seem the most tedious and least interesting parts of mathematics
11:00 adlai it is quite cool of archive.is to at least offer a snapshot of what apparently passes for an Abstract these days.
11:00 shinohai I may be thick, but reading this paper I'm still unclear on where author is getting his "randomness" from.
11:01 adlai unless the author's grasp of English is worse than expected, the author is not claiming to have proved P!=NP; rather, that parenthetical should simply be deleted from the title, because it doesn't belong there, and that kind of implication is not much good without proving the existence of a one-way function.
11:03 * adlai wonders where to continue the number theory summary, if that's still of interest
11:05 adlai "on your own blog" is not a valid answer, although "don't" is; and the word 'where' should have been 'from where', i.e., at what point do the understandings diverge
11:06 adlai shinohai: my guess, from having read similar papers, and the bit in the archive.is snapshot, is that the paper says absolutely nothing about sources of entropy, and deals only with proving the behavior of the function that it introduces.
11:07 * adlai does wonder why every single pdf document published after the death of macromedia flash seems to require its own vanity domain
11:07 shinohai Doesn't that just make it "yet another function" and naught else?
11:08 adlai well, the author claims that the function has those two information-theoretic properties, that not all functions have.
11:09 * trinque was temporarily distracted by a pile of breakfast tacos
11:10 adlai for example, if your symmetric encryption function is to take a key and repeat it with no change [abcabcabcabca...], then encrypting a text with certain properties [e.g., english-language letter frequencies; or, zipf-shaped word frequencies, if we're being elisive!] will bleed your key.
11:12 * adlai admits that zipf-shaped is an overly handwavy dismissal; the idea being that natural-language text, unless compressed to the point of being effectively a random blob, still does contain probabilistic structure
11:14 adlai trinque: my point about a composite domain is motivated from the fact that, while someone could claim that ratings should not be numerical, end of discussion, nobody can possibly claim that they should be numerical, and countably infinite. that is ludicrous.
11:16 adlai for the wot to projected downto the point where any cryptographic tooling can strengthen it, there must be a limit to the size of the domain of the ratings, even if that is "4096 bits of text, a numerical rating who's absolute value is less than thirteen factorial"
11:16 trinque ratings are only meaningful in the context of decisions: to whom to talk, etc
11:17 * adlai blinks at the word 'whose'; quite a strange exception in an even stranger language. oh well.
11:18 trinque "shit they collided, do whatever to distinguish"
11:18 trinque what an english perspective I'm applying to wot-tronics!
11:18 adlai the process of collision between WoT subgraphs, especially when they were arguably not distinct before the collision undeniably began, is why I am declaring the opinion that the dimensionality of a composite modulus is not an antifeature.
11:18 * trinque disappears in a puff of pidgin
11:20 adlai at least two examples are commonplace: a wot that began as purely 'professional' (e.g., folks who sign each other's code) and then encounters use outside of that same professional context; and the previously mentioned situation, where two mutually-excrusive worlds collide.
11:21 trinque let's go back to the model you gave where all wots proceed towards the unified wot
11:21 adlai as usual, I am looking far beyond what is relevant for any "implement this yesterday" level of impatience, and possibly even beyond the level of computational feasibility.
11:22 adlai I'm still wondering whether "Integral Domain" is a good concept to use here.
11:22 adlai it is the most specific mathematical concept, of the ones that describe the algebra in question, with which I am familiar.
11:22 trinque one'd have to choose an algo for how to value the edge traversals from me to you, I think, before saying more.
11:24 adlai "Integral Domain" tl;dr = you can add, subtract, and multiply, by all elements; you can divide by most elements; and you can factor the zero in multiple different ways.
11:24 trinque right, "I can do arithmetic in this rule system" eh?
11:24 adlai whereas in a field, any multiplication that resulted in a product zero, necessarily means that one of the multiplicants was also zero.
11:25 adlai you can do arithmetic, although certain solution methods that are taught in grade school, become impossible, because you can't progress past a zero product in a deterministic way.
11:25 adlai ehhh that's simply wrong. you can progress deterministically, there are simply more options.
11:28 adlai so, one way to define an operation that takes two wots as input, and produces one wot as a result, is one where all the ratings within each wot are multiplied by the size of the other wot's rate space
11:28 trinque are there any useful analogies where probability is expressed as edges on a graph, and used to make decisions using incomplete information?
11:29 trinque finance comes to mind.
11:29 adlai there's the natural similarity to integration of feynmann diagrams, although it's probably a worse-than-useless false friend.
11:30 trinque maybe what's being calculated with wot traversal is the probability of defection in a prisoner's dilemma between nodes.
11:31 adlai (in those, local probabilities are computed as results of a more complex graph's shape, where the more complex graph has values outside the real arithmetic)
11:31 trinque rather, defection-or-collaboration
11:31 adlai right. obviously it generalises to more complex games than the two-person version.
11:31 trinque I would expect peer nodes with high ratings to begin collaborting more often, proceed longer, etc
11:31 trinque yup, just groping here
11:32 trinque maybe you defect against him, and now I defect against you, etc
11:32 adlai I think your expectation is not always correct, because it is often too much bookkeeping to have formal financial interactions within a trusted group
11:33 adlai the monetary technologies introduce overhead that can be avoided by delegations of responsibility that effectively prevent literal "mom and pop" businesses.
11:34 adlai similar things happen in organized crime, where you probably won't see a registered corporation with all the middlemen of a smuggling operation named in one document, unless it's the one filed by a prosecutor.
11:35 * adlai simply picked the one example of organized crime that springs easily to his own mind... there are always others
11:35 trinque collaboration doesn't have to mean business, I think.
11:35 trinque at the least it means I'll feed you truth more often than bullshit
11:38 adlai agreed; so, one easy upper bound to the upper bound on the size of the wot's rate-space is the number of humans in the world, with various caveats - people are born, people die, and certain machines (at minimum, kyristor!) are important enough that they also participate in the wot
11:39 adlai it's a ridiculously high upper bound for everyday use, although it allows for the computations involved during a collision.
11:41 adlai e.g., for everyday use, -10 to +10; during a collision, a few bytes of source wot data fit within the padding that the signature algorithm will be applying anyway.
11:42 adlai arguably, the programs performing these computations don't even need to make the full range visible in the default modes of operation; e.g., signing by default appends one zero to the rating
11:43 adlai speaking of bullshit, and kinds of information: one other kind of information is scientific data.
11:45 adlai e.g., if I publish a new encryption algorithm that is not immune to differential cryptanalysis, and two separate people collaborate to perform such an attack, they probably wouldn't want to have the same kind of signature on the measurements that they exchange with each other, as the kinds of signature they originally used when planning the attack.
11:45 * adlai realizes that people in the scientific community get sad whenever anyone suggests that anyone ever fudges measurements!
11:46 adlai at least, they really like to pretend that no scientist ever lies, and that there is no incentive to ever be dishonest. it's almost as though some scientists have never left the playground of mutually-aligned interests.
11:48 adlai distrust is terribly inefficient, although as I see the world, the assumption of only one human superorganism, that benevolently integrates the work of all individual humans, is at best a premature optimization.
11:49 * adlai has babbled quite a bit, and could use a few kilocalories; thank you, trinque and shinohai , for keeping the conversation going.
12:03 trinque adlai: yep, moreover the swearings around which the superorganisms form may be mutually incompatible
12:03 trinque which leads to a "war is inevitable and required to avoid stuck states"
12:04 trinque will return to this thread more rested and less burned out, currently on a march
~ 48 minutes ~
12:52 asciilifeform http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030805 << speaking of which, adlai , why not mirror sumthing ? it aint hard to do, and immediately useful
12:52 snsabot Logged on 2021-02-04 08:03:17 adlai: considers "reliance on shithub" equivalent to "relying on $lord's castle to exist, esto perpetuum", fwiw
12:55 asciilifeform http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030810 << imho in the era when digging out prior art required 20yrs of sail around the world and plowing through libraries -- 'i reinvented' was sometimes plausible excuse. today -- just about never. pretty much w/out exception is result of willful blindness.
12:55 snsabot Logged on 2021-02-04 08:14:37 adlai: one of the things I found quite distasteful about Mircea's behavior, and honestly also asciilifeform's, is the pervasive assumption that any instance other than the chronologically earliest, is plagiarised, rather than independently derived.
12:57 asciilifeform ( re this blindness -- see also. )
12:57 snsabot (trilema) 2014-03-05 asciilifeform: the mechanism in their heads that is needed to dis-invest in an unproductive line of inquiry breaks.
13:00 adlai asciilifeform: fair enough; at least in my own experience, I often fail to locate prior art due to unfamiliarity with jargon.
13:01 adlai e.g., my recent usage of a few mathematical terms that are almost certainly more general than necessary.
13:01 asciilifeform adlai: this is why gotta talk to people.
13:02 * adlai is always glad to hear, "cute prototype; have you heard of the Empire? they've been building these frobnifiers for over a decade already"
13:02 asciilifeform ( and be ~very~ concrete re yer idea. i.e. this imho is example of how ~not~ to do it )
13:02 snsabot Logged on 2021-02-04 10:35:30 adlai: if the size of each side of the domain is prime, there is too strong a temptation to treat the numbers themselves as an unambiguous worth metric, instead of something that obviously encodes multiple kinds of information.
13:03 adlai right, it is impossible to find prior art for a patent that does not describe anything.
13:03 asciilifeform example of informal but implementable description of an algo, e.g. here .
13:04 adlai fwiw, of all the folks in this channel, you are probably the only one who might have anything substantially informed to say about the paper shinohai linked earlier
13:04 * adlai has an entirely redditous understanding of formal cryptography.
13:05 adlai i.e., I can read, and have even occasionally implemented things, although will actually laugh if someone seriously asks for me to audit a cryptographic system.
13:06 adlai "me and what imaginary phd"
13:09 asciilifeform adlai: it's a typical crackpot piece a la ye olde sci.crypt newsgroup. reduces to vernam otp + prng. lulzy claim of 'and so we proved p!=np' .
13:10 * adlai does wonder how much formal mathematics learning verisimilitude has; the impression received so far is one of 'not much', although perhaps you also have at least the level of literacy referred to in the immediately preceding lines
13:10 asciilifeform adlai: see also.
13:10 snsabot (trilema) 2015-07-05 asciilifeform: or that other thread, which i can't seem to find, where we spoke of how 'maths wot is not essential for being published, but for even having publishable ideas instead of burning your life on fibonacci sequences or some other solved/irrelevant dead end'
13:11 asciilifeform adlai: it is painfully easy for an intelligent n00b to become convinced that he 'solved mega-problem'. esp. if he's enthusiastic about putting words/squiggles on paper but not so much re writing proggy
13:12 adlai and before verisimilitude -- or anyone else -- get insulted by the words 'not much', consider that my standards for mathematics education are: 'kindergarden' = enough mathematics to work as a chartered accountant; 'elementary' = one mathematics degree, covering basics of modern algebra, i.e. slightly above my current level, although within plausible reach; 'working' = someone who can actually be
13:12 adlai expected, within a reasonable amount of time (measured in years, and estimable in decades), to solve open problems.
13:12 asciilifeform ( in sci.crypt was recurrent thread: 'i broke rsa!' 'ok, here's a pubkey, gimme the priv. p,q' '...' 'i'm waiting' 'you DON'T UNDERSTAND!! MY BREAKTHROUGH!' '...' )
13:13 adlai lol, and "the ossifrage is one of the ~least~ squeamish animals"
13:15 adlai my understanding of relevance of the various NP-overlap questions to cryptography is that the arrow of proof is unambiguously from various statements about inclusions, to weaknesses in kinds of algorithms
13:15 verisimilitude Don't worry about insulting me, adlai.
13:16 verisimilitude My mathematics schooling was pathetic, and I'm correcting this through books.
13:16 asciilifeform adlai: if you didn't already know -- not a single one of the cryptoalgos in common use today, have any kinda useful complexity proofs (for avg.case, worst-case, any) associated with it.
13:16 verisimilitude I overwhelmingly know about discrete mathematics, not continuous.
13:16 adlai so it is almost impossible for a paper describing any specific new algorithm, regardless of the claims of strength that are proved about that specific one, to contain a result that breaks other algorithms; unless it also contains a novel mathematical result of much more general applicability, in which case, wouldn't that be more likely published simply as a general mathematical result?
13:17 verisimilitude Implementing the SHA-2 family is simple, and I'll finish my comprehensive Ada at some point. Any fool can do it.
13:17 asciilifeform adlai: in the given example, item purported to show that p!=np . did (surprise!111) no such thing.
13:18 adlai it may be a fool's low-hanging fruit, although I found a bug in the Ironclad library when poaching their SHA2 implementation.
13:18 adlai it was a really embarassing one, too: caught by the official test vectors.
13:18 verisimilitude How amusing. I did find a flaw in mine, in the padding, but it was easy enough to correct.
13:19 verisimilitude Unfortunately, my Common Lisp is much too slow, so an alternative design will be finished at some point.
13:20 * adlai recommends both avoiding the urge to optimise CL code, and recognising that it is possible to write performant code in CL
13:20 verisimilitude Still, I wrung eleven articles so far from the work.
13:21 verisimilitude I'm not offended, but just as with English, I need no Common Lisp advice.
13:22 adlai it's a good language for writing efficient algorithms, and you actually can make the compiled code efficient on a given machine; the main reason this becomes a waste of human time is that CL is a good language for generality and portability, and once you begin digging into the details of compiled code... maybe your experience is different, verisimilitude, but I actually find that the will to live is
13:22 adlai reduced much faster when I begin 'fits-in-head'-ing instruction sets.
13:23 asciilifeform http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030846 << this is exactly the kinda problem that it only makes sense to attack in context of 'resistance of the medium', i.e. when you have actual practice where you actually end up needing to resolve the graph.
13:23 snsabot Logged on 2021-02-04 10:41:44 adlai: however, you don't want all the information signed; e.g., nobody blinks if someone rates their wife +10, a program running on a webserver located within their physical control +8, and their firstborn +9, yet people start having unpleasancies once the spare only gets a +4
13:24 * adlai supposes that there are few enough CL programmers of this level of fluency on the planet that "have you ever written CL for an employer" actually is a measurably doxxing question
13:24 asciilifeform even in 'good old days' when 20+ folx were using vtrons daily, at no pt did anyone say 'i wish machine would resolve wot ordering for me mechanically, i'm tired of sorting by hand'
13:25 * adlai does not imagine the aforementioned 'collision' to be an operation resolvable by one run of any hypothetical program
13:26 asciilifeform adlai: i suspect most cl proggies put to use industrially in past 20y, were not even known about in detail by whoever paid. 'make the 4tonne robot move on spec' 'here's a box + softs' and in'ere is cl, or whatever, and only archaeologists could find out about it.
13:27 adlai more along the lines of -- to return to a military metaphor -- the difference between 'preparing for war' (one wot, ratings mean whatever they mean to signers, etc) and 'war' (collision detected, invocations of various programs are executed using more complex algorithms to account for larger world, until collision is resolved)
13:27 * asciilifeform only ever wrote 'commercial cl' in this form
13:28 asciilifeform adlai: imho 'automatic resolutions' for wot are screamingly opposite to the Right Thing.
13:28 asciilifeform (beyond simple 'friend or foe' case)
13:29 verisimilitude A good bit of my machine code work is fitting-in-my-head an instruction set, adlai.
13:29 adlai you can still place a plausible upper bound to the headcount of CL programmers, where by "CL programmer" I mean someone who, while perhaps not able to rattle off CLHS entries from memory, can at least find the relevant sections within a workable amount of time
13:29 asciilifeform the Right Thing consists of 'simple cases -- mechanically resolve; errything else -- ring bell and summon operator'
13:29 adlai as opposed to "can not program in common lisp without stackexchange/reddit/google/etc"
13:29 verisimilitude I don't actually need the MMC to program, but its existence allows me to write better programs than others.
13:30 adlai again, asciilifeform, you are strawmanning what I described earlier.
13:30 verisimilitude One who can't program without an internet connection can't truly program.
13:30 asciilifeform adlai: elaborate?
13:30 adlai the kyristor (if I may use your word to describe my abomination!) that I imagine operates in an entirely transparent way.
13:32 asciilifeform adlai: wainot write algo.
13:32 adlai if I ask it, e.g., "compute trust distance between third messenger from colliding wot and captain of the guard from own wot", it does not subsequently do some GPG2-level idiocy wherein my entire local keyring gets rewritten to reflect the existence of messengers one through three
13:33 adlai yep, this conversation is far beyond the cliff edge of talking on solid ground.
13:34 * adlai is, again, glad to have aired out the ideas, so that he has a better idea of what exactly to write, once he's between parentheses.
13:34 adlai before I proverbially step away again, there was one other 'wainot' that I wanted to answer
13:37 adlai http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030932 << mostly "centipede's dilemma", i.e., there are too many collapsing castles on all sides
13:37 snsabot Logged on 2021-02-04 12:52:50 asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1030805 << speaking of which, adlai , why not mirror sumthing ? it aint hard to do, and immediately useful
13:38 asciilifeform adlai: i dungetit, there were what, a dozen folx with sites in all ? and of these, most still up
13:38 adlai also, http://logs.nosuchlabs.com/log/asciilifeform/2021-01-14#1029008
13:38 snsabot Logged on 2021-01-14 15:15:07 verisimilitude: I feel like a man learning how to build houses, in a society where people expect them to collapse, and it's maddening.
13:38 asciilifeform ( and of remainder, most can be seen here . grab own copy ? )
13:40 adlai it was definitely a nice little rush of euphoria to think that "Castle TMSR" was monolithic and forever so; yet, #trilema is now a silent channel, and former lords are stepping away from public view; I guess so-called "Republican" society has to go through its dark ages, and that means building for earthquakes, instead of babylon.
13:41 asciilifeform adlai: at the risk of pedantry -- ben quit coupla yrs before mp took ball an' went home
13:42 asciilifeform folx who wanted whatever off his www, had 4+y !
13:42 adlai at the risk of mockery: I'm not accusing him of being a collaborator in my "attack against the Republic"!
13:43 adlai arguably things would have been resilient from much earlier on if there had not been a "Castle TMSR" in #trilema, although perhaps then there would not have been a critical mass of productive folks, either.
13:43 asciilifeform adlai: i'm still puzzled re what is your obstacle. e.g. shinohai had 0 problem wget -m ... asciilifeform's gentoo mirror, and making own. what's keeping you from doing similar ?
13:44 adlai lol, there is no obstacle; I'm here talking instead of doing anything productive.
13:44 asciilifeform adlai: i suspect yer thinking of sumthing else though :
13:45 adlai /mode #asciilifeform -v adlai
13:45 asciilifeform well no, lemme try :
13:45 shinohai My only obstacle before was general laziness and indifference, not gonna lie. Trying to be more responsible in savng things I find useful moving forward.
13:46 asciilifeform mp was talented mountebank, a la barnum, and in #t maintained an addictive, to many folx, atmosphere of 'движуха' (untranslatable, but roughly 'errything in motion!!', 'happening!')
13:47 asciilifeform without this drug, many folx suffered 'cold turkey' and went off into sunset. sorta how i picture, life ebbs away in a crackhouse if no moar crack is delivered.
13:48 adlai lmao, and I was about to contradict with a "wdym, untranslatable; right here on page LMN, says...", yet indeed, only contains stem!
13:48 asciilifeform asciilifeform does not offer visitors this, or any other dope. entirely willing to discuss e.g. mathematics, softs terraforming, other practical (or less-than-practical) subjs. but cannot offer 'happening!!!' cuz not barnum. doesn't have interest in attempting.
13:49 thimbronion http://logs.nosuchlabs.com/log/asciilifeform/2021-02-04#1031017 << apt
13:49 snsabot Logged on 2021-02-04 13:46:08 asciilifeform: mp was talented mountebank, a la barnum, and in #t maintained an addictive, to many folx, atmosphere of 'движуха' (untranslatable, but roughly 'errything in motion!!', 'happening!')
13:49 shinohai "If you don't believe me or don't get it, I don't have time to try to convince you, sorry"
13:50 asciilifeform in asciilifeform's cosmography, движуха is ~harmful~. like cocaine. it is ~not~ ultimately a win, for folx to sit around 'tripping' while suffering the illusion of thinking.
13:51 asciilifeform recall when mp wrote pompous piece re how 'tmsr defeated clitler!' -- typical.
13:53 asciilifeform see also ( can't presently find ) old thrd with trinque's description of cocaine users, imho pertinent.
13:54 asciilifeform y'know, folx w/ 'hurrah!' confidence spewing outta all orifices -- but ~0 capacity for reflection.
13:54 * adlai does occasionally wonder about the whole "DAO Hacker" thing
13:55 adlai e.g., in the BitMEX chatroom, one fellow actually said "MP was the DAO hacker" when someone asked "who dat"
13:55 adlai at which point I continued realising just how little power cryptography has, because people so seldom actually bother verifying provenance.
13:56 asciilifeform adlai: i'm almost surprised he did not take credit for death of kennedy.
13:56 adlai in case anyone here is foggy on the details: the text of the trilema post about the DAO hack appeared shortly ~after~ the same text appeared on pastebin.com
13:56 asciilifeform ( did for damn-near errything else that was even vaguely chronologically plausible.. )
13:57 adlai perhaps a good use for bitcoin timestamping, next time someone feels like shenanigans.
13:58 adlai my main question about that case is "why take credit"
13:59 verisimilitude Until automated machines pretending to be people are too obvious, people won't worry.
13:59 verisimilitude I'm not worried about mine unencrypted connection here; I just look at the logs sometimes to check.
13:59 adlai MP's fanclub obviously was not dependent upon him personally finding such vulnerabilities; it was enough for him to simply be top blogger.
14:01 adlai upstack, I think the first thing I should mirror is the archive of deeds, because that is something that I actually used quite a bit, myself, and expect to use in the future.
14:02 adlai s/quite a bit/most/, i.e., that's the bit of infrastructure of which I made most use.
14:03 adlai once I have a mirror of deeds, and perhaps an improvement upon 'deed-it-happen', I can provide a less fragile mirror of source code.
14:04 shinohai "deed-it-happen" was interesting to me adlai .... had never before seen until I went base58 exploring.
14:04 adlai nowai
14:05 adlai http://logs.nosuchlabs.com/log/trilema/2015-12-01#1334898
14:05 snsabot (trilema) 2015-12-01 shinohai: fukkin a adlai
14:07 adlai your forgetfulness is understandable, considering what garbage quality the code is
14:08 asciilifeform adlai: 'why take credit' was imho simple q -- same reason wai 'al qaida' etc took credit erry time a gas line exploded in some alabama shithole. 'hurrah, we make things happen!!'
14:08 shinohai aha! I do remember that now, though was item I placed on desk and forgot, as I had not yet really dove into cl
14:14 adlai speaking of deedbot, here's one that not yet in the FAQ: what is the glyph that appears in the links to mimisbrunnr?
14:14 adlai well, "what is the glyph" is answerable by reading unicode specs; my question is better verbalised as, "what is the purpose behind that choice of glyph"
14:14 * adlai doesn't have it rendered locally, so now answering the first phrasing himself
14:17 asciilifeform meanwhile, in usg lulz, e.g. 'Bitcoiin used a name similar to the cryptocurrency Bitcoin and made false claims about its product to induce investments.'
14:18 adlai (dull question has boring answer: it's a magnifying glass)
14:19 adlai although, arguably, even the failed rendering is self-explanatory: empty white rectangle = block!
14:26 * adlai is momentarily puzzled by a discrepancy between the ordering of deeds linked from deedbot.org and the order of their archival in 2015-12-01, although this is rapidly entering the "somebody else's problem" field
14:27 asciilifeform adlai: what exactly were you trying to do ? ( mirror the deeds ? or replicate trinque's whole setup ? which ? )
14:28 adlai understand what, i.e. exactly which parts of the website, I want to host. I do not want to replicate the entire thing.
14:29 adlai in parallel to that, almost every time I link to old logs, I reskim the immediately preceding and consequent lines of that same day, occasionally even reading the entire day's log, both 'for the lulz' and because occasionally there is actually useful information there.
14:29 adlai while doing that reskim, I noticed the discrepancy.
14:30 adlai ideally, what I mirror initially will be my own deeds (i.e., the ones that I signed and submitted... and the one that kako submitted after I did so incorrectly!), with simply infrastructure in place for mirrorring additional ones on an on-demand basis
14:31 adlai after that, I intend to look into "mirror entire linux distributions"
14:31 adlai or whatever it was that you exactly were suggesting I do.
14:32 asciilifeform adlai: start with what you, personally, would want to preserve. what wouldja miss if it fell down?
14:32 asciilifeform i gotta admit, old mp deeds would not be top of my list. but to each his own.
14:32 * adlai prefers to avoid mirrorring build scripts without actually verifying their behavior, even if they seem innocuous
14:33 adlai right, I don't want to automatically mirror the entire deed history; however, there actually are a few "deed poems" that exist only there (and in whatever internet archives have picked them up)
14:33 adlai along with the hashes of my mpex activity.
14:33 adlai to be precise, hashes of the summaries.
14:34 asciilifeform adlai: i can't resist to ask, what do these do for you nowadays ? i.e. that you want'em perma-archived publicly.
14:34 * adlai does not anticipate ever getting asked for the preimages, nor the hashes, although he did actually go to the trouble of notarising those.
14:34 asciilifeform do you sit down on rainy day and 'hm, i think i'ma spend evening rereading my old mpex trade logs' ??
14:35 asciilifeform ever find yerself thinking, 'i wish i could link this here n00b to my old mpex log..' ?
14:36 adlai those, together with the trades that were spammed to the #bitcoin-assets and #trilema logs, serve as a minimal example of scalpl's usage, with the strong benefit of already being public information.
14:37 asciilifeform asciilifeform will undertake to give example of what he archives an' why. e.g. bvt's www because he had useful inline asm for ffa. qntra because was a++ chronicle of political events for 6+y.
14:38 adlai the death of qntra is indeed a shame.
14:39 asciilifeform ...log db cuz searchable log, whoever wants (and iirc at least thimbronion currently eats it!) can compute over 7+y of log, mirror, etc
14:39 * asciilifeform does not archive material that he does not at least on occasion find self rereading, studying
14:39 * adlai actually found the qntra compensation model quite an interesting financial experiment; possibly even more interesting than his own participation in S.MPOE, which occurred entirely after the actual OE was shuttered
14:40 adlai archiving the log db is a good candidate for higher priority than archiving various source code repos
14:41 asciilifeform adlai: nuffin stops you or anyone from cron/wget it whenever
14:41 * asciilifeform has an hourly off-site cron for it
14:41 * adlai uses log.nsa.com quite often, even if only for confirming the message id instead of guessing based on the ordering in his own client
14:43 adlai I guess one bad although admittedly true reason that delays my yesterdayous hosting of a mirror is that I avoid using the 'common household materials' of cron,wget,nginx/apache,etc
14:44 adlai the bane of the funemployed common lisper.
14:45 * asciilifeform wonders whether adlai is also baking a nic outta 74xxx and driver for it in cl etc, or notyet
14:50 shinohai Nothing stops ya from using drakma + hunchentoot instead, neh adlai? ^.^
14:54 adlai nope and nope :-)
14:54 adlai although I have only today encountered at least one low-hanging fruit for severe optimisation of hunchentoot's HTTP responses
14:55 * adlai should, at some point, begin the long and torturous process of fetching and deploying the updates from various heathendoms
14:56 adlai it is quite likely that others have already solved, e.g., terminating HEAD responses after headers instead of sending the entire page
15:00 verisimilitude I've played with DRAKMA some; it didn't continue interrupted downloads by default, but I did have neat behaviour setup with the condition system.
15:12 adlai arguably, one priority that delays deployment of additional infrastructure is studying the various crawlers (and occasional footprints) that visit the one site that I've left deployed.
15:12 * adlai has, over a year ago by now, taken down the "CoinJoin Hunter" that did also serve as a mirror of bitcoin block headers
15:13 adlai it only mirrorred headers, although required the entire chain for the coinjoin detections, and eventually that exceeded the phree hosting's diskspace.
15:14 * adlai did not bother messing around with pruning, by that point!
15:16 asciilifeform adlai: i somehow escaped even knowing wtf 'coinjoin' is/was.
15:18 adlai coinjoin itself is a terribly general idea, that essentially boils down to the fact that a single bitcoin tx can be partially constructed, shared around between untrusting counterparties who each contribute their own inputs and outputs and incrementally update their signatures, and finally broadcast
15:19 adlai my program (that iirc asciilifeform saw once, on github, and expressed horror at an admitted horror within... autogenerating an API client for prb's RPC!) detected specific kinds of coinjoin, of the shape produced by joinmarket
15:19 asciilifeform aa this was 1 of those multisigism lulz, wasnnit.
15:19 adlai nope
15:20 asciilifeform adlai: no? how did they agree on the constructed tx ?
15:20 adlai regular signatures for each input. the TXs are, upon naive inspection, indistinguishable from ones that are produced when a wallet uses several of its own coins as inputs.
15:20 adlai specifically in joinmarket, or in the generalized coinjoin idea?
15:21 adlai iirc, the original coinjoins were negotiated in bitcointalk forum messages!
15:23 * adlai leaves a log link to the coinjoin hunter, in case anyone wants to run it, or worse yet, marvel at this horror of horror-generating horrors
15:23 asciilifeform adlai: to the extent the protocol actually lets you glue together tx and retransmit w/out cryptomanipulations -- dun even need to agree, neh. can collect in wild.
15:24 asciilifeform ( the 'malleability' nonsense was a variant of this idea )
15:25 adlai iirc this is not possible for all signature kinds, because only certain kinds ignore other inputs
15:25 asciilifeform obv
15:26 adlai e.g., in joinmarket, each signature covered the entire tx; however, one topic that was occasionally raised, was implementing the kind of signature that only covers your own inputs and outputs, to increase the 'anonymity set' of each tx
15:27 adlai so while fancy mathematical manipulations are unnecessary, there still is a need for coordination, which joinmarket solved by introducing the incentivisation
15:36 * adlai suspects that one reason for this is your professed treatment of bitcoin as unspendable
15:36 snsabot Logged on 2021-02-04 15:16:45 asciilifeform: adlai: i somehow escaped even knowing wtf 'coinjoin' is/was.
15:37 adlai once you begin dealing with nontrivial coin flows -- and wish to avoid donating the various Brian Armstrongs your entire financial history -- then such technologies become quite interesting
15:39 asciilifeform adlai: mno.
15:39 asciilifeform adlai: 'unspendable' for reasons that have exactly 0 to do with 'tx histories'
15:40 adlai I do not mean that you treat them as unspendable because of the tracability.
15:40 adlai I mean that your lack of interest in the tracability meant you didn't have much reason to be interested in these hings.
15:40 asciilifeform adlai: asciilifeform's gripes re 'unspendable' are 100% to do with ~usd~ , rather than btc
15:42 asciilifeform if asciilifeform had a crate of au, or pu, it would be equally subjectively 'unspendable' and for exactly same reasons.
15:42 adlai well at least you can build things with those! pretty much the only thing you can build with blockchain credits is notarization.
15:44 asciilifeform adlai: lemme be clear, imho to date 100% of the движуха around 'anonymity enhancement' has been hucksterism (i.e. fuckwads helping gullible folx to lose their btc, and sowing confusion re how fundamental things work and where problems, where such exist, even are)
15:45 asciilifeform 0 of it helpful against the actual, real-life headaches encountered by actual (vs. redditiferous 'any day nao!!') btc users.
15:45 adlai ehhh, that's only about 1/3 of it; there is also a significant amount of USD, and probably even coin, spent on the tracking. there are at least three fiat-registered companies that sell tracking services to e.g. Coinbase.
15:46 asciilifeform adlai: it's a quite lucrative (to folx properly usg-wotted) snake oil industry. which however afflicts even halfway clueful actual btc users ~0.
15:47 adlai yep. one quite telling aspect of early bitcoin history is the fact that the first thing that any regulatory agency wrote about was FINCEN requesting that miners disclose the fact that they are mining.
15:48 asciilifeform adlai: attempt to make chinese die of laughter or wat.
15:48 * adlai does not recall the details; it may have been that they requested to a registry of pools, rather than miners themselves; either way, mining is the original unlinking mechanism
15:49 adlai lol, it's a regulatory agency, they probably know that they can't touch anyone outside their jurisdiction.
15:50 adlai maybe they are deluded and think they rule the world. idk.
15:51 asciilifeform adlai: 'btc pinkertons' reduce, universally, to variants of this.
15:51 snsabot (trilema) 2015-02-27 ascii_field: BingoBoingo: but almost certainly genuine. remember Quadro Tracker ?
15:51 asciilifeform ^ req'd reading re 'multi-$bil usg police subcontractors' and their 'technologies'.
15:53 asciilifeform and see also.
15:53 snsabot (trilema) 2015-10-11 asciilifeform: folks familiar with usg 'scientocracy' will laugh, but the fact is, the mind-reading box does not necessarily have to... work. to be put in use.
15:53 * adlai did not follow this specific thread at the time, although recalls long ago encountering the idea as a quote by iirc Peter Thiel, "Palantir is not a front for the CIA, the CIA is a front for Palantir."
15:54 adlai may have been a quote by the other PayPal whatsisface!
15:54 asciilifeform adlai: these folx manufacture, ultimately, only fud. and when you get into 'anonymization' crackpotter, yer in fact falling for this fud.
15:55 asciilifeform 100% of past an' current kangaroo court docket, was enabled by a) old-fashioned stoolies b) nsa 0days . and 0 by 'btc trackers'.
15:55 * asciilifeform bbl.
15:55 adlai y'know, if you'd ever actually listen to thing I've said, rather than merely read things I've written, you'd realise that I prefaced my talk about joinmarket with "there is no anonymity, all this program does is let you pay to scatter dust on your own footprints, one at a time", in slightly different words.
15:58 * adlai was once approached by girls who wanted a graphology reading, because he was reading a book about this; they were quite disappointingly disappointed when the reading began with, "all this process does is reveals biases, yours and mine; I am using techniques known as cold reading..."
15:58 adlai apparently some people want to be fooled!
~ 20 minutes ~
16:19 verisimilitude Most people tend to want fooling in some ways, e.g. happiness.
~ 35 minutes ~
16:55 * adlai wonders in what way to attribute verisimilitude if/when copying the robots.txt file
16:56 adlai my inclination is to have a minimal one, for reduction of what I view as wasteful traffic (currently it just returns the 404), although I am considering building a detailed one similar to yours.
17:02 verisimilitude I found a simple robots.txt boring, yes.
17:11 * adlai supposes that a sufficient attribution is a comment line in the robots.txt file itself
17:13 adlai huh. for some reason I recall that when I first read about these things, about a decade ago, there was a way to request rate limiting from the crawlers; this appears to be entirely hallucinated of me. oh well.
17:16 verisimilitude That's good attribution, yes.
~ 1 hours 23 minutes ~
18:39 trinque adlai: would the deed pycoad help?
18:40 trinque note that prior to a certain point, those deeds were made by some other piece of shit which I replaced
18:40 trinque with you know, my own piece of shit.
~ 45 minutes ~
19:26 verisimilitude I've made a minor adjustment to my robots.txt now, adlai. For some reason, DuckDuckGo doesn't share its bot user-agent value, and I recently learned my website was still being ignored.
19:26 verisimilitude So now I've another guess at it.
~ 3 hours 34 minutes ~
23:00 adlai thank you for the offer, trinque , although it is not necessary right now, as I only plan to mirror the deeds (and the FAQ, although I might write my own version instead of copying yours verbatim), rather than duplicating deedbot itself
← 2021-02-03 | 2021-02-05 →