log
147 entries in 0.572s
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
trinque: makes traversing lots of relationships at once harder to fit in head
jurov: http://btcbase.org/log/2016-12-06#1578252 << as long as they fit into the head (like alexandria), fine for me. why are you asking? ☝︎
mircea_popescu: Framedragger re automation angle - i dunno, i suppose varying amounts of elbow grease could be employed, entirely as a mechanical gearbox, in lieu of actual automation. just it doesn't fit in my head - the same people who wouldn't read ten words would then go through the motions, orders of magnitude more complex, of making screenshots etc ?
jurov: http://btcbase.org/log/2016-11-11#1565865 layering "expressive" abstractions is not the only way to fit thigs into head. ☝︎
asciilifeform: stupid folk cannot resist the urge to actually try an' cut the world to fit in stupid head.
asciilifeform: anyone who followed along and was able to (or not...) to fit-in-head, please let me know.
mircea_popescu: the part where you can spec things that don't actually fit in head. for instance, i can specify "a good fuck", or "an acceptably behaved slut" or "a boring housewife"
asciilifeform: let's revisit thread - what part of 'fits in head, and speccable, or doesn't-fit-in-head, unspeccable, t. non d.' does mircea_popescu disagree with ?
asciilifeform: c++ does not fit in head.
mircea_popescu: on the other hand, the "crypto-contract", fit in head or not, is just an avatar of lazy thinking, much like any amulet. ignorant nonsense and no more.
mircea_popescu: if you can't say what it is, you have no fucking idea what it is, and it's not currently fit in your head.
trinque: and so then your program will never fit in your head
mircea_popescu: you don't fit in your own head.
trinque will try to fit this in head after a cycle in his regeneration pod
nubbins`: no kidding, i can only fit one broken contract in my head at a time
mircea_popescu: but congrats on being the nth lazy thinker who has a simple theory in his head, cut ~80% of the facts or so that fit it, and is ready to reddit about the matter.
mircea_popescu: forget fits in head, this doesn't even fit in ass.
jurov: arbitrary text transformations like you dream of do not fit in head
danielpbarron: heh, my list was getting a little too long to fit in my head so to speak
punkman: does ChaCha fit in head? it did fit in those tweets
thestringpuller: problem arises when people can barely fit 3 bits in head before wandering off.
thestringpuller: the rule of thumb "fits in head" helps with the notion of owning device which when understood could "fit in head".
mod6: was tinyscheme a beter alt than minischeme simply because of its size and ability to fit in head?
thestringpuller: yes yes. "fit in head"
asciilifeform: punkman: when the standard does not fit-in-head and yields 200kB of heathen code - it can go die
asciilifeform: how does altering whitespace do anything for fit-in-head.
ben_vulpes: http://log.bitcoin-assets.com/?date=21-01-2016#1379618 << dunno about this. laborious for certain, and would make the whole thing 10x more likely to 'fit in head'. ☝︎
mircea_popescu: how's it gonna fit in your head ?
phf: my impression of traditional education is that when everything doesn't fit in your head, you continue cramming it, until in the flash of insight, a way of restructuring the tree comes to you. in this case notation allows for a caching mechanism. somewhere on a blackboard there's a cluster of meaning, that you no longer have in your head, because head is full, so having that cluster contain higher density of information allows for a more
asciilifeform experimented with erlang at great length, on multiple occasions, but cannot bring himself to use it for anything on the battlefield because 1 ) ONE IMPLEMENTATION and 2) IT DOES NOT FIT IN HEAD
phf: doesn't cathoic church has a deedbot of some sort? i'm more familiar with orthodox system, but presumably they come out every once in a while to updates for canon and the catechism, "we found the previous belief that 10 angels can fit on a head of a needle invalid, and on the account of recent scientific developments in nanotechnology, we are now convinced that the correct number is in fact 17" sort of thing
ascii_field: program verification is 1) provably unsolvable in the general case 2) to the extent it adds complexity and overall logical mass and subtracts from fit-in-head-ability, it is ~an evil~
assbot: Logged on 15-09-2015 14:48:09; mircea_popescu: http://log.bitcoin-assets.com/?date=14-09-2015#1273976 <<< wwwwait. they fit in head ?