log☇︎
82700+ entries in 0.025s
asciilifeform: fungi dun even have faces
asciilifeform: 'angelic legions of heaven will smiteya' -- fud
asciilifeform: *threat
asciilifeform: a credible thread != fud
asciilifeform: mircea_popescu: sorta what 'fud' means neh
asciilifeform: phf: the 'insight' in ffa is simply the kind that was taught to the prussian soldiers -- 'stop overthinking'
asciilifeform: see http://btcbase.org/log/2017-04-07#1640167 for what i mean ☝︎
asciilifeform: there ain't much of it in, e.g., ffa
asciilifeform: 'insight' is overrated
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: mine worx, even on crapple.
asciilifeform: i took 1 look and thought 'straight to the furnace with this'
asciilifeform: ( well, not really difficult, it insists on, e.g., supporting winblowz. )
asciilifeform: adacore has their own mmap library, gpl. but it is ~20x the size of mine, and it is difficult to see why
asciilifeform: http://btcbase.org/log/2017-06-06#1666647 << subj ☝︎
asciilifeform: phf: witness what i did re mmap for instance. ☟︎
asciilifeform: phf: even straight posix-c glue is preferable to those.
asciilifeform: ( and items like sockets were never in the standard to begin with, and eternally a free-for-all of proprietary crapolade )
asciilifeform: or whatever.
asciilifeform: for all i know , latest one forces use of [] in place of ()
asciilifeform: but sure. they'll pile, pile on the shit.
asciilifeform: -rwxr-xr-x 1 root root 231120 Apr 22 2013 /usr/bin/sbcl
asciilifeform: $ ls -l `which sbcl`
asciilifeform: phf: lol, i haven't updated since...
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: thus far i am satisfied with my ability to cleanly scrape the shit off gnat. e.g. http://btcbase.org/log/2017-07-12#1681702 + http://btcbase.org/log/2017-07-12#1681931 produces asm that satisfied my 'is this really nonbranchingonsecretz' headache. ☝︎☝︎
asciilifeform: just like 'first you pillage, then you burn' (tm)(r)
asciilifeform: FIRST you write the fits-in-head minimal ffa-like thing. THEN you spark.
asciilifeform: shit can be piled on top of anything. question is whether it chemically bonds to it, or not.
asciilifeform: ada had this slow accumulation of concession-to-'mainstreamindustry' barnacle crud
asciilifeform: but overall not a bad time to note, there are afaik no public examples of 'how to ada' that would have satisfied asciilifeform .
asciilifeform: pretty lulzy shitfest. great resource for learning 'how not to ada'
asciilifeform: with vga touch screen, uhuh
asciilifeform: and touch screen ?!!
asciilifeform: https://github.com/tum-ei-rcs/StratoX/tree/master/software/hal/hal/src << holy mother of fuck, why is there vga framebuffer handler in a weather balloon ??
asciilifeform: and holy shit is that thing a hog, for what it ( at least according to the docs ) does !!
asciilifeform: ty phf
asciilifeform: read 'university', assumed it's public somewhere
asciilifeform: phf: link?
asciilifeform: in other noose, bitbet.us still dead.
asciilifeform: http://wotpaste.cascadianhacker.com/pastes/ZZVgC/?raw=true << like this. ☟︎☟︎
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: http://btcbase.org/log/2017-07-13#1682315 << is this the one where they have an entire chinese minery coopted for phorkwar griefing ? ☝︎
asciilifeform: http://btcbase.org/log/2017-04-27#1649044 << somewhere in there ☝︎
asciilifeform: http://btcbase.org/log/2017-07-13#1682303 << iirc phf posted his ffa helloworld a day or so after the original paste ☝︎☟︎
asciilifeform much liked mircea_popescu tzuica from c2
asciilifeform: grog
asciilifeform pictures mircea_popescu's jerry can of rum
asciilifeform: lol just like ye olde state of virginia
asciilifeform: lol right where petrol tank
asciilifeform: 'how empty!'
asciilifeform: and they marveled,
asciilifeform: but, gave colleagues ride,
asciilifeform: i never grasped the reason for this
asciilifeform: or bibles prior
asciilifeform: this sounds quite like the 'kpss party membership booklet stopped bullet' nonsenses
asciilifeform: save, imagine, for the... fish
asciilifeform: mircea_popescu: picture, when i go fishing i dun even eat the worms along the way
asciilifeform: *ticket
asciilifeform: wats the point of blowing its wad on the spot.
asciilifeform: i thought the whole point of lotto is to walk around with the 'schrodinger' ticker, picture bathtubs of money etc
asciilifeform: why not sell the auto then. think how much tobacco it'd buy
asciilifeform: mod6: why to do this?!
asciilifeform: mod6: how do you get '$1 worth' ? drip from the nozzle ?
asciilifeform: that's 4+
asciilifeform: 20 L ??
asciilifeform: sounds small
asciilifeform: (eng subs work)
asciilifeform: oblig jerry can : https://youtu.be/zYIaDYRipoM?t=57m27s (5m or so)
asciilifeform: stockpiling rubbish is somehow 'national sport' here.
asciilifeform: in a 2door auto.
asciilifeform: now this is true, have you met these folx? picture 100kg of plastic 'food' wrappers etc
asciilifeform: waiwat
asciilifeform: why let the empty space go to waste!11
asciilifeform still finds it strange that american drivers dun have 2 full jerry cans in their trunk at all times
asciilifeform: these folks are tired of living, ain't they.
asciilifeform: nuts.
asciilifeform: iirc nato spec still iron
asciilifeform: lol!
asciilifeform: did they? with what ?
asciilifeform: ( for nao !! )
asciilifeform: works.
asciilifeform: the humble jerry can.
asciilifeform: to all modern armies.
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 )