asciilifeform: (written in ada, yes)

asciilifeform: adlai: the ultimate non-toy example is... the compiler

asciilifeform: in spiffy colour even.

asciilifeform: adlai: http://cs.fit.edu/~ryan/ada/programs << mega-collection of examples ☟︎

asciilifeform: adlai: http://www.adacore.com/knowledge/technical-papers/safe-secure << moar examples than you could possibly want (warning, pdf)

asciilifeform: just to get a taste.

asciilifeform: adlai: can start here, http://www.embedded.com/design/safety-and-security/4419247/Developing-secure-code-using-SPARK--Part-2---How-to-use-it

asciilifeform: from (at the time) readily available items

asciilifeform: phun phakt: meth was reinvented in su during 1980s. but there was more or less NO MARKET because folks were clueful and readily synthesized for personal use

asciilifeform: !s happyland

asciilifeform: with solely a tank - no.

asciilifeform: (e.g., dynamite has considerably less joule/g vs petrol)

asciilifeform: demolition is entirely a kinetics thing and not at all a thermodynamic thing

asciilifeform: good kinetics.

asciilifeform: fuel-air

asciilifeform: (if it had gone off, potentially ~no one would know~ who was the trigger man, and why, etc)

asciilifeform: but this is largely forgotten, because h & k were not clueful and failed to detonate

asciilifeform: phun phakt: legendarily, the columbine incident involved a propane tank

asciilifeform: mircea_popescu: by the crateful, in two sittings, by 'evil-looking men with foreign accents'

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341452 << see also mega-shortstory, 'watchbird', r. sheckley ☝︎

asciilifeform: obligatory: http://www.theinfosphere.org/Kegelcizer

asciilifeform: or we'd all happily fuck thin air

asciilifeform: mircea_popescu: aha but there is such a thing as too much. ultimately the activity needs friction

asciilifeform: if the implication of the nyooz piece is a 'gunpowder plot' involving propane bottles and gsm detonators, expect 'emergency powerz' in the near term

asciilifeform: ;;later tell BingoBoingo http://qntra.net/2015/12/missouri-phone-purchases-put-police-on-edge/#comment-82088

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341517 << the only practical issue is overlubrication, really ☝︎

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341478 << see also pelevin's riotously funny doctor gulago ☝︎☟︎

asciilifeform: tard army! what makes amerikkkka great!11111

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341460 << ahahahaha sure l0l ☝︎

asciilifeform: !up ascii_field

asciilifeform: !up ascii_field

asciilifeform: !up ascii_field

asciilifeform: !up ascii_field

asciilifeform: usgineze

asciilifeform: ;;nethash

asciilifeform: e.g., http://log.bitcoin-assets.com/?date=10-12-2015#1340438 ☝︎

asciilifeform: this is not the normal format, either

asciilifeform: div by 0 ?

asciilifeform: adlai: restricts ~bitcoin users~, aha

asciilifeform: at least here on ~my~ planet

asciilifeform: mircea_popescu: afaik it began with gcc

asciilifeform: if you don't need the comments thing, best 'blogware' is prolly still... handwritten html

asciilifeform: adlai: specifically, a lengthy and fully-formed thought, like what you were trying to describe earlier, belongs in a proper post

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341033 << afaik it exists strictly in usa ☝︎

asciilifeform: as is 1 (which is the ultimate gravestone on said 'law')

asciilifeform: 2 is a serious boojum to folks still trying to moore's law

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341008 << to round this off, fortunately there is no straight analogue of this in solid state physics. but there is 1) the various forms of intrinsic noise and 2) the failures of the lumped element model as a whole ☝︎☟︎

asciilifeform: adlai: have you considered starting a proper blog ? ☟︎

asciilifeform: afaik not even my organs, and the rest of the meat cured as sausage, is worth 25 b.

asciilifeform: lulzy

asciilifeform: adlai actually thought i had anything to do with the bet ?

asciilifeform: http://log.bitcoin-assets.com/?date=21-03-2014#573142 << starting there ☝︎

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341025 << see the old logz re: gaddafi ☝︎

asciilifeform lacks the correct lsd to process this

asciilifeform: l0l

asciilifeform: adlai: it isn't a 'vote' subject, it's a somebody-giving-enough-of-a-shit one

asciilifeform: adlai: it comes with a www browser. so sorta like a dumb terminal.

asciilifeform: so far it's mostly in korean turdroid items

asciilifeform: yet.

asciilifeform: no oled in ipad!!

asciilifeform: (the elements have a half-life of sorts)

asciilifeform: it is good for roughly 5 yrs. of service.

asciilifeform: witness the 'organic LED' panel.

asciilifeform: before usg is through, we WILL have sov-style disposable cpu.

asciilifeform: 's alu

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341006 << buuuut we do have a very few abstractions that work. witness how you never have to debug your cpu ☝︎

asciilifeform: http://log.bitcoin-assets.com/?date=11-12-2015#1341005 << i picked the analogy quite deliberately. because not only is digital electronics a simplified world riding on top of analogue, but the entire lumped-element model is likewise 'a lie' ☝︎

asciilifeform: vn?

asciilifeform: and yes, there is a lengthy unlearning required to grasp this.

asciilifeform: sane language is not a set of 'meat' with annotations re: compiler hints, but one homogeneous thing.

asciilifeform: what you wrote ?

asciilifeform: depends?

asciilifeform: is my pushing a pencil on my desk, containing 11 pencils, 'pure' ?

asciilifeform: the distinction b/w/ 'pure' and 'impure' fp presumes a von neumann processor

asciilifeform: e

asciilifeform: sur

asciilifeform: sorta how you can flush your own toilet, and the outcome does not depend on the result of me flushing mine ☟︎

asciilifeform: aha

asciilifeform: details?

asciilifeform: it is far from my home planet.

asciilifeform: ben_vulpes: nein

asciilifeform: not today

asciilifeform: as in, stalingrad ?!

asciilifeform: wai wut, it's a week-by-week turnover?

asciilifeform: howz life in the ipnohe brigades.

asciilifeform: ben_vulpes !

asciilifeform: snore.

asciilifeform: l0l, the andreas a. crud take 2x.

asciilifeform: imho if the thing at the core is still the ridiculous cpp turd (complete with openssl, bdb) then the effort is wasted.

asciilifeform: and for so long as it is in use, it will be dragging along atrocious shitgnomicities.

asciilifeform: the thing is, imho classical bitcoind is a rickety life support affair regardless of how we cut it.

asciilifeform: (bitcoind as kernel module)

asciilifeform: throwing out the userland entirely will simplify the build considerably.

asciilifeform: well

asciilifeform: that isn't the issue.

asciilifeform: it will work, yes. just like my original wild buildroot worked.

asciilifeform: (srsly, 'expat' ?)

asciilifeform: but can't escape the feeling that the dependency orchestra is too broad for a buildroot linux to be meaningfully v-tight

asciilifeform: i think i see the point here

asciilifeform: sure