log☇︎
180 entries in 0.75s
ossabot: Logged on 2019-10-08 17:45:48 asciilifeform: lobbes: speaking strictly for self -- 'quick' jobs are quick because they (incl. 'fit problem in head' phase) can be fit into a single slot in b/w salt mine idjicies. whereas things large enuff as not fit, much moar friction. (erry time must load it in... again, again, ... )
asciilifeform: lobbes: speaking strictly for self -- 'quick' jobs are quick because they (incl. 'fit problem in head' phase) can be fit into a single slot in b/w salt mine idjicies. whereas things large enuff as not fit, much moar friction. (erry time must load it in... again, again, ... )
snsabot: Logged on 2019-09-25 21:52:01 mircea_popescu: for this reason any imanentization (ie, mapping of concepts into reality) will revolve around a "paradigm" / wilful blindness of some kind. "how could i not think of that" is always lulzy -- if you thought of everything your head would explode. and that's a literalism : if you somehow fit all states of its own emptiness into a glass it'd go boom.
snsabot: Logged on 2019-09-25 21:52:01 mircea_popescu: for this reason any imanentization (ie, mapping of concepts into reality) will revolve around a "paradigm" / wilful blindness of some kind. "how could i not think of that" is always lulzy -- if you thought of everything your head would explode. and that's a literalism : if you somehow fit all states of its own emptiness into a glass it'd go boom.
mircea_popescu: for this reason any imanentization (ie, mapping of concepts into reality) will revolve around a "paradigm" / wilful blindness of some kind. "how could i not think of that" is always lulzy -- if you thought of everything your head would explode. and that's a literalism : if you somehow fit all states of its own emptiness into a glass it'd go boom.
asciilifeform: PeterL: in order to actually attempt to 'fit in head' the barbaric protocol, i wrote bot on naked sockets, instead of using whatever-lib
asciilifeform: diana_coman: i'ma go to tea, and perhaps during this either someone deigns to cut the binomial into pieces that fit in asciilifeform's head, or will fit by itself, or not.
asciilifeform: about 2000 loc of (somewhat macroistic) nasm atm, but still within bound of 'fit in head' imho
mp_en_viaje: to put it in other terms -- if this fit in head, it'd be broken. the ~mechanism~ is supposed to be fit in head ; not the data.
lobbes_field: I.e. If, say, spyked writes a better cl-www-tron I'd still want to be able to fit the thing in my head. So any work I do toward 'building my own' will only aid me in that task (hence relatedly, I suppose, why 'build yer own v-tron' is a commonly recommended exercise).
asciilifeform: all of this, is to 1) make easier to 'fit in head' the flow of a pehtape by eyeballing 2) reduce cachemiss sidechannel chatter
bvt: it's just that if components fit in head, imo alpha/beta does not apply
billymg: to describe my overall thinking/strategy with mp-wp, i would like to 1) rip out everything not absolutely necessary for the basic functions of blogging/moderating 2) after arriving at the bare minimum, fit what's left in my head to then evaluate ways to simplify/improve/rewrite
a111: Logged on 2019-03-13 15:22 mircea_popescu: asciilifeform dood was quite unsophisticated, had this very... well, fundamentally a peasant's worldview, deeply optimistic and over-inclined to fit-in-head.
BingoBoingo: <mircea_popescu> asciilifeform dood was quite unsophisticated, had this very... well, fundamentally a peasant's worldview, deeply optimistic and over-inclined to fit-in-head. << Well... "Dallas"
mircea_popescu: asciilifeform dood was quite unsophisticated, had this very... well, fundamentally a peasant's worldview, deeply optimistic and over-inclined to fit-in-head. ☟︎
asciilifeform: ( ftr linus is pretty lulzy example of 'uses gpg' -- erry single time signed MB-weighing ball of ??? that in no conceivable way he could have read or fit in head )
mod6: Maybe we're talking past eachother a bit here. Anyway, I don't know much about these things. I'm kinda learning bit by bit as I go... it all certainly doesn't "fit in head" or whatever yet.
mircea_popescu: i'd like a purpose made item, fit in head as such, can keep for later.
asciilifeform: this is merely 1 example of 'this program MUST fit-in-head, above all else.'
asciilifeform: but if author failed to consciously commit to this constraint, in general the resulting work will ~never~ fit-in-head.
asciilifeform: verisimilitude: 1st step is to actually impose on yerself the constraint, 'what i am writing ~is to fit in my head~. then can proceed to help other folx fit into ~theirs~.
asciilifeform: re what means 'fit in head'.
asciilifeform: if system does not 'fit in head', it does not even make sense to ~pose the question~ re whether it is bug-free.
asciilifeform: is mircea_popescu's angle that 'it is pointless to try an' model civilizations, even if you had enuff data to work with, it won't fit in head' ? or that 'this 1 model suxx'
mircea_popescu: machine bitness has everything to do with it -- 16 bit machine only accesses memory you can fit in head.
mircea_popescu: there's no rule they're short enough you'd consider them fit in head.
asciilifeform: prattled for 30 yrs re 'four freedoms', but forgot '-1st' -- 'to fit the thing in head'
asciilifeform: a 'graduate' of ffa (i.e. fella who ~read~ the thing, as it was intended to be read, and fit-in-head) will have no trouble writing his particular variant of correct prime generator for his particular type of key.
asciilifeform: since we're refreshing chalkboards in war room, i'ma take the chance to summarize current level of ffaism. currently exponentiator is mature ( aside from the consideration where http://btcbase.org/log/2018-12-28#1883687 , i.e. it's mature when ~other~ thinkingpeople have fit it into head and concurred ) -- i.e. runs fast enuff for many battlefield applications ☝︎
mircea_popescu: asciilifeform the discussion spawned from me going "wtf is the POINT of even counting to 255, nobody can fit such in head" that then merged into "how do you know ?" which resulted in the predictable "i wonder how the fuck does ~he~ know"
asciilifeform: http://btcbase.org/log/2018-12-26#1883211 << lol, it'll hang where the jp hiragana thing previously did ( the latter i have fit-in-head, dunneed nomoar.. ) ☝︎
mircea_popescu: ie, we're straight back to a http://btcbase.org/log/2018-12-01#1877543 : when it comes to flight, the strategy must include separating the egg laying part out of the airplane. whereas when it comes to fit-in-head or what have you, elegance, self-containedness, the egg laying part must be included in the airplane. ☝︎
a111: Logged on 2018-12-05 06:32 ben_vulpes: http://btcbase.org/log/2018-12-04#1878282 << still quite a bit of value in sqlthings in managing fungible programmers. in the same way that common lisp fails at making cogs, mmmapped custom $whatever can be marvelously conservative of time and space, fit entirely in head, and also be anti-cog.
ben_vulpes: http://btcbase.org/log/2018-12-04#1878282 << still quite a bit of value in sqlthings in managing fungible programmers. in the same way that common lisp fails at making cogs, mmmapped custom $whatever can be marvelously conservative of time and space, fit entirely in head, and also be anti-cog. ☝︎☟︎
mircea_popescu: asciilifeform and for the puyrpose of fit in head, do you agree 2.4k pics with margins better than 600mb flatpile ?
asciilifeform: can only rule this out once 'fit in head' yes
asciilifeform: gotta actually exist ( and 'genius' btw is the fella who makes the 'fit in 1 head' fit in 9000. )
zx2c4: Well of course everyone prefers simpler proofs that fit in the head
asciilifeform: zx2c4: weren't you here last yr for a 'the technical cannot be separated from the political' and 'if program+all accessories doesn't Fit In Head, it is garbage, not proof' thread ?
asciilifeform at one point tried to systematically fit in head danielpbarron's theology, but it appears to be at least as complicated as ffa; broke teeth
asciilifeform: and 'fits in head' demands fit-in-page-preserving-indentation.
asciilifeform: if, incidentally, somebody runs across the quasi-mythical src of the old attempts, potentially could decruft/fit-in-head . so plox to write in if find.
mircea_popescu: we ~needed~ a republican crc32 anyway, it's useful and important, chapter head exactly like "we need a hash" or "we need a ffa", and i was aware extant code is not fit for pitching.
ave1: spyked, nice implementation, so far the lispm code seems to fit in my head!
mircea_popescu: no agreement is sought. not like we're packing a cinematic capsule for mars and can only fit one removed head.
mircea_popescu: hanbot, hey, that's what a good variety speak is for, fit more in head.
mircea_popescu: usg trying to leverage the fact that idiots stick together whereas intelligent people jwz, into this situation where they keep shitting turds larger than what you can fit in head and so "one man's guess is as good as any other's" and "we don't actually know it's a scam" hurr durr.
asciilifeform: in what other way does anything fit-in-head ?
asciilifeform: it is to this day my belief that a comp that dun fit-in-kid-head is broken by design.
apeloyee: i also need to understand/fit in head/convince myself of the line re "extends to any N bit register". << schoolbook addition method shows that the MSB and carry-out depend only on MSB of operands and the carry-in to the most significant place; the carry-in can be derived from result's MSB and the summand's (as their sum modulo 2, aka xor), thus the register width doesn't matter
a111: Logged on 2017-12-05 21:32 apeloyee: I'm still curious what gcd there will be. I admit defeat regarding the binary GCD I posted earlier - after trying to make an extended GCD out of it, it ballooned to 100+ LOC, and it doesn't work. Meaning it doesn't fit in head... (BTW the orginal code snipped I posted has a mux which always picks wrong input)
apeloyee: I'm still curious what gcd there will be. I admit defeat regarding the binary GCD I posted earlier - after trying to make an extended GCD out of it, it ballooned to 100+ LOC, and it doesn't work. Meaning it doesn't fit in head... (BTW the orginal code snipped I posted has a mux which always picks wrong input) ☟︎
ben_vulpes: i also need to understand/fit in head/convince myself of the line re "extends to any N bit register".
ben_vulpes: i will admit to still attempting to fit in head the deduction of carry and borrow algo
mircea_popescu: digital particuarly good fit too, because usual problem with mirrors is "your head won't fit in F". but a ccd will.
asciilifeform: the other problem is that prime constructor proof may or may not fit-in-head. infineon's method probably seemed correct to various folx.
asciilifeform: meanwhile ( expert entomologists only ! ) in breathtaking idiocies, https://archive.is/BLndG << anything, ANYTHING but fit-in-head!11
mircea_popescu: this new item is to my eyes fundamental pillar of "fit in head", because a thoroughly well understood mechanism can then be relegated to background and built upon.
asciilifeform: incidentally in case it weren't obvious, much bloatier rsatrons than the one contemplated in ffa, fit in asciilifeform's head -- e.g. montgomery mult, barrett, various war crimes in that vein
asciilifeform: it does not fit in my head, and i am not convinced that the folx who claim that it fits into theirs, ain't lying
asciilifeform: but my aim is to write an rsa such that, yes, no one can be considered numerate if it does not fit in his head.
asciilifeform: the process is 'must fit in head'. for so long as item fits in head, it is demonstrably solving the stated problem ( which, unsurprisingly, must also fit in head as a statement )
a111: Logged on 2017-08-31 05:15 ben_vulpes: "oh dear, i really need some help here. this javascript app is so completely asynchronous that i can't hold it all in my head at the same time." "didja design it to fit in your head?" "no, i didn't really have time for that." "didja...write tests for it?" "no, definitely didn't have time for that" "well, it looks like you're going to have to find the time to painfully debug it by hand without any of the
ben_vulpes: "oh dear, i really need some help here. this javascript app is so completely asynchronous that i can't hold it all in my head at the same time." "didja design it to fit in your head?" "no, i didn't really have time for that." "didja...write tests for it?" "no, definitely didn't have time for that" "well, it looks like you're going to have to find the time to painfully debug it by hand without any of the ☟︎
asciilifeform: trinque: the things that were not designed with fit-in-head, fit in NO head.
trinque: asciilifeform: it is because of the size of your head that the problem must fit in it, neh?
asciilifeform: spyked: ~any~ unanticipated behaviour of your program, is proof that it did ~not~ fit in your (the author's!) head
a111: Logged on 2017-07-18 22:41 mircea_popescu: for instance : alf gets so livid when certain classes of events occur because they contradict assumptions he's made upon which he built the particular head-fitter he uses. they'd better hold, or else the whole thing is in danger. specifically : a lot less could be fit in head.
asciilifeform: it does not fit in any head because it is rubbish, specifically constructed to be difficult to analyze, but not by virtue of this any more secure in any sense you might care about
mircea_popescu: for instance : alf gets so livid when certain classes of events occur because they contradict assumptions he's made upon which he built the particular head-fitter he uses. they'd better hold, or else the whole thing is in danger. specifically : a lot less could be fit in head. ☟︎
whaack: i'm not advocating one doesn't make an effort to learn, I'm just pointing out that the material covered does not "fit in head" (as alf puts it) very easily and thus the main thing gotten from that book, for me at least, is the deep complexity involved with some of these schemes
a111: Logged on 2017-06-20 14:43 mircea_popescu: sn0wmonster you're not here to learn. you're here to try and bludgeon the world into a shape your head may fit. this is the opposite of learning. learning is when you change.
a111: Logged on 2017-07-07 15:03 mircea_popescu: this pretty much sits at the core of the whole dispute. by "fit in head" tmsr simply means "do not engage irrelevant complicacy". complicacy serves as a term of art here, to denote things that are constructively complicated, as opposed to the naturally complicated. what your woman means when she speaks is complicated ; but marriage is complicacy.
mircea_popescu: this pretty much sits at the core of the whole dispute. by "fit in head" tmsr simply means "do not engage irrelevant complicacy". complicacy serves as a term of art here, to denote things that are constructively complicated, as opposed to the naturally complicated. what your woman means when she speaks is complicated ; but marriage is complicacy. ☟︎
mircea_popescu: sn0wmonster you're not here to learn. you're here to try and bludgeon the world into a shape your head may fit. this is the opposite of learning. learning is when you change. ☟︎
asciilifeform: phf: the thing i repeatedly caution folx against, is to do anything that might result in the existence of vpatches which require tools ~other than v~ to fit-in-head/operate on.
erlehmann: system does not fit in head as easily
asciilifeform: the actual problem is that they do not fit-in-head.
Framedragger: code can't scroll horizontally, breaks too many things. e.g. visual selection of blocks. needs to literally-fit-in-head horizontal-wise
mod6: and that's the main thing. i really care about trying to fit it in head, as opposed to "compiler" concerns at this time with ffa. however, my other little sample shits i've been trying to make are probably going to go a lot better now that i have a 'sane' environment.
mircea_popescu: the whole "don't fuck up or i'll beat you" mechanism exists ~specifically because~ the whole array doesn;t fit in my (or anyone's) head.
mircea_popescu: http://btcbase.org/log/2017-04-28#1649528 << it is avoidable as a matter of fact. i have by now built an item that is too complex to fit in my head. i call it $harem for convenience, but it's a set of girls who do things on the basis of rules which they were at some point in their girly youth illo tempore been beaten / screamed at for. ☝︎
a111: Logged on 2017-04-28 21:14 asciilifeform: the cost of using an item that does not fit in head, is essentially the cognitive equivalent of curl liquishit | bash .
asciilifeform: the cost of using an item that does not fit in head, is essentially the cognitive equivalent of curl liquishit | bash . ☟︎
asciilifeform: http://btcbase.org/log/2017-04-28#1649464 << gotta understand the principle : if martians landed tonight, and fixed, somehow, all of the bugs in openssl, and god signed off that there are no more -- openssl will STILL be a turd, because does not fit in head ! ☝︎
mircea_popescu: i will say, people tend to be amazed at what can fit in a head once proper trees are constructed for the fitting.
asciilifeform: the compiler is now gargantuan. and neither it, nor the binaries disasmed, 'fit in head.'
asciilifeform: really reduces to 'any system that doesn't fit in head is trivially thompsonized.'
phf: asciilifeform: you introduce gcc, userland, etc. in the mix already. so either the whole system must fit in head, or else it's not an important prereq for you
asciilifeform: and therefore in order for the 'find trusted auditor' to have MEANING, the item being audited must fit-in-head.
mircea_popescu: there is no good solution to this problem, but small codebases aka fit-in-head is a very strong paleative, and to my mind its chief merit comes from just this.
asciilifeform: 'At one point in time I reviewed ALL CL codebases.' << d00d read & fit-in-head all of macsyma ? i'd luv to see.
asciilifeform: (it remains to be seen if the thing had ever, or will ever, fit entirely in any head)
asciilifeform: in actual practice, gigantic turds take eons to fit in head.
trinque: one moment "nobody can fit c machine in head" and the next "anyone can c puny human!1!1!!"
asciilifeform: i dunno that either fit anything at all in head
mircea_popescu: this being the difference between a technology company like apple and a media company like yahoo, aka microsoft : the former actually fit gcc / their erstwhile competition in head. the latter just blather on in the hopes the holy paper clip will help with the printing press.
asciilifeform: mircea_popescu: basic fit-in-head
mircea_popescu: this is the very important point here - every feature in the toolchain makes programming easier but ~everything else~ (generally here referred to "fit in head" but easily expanded to writing correct tests, maintaining, even KNOWING WHAT BLEW UP when something blows up!) much much harder