asciilifeform: phf: contrary to appearances, asciilifeform is not fixated on ada lang per se, but rather on the style of thinking it leads the operator into.☟︎
asciilifeform: phf: this is not necessarily bad thing
asciilifeform: ( i like dead tree. and know some folx who also like. )
asciilifeform: i've even contemplated making the result available, somehow, in dead tree, eventually.
asciilifeform: asciilifeform is very slowly fixing this.
asciilifeform: 'i have 9000 layers of metatronics keeping track of own navel lint'☟︎
asciilifeform: 'look at my loc counter, i am HARD WORKER!'
asciilifeform: the kind of proggy written by folx born to shovel dung.
asciilifeform: adacore's mmap resembles that 'avionics' thing. full of 'meta' liquishit.
asciilifeform: ( and ftr i have nfi whether adacore's thing works on netbsd etc )
asciilifeform: betcha even if you support all of the weird bsds, it will add maybe a few lines.
asciilifeform: the other thing to remember, is that the win from writing in ada - but not in ada in general, but the style demonstrated in ffa in particular -- remains even if YOU HAVE NO ACCESS TO GNAT and gotta compile by hand into asm. because it forces the style of algo that CAN be safely so expressed - i.e. without presumption of pointerolade arithmetic, gc, or other cost-externalizing electrosocialisms☟︎
asciilifeform: ( i will not be using the clang gnats )
asciilifeform: but indeed there is no escape from the ownership requirement. we already have a 'final' gnat, for instance.
asciilifeform: http://btcbase.org/log/2017-07-13#1682308 << comba is an O(N^2) multer. it beats the classical one simply because it doesn't need a scratch buffer of length N. it goes as the base case in karatsuba, not instead of it☝︎
asciilifeform: ( if you were switching on a genuine 51%tron, would you announce it in advance ?! )☟︎
asciilifeform: exactly the kind of 'unsexy' great engineering that adds up to a working tech civilization.
asciilifeform: not just 'emptying durations', whole thing was actually thought through -- could be carried by 1 or 2, 1 man can comfortably lift 2 full or 4 empties; they stacked; allowed for thermal expand; would float in the sea, even if full; etc
asciilifeform: ( what did they use? the pieces of shit that need funnels )