phf: bulk of ada code i've seen so far is very much workingmen code, cobol like stuff from the belly of industrial facilities
asciilifeform: i've even contemplated making the result available, somehow, in dead tree, eventually.
phf: well, problem is that there doesn't seem to be much in terms of tasteful ada code available to public. with common lisp you can go to mid-90s and before and you start getting some very reasonable works, worthy imitation.
asciilifeform: the kind of proggy written by folx born to shovel dung.
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: i took 1 look and thought 'straight to the furnace with this'
asciilifeform: adacore has their own mmap library, gpl. but it is ~20x the size of mine, and it is difficult to see why
phf: proprietary crapolade is still preferable to the "compatibility packages", which are often poorly written (hello, cffi!) and ripe for modernization (uiop)
asciilifeform: ( and items like sockets were never in the standard to begin with, and eternally a free-for-all of proprietary crapolade )
phf: for the longest time i thought that common lisp spec is a magic paper against modernization. not so, and you can see it with the recent evolution of sbcl. for example they made it an error to locally shadow cl package symbols, e.g. (flet ((first (...))) ...) will fail, breaking a lot of reasonable old code. many historic idioms likewise produce compilation warnings, etc.
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.
a111: Logged on 2017-07-12 00:56 asciilifeform: mod6 et al : in other noose, i have a working experimental build with No_Implicit_Conditionals, No_Implicit_Heap_Allocations, No_Implicit_Dynamic_Code, No_Secondary_Stack, No_Exception_Propagation, No_Tasking, No_Protected_Types, No_Delay, No_Allocators, No_Dispatch restrictions.
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.
diana_coman: well, I can't see how slow accumulation of concession to shit leads to anything other than "chemically bonds to it" at some point
asciilifeform: just like 'first you pillage, then you burn' (tm)(r)
asciilifeform: shit can be piled on top of anything. question is whether it chemically bonds to it, or not.
phf: fwiw it invalidate your thesis that ada is hipster proof
asciilifeform: but overall not a bad time to note, there are afaik no public examples of 'how to ada' that would have satisfied asciilifeform .
phf: just to clarify, is not a weather balloon, it's an autonomous uav glider
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 ??
phf: another amusing point for how little it does AND assisted by both ada and spark they still manage to introduce 3 "mistakes"
phf: well, it's written by real time os people, rather than, you know, flight engineers, so naturally
asciilifeform: and holy shit is that thing a hog, for what it ( at least according to the docs ) does !!
phf: i'm not sure how kosher it is (it's SPARK but they also use gnat extensions), i'm just recreating their project at a local hackerspace
a111: Logged on 2017-07-13 14:02 asciilifeform: http://btcbase.org/log/2017-07-13#1682303 << iirc phf posted his ffa helloworld a day or so after the original paste
phf: http://btcbase.org/log/2017-07-13#1682345 << i have, can post it again, but afaik the interface has changed since.
andreicon: that's what the output looks like
diana_coman: as otherwise one can't even know it's *you* talking next time
shinohai: I'd recommend it as worth taking the time to learn to anyone interested in computing.
diana_coman: in some sense all of them are binary based too
andreicon: but then... i had already used fedora before
andreicon: maybe even switch my node to the version you recommend
diana_coman: #trilema and thebitcoin; no #eulora yet?
andreicon: and 5 minutes ago i found thebitcoin.foundation which linked to here
diana_coman: plenty of time around here; it's a logged chan too, so people will read when they wake up/come around
andreicon: i've been happy seeding the chain
andreicon: what version are they running?
shinohai: Otherwise, most ppl present here won't be interested.
shinohai: Is it a http://thebitcoin.foundation/ node?
andreicon: does that confer me a higher status in the republic?
shinohai: Results may vary depending on time of day and my level of sobriety at the moment.
andreicon: what are the benefits though?
andreicon: shinohai: are you one of them? your spelling is too good
shinohai: Well http://trilema.com/2016/how-to-participate-in-the-affairs-of-the-most-serene-republic/ should explain the goal of this chan
asciilifeform: in other noose, bitbet.us still dead.
a111: Logged on 2017-07-13 05:21 mod6: this is actually using karatsuba, haven't even integrated the new comba code yet.
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
deedbot: http://www.contravex.com/2017/07/13/the-implications-of-bitcoin-for-inheritance/ << » Contravex: A blog by Pete Dushenski - The implications of Bitcoin for inheritance.
a111: Logged on 2017-07-13 05:28 BingoBoingo: "At Tue Aug 01 2017 00:00:00 GMT+0000 (Coordinated Universal Time), Bitcoin confirmation scores may become unreliable for an unknown length of time. This means that any bitcoins you receive after that time may later disappear from your wallet or be a type of bitcoin that other people will not accept as payment." << lol
asciilifeform: http://btcbase.org/log/2017-07-13#1682315 << is this the one where they have an entire chinese minery coopted for phorkwar griefing ?
a111: Logged on 2017-07-13 05:16 mod6: took me quite a while to gain the knowledge of how to write a test driver that creates the ffa generic package and the necessary compoents to make that possible.
asciilifeform: http://btcbase.org/log/2017-07-13#1682303 << iirc phf posted his ffa helloworld a day or so after the original paste
BingoBoingo: But how much distress is this causing compared to the murder bubble?
BingoBoingo: Well, when your greatest health problem is a bubble, you forget the fat brained dun remember stuff.
mircea_popescu: lol either that or karpeles.
mircea_popescu: it's time for random shitstain to angle towards unwarranted relevancy 24/7 over there, innit
BingoBoingo: Why not, it's time to think outside the blocks http://epmonthly.com/article/think-outside-blocks-creative-uses-lidocaine/
BingoBoingo: So it may be time to load jerry cans onto the roflcopter
mircea_popescu: let me rephrase that in the form of a question. who wants to buy / sell some bitcoin on Aug 1st ?
mircea_popescu: who wants to buy / sell some bitcoin on Aug 01 at 0 "coordinated universal time" whatever the shit that means.
mircea_popescu: teh usg is about as predictable as shit in the road.
BingoBoingo: "At Tue Aug 01 2017 00:00:00 GMT+0000 (Coordinated Universal Time), Bitcoin confirmation scores may become unreliable for an unknown length of time. This means that any bitcoins you receive after that time may later disappear from your wallet or be a type of bitcoin that other people will not accept as payment." << lol
mircea_popescu: so then
mod6: this is actually using karatsuba, haven't even integrated the new comba code yet.
mod6: well, might be a bit premature, but will refine it a bit and get something out there.
mod6: took me quite a while to gain the knowledge of how to write a test driver that creates the ffa generic package and the necessary compoents to make that possible.
BingoBoingo never really drank for the taste
mircea_popescu: (and no, the driver didn't get any. i drink responsibly.)
mircea_popescu: mason-shithead line, eh ?
BingoBoingo: <mircea_popescu> i had an open rum bottle in the fucking back seat tho! << Bless federalism. That's some sort of attempted murder in Illinois, but "Cool, have fun kids" in Missouri
hanbot: "what seems to be the officer, problem?"
BingoBoingo: <asciilifeform> i never grasped the reason for this << Sloth
mod6: yeah, here people like freak, get out of the car, get tazed/shot, etc.
mircea_popescu: i had an open rum bottle in the fucking back seat tho!
mircea_popescu: the fortunes of not living in police state.
mircea_popescu: (and i dun blame them for pushing the issue -- i have seen more cars dead on roadside here, incl IN TOWN than i had previously in my entire life.)
mod6: that's kinda interesting, up here you get ticked for anything obstructing your view in the winshield. people still hang all sorts of shit off the rearview anyway, such as, inexplicable dice. or whatever.
mircea_popescu: they have some laser reader thing i think
mod6: was it the front windshield?
mircea_popescu: whole thing that threw me is that the shop gives you a sticker, but you need A DIFFERENT one.
mircea_popescu: and he's like "very good that you fixed your car, but you hafta actually get it inspected. there's a special inspection orrifice"
mircea_popescu: so i explain to him that looky, i just bought it, i had it redone, new brakes, shocks, everything in there. two weeks ago.
mircea_popescu: policeman's like "well yeah, but your technical revision thingee's not on the windshield"
mircea_popescu: guy goes through dirver girl's papers, then asks for car papers. i'm liek, you don't need car papers in cr dood, sez my lawyer
mod6: he said, "when i looked in the rearview mirror, i saw flames, and my brain tried to tell me that i was imagining the flames."
mircea_popescu: sounds like my ancient "cars --- through the sewage pipes" dream is being realised. from the inside,
mod6: another friend of mine had so many mc'ds sacks in the back, when he threw out a cig it came back in the window and started a fire in the back seat. on the freeway of course.
asciilifeform: and they marveled,
asciilifeform: i never grasped the reason for this
mod6: eitherway, i had a good laugh out of this tale, as i can picture this as indeed, many people fill their cars with trash.
asciilifeform: this sounds quite like the 'kpss party membership booklet stopped bullet' nonsenses
mircea_popescu: has all the markings of urban legend dunnit
mod6: apparently, all the trash apparently saved him from getting somehow crushed or whatnot.
mod6: <+mircea_popescu> motorized dumpster! << so recently i was told a story about how this guy in ohio borrowed this car that was a dumpster on wheels -- i'll spare you all the details, but the long of the short of it is; this guy's life was saved when he was t-boned by a dumptruck on the freeway because of all the garbage in the car.
asciilifeform: save, imagine, for the... fish
mod6: BingoBoingo: lol. priorities. people need to feel like "they can be a winner too!"
mircea_popescu: you don't understand how the underworld works, yo.
BingoBoingo: <mod6> apparently. although, i recently read that illinois just had to shut down their lotto service ... and powerball pulled out of there? << It's back now. The General Assembly had to suck a lot of other state's dicks, but it's back
mircea_popescu: if alf had a rock of crack he'd prolly go around with it luring crackwhores rather than smoking it all right then and there also.
mircea_popescu: thyey got their priorities right
mod6: apparently. although, i recently read that illinois just had to shut down their lotto service ... and powerball pulled out of there?
asciilifeform: i thought the whole point of lotto is to walk around with the 'schrodinger' ticker, picture bathtubs of money etc
mircea_popescu: do the various "states" / scams still actually pay anything on those ?
mod6: WHILE YOU WAIT BEHIND THEM!
mod6: the worst part about the lotto tickets people, is they buy them, then more often than not (it seems like), insist on scratching them off right there and then.
BingoBoingo: <mod6> don't get me started about the people and their fucking lotto tickets. << BUT ELLIOT!!!
mod6: they get an $8.50 pack of cigs, and $1 of gas.
mod6: BingoBoingo makes a good point. even the motorcycles get more.
mircea_popescu: "today, we're only changing the top can of oil"
mircea_popescu: i wonder how the lube job goes.
mod6: it boggles the mind.
BingoBoingo: <asciilifeform> mod6: how do you get '$1 worth' ? drip from the nozzle ? << Cut your number of wheels in half
asciilifeform: mod6: how do you get '$1 worth' ? drip from the nozzle ?
mod6: which is not a crime, but jesus, maybe get at least enough to not run out 3 blocks after you leave the gas station.
mircea_popescu: richest country in the world, could buy apple.
mircea_popescu: o i know. everyone else pays two bux a liter ; except the "enviro conscious" usians, they pay 0.5 a liter.\
mod6: yeah, here it's $2.20/gal. takes me ~$60 to fill up the burby.
mod6: another national sport of kinds
mod6: fineable offence. if your wheels fall off, and you come to a grinding halt. no big deal. you may just have to pay for the towtruck. but no fine. run out of gas (preventable), hefty fine.
mod6: <+mircea_popescu> anyway, if they found you woithj two nazi cans of fuel they'd prolly hang you. wrecking through petrol stockpiliong or w/e. << yeah, you'd think that they'd encourage people to not run out of gas, but nope. in fact, it is highly illegal to run out of gas on the freeway.
mircea_popescu is fixated on the 20l ro version for some reason\
mircea_popescu: incidentally, the impact of tech still lingers. for eg : my bmw tank actually is 2 cans.
asciilifeform: now this is true, have you met these folx? picture 100kg of plastic 'food' wrappers etc
mircea_popescu: anyway, if they found you woithj two nazi cans of fuel they'd prolly hang you. wrecking through petrol stockpiliong or w/e.
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: did they? with what ?
trinque: they replaced it
mircea_popescu: they no longer use it
asciilifeform: the humble jerry can.
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
mircea_popescu: http://btcbase.org/log/2017-07-12#1682056 << then i moved to next line in logs, noticed it's actually a tmsr-caltrop this thing
a111: Logged on 2017-07-12 21:02 BingoBoingo: Well, religion doesn't start with invisible friend. Starts with axioms. Parabels acrete. Then editor makes narrative cohesive enough to sell.
mircea_popescu: http://btcbase.org/log/2017-07-12#1682055 << i actually spent a minute trying to trace the etymology of "parabel" until finally figured out wtf it is.
asciilifeform: this is like the opterons thread all over again.
BingoBoingo: Anyways, the Obama-can rules don't appear to apply to metal "safety" containers
BingoBoingo: <asciilifeform> mod6: it was a deliberate fuckyou-and-whatchagonnadoaboutit to people who actually work << Not like pantsuit gets to interact with men anyother way
asciilifeform: 'will they swallow this or finally hang us' 'they swallowed it' 'GREAT! let's obummercare some moar'
mod6: ya, that doesnt look as bad. i could go on for hours. how the government complicates how i pour liquid out of a container.
asciilifeform: forget the 'modern' rubbish.
BingoBoingo: There's a "trigger activated" variety that sucks a bit less. Prolly best to make the jump to https://archive.is/FUoB6
mod6: now i just pour out the normal widemouth with a funnel. spill gas everywhere.
mod6: they have this frickin lock/unlock "spill proof" neck on them. that i have to simply discard cause i can't figure out how to use it.
BingoBoingo: <asciilifeform> mod6: in the photo is pretty obvious rat attempt << I thought it was for chihuahuas
asciilifeform: funnily enough actual soviet gas can was a 100% solid clone of the german one, probably to this day made in ru
mod6: everything is child-proof. don't get me started about the soviet gas can.
asciilifeform: in usa there are off-the-shelf electric rat zappers, they work ok, but difficult to clean on account of idiotic 'childproof' construction.
asciilifeform: ideally you also want some provision for switching ~off~ the current. or at least something reasonably fireproof beneath.
asciilifeform: mod6: in the photo is pretty obvious rat attempt
asciilifeform: proper murine electric chair works differently. switches on the hv after low-voltage conductivity sensor (use 2 transistors in the kindergarten scheme) closes.
mod6: shit is gonna give me a stroke one of these times.
mod6: JUST LET ME SEE THE FUCKING JPG
mod6: that looks pretty good there ya.
BingoBoingo: ^ In the collateral damage files
BingoBoingo: In response to the kleptocratic aggressions and vandalism against his tomatoes, TMSR Lord BingoBoingo deployed the organophosphate nerve agent carbaryl against the evil Stink Bug order 'Pentatomidae.' The casualties will likely never be counted, but an estimated "dozen or so" stink bugs are dead or actively dying at the time of this writing. Civilian casualties among untargeted insects as a result of the TMSR Lord's chemical weapons use
BingoBoingo: Well, religion doesn't start with invisible friend. Starts with axioms. Parabels acrete. Then editor makes narrative cohesive enough to sell.
mod6: naw, but alf has seen a lot of atrocities, and therefor has some axioms about things.
BingoBoingo: At this point alf is prolly moar the religous hard liner than danielpbarron
mircea_popescu: did silbert's pooper get 10 btc together yet ?
jhvh1: Man must not live on reddit alone, but by every word that proceedeth out of the mouth of alf ... http://btcbase.org/log/2017-07-12#1682044
mod6: Back in the day some guy wandered in here and got 10 btc for sharpie in pooper.
asciilifeform: shinohai: reading redditisms is the direct intellectual equivalent of sniffing glue.
asciilifeform: shinohai: i said this before, and will say again, vodka is better than reddit any day and hour of the week
shinohai: Supposedly the "for" is Alan Shillbert setting up tipjr for him cuz "he dun wanna b doxxed"
asciilifeform: is this same 'for' as when the good doktor chowdhra offered to accept nobel 'for satoshi' ?
asciilifeform: i saw the film
mod6: i posted the vid earlier
shinohai: I'm in the wrong fucking business.
asciilifeform: i wonder if there's a pantsuit translation
asciilifeform: '... going by the diaries, a bright and eager exemplar of 'russian intelligentsia' of the 10s of the last century... 'german liberators', 'liberation bombs', 'friends from the sd', etc '
asciilifeform: evidently these are the very same famous chix who lined up for the hairdressers because 'germans soon'
mod6: <+asciilifeform> lol swordswallower << not bad, but not as good as the two from Monday!
asciilifeform: ( approx. ~= 'stierlitz (hero of '17 moments of spring') takes a bullet in the head. 'it's a dumdum', thought stierlitz, scatter-brained' )
mircea_popescu: here, live and for the first time in the world, i give you the manuel blum & santosh vempala silicone model of brain computation : https://68.media.tumblr.com/45271fd5a728dffd2aff8ec6e37e12ab/tumblr_nnztkqVQlT1untuzto1_400.gif
mircea_popescu: not like much brighter minds than these two belated if unemployagble schmucks TRIED THAT TO DEATH
mircea_popescu: if it were fucking functional, it'd have been done in the 60s already.
asciilifeform: gotta say it, the 'human functions' thing is a sphericalhorse snoar.
mod6: lel, the trackless wastes one is pretty good.
mircea_popescu: whole fucking point of human brain is to avoid the walls of computation.
mircea_popescu: asciilifeform i have a whole gallery of mostly females that swallowed long silicone strands "in their head"
mircea_popescu: this is like people frustrated they can't make airplanes, deciding to create a "through-wall bird model of flight", proceeding to prove birds don't "fly" in the sense of, "through walls".
mircea_popescu: people don't fucking compute in their heads.
asciilifeform: mircea_popescu: subj is about 'compute in their heads'
mircea_popescu: asciilifeform and predictably they've no idea what "a step" is./
asciilifeform: 'Why this particular number? The intent here is to have as example a SPECIFIC MEMORABLE number (in this case, Avogadro’s number) that is roughly the minimum size sufficient to keep adversaries at bay – adversaries that have a week’s time on the fastest 2016-17 supercomputer, which in January 2017 can do 1017 petaflops/sec = 6x10^22 flops/week. In general, the specific number will depend on current technology.'
mircea_popescu: the model is bullshit.
jurov: maybe some useful bits but rather underwhelming paper
mod6: here's the precipitation chart: https://www.climatestations.com/wp-content/uploads/2017/01/MSPPRCP.gif
mircea_popescu: i expect i have seen 5 to 10k hours of solid tropical rain the past three months.
mod6: but this chart seems to indicate that during the 60s-mid-80s we had higher-than-normal snowfall over the interval: https://www.climatestations.com/wp-content/uploads/2015/05/mspsnow2.jpg
mod6: related to this, it had seemed to me that since i've moved back to mn, we've gotten a lot less snow than what i remember as a kid in the 80s.
mircea_popescu: in other not-rly-lulz, global warming or no, it is definitely A LOT rainier in costa rica than it was 10-15 years ago
asciilifeform: the work of a d00d who spraypaints gusts of flame onto toyota to 'make race car'
mircea_popescu: http://btcbase.org/log/2017-07-12#1681875 << this is actually a pretty strong line of argument. "not the work of a programmer, but the work of a designer."
mircea_popescu: and in other emergencies, http://68.media.tumblr.com/4eb71c0bcec1be3d68d6ecb35cb8cd12/tumblr_ohzxwrQ4yb1vm0vvfo1_400.gif
asciilifeform: ( sadly heathen gas syntax. currently i do not know if this can be changed to godly nasm )
mircea_popescu: song. instrument of the purposuit crowd.
mircea_popescu: "But the real morals of the story is that one must be able to employ every little part of the animal you kill, like the man does
so that womenz can stuff that many more people into thje same fucking acre. won't you be happy then!"
a111: Logged on 2017-07-12 03:15 mod6: mircea_popescu: thanks for the suggestion, I shall think on it.
ben_vulpes: http://btcbase.org/log/2017-07-12#1681775 << i'm happy to configure donated hardware to be useful to the republic; if machines need a home i can arrange for that as well
BingoBoingo: To find the answer we, in the tradition of our peoples, must consult the ever informative mengele files
BingoBoingo: You might refrain, lesser homo spaiens may end up freed when their balls decay to the point the leads are no longer attached
mod6: ahem. *whether.
mod6: The Chi^2 test should be interesting to see what percentile it falls into and weather this butts up against Knuth's "suspicious" boundary.
mod6: see if I can sneak one past the golie.
mod6: so one day, i did do a test of ent with like ~1gb worth of '1's in a file just to see if the testing tool would hork.
mircea_popescu: all the teams sucked this superbowl so please focus all discussion on some aging mulatto's nipple slip ty.
mircea_popescu: these dorks.
a111: Logged on 2017-04-13 15:30 asciilifeform: in yet-other lulz, https://archive.is/mcaLO >> 'NEW YORK -- Sheila Abdus-Salaam, an associate judge on New York state's highest court and the first African-American woman to serve on that bench, was found dead Wednesday in the Hudson River, authorities said. ... became the first Muslim judge in the United States when she started serving on the state Supreme Court in 1994 ... On the court, Abdus-Salaam was among the most reliable and
asciilifeform: everybody laughs at the french, but when's the last time somebody solved american judge
a111: Logged on 2017-07-12 13:23 asciilifeform: http://btcbase.org/log/2017-07-12#1681854 == 'airplane is just like boat except that it moves in the air instead of sea, trivial'
asciilifeform: like the thing nvidia ships with its turdballs.
asciilifeform: http://btcbase.org/log/2017-07-12#1681859 << from my pov this proggy dun actually ~do~ anything other than being a skin on top of google's libs
asciilifeform: '...a barebone Ubuntu operating system that runs under the Windows Subsystem for Linux (WSL), which is mainly targeted at developers who don't want to build a dual-boot machine running both Windows 10 and the latest Ubuntu Linux release.' lol
asciilifeform: http://btcbase.org/log/2017-07-12#1681854 == 'airplane is just like boat except that it moves in the air instead of sea, trivial'