asciilifeform: for n00bz : 'rts' in ada world is approx equiv of libc.
asciilifeform: it aint just exceptions, either. gnat happily ignores the fact that strings package isn't used, and inserts a dependency on it for the linker to barf on. ditto tasks, and a dozen other.
asciilifeform: ffa.a stripped is 50kB; 'hello world' without anything whatsoever, null procedure, is 3.5MB
asciilifeform: i'ma have to do it after ffa/p tho. but really this is ridiculous, the built binaries are not auditable until we extirpate the ball of nonsense.
asciilifeform: the tentative conclusion : asciilifeform is condemned to take ownership of gnat, and burn out the nonsense with hot irons.
asciilifeform: which means that none of my code even builds, because gnat then insists on adacore's idiotic massive-extra-spaces-everywhere stylistics.
asciilifeform: 2) style fascism is turned on AND CANNOT BE TURNED OFF
asciilifeform: 'Internal GNAT implementation mode. This should not be used for applications programs, it is intended only for use by the compiler and its run-time library. For documentation, see the GNAT sources. Note that -gnatg implies -gnatw.ge and -gnatyg so that all standard warnings and all standard style options are turned on. All warnings and style messages are treated as errors.'
asciilifeform: ( hey lamer, you wanted No_Secondary_Stack restriction ? fuck you, we used variable-length strings for the exception message passing. and 9,001 of similar item. )☟︎
asciilifeform: but then welcome to an inner circle of hell, because it's a mass of ??? interdependently glued to itself with broken glass
asciilifeform: so the next logical thing is, you go and find where yer gnat's a-except.adb/ads live, and try and backport'em, right ?
asciilifeform: funnily enough adacore itself publishes a great many cut-down runtimes for various embedded boxes, e.g. https://bitbucket.org/tkoskine/embedded-arm-gnat-rts/src . BUT they are not usable: 1) there is -- quite deliberately -- not one targeting conventional userland linux 2) none of them support exception handling, which wouldn't be a problem except that ALL BOUNDS CHECKS ARE EXCEPTIONTRONIC☟︎
asciilifeform: supposedly this is one of the items included in the 'pro' payware gnat. and they have made re-creating it as painful as they could.
asciilifeform yet again, for 3rd time in 2 yrs, attempted and failed to build a 'zero foot print runtime' for gnat -- to abolish the 3MB of liquishit it shits into every executable.☟︎☟︎☟︎☟︎
asciilifeform: The20YearIRCloud: looking for anything in particular ?
asciilifeform: 'The common notification from Facebook was that the post was under review to see if it breached the community standards. Other posts about the protests were suspected by Facebook of being spam.' << lol!!
asciilifeform: to the extent they actually do something other than generate and post random numbers -- sure
asciilifeform: eh to quote mircea_popescu , who the hell cares what happens at a gox
asciilifeform: but it's a trivially discoverable fact, for people who actually bothered with the subj beyond chitchat.
asciilifeform: ( i'm rot13 the answ to riddle : gurer vf ab xabja jnl gb thnenagrr na vavgvny jbeyq fgngr gung qbrfa'g dhvpxyl pbairetr vagb n svkrq fgrnql fgngr, be n ernfbanoyl fubeg ybbc (juvpu tvirf gevivnyyl oernxnoyr pvcuregrkg) -- vg vf rknpgyl gur fnzr vgrz nf gur 'lrf vg'f na ac-pbzcyrgr ceboyrz, ohg ubj gb thnenagrr gung n enaqbzyl trarengrq vafgnapr vf abg gevivny?' )
asciilifeform: witness the traditional 'tlp' symptoms of walking around with no inclination to ~try~ such a thing, or anything at all, with own hands, and see why this dun work with any known automaton ruleset ( do i have to say why, or readers already know ? )
asciilifeform: i'll recount an episode recently reported by asciilifeform's pet, on reconnaissance into a heathen pit . two d00dz argued re 'post-rsa crypto'. and one drew forth from his sleeve an erudite wankery, n-th generation stolen from thel0gz! : 'why not cipher using playing field of cellular automaton, say, game of life, initial state as key...'
asciilifeform: when folx begin to see reality as 'read-only', they retreat into full-bore (b) .
asciilifeform: there's 2 possible uses of abstraction -- a) to move between places in reality phase space that aren't walkable to via greedy algorithm ( e.g. tractor is not a minor refinement on horse-drawn plow ) b) to pull own cock
asciilifeform: 'dreamer' culture is somewhat like a school of pilotage absent the landing.☟︎
asciilifeform: see possibly also the thread with faraday and his magnetic field lines.
asciilifeform: this also. and the detritus eventually clogs the arteries of whatever culture produced it.
asciilifeform: there might still be a few chukchas left somewhere who properly practice the virtue of 'never see a thing that ain't there' . the folx who shown a novel answer 'why'
asciilifeform: [insert 'literacy is sin, as the reader sees things that ain't there' thread here]
asciilifeform: well if defining walking around with an unenclosed cock as necessarily wankery -- then yes
