log☇︎
85100+ entries in 0.048s
asciilifeform: in order to ~return~ such a string, a place other than the stack is required to store it. ( to grasp this, gotta visualize stack frame. )
mircea_popescu: but the model here discussed DOES permit very long strings.
asciilifeform: mircea_popescu: problem , if one want to call it one, is that the standard explicitly gives a knob for getting cmdline params, and that knob demands indeterminately-long strings (i.e. built on dualstackism) to work.
asciilifeform: sanity-constrained wrapper around the linux c-ism.
mircea_popescu: and so what's the problem ?
asciilifeform: ( http://btcbase.org/patches/ffa_ch10_karatsuba/tree/ffa/ffacalc/cmdline.ads + http://btcbase.org/patches/ffa_ch10_karatsuba/tree/ffa/ffacalc/cmdline.adb for the curious )
asciilifeform: mircea_popescu: that's exactly what i did.
mircea_popescu: so if the init were made so as to pass cmd line args as THAT, ie, proiper string, ie 3 part string, ie, x + y + z bytes, then...
asciilifeform: mircea_popescu: the dualstack thing comes into play when you start to demand that a function ~return~ a string of length not known in advance.
asciilifeform: mircea_popescu: ada gives you ~this~ type of string 'for free' ( all ada strings contain their length )
a111: Logged on 2018-07-18 14:09 asciilifeform: phf: observe however that it is impossible to make use of your approach re cmdline args. the standard unambiguously mandates variably-lenghted strings ( i.e. dualstackism ) for that.
mircea_popescu: http://btcbase.org/log/2018-07-18#1835931 << could something like http://trilema.com/2018/euloras-communication-protocol-restated/#selection-141.0-141.150 rescue one from the problems of "variable length string" ? ☝︎
mircea_popescu: lol i see the log approves.
a111: Logged on 2018-07-18 14:06 phf: i took a different approach, i wrote _to ada standard_ with the idea that each interface can be substituted with a custom system specific replacement. for example my character_io is a new_line aware replacement of the original, that relies on ada.sequential_io. now if i wanted to retarget to small machine, i'd write a custom sequential_io that uses machine specific calls for byte read/write
mircea_popescu: http://btcbase.org/log/2018-07-18#1835924 << this sounds exactly right. ☝︎
Mocky: BingoBoingo, I've just read through your real estate posts, what was your best source of info re: rentals, was it agencies?
asciilifeform: ( there was not an existing 'profile' corresponding to the degree of 'fascism' asciilifeform wanted , hence the bulk of http://btcbase.org/patches/ffa_ch10_karatsuba/tree/ffa/libffa/restrict.adc item )
asciilifeform: in re: constrained ada subsets, the traditional standard actually contains annexes that specify 'profiles', e.g. https://archive.fo/4xUvl , that consist of sets of prohibitions . but currently very primitive, afaik none contain substantial ~substitutions~ for mainline functionality.
asciilifeform: e.g. it is not permitted to index array by a variable that cannot be shown to be ranged within the known ( and it must be known ) size of the array; if you want compiler to permit you the use of a pointer, gotta demonstrate that it cannot outlive its scope; and so forth ( iirc plentifully summarized in l0gz )
a111: Logged on 2016-01-21 13:29 asciilifeform: 'if i make it what i think is the right size, it crashes!111'
asciilifeform: mircea_popescu: was speaking of basic semantics, rather than i/o and storage ( consider , good chunk of the reason ada wins is that it not merely enforces constraints, but forces operator to think and plan, rather than http://btcbase.org/log/2016-01-21#1379603 -shit into his pants ) ☝︎
a111: Logged on 2018-07-18 13:53 phf: interfaces.c is not a libc concern, it's an ffi. the situation is that C can't be linked to an Ada, even if the C part has _no libc_ in it
mircea_popescu: http://btcbase.org/log/2018-07-18#1835900 << this is true, but open and perhaps resolvable problem. ☝︎
asciilifeform: point was that certain language features make for effectively smarter ( or dumber ) thinker.
asciilifeform: funnily enuff ( esp in light of mircea_popescu's excursions into sapirwhorfism ) this may not be true
mircea_popescu: can teach same baby any language, it'll ~work ~same.
asciilifeform: right, these belong as annexes .
mircea_popescu: so target embedded doesn't pull in that portion.
asciilifeform: mircea_popescu: consider for instance commandline args, the concept is meaningless on embedded chip with no commandline/shell
mircea_popescu: can be standardized, "broken machines to receive software crutches that meet the standard".
asciilifeform: i/o in particular is intimately machine-specific and cannot be 'language-standardized' unless you're perma-marrying unix or the like.
a111: Logged on 2018-07-18 13:46 phf: or is tmsr ada whatever ave1 put into his musl build, which is, worse, a political situation. diana_coman can argue for her ffi stuff to be included, should i be arguing for my get/put stuff to be included?
mircea_popescu: http://btcbase.org/log/2018-07-18#1835889 << yes, actually. not for the direct so much, but because we'll understand jack shit unless we talk about things. ☝︎
asciilifeform: for thread completeness i must add that there are items in the standard (i.e. 'tasks') that i do not use in ffa, but intend to make use of in future ( i.e. trbi ) , and may be let live.
mircea_popescu: which is why there's no standard worm.
mircea_popescu: the counterpoint to all these issues being that ~not everything can be standardized~.
a111: Logged on 2018-07-18 13:45 phf: as far as ada is concerned, the tmsr ada is a subset of standard, that only exists in your head, and can be somewhat inferred from ffa. that's no standard
asciilifeform: to date i've rejected all items requiring secondarystackism; that's currently it.
mircea_popescu: (i meant especially re the "Ada standard turned out to be dodgy (very precisely specifies some shitty solutions)" art.
a111: Logged on 2018-07-18 14:16 asciilifeform: ave1: that'll be the gold medalist, as it will run on ice40 , i.e. 'tmsr cpu'.
asciilifeform: mircea_popescu: i've little doubt that he's right; hence http://btcbase.org/log/2018-07-18#1835943 ☝︎
a111: Logged on 2018-07-18 13:41 phf: asciilifeform: oh yeah, i get it, the approach requires a GOST cpu with a GOST bus etc. etc. right now the situation is mildly depressing (though perhaps that's not the right word), even Ada standard turned out to be dodgy (very precisely specifies some shitty solutions)
mircea_popescu: before tmsr-ghost-of-gost-cl, a full enumeration of http://btcbase.org/log/2018-07-18#1835880 is prolly in order. ☝︎
asciilifeform: meeting something reasonably close to a sane standard is educative, whatcanisay.
mircea_popescu: http://btcbase.org/log/2018-07-18#1835866 << his thinking of standard interpretations shifted significantly past year or so, under ada influence. ☝︎
mircea_popescu: though generally it seems waitressing is the cheap quick and accessible substitute.
mircea_popescu: "real activity". what i mean is that activities can be classified in resistence-of-medium types, when one interacts with objects, and catcalls types, where one interacts with people. just like stock trader would immensely benefit from taking time to do some whittling, just so alma de casa would immensely benefit from taking some time to do paid escort work.
ben_vulpes: anyways thanks for the input
ben_vulpes: human interaction outside of house is teh next item hue
mircea_popescu: sellign real estate, baking home cookies for faire sale, anything that's a real activity, as opposed to gardening. kids, plants, whatever.
mircea_popescu: she'd be better off pole dancing at the local strip club, than gardening.
ben_vulpes: she gardens, we're building a fence and working on the house.
BingoBoingo: Mocky: Anyways you benefit from not being tied to the datacenter. You have more geographic options than explored here, you can even look outside the big city to Atlantida and Piriapolis http://www.thedrinkingrecord.com/2018/06/01/the-real-estate-situation-in-montevideo-part-one/
mircea_popescu: try to not reconstruct the insanity that drove the (legitimate) previous wave "feminism", you know ? it's 2018 after all, no further need of kathleen turner going slowly insane in the house of rose.
mircea_popescu: it's not generally possible for intelligent human to stay healthy, let alone happy, without some sort of activity in the mix.
mircea_popescu: ben_vulpes consider it'd alleviate the need for ketamine.
a111: Logged on 2018-07-18 12:59 phf: for example in naggum's "history of time" he talks about having a package tz with symbols for all the timezones, and if you access say tz:est or whatever, the timezone is transparently loaded. can only be done in allegro
mircea_popescu: http://btcbase.org/log/2018-07-18#1835852 << this seems rather a poisoned advantage, much in the vein of the "order in clown's mouth" easement. yes, i suppose not getting out of your car is in some senses "easier", but not something i'd use. ☝︎
ben_vulpes: not atm, but mebbe down the road. would have to pay pretty damn well to offset costs of childcare and producing food for the family at home is the first reason to not.
ben_vulpes: anyways early results are coffee made for instead of by me, exercise taken under own steam, complete cessation of wandering into room and forgetting original cause ("i've tried to brush my teeth six times today"), and general lifting of tenor around the domus. much habit-building to do now.
mircea_popescu: as close to perfect as i've to date found.
Mocky: i have a nephew who tried to get me to cr last summer and I agreed, but then he backed out. he was raving about the place
ben_vulpes likely doomed to relocate to austin within the year
Mocky: more trails within city limits than you could get in some states
asciilifeform: iirc trinque lives ( or at one time lived? ) there
Mocky: the hiking there is mind blowing
mircea_popescu: everyone from texas prefers austin. it's a wonder to behold.
mircea_popescu: Mocky funny, my favourite place in texas (and usa, mostly) was san antonio
Mocky: BingoBoingo, yeah I've been thinking. Spent better half of last year travelling southern usa and mostly finding places I would *not* want to live until landing in Austin, which I quite liked. But then later snapped back to east coast. I've developed a pretty good sense of my (pretty minimal) quality of life needs recently.
ben_vulpes: .05 perhaps, notes are across the room. delivered over an hour. asciilifeform doses are well calibrated at this point.
mircea_popescu: just sayin', why are you lot laughing at me for baseball-batting my terminals and then go about attempting the ~same ?
asciilifeform: mircea_popescu: they used something like 1/10 of the anaesthetic dose ( thing is fiendishly difficult, incidentally, to dose )
mircea_popescu: ben_vulpes if you'rte going to use veterinarian's anesthetic, might as well go the whole way and fuck veals, no ?
ben_vulpes: mircea_popescu: i can see how beatings could kick the brain into a new regime
mircea_popescu: it is perhaps arguable that major function of beating is in this vein.
asciilifeform: ben_vulpes: in olden times 'electroshock' 'worked' same way
mircea_popescu doesn't believe in pill therapy.
ben_vulpes: empirically, there are classes of chemicals that a) shut down the aforementioned dmn entirely for a short period and b) for reasons unexplained this dialing-down of the dmn can endure beyond the presence of these chemicals in the system (although perhaps not other chemicals that are produced in response, nobody knows anything beyond this point)
mircea_popescu: this isn't even gendered in any sense. thousand mile stare etc.
asciilifeform: asciilifeform's observations in pet terrarium confirms
ben_vulpes: there's a megatonne of dross and snake oil to sift through, but another flake ive found is that the same mechanisms that one uses to process and put behind scary/traumatic/painful events can become the dominant mode of behavior if the individual's subjected to pain/abuse/shit-ass situations for long enough
mircea_popescu: (evolutionarily, if anyone's curious, it's a key component of how they "fall in love", because there's need for some ample shutdown of higher cognitive function for the animal to permit such gross usage as childbearing entails.)
a111: Logged on 2017-04-07 18:24 mircea_popescu: no, let's also de-equivocate think. there's two kinds of think, one's a forge/reflow/examination of trees resulting in analytical consumption of inputs with actionable outputs guaranteed ; the other is a neurotic behaviour perhaps best described as spinning, whereby specific emotional triggers / detriggers are visited in succession. the prussian model was never concerned with the former in any sense, but merely aimed to elimi
ben_vulpes: the gist i get is that there's several physical regions that see high bloodflow when the mind is in an idle state that are correlated with "ruminantive"/"obsessive" thinking that are grouped by experts as "the default mode network"
mircea_popescu: teh puttplug goes in teh unicorne bage.
mircea_popescu: i had the wrong unicode page selected.
mircea_popescu: ben_vulpes do tell ?
hanbot: <mircea_popescu> hanbot don't these sound like some epic hats ? << lol, that they do. the question is, wtf is a "puttplug"?
mircea_popescu: phf there's a strong undertone of "these people are trading the grains for the chaffs" throughout.
ben_vulpes: not to derail, but i've learned quite a bit about what neurofolk call the "default mode network" over the past two weeks
phf: mircea_popescu: oh oh i get the point
ben_vulpes: very explicit understanding between the men involved that we're far better off not sharing further than doing so.
a111: Logged on 2018-07-16 15:44 mircea_popescu: thoughts plox! (and i specifically want everyone to say at least an ack, so let's page asciilifeform ave1 ben_vulpes BingoBoingo danielpbarron diana_coman hanbot lobbes mod6 phf spyked trinque )
ben_vulpes: http://btcbase.org/log/2018-07-16#1834927 << i'd not distribute anything but trb patches to allcomers ~already~; if i made a useful thing i'd trivially share the source for it with l1 and rely on y'alls judgement as to whom to further share it with but i wouldn't concern myself with preventing leaks-to-kloinkers. beyond that, i share certain specific source with a subset of my own l1 and no further, with a ☝︎
mircea_popescu: how's tricks ben_vulpes
asciilifeform: mircea_popescu: kite no good for stationary repeater. state of the art is prolly item hanging from tall branch.
mircea_popescu: aluminum siding all the way.
a111: Logged on 2018-07-18 12:55 phf: well lispworks has capi, that doesn't have an non-proprietary equivalent, so if your work requires any kind of gui, you're stuck with some very dodgy solutions (in the early days i even used emacs/slime as a gui backed by ccl)
mircea_popescu: http://btcbase.org/log/2018-07-18#1835846 << the sadness of this coming down to gui... ☝︎
mircea_popescu: seems kite's tail still the most practical, but anyway.