Show Idle (>14 d.) Chans
← 2018-03-07 | 2018-03-09 → ↓
02:57 deedbot http://barksinthewind.com/2018/vtools-c-interop-other-fixes/ << BARKS IN THE WIND - vtools C interop, other fixes
~ 5 hours 6 minutes ~
08:03 deedbot http://www.dianacoman.com/2018/03/08/eucrypt-compilation-sheet/ << Ossasepia - EuCrypt: Compilation Sheet
08:17 deedbot http://qntra.net/2018/03/nationalist-dissident-group-leadership-incarcerated-in-britain/ << Qntra - Nationalist Dissident Group Leadership Incarcerated In Britain
~ 57 minutes ~
09:15 ave1 diana_coman, I'm reading through the eucrypt / RSA code and see that the 'get_random_prime' function will open and close the random number generator itself. I would like to open the entropy source once and reuse it, but maybe there is good reason to do it like this and I should not attempt to do it differently?
09:15 diana_coman ave1, there is one function for that too
09:17 diana_coman ave1 there is open_entropy_source which simply opens it and returns the handle; then you can use it for as long as you want, with get_random_octets_from (rather than get_random_octets)
09:20 ave1 Yes, I understand that part. I'm looking at 'get_random_prime'. Which will be called twice to generate a key-pair.
09:20 ave1 I want to use a single "entropy" file.
↖
09:20 ave1 So a pregenerated bag with bytes
09:21 diana_coman to answer the question directly: you can certainly do it with reuse; the reason I avoided it there is because otherwise the caller needs to handle/be aware of the entropy source per se; which did not really belong in the caller
09:21 ave1 And do get_random_prime twice on it, but the second time not from the start
09:22 ave1 I understand, and then the handle will also be needed in the gen keypair etc.
09:22 diana_coman exactly
09:23 ave1 nice code BTW, very easy to read and understand.
↖
09:23 diana_coman you can certainly do it the way you describe - I don't see a hard reason against it if you are all right with passing the handle around/keeping track of it everywhere; other than that, the functionality itself should be fine
09:24 diana_coman ave1 hey, thanks!
09:27 ave1 I'll have to think about it, I do not want to make changes that make things more complex for "reasons" and then more complex enzovoorts enzovoorts. And then end up with PGP
↖
09:28 diana_coman for completeness: there is in fact a performance penalty for opening/closing the entropy source repeatedly, so from this point of view yes, you'd want it open and reused; that being said, it's not a massive penalty and atm I can live with it
09:29 diana_coman heh, there is that slippery slope; and note that in all that there, it's still that darned mpi that is the biggest part and I am absolutely not convinced it has to be THAT big
09:29 diana_coman but for now it survives as it is because there are so many other things that are more pressing, sigh
09:29 ave1 Well the nice code comment was not about the MPI part!
09:30 diana_coman :D
09:30 diana_coman btw ave1 did you ever try eulora?
09:32 ave1 No, not yet, I want to do that one of these days. (Real life keeps interfering)
09:38 ave1 I've started on http://btcbase.org/log/2018-02-28#1786498, in Ada code and now I'm debating if I shouldn't just move the code to C as the eucrypt interface is C. But then maybe eucrypt will move to FFA someday in the future and Ada will be a benifit. (Working on code with lot's of C calls in Ada is not nice...)
↖
09:38 a111 Logged on 2018-02-28 15:57 mircea_popescu: ave1 you should ; also read through the eucrypt thing, ima (for instance) need someone to package it into a cmd line gpg replacement as soon as next wek.
09:39 ave1 *benefit
09:45 diana_coman trouble with the future is that it is...the future; I'd have gladly avoided C all together but unfortunately mpi is in C and then eulora relies on a lot of C code still
09:47 diana_coman as to trying eulora: it's not time consuming really; I guess the initial jump can seem intimidating until you figure out what is what and what to do
~ 21 minutes ~
10:08 ave1 k, will install the client this week-end (instructions seem not that hard to follow)
10:11 diana_coman cool; shout in #eulora if you need help/get stuck on anything
~ 30 minutes ~
10:42 mircea_popescu http://btcbase.org/log/2018-03-08#1787213 << i'm glad to hear.
10:42 a111 Logged on 2018-03-08 14:23 ave1: nice code BTW, very easy to read and understand.
10:46 mircea_popescu http://btcbase.org/log/2018-03-08#1787216 << it seems rather, that first you should evaluate the http://btcbase.org/log/2018-03-08#1787207 and see if indeed it makes sense, or it's just the proverbial "first notion that formed in head upon quarter seccond's apprehension of $item" ; if indeed it is needed, legitimately, then the next step is to make a file handler that eats your file as you want it on one hand and emulates fg
↖ ↖
10:46 a111 Logged on 2018-03-08 14:27 ave1: I'll have to think about it, I do not want to make changes that make things more complex for "reasons" and then more complex enzovoorts enzovoorts. And then end up with PGP
10:46 a111 Logged on 2018-03-08 14:20 ave1: I want to use a single "entropy" file.
10:46 mircea_popescu behaviour on the other end.
10:47 mircea_popescu this a) would be actually simpler, in engineering terms, than the other possible approach your mind immediately ran to (simple, here, is a term of art -- it includes all costs, maintenance, readability, etc) ; and b) it keeps complexity where complexity belongs, which is to say upon the shoulders of the thing that wanted it in the first place.
10:48 mircea_popescu it is not an idle comment to observe that the universalist nature of pantsuitism manifests here exactly as everywhere -- their sad, broken cargocultish tech-ersatz does exactly what their sad, broken fake of an economy etc : rolls up the small costs into a larger one to be paid "in the future", which to them is a term of art specifically meaning never.
10:49 mircea_popescu but just like we don't do the esthlos "o hai guise, i contribute half hour every third week between my radiomodelling hour and my watching cheerleader sports in the den" github dev model, we also don't do the "we'll underwrite your complexity under our brand" torvalds approach.
~ 18 minutes ~
11:08 mircea_popescu whole fucking IDEA of a kernel was exactly this, "fuck you $vendor, if you need a whole programming language to init your pos peripheral YOU support it ; we'll just grin from the sidelines while the marketplace drives your inanity out of itself".
11:08 mircea_popescu sadly the idiots team up faster and easier than thinking people do, so instead of linux driving nvidia out of business, the vice-versa occured.
11:13 mircea_popescu (this team-up disparity, incidentally, can readily be explained in republican terms ; it all revolves around http://trilema.com/2017/the-practical-costs-of-hallucinated-freedom/ -- specifically, thinking people need a much larger sunken cost to evaluate their choices and come to the correct conclusion they got none. this is a lot more evident to idiots. as this disparity flows from the definitions of terms...)
↖
11:28 mircea_popescu http://btcbase.org/log/2018-03-08#1787224 << i don't expect eucrypt will ever move to ffa. this is in no sense a disidence, or any negative comment on ffa whatsoever. they are intended and designed as very different usecase solutions -- note the speed differential incumbent. eucrypt works as a "good enough" item, it principally intends to support a game, and same-level crypto needs. it's consequently to be light, fast, and ~r
11:28 a111 Logged on 2018-03-08 14:38 ave1: I've started on http://btcbase.org/log/2018-02-28#1786498, in Ada code and now I'm debating if I shouldn't just move the code to C as the eucrypt interface is C. But then maybe eucrypt will move to FFA someday in the future and Ada will be a benifit. (Working on code with lot's of C calls in Ada is not nice...)
11:28 mircea_popescu easonably~ secure.
11:29 mircea_popescu we will evidently have a ffa-based, canonical gpg replacement. EVENTUALLY. until such an eventually, i don't feel so great recommending anyone gpg (or, heavens help us, http://btcbase.org/log/2018-01-22#1774477 -- just as i had to do, and recently). so a drop-in, eucrypt-based, "good enough" item is more than useful.
11:29 a111 Logged on 2018-01-22 23:49 mircea_popescu: hey shinohai where was the official kleopatra sauce ?
11:30 mircea_popescu and that "good enough"... anyone reading through teh discussion of gpg in eucrypt comments, or in channel for that matter can readily grok just how fucking uselessly broken gpg is. yet "good enough" for everyone else.
11:33 mircea_popescu ave1 is your dancing around the entropy problem with files etc driven by the fact you don't have a fg, incidentally ?
↖
11:37 * asciilifeform read the log just nao, and can't quite figure out whether ave1 was attempting to implement a mechanism similar to asciilifeform's ch8 ( http://www.loper-os.org/?p=2175 ) or something entirely else
11:39 mircea_popescu "the log" being today 70 lines or 2k words. i don't think this ever happeend before in teh history of irc.
11:47 asciilifeform pretty sure there was at least 1 day with even lighter one
11:47 mircea_popescu no i meant teh density.
11:47 asciilifeform good snr will do this.
~ 26 minutes ~
12:13 phf ave1: responded http://barksinthewind.com/2018/vtools-c-interop-other-fixes/#comment-21
12:14 phf i think i might've still used yet another ada/c interop. it's not the char_ptr, it's interfaces.c.pointer
12:14 mircea_popescu word. heathen log looks morel like... http://p.bvulpes.com/pastes/HOUsZ/?raw=true
12:15 mircea_popescu jesus that was a spelunking exercise, finding that log.
12:15 asciilifeform holyfuq mircea_popescu , they have a +v chan ?! didja write'em their bot ?
12:16 mircea_popescu it's not at all +v.
12:16 mircea_popescu i thought that kitty item is a bot at first, which is why i said hi. it's a woman.
12:16 asciilifeform 'CollarBot gives voice to danni[D]' ?
12:16 mircea_popescu yes but it does ~nothing.
12:16 asciilifeform aahm.
12:16 mircea_popescu just because you saw injun with baseball bat dun mean injuns play baseball.
12:17 phf i think i'll write it up separately, because i like the approach. you have a generic package pointers, that you specialize with C types, like Interfaces.C.Pointers (Index => size_t, Element => char, Element_Array => char_array), and then you do explicit pointer arithmetic using procedures on that.
12:17 asciilifeform mircea_popescu: legendarily, in '90s ru baseball bats were sold errywhere, but no one had ever seen the ball or the glove...
12:17 mircea_popescu phf why ARE there so many of these, btw ?
12:17 mircea_popescu asciilifeform aha. ro ~same thing.
12:17 phf mircea_popescu: my thoughts exactly.
12:18 mircea_popescu not for us to know, huh.
12:21 phf so ada95 only has from_c/to_ada, using char_ptrs/char_array, pointers only appear in ada2000. ~maybe~ they ran into limitations of that interfaces, that are somehow imposed by the spec, that we're missing (but running into effects of that), so to address the issue they introduced yet another method.
↖
12:23 phf common lisp sidestepped that issue by not standardizing the ffi at all, and there are still hairy parts in all the implementations. there's fundamentally folly in talking to C word, which you have to do on C's terms
12:28 mircea_popescu im not sure i understand the problem. explain this to me, why can't i talk to c world on my terms ?
12:33 phf you can, of course, symbolics did it by writing own c compiler, that targeted genera. but "we" don't have our own os, or our own c compiler. so whatever calling conventions, data representation conventions and such that C imposes and that are baked into compiler/kernel/architecture is what you have to write to
12:35 mircea_popescu but why can't you just have a tolkienring class, in c, that spits out proper data ?
12:36 mircea_popescu "you can only talk to orc in barbar" problem was traditionally resolved through "extrateritoriality", ie make a base and shoot the orcs that fail to grok what perimeter means.
12:39 mircea_popescu "hong kong", as in, "what trade happens in your country will happen in english and as per english law" would be the opposite of "unicode", conceptually.
12:41 asciilifeform mircea_popescu: the directly analogous to 'hong kong' algo would be (brace yerself) separate processes for ada and c-crapolade, connected via ipc (under a unixlike, prolly 'domainsocket'). because otherwise, they live in same process, and if c-crapolade is entrusted with making e.g. a valid adastring, it can lie about the length and hose the ada routine, or simply fandango over address space as c-crapolade is wont to, and so forth.
↖
12:42 mircea_popescu asciilifeform a lot of interfacing problems are actually exposed by ave1 's comment above, which could also be read in the general form of "hey, the fundamental problem of electric communications (ie, how to make file and socket work together) is STILL unsolved".
12:42 phf i don't think that explanation quite addresses the analogy, though that would be the concern
12:43 mircea_popescu evidently "entropy" requires, conceptually, a socket. a file is thje opposite of this, and the opposition is rendered by the word "specifically". a socket and a file differ in that files have lengths, sockets have widths.
12:44 phf in this case though hong kong would be if we could beat the authors of c code into providing ada conformant interfaces for us. because if you're the same person who's writing ada and who's writing the interop code (in ada or C, it doesn't matter) you're still "talking in orc"
12:44 asciilifeform there are several interacting problems. one of which is that the fundamental mechanism baked into c for dealing with arrays (where it is not possible to mechanically calculate the length of an array ~at all times~ because it is not in fact stored anywhere ) is broken in the most fundamental way possible
12:44 mircea_popescu phf i can't resolve the antecedents, what is "that" in "that explanation" and what is "that" in "that would be the concern" ?
12:45 mircea_popescu in any case, the english didn't force the chinese to understand what contracts are. they just gave ~themselves~ passports and acted as if they were in england.
12:45 phf mircea_popescu: "that explanation" is what ascii is saying about how C is broken and lies
12:45 mircea_popescu asciilifeform you can allocate actual arrays, rather than pointer-arrays neh ?
12:47 asciilifeform mircea_popescu: you can 'emulate ada' in c, sure. but 'array's length is kept ALWAYS right next to the array' is not part of the language's fundamental abstractions. and os api (any and all of'em) don't follow it; and libc; and so on.
12:47 mircea_popescu myeah.
12:48 mircea_popescu phf back upstack, the argument can be brought that lisp failing to standardize [the only item that actually needed it] the ffi is actually why lisp failed ; both as a standard and as a technical solution.
12:49 mircea_popescu certainly closer to the actual hot core of the mess than "oh, commercial blabla, and then the involved idiots had "egos" aka http://btcbase.org/log/2018-03-08#1787242 )
12:49 a111 Logged on 2018-03-08 16:13 mircea_popescu: (this team-up disparity, incidentally, can readily be explained in republican terms ; it all revolves around http://trilema.com/2017/the-practical-costs-of-hallucinated-freedom/ -- specifically, thinking people need a much larger sunken cost to evaluate their choices and come to the correct conclusion they got none. this is a lot more evident to idiots. as this disparity flows from the definitions of terms...)
12:51 asciilifeform c,cpp, not only do not have 'standard ffi' ( try an' link libs made by microshit, say, to gnu's, or intel's ) but not even has standard... integer handling ( e.g. overflow is ~undefined~ condition ), didn't seem to hurt its, if one dare use the word, 'successes'
↖
12:51 phf lisp failed to even identify the need for ffi, when it was standardized i don't think there even were lisps that could or needed to ffi, since they all ran on lisp machines
↖
12:52 asciilifeform ( see megathread on subj, http://btcbase.org/log/2017-06-03#1665150 )
12:52 a111 Logged on 2017-06-03 02:41 asciilifeform: you can't actually write a nontrivial c proggy without undefined behaviour.
12:53 trinque could still be said that it helped kill lisp, if getting lisp to take root takes longer than c.
12:53 mircea_popescu http://btcbase.org/log/2018-03-08#1787294 << but one wouldn't so dare. yes, i'm aware what passes for theater among the huts has more in common with punch and judy and organ grinding than anything. speaking of which -- yesterday my coffee wasd disturbed by chorus of overexcited pubescent girlies.
12:53 a111 Logged on 2018-03-08 17:51 asciilifeform: c,cpp, not only do not have 'standard ffi' ( try an' link libs made by microshit, say, to gnu's, or intel's ) but not even has standard... integer handling ( e.g. overflow is ~undefined~ condition ), didn't seem to hurt its, if one dare use the word, 'successes'
12:54 mircea_popescu they had been to the "theater", in the very coquettish baroque building here, where i have coffee. the play was some "Bram stoker's dracula" production, but of course it had nothing to do with it, and you can tell by the following sign :
12:54 mircea_popescu the lead was a YOUNG man. whereas stoker's dracula is fundamentally the old guy.
12:55 asciilifeform trinque: lisps on cmachine may or may not have ever 'lived'. rather than 'killed'. extremely hostile environment , where the conventions of civilized life are unavailable , os api passes unbacked promises around, barfs mid-op in midst of arbitrary ops without any error handling, etc
↖
12:55 mircea_popescu what they did, referentially, as hanbot cleverly pointed out, is they called it "bram stoker's dracula" because the coppola version, which is what spawned this modern nonsense of young-male-vampire, CALLED it that. they have nfi who coppola was, or stoker for that matter. they just COPIED THE STRING.
12:55 mircea_popescu hence, successes. strikes me as the c-ing-est, most adnotated, meaningless drivel approach possible. innit ?
12:56 mircea_popescu (the social milieu in which old men had, and alone had, the gold to pay for squeezing the manna out of the young hussies, which even created "dracula" the original in the first place, is of course long gone under the weight of http://btcbase.org/log/2018-03-08#1787190 idiocy)
12:56 a111 Logged on 2018-03-08 00:22 mircea_popescu: but this paradigm where "we will cater to the peniless but opinionated female herd, instead of the rich and actually powerful white male" fucked them over.
12:57 asciilifeform кощей !
12:57 mircea_popescu most unadnotated* i mean.
12:58 asciilifeform a 'young koschei' is a ridiculous notion. like dry mermaid.
12:58 mircea_popescu asciilifeform quite. anyway, to summarize : some idiot (from argentina -- and you should have seen his overwhelmed, $10 an hour cafeteria worker expression when the herd of pubescent latinas pinned him against the wall) and some other idiot (luis whatever, the director) COPIED THE STRING "bram stoker's dracula" from a coppola production, unaware of either coppola or stoker, or even the MEANING of the ' possesive convention.
12:58 mircea_popescu this is fucking c.
12:59 mircea_popescu but it is no kind of success, unless i nthe vein of bare life, zoon bacterion.
12:59 asciilifeform exactly that kind.
12:59 mircea_popescu yes well. not what we're talking aboot. and now i shall proceed to reread this monsterball.
13:00 asciilifeform ( could expand, but imho naggum beat the subject to a very satisfying death )
13:02 mircea_popescu phf wtf is a lytdybr anyway
↖
13:03 mircea_popescu also fucking terrible comments interface you got there ; how do i know how many there are ? before clicking on the article ; and how do i visually separate them, and why aren';t they numbered and so on.
↖
13:07 mircea_popescu http://btcbase.org/log/2018-03-08#1787272 << and maybe they never said anything about this anywhere nor is there anyone in charge of the project i could ask and he could point me to the log line nor anything else. bloody fucking hell. maybe. maybe i fucked their mothers and they never told me they got caught, and now i have a bunch of idiotic sons with congenital clap.
13:07 a111 Logged on 2018-03-08 17:21 phf: so ada95 only has from_c/to_ada, using char_ptrs/char_array, pointers only appear in ada2000. ~maybe~ they ran into limitations of that interfaces, that are somehow imposed by the spec, that we're missing (but running into effects of that), so to address the issue they introduced yet another method.
13:08 asciilifeform http://www.adaic.org/resources/add_content/standards/95rat/rat95html/rat95-p3-b.html << afaik the only known archaeology
13:09 mircea_popescu if "hey doods, we're making a major fucking design change for these reasons" doesn't get prominently communicated, then what the fuck does ? "girls can code" !?
13:13 mircea_popescu "It is very important for Ada 95 programs to be able to interface effectively with systems written in other languages. To achieve this goal we have supplied three pragmas for interfacing with non-Ada software, and child packages Interfaces.C, Interfaces.COBOL, and Interfaces.Fortran which declare types, subprograms and other entities useful for interfacing with the three languages." reads to me like "it is very important for
13:13 mircea_popescu soldier to be able to effectively shoot enemy ; to achieve this goal we've provided some .45 caliber bullets, an array of nato-chambered rifles and a copy of alf's favourite panzer manual." holy fuck who thinks like this!
13:13 mircea_popescu and sorry for the lengthy pastes, but guess who doesn't have the sense to permit /#selection
13:17 mircea_popescu http://www.adaic.org/resources/add_content/standards/95rat/rat95html/rat95-author.html << anyone kind enough to email the guy who says he always answers email, ask if he's willing to take an interview over the things and matters surrounding the decision to upgrade ada95's from_c/to_ada with pointers, and if he's willing have him join here ?
13:25 mircea_popescu the connection between http://btcbase.org/log/2018-03-08#1787279 and http://btcbase.org/log/2018-03-08#1787233 and, of course, http://btcbase.org/log-search?q=uci is that no, they wouldn't be separate processes (and no, http://btcbase.org/log/2018-02-14#1783826 hasn't gone anywhere) but SEPARATE MACHINES.
13:25 a111 Logged on 2018-03-08 17:41 asciilifeform: mircea_popescu: the directly analogous to 'hong kong' algo would be (brace yerself) separate processes for ada and c-crapolade, connected via ipc (under a unixlike, prolly 'domainsocket'). because otherwise, they live in same process, and if c-crapolade is entrusted with making e.g. a valid adastring, it can lie about the length and hose the ada routine, or simply fandango over address space as c-crapolade is wont to, and so forth.
13:25 a111 Logged on 2018-03-08 15:46 mircea_popescu: http://btcbase.org/log/2018-03-08#1787216 << it seems rather, that first you should evaluate the http://btcbase.org/log/2018-03-08#1787207 and see if indeed it makes sense, or it's just the proverbial "first notion that formed in head upon quarter seccond's apprehension of $item" ; if indeed it is needed, legitimately, then the next step is to make a file handler that eats your file as you want it on one hand and emulates fg
13:25 a111 Logged on 2018-02-14 15:02 mircea_popescu: (this is the deep, and political meaning of the rowhammer class of attacks : it has rendered amazon's business entirely worthless ; much like basic physics make tesla be a paper-only usg venture, so now the last remaining flagship. all hopes now pinned on googles artificial "intelligence" [and i guess "quantum" wank].)
13:33 mircea_popescu http://btcbase.org/log/2018-03-08#1787295 << yes. a problem very much similar to raising a middle class girl in such poverty of stimuli she can't then cut it on her own, once off father's seclusion tank.
13:33 a111 Logged on 2018-03-08 17:51 phf: lisp failed to even identify the need for ffi, when it was standardized i don't think there even were lisps that could or needed to ffi, since they all ran on lisp machines
~ 15 minutes ~
13:49 mircea_popescu http://btcbase.org/log/2018-03-08#1787303 <<< the problem here is very much like the problem of http://btcbase.org/log/2018-01-31#1778809 : you look at item, call it "c machine" and think anachronistically it stands the test of time. it does not -- at the time lisp failed to properly specify, what became retrospectively "the c machine" did not exist yet ; and a different outlay of powers in the field / attractors on the table
13:49 a111 Logged on 2018-03-08 17:55 asciilifeform: trinque: lisps on cmachine may or may not have ever 'lived'. rather than 'killed'. extremely hostile environment , where the conventions of civilized life are unavailable , os api passes unbacked promises around, barfs mid-op in midst of arbitrary ops without any error handling, etc
13:49 a111 Logged on 2018-01-31 14:37 mp_en_viaje: there's absolutely no cause oher than historical accident that real ended at 16 bits.
13:49 mircea_popescu might've made it be different today.
13:50 asciilifeform re the process separation -- it is moar of a cardboard wall than actual wall, yes. i for one still prefer cardboard to no wall at all between toilet and kitchen.
13:50 mircea_popescu contrary to the claims "lisp is not a perl, commonlisp is a specification not an implementation" in thee 1984-1994 interval lisp was exactly a perl. it didn't have to be a perl, though, it could have been well specificed from the beginning.
13:51 mircea_popescu asciilifeform you mean process vs hardware ?
13:51 asciilifeform (nobody's getting actual separation without separate machines, no.)
13:51 asciilifeform aha
13:51 mircea_popescu yeah, i can see the argument.
13:59 asciilifeform re the standard ffi, the lispm folks, as i understand, saw it as an instance of http://trilema.com/2016/unicode-is-fucking-stupid-the-definitive-article/#selection-187.80-187.399 , and i'm not convinced that they were wrong
↖
14:02 asciilifeform the only 'common language' one can find to talk to bacteria -- is bleach.
↖
14:03 trinque sounds like the way you end up Emperor Norton of California
14:03 trinque or what was it, of USA, the world, something
14:04 trinque a sort of allergic refusal to engage the world strategically as it is, battle already won in mind.
14:08 trinque not that the world gives happy endings down any branch; we'd perhaps be loathing what lisp might've become as much as java, had it "won"
↖
14:10 asciilifeform the correct algo, i suspect, is not to lament an abstract 'lisp' that 'became' wrong thing, but to simply confiscate whole stack from the heathens.
14:11 asciilifeform (neither easy, not quick, nor cheap, but whoever lives to the end of this, will not ask after 'ffi' etc)
14:20 asciilifeform trinque : out of curiosity : do you see, e.g., asciilifeform's amputation of all microshit #ifdef... crapola from trb, as mistake ? 'fails to strategically engage the world-as-it-is' ?
14:21 asciilifeform just how near to the level of monkey, are men to drop, to 'engage' with monkeys ?
14:21 trinque apparently low enough to learn c++, which I refused to lift into my head nearly all my career until trb.
14:27 ave1 http://btcbase.org/log/2018-03-08#1787233, good point, I have been thinking of other ways. The basic use case is to have a way to test the key generation (and other operations) in a repeatable way. With a live random generator this is impossible. Also time is a factor here, with a correctly primed file, I can generate a key in a second, without it can be a process that takes from 6 seconds to an hour (empirically determined)
14:27 a111 Logged on 2018-03-08 15:46 mircea_popescu: http://btcbase.org/log/2018-03-08#1787216 << it seems rather, that first you should evaluate the http://btcbase.org/log/2018-03-08#1787207 and see if indeed it makes sense, or it's just the proverbial "first notion that formed in head upon quarter seccond's apprehension of $item" ; if indeed it is needed, legitimately, then the next step is to make a file handler that eats your file as you want it on one hand and emulates fg
14:27 asciilifeform to learn per se is harmless, supposing you're decently good at mental compartmentalization. asciilifeform for instance worx with high-pressure liquishit from undocumented guts of winblowz kernel, ~daily. perhaps it is lethal eventually, but observe, not yet dead. ( would you say it has visible effect on style of asciilifeform's publications to date ? would you know, re the winblowz, if asciilifeform did not confess it ? )
↖
14:27 asciilifeform ave1: there you are. did you ever read my ch8 ? is the item you are trying to make, identical to the one seen there ?
14:28 BingoBoingo !~ticker --market all
14:28 jhvh1 BingoBoingo: Bitstamp BTCUSD last: 9305.68, vol: 24414.25876059 | Bitfinex BTCUSD last: 9290.1, vol: 71107.39635767 | Kraken BTCUSD last: 9306.0, vol: 13371.4859402 | Volume-weighted last average: 9295.54552919
14:29 ave1 I've just read it, the function in the eucrypt code works similar
14:30 asciilifeform iirc diana_coman's also inits the tty, in a FG-specific way
14:30 trinque asciilifeform: I don't think you take my meaning. Killing bacteria is a fine thing if you do it; the lisp guys didn't. Another strategy is engulfing bacteria and making it part of your digestive process, with all the added complexity and risk that entails.
14:30 ave1 The discussion revolved around the functions that use the random number generation code in eucrypt.
14:30 asciilifeform ( on my systems i init the FG's tty at boot, so i did not bake it into ffacalc )
14:30 trinque I can see the merits of the latter, and why it ends up winning.
14:31 asciilifeform trinque: the interesting bit is that the bolix folx did 'make gut bacteria', they had a c and even fortran compiler shipped with the box
14:32 asciilifeform was actually quite a feat, all of the various compilers were able to freely exchange data structures
↖
14:32 asciilifeform and without losing memorysafety
14:32 asciilifeform ( phf , i suspect, knows more re: exactly how this was built, than i , if yer curious re detail )
14:33 ave1 http://btcbase.org/log/2018-03-08#1787249, this also, although I can work with /dev/urandom just fine. I just needed to turn remove the tty call.
↖
14:33 a111 Logged on 2018-03-08 16:33 mircea_popescu: ave1 is your dancing around the entropy problem with files etc driven by the fact you don't have a fg, incidentally ?
14:36 asciilifeform ave1: the reason i wrote my mechanism as seen in ch8, is not only that it was the simplest physically possible that i could think of , but that i regard any invocation of randomola where i cannot substitute a known value for testing, as a serious problem -- how is one to know that the proggy actually does what is claimed with the randomola ? rather than, e.g., 'lose' some (or all of it) along the way and take a constant as the 'rando
14:36 asciilifeform m' .
14:36 asciilifeform ( and, importantly, must be able to substitute without rebuilding the proggy )
14:40 mircea_popescu http://btcbase.org/log/2018-03-08#1787344 << this is wrong, not because of the bacteria, mind you, but because it fails at the paramount task of language, which is to articulate the model.
14:40 a111 Logged on 2018-03-08 19:02 asciilifeform: the only 'common language' one can find to talk to bacteria -- is bleach.
14:41 mircea_popescu when i respond to random idiots in here i don't do so ~because of the idiots~. i do so because the statement is valuable and important to people who aren't the idiots. much like flint makes fire not because of the shitty whatever that hits it, but because ~IT~ is flint.
14:41 asciilifeform that's the problem tho, if you could articulate a useful model of the c shitsoup, it would not be shitsoup, but merely another civilization with which one could potentially make commerce, like with japan say
14:41 asciilifeform but it's a fungus.
14:41 asciilifeform how to talk to fungus?
14:42 mircea_popescu it's not a matter of articulating c "in such a way as to make it a civilisation", it is a matter of articulating WHY it isn't.
14:42 mircea_popescu the task isn't to tell black chick how to code, but why she can't.
14:42 mircea_popescu note that biology isn't "explaining bacteria to itself"
14:42 mircea_popescu it's "explaining bacteria to mp".
14:43 * asciilifeform does not, then , disagree. but thought that orig thread was re 'they did not make a standard ffi to talk with c-land, and thereby perished'
14:43 mircea_popescu but it is!
14:43 mircea_popescu "they did not make a standard ffi; and thereby perished." , no purpose involved, forget "to", there's no to.
14:44 mircea_popescu but they missed the opportunity to make sense of themselves, for themselves. and if this specifically didn't kill them, the root it belies i reckon nevertheless did.
14:44 asciilifeform so can haz a hypothetical contrary ? i.e. how would it have looked to have 'standard interface' to a thing which itself has no intention of obeying any standards ?
↖
14:44 mircea_popescu this intention'd have had to come under examination.
14:45 mircea_popescu mind that there's two classes of response to "why ... ?" : one is "because..." and the other is "i never thought of this before...". there's no "topurpose..." in there notably, there's just the two, and one of the two will always be the case.
14:46 ave1 asciilifeform, yes I concur. Will work more on it tomorrow... (now back to reading)
14:46 mircea_popescu and i very much suspect any man who ever answered a why with "so that...". because really now.
14:46 asciilifeform if you ask a c programmer why he thinks it is acceptable to define , e.g, string, as 'pointer into a potentially infinite row of crapola, maybe someone forgot the null terminator' he will ~always bring back answer of 'stfu, terrorist' (i.e. 'never thought about it, and don't intend to')
14:47 mircea_popescu so good for him.
14:47 mircea_popescu if i ask hanbot 's pitts anything they always say "woof", also. great pits they are.
14:49 asciilifeform unfortunately wrong animal : c programmer is not a pitt, but moar of a caged mouse, ~incapable of toilet training, will leave trails of droppings where he goes.
14:49 mircea_popescu you definitely can train mouse. it's, very amusingly, more intelligent than cat.
14:49 asciilifeform afaik this particular trick cannot be taught to mouse. but asciilifeform is not an expert.
14:50 mircea_popescu (horse also more intelligent than dog, in turn because auroch more intelligent than old wolf, and in general, the herbivore than the preditor. somehow.)
14:50 asciilifeform predator is lazy.
14:50 asciilifeform ( even in human it is very difficult, perhaps impossible, to distinguish lazy-intelligent from stupid )
14:50 mircea_popescu the alternative explanation being that preditor eats protein, herbivore carbs. brains work on carbs.
14:51 mircea_popescu in this view, that you can teach parrot "to speak" and it ALSO eats fruit... well... not coincidental.
14:56 mircea_popescu http://btcbase.org/log/2018-03-08#1787348 << depends entirely who'd it won it with, i guess. certainly smgl winning with naggum didn't work out (though a good argument can be brought that's not nearly what happened there).
14:56 a111 Logged on 2018-03-08 19:08 trinque: not that the world gives happy endings down any branch; we'd perhaps be loathing what lisp might've become as much as java, had it "won"
14:56 mircea_popescu but if you can't even answer "who's the java guy" gives it little hope.
14:58 mircea_popescu ave1 i will say the "test harness for rsa/etc" is a very solid usecase for file-fed fg-emu.
14:59 mircea_popescu http://btcbase.org/log/2018-03-08#1787356 << and yet we know in case of satoshi. there's at least one lost intellect of great promise in that cemetery.
14:59 a111 Logged on 2018-03-08 19:27 asciilifeform: to learn per se is harmless, supposing you're decently good at mental compartmentalization. asciilifeform for instance worx with high-pressure liquishit from undocumented guts of winblowz kernel, ~daily. perhaps it is lethal eventually, but observe, not yet dead. ( would you say it has visible effect on style of asciilifeform's publications to date ? would you know, re the winblowz, if asciilifeform did not confess it ? )
15:00 mircea_popescu notably, the question of "no wheelies on black ice without helmet" isn't decided on the basis of whether you survived ; but on the basis of whether anyone didn't.
15:00 asciilifeform in so far as anybody ever knew, there was not a second, nonwinblowz, side to shitoshi. microshit mind to the hilt.
15:03 asciilifeform i'd compare it to english -- harmless to learn for talking to folx on the net, but just about lethal as a mothertongue
15:03 asciilifeform even aside from shitoshi, historically i've found 'microshit as mothertongue' people to be ~instantly recognizable (from their output)
15:03 mircea_popescu certainly unstructured in a certain way.
15:04 asciilifeform ( primary symptom being http://btcbase.org/log/2016-01-21#1379603 )
15:04 a111 Logged on 2016-01-21 13:29 asciilifeform: 'if i make it what i think is the right size, it crashes!111'
15:04 mircea_popescu you know, incidentally, what is the old word for "' people to be ~instantly recognizable (from their output)" ?
15:04 asciilifeform 'know the fool by his open mouth' or how it went
15:05 mircea_popescu "engineer".
15:05 asciilifeform problematic, there were people convinced that e.g. beaver, is 'also engineer'
15:06 mircea_popescu yes, but this "poor mastery of book learnin', relying on endless tomes of tico brache measurements" thing -- very much what the engineer started off as.
15:06 mircea_popescu uncle al even has a portrait of three of these, making a super-unitary efficiency engine.
15:06 mircea_popescu they have a book on torque measurements an' errything.
15:07 asciilifeform there's a (long ago) quite famous ru short story satirizing this exact thing
15:07 asciilifeform i'ma have to translate it at some point
15:07 mircea_popescu by all means.
15:07 mircea_popescu !!up schmidty
15:07 deedbot schmidty voiced for 30 minutes.
15:09 asciilifeform ( for phf et al : http://lib.ru/koi/SHUKSHIN/upornyj.txt is the item , ftr )
15:09 mircea_popescu got a link to the al item handy too ?
15:10 asciilifeform mircea_popescu: not readily. he spent 20+yrs flaming perpetuum-mobilists, alchemists, aetherists, etc., will need a bit moardetail to remember which piece this was
15:11 mircea_popescu he was young, sent to write some article or w/e. the salient points were that this was a 2 stroke engine, and the doods were inferring power on the basis of torque but measured on a different circumference.
15:12 asciilifeform oh hm was this the 3stroke engine
15:13 mircea_popescu a yes yes, 3 stroke
15:13 mircea_popescu was amply discussed in logs, too, but like 2014.
15:14 mircea_popescu http://btcbase.org/log/2018-03-08#1787367 << indeed. the sort of items that gag me from lambasting the item ; though they're rarely held up as major points by the proponents.
15:14 a111 Logged on 2018-03-08 19:32 asciilifeform: was actually quite a feat, all of the various compilers were able to freely exchange data structures
15:15 asciilifeform lol all i found was http://btcbase.org/log/2017-07-30#1690897
15:15 a111 Logged on 2017-07-30 04:22 mircea_popescu: asciilifeform who had that great story about the three dorks in a garage inventing a super-efficient engine over 20 years of playing around throiugh the process of miss-measuring torque ?
15:15 mircea_popescu darn\
15:15 mircea_popescu honestly i'd re-read it, showed the signs of a great novelist in the rough. rather clemens-like.
15:17 mircea_popescu twas never found was it.
15:19 * asciilifeform will bbl.
15:20 mircea_popescu incidentally, mazepath.com is certainly something for the archiving.
15:25 mircea_popescu http://btcbase.org/log/2018-03-08#1787370 << hey asciilifeform mind sending our last remaining FG to this fine fellow ? we'll book it on teh goodwill line.
↖
15:25 a111 Logged on 2018-03-08 19:33 ave1: http://btcbase.org/log/2018-03-08#1787249, this also, although I can work with /dev/urandom just fine. I just needed to turn remove the tty call.
15:25 mircea_popescu ave1 send him an address.
15:32 asciilifeform mircea_popescu: absolutely, will send.
15:32 * asciilifeform however now really must go to town on $chores, so will genuinely bbl.
15:32 mircea_popescu laters
~ 57 minutes ~
16:29 mircea_popescu meditation upon http://btcbase.org/log/2018-03-08#1787343 yields the interesting result that problem spaces are not continuous. problem spaces are discrete, and there exists such a thing as problem spans.
↖
16:29 a111 Logged on 2018-03-08 18:59 asciilifeform: re the standard ffi, the lispm folks, as i understand, saw it as an instance of http://trilema.com/2016/unicode-is-fucking-stupid-the-definitive-article/#selection-187.80-187.399 , and i'm not convinced that they were wrong
16:30 mircea_popescu this then induces two possible errors in aproach. the situation where the solution is over-span, which we generally call "overengineered" ; and the situation where the solution is under-span, which is pluriously referenced as jwz's error, but is not substantially different from http://btcbase.org/log-search?q=spreading+works or the airplane that can take off, and flies well, but can't land.
16:31 mircea_popescu the architectural model is particularly useful : building 80% of an arch, or in general whatever sub-unitary percent of the arch will not result in something that stays up. the span must be exactly covered, because a sub-span arch, no matter how well done in the parts that are in fact done, will nevertheless collapse under the weight of the absent portion.
16:33 mircea_popescu in these terms the infantile "i only want to solve problem Y defined as 80% of the actual problem" readily shows its infantilism. good and well that you want to build an os without a socio-political model ; but what you want dun enter into this.
16:33 mircea_popescu and so on.
16:37 esthlos http://btcbase.org/log/2018-03-07#1787167 << got it, thank you for helping to beat the pantsuit out of me. now I'll shut up and be useful
16:37 a111 Logged on 2018-03-07 19:21 mircea_popescu: now less excuses, none of this "my pantsuit existence comes before the republic" ever again and more productivity. MUCH more productivity.
16:38 mircea_popescu i probably exaggerated ; but carry on in teh spirit an godspeed to you.
16:45 BingoBoingo !~ticker --market all
16:45 jhvh1 BingoBoingo: Bitstamp BTCUSD last: 9394.06, vol: 23214.80150952 | Bitfinex BTCUSD last: 9394.2, vol: 69094.786364 | Kraken BTCUSD last: 9374.8, vol: 12324.7337774 | Volume-weighted last average: 9391.88383926
~ 3 hours 37 minutes ~
20:22 mod6 In UTF-8 news, I've been working on a re-grind. There's a number of things I want to talk about, so I'm in the process of writing up a "blog" post on mod6.net about it.
20:23 mod6 Should have it posted in a week or less.
~ 16 minutes ~
20:39 mircea_popescu cool
← 2018-03-07 | 2018-03-09 → ↑

Random(trilema) | Download hourly DB snapshot | Get Source Code

Theme: Light | Dark | System Default