Results 1 ... 38 found in asciilifeform for 'fits in head'
dulapbot: Logged on 2019-12-27 03:02:05 asciilifeform: mike_c: i went with ultra-pedantic 'by hand' proofs, raher than sparkism, for the reason that sparkism, like other mecha-proof systems, aint 'free', the various nudges the compiler demands, conceptually 'weigh' something, and interfere w/ 'fits in head'.
thehorrors: I am not sure I fully agree with you. I think there are feedback loops and the clusterfuck that we witness is ultimately emergent. Okay, suppose a crypto client fits in your head. Still, the only people who can operate upon it meaningfully will be people proficient in software - to the point where they can actually appreciate the simplicity and more importantly - uphold it.
dulapbot: Logged on 2022-03-25 17:03:20 asciilifeform: signpost: asciilifeform finds fascinating the psychological tension where folx who 'identify as intellectual' are terrified of 'being kicked outta intellectuals' (1st and foremost by 'policeman in own head') and consequently buy into laffable Official nonsense by the megatonne. ( dunno if mats diagnosably fits in this group, but shows worrisome symptoms imho, what w/ linx to papers w/ 'freedom index'(tm) with straight
asciilifeform: signpost: asciilifeform finds fascinating the psychological tension where folx who 'identify as intellectual' are terrified of 'being kicked outta intellectuals' (1st and foremost by 'policeman in own head') and consequently buy into laffable Official nonsense by the megatonne. ( dunno if mats diagnosably fits in this group, but shows worrisome symptoms imho, what w/ linx to papers w/ 'freedom index'(tm) with straight
asciilifeform: mangol: observe that at no pt asciilifeform referred to 'purity'. but to 'fits in head', which is not about an abstract 'beauty' in any sense, but about conserving a very finite natural resource (brain cycles) -- i.e. complexity cancer in effect makes everyone stupider
asciilifeform: mangol: speaking moar generally of fits-in-head -- a good % of asciilifeform et al's softs could be readily rewritten in a fits-in-head scripting lang if one were to be baked.
asciilifeform: mangol: as for ada, asciilifeform uses a subset of the lang, compactly summarized in his ffa series, which imho fits in head rather well.
mangol: asciilifeform: unless you're exhausted from yesterday's log, would be nice to hear your latest thinking on fits-in-head solutions vs big systems like CL and Ada. do you have an up to date blog post on the topic?
asciilifeform: meanwhile in heathen lulz, 'code that fits in your head' 'Addison-Wesley Professional; 1st edition (November 15, 2021)' (some c# rubbish, seems)
asciilifeform would naively imagine that the possibility of a working (and fits-in-head) solution to this ~century-old problem would excite folx. but nah most would rather play with shitcoins iguess
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-10-04#1060717 << lessee if asciilifeform can make this clear. for final solution to the ddos problem, it is necessary for ~all~ possible parts to run ~always~ in worst-case time. a la ffa. this is the only way to rule out adversarial 'surprises'. and makes for 'fits-in-head' mechanical simplicity.
asciilifeform: apeloyee: i get the intent (same as punkman's rsa idea more or less) but again the fits-in-head constant-time code does not exist.
cgra: asciilifeform: the last time i spent time following your ffa curriculum, i felt a need to go a full cycle before returning to ch1, for a review, and until then gaining a proper grasp. now figured must've been similar for a writer, too... fits-in-head after all
asciilifeform: ( could even make solid argument for 'bitcoin still not exists' because fits-in-head provably correct client not yet written, for that matter. )
asciilifeform: cgra: correct. adding specialcases will only make the thing weigh more and even less (if can imagine this) fits-in-head than the existing horror.
dulapbot: Logged on 2021-07-05 20:56:16 mats: its nuts really, outfits like binance have done trillions usd equivalent in trades just this year, without physical headquarters/entities or even bank accounts, instead using stablecoins and partnerships with fiat payments processors
mats: its nuts really, outfits like binance have done trillions usd equivalent in trades just this year, without physical headquarters/entities or even bank accounts, instead using stablecoins and partnerships with fiat payments processors
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2021-05-13#1036261 << when read 'lions' commentary on unix 6th ed.', formed distinct impression that ~100% of the initial appeal of the thing was 'fits in head'.
asciilifeform: more or less the canonical illustration for the antithesis of asciilifeform's 'fits in head' design philosophy.
asciilifeform: 'opensores' w/out fits-in-head is a demented concept of 'freedom'. like yer 'freedom' to jet fart through your arse and fly across atlantic. ('no one glued you to the ground! you have this freedom!')
asciilifeform: take e.g. lazy evaluation. (in some esp. horrifying prog langs, is standard!) when is it actually a Good Thing from the pov of 'fits-in-head' ?
asciilifeform: while this can be satisfying for the prisoner, it makes for a rather unpleasant experience for anyone who actually gives a fuck re 'fits-in-head' or quality in general.
asciilifeform: the non-negotiable starting points are 1) purge the fits-in-no-head liquishit 2) give attributability to all changes, and give a way for people to attest to having read & understood an artifact.
asciilifeform: newland0: the gnarl of traditional gpg , and the garbage hardware it runs on, are problems that i've worked on for many yrs. the former, i am attacking by slowly baking a fits-in-head replacement ; against the latter, built a RNG , and continuing to work on yet-other irons even nao.
snsabot: Logged on 2020-07-24 13:17:34 asciilifeform: discovered many yrs ago that you can 'troll' the vermin simply by writing fits-in-head proggies that actually work and use 0 'trend' garbage. even if not accompanied by any human-readable political statement. is why even sumthing like trb will ~never be mentioned in the heathen pits (in any context other than 'them terrorists..')
asciilifeform discovered many yrs ago that you can 'troll' the vermin simply by writing fits-in-head proggies that actually work and use 0 'trend' garbage. even if not accompanied by any human-readable political statement. is why even sumthing like trb will ~never be mentioned in the heathen pits (in any context other than 'them terrorists..')
asciilifeform: notably absent is any sign of (c) -- buyers who give half a fuck re auditability / 'fits in head' and buy what actually worx, per own grasp.
asciilifeform: when the paper 'wealth' turns to toilet paper, they will have what they managed to physically build -- railroads, mines, cardboard ghost towns, etc.; and won't have, what didn't build (native 'fits in head' cpu arch; native os; crystallography labs that don't simply pull coordinates outta rng to fill paper queue, and could go on) and no more/no less.
asciilifeform: mike_c: i went with ultra-pedantic 'by hand' proofs, raher than sparkism, for the reason that sparkism, like other mecha-proof systems, aint 'free', the various nudges the compiler demands, conceptually 'weigh' something, and interfere w/ 'fits in head'.
snsabot: (trilema) 2018-01-17 asciilifeform: thing is, a sparkism is not a substitute for a 'fits-in-head'-correct routine.