asciilifeform: aha

asciilifeform: i'm assuming x86 ?

asciilifeform: strip plz

asciilifeform: and is 22mb the stripped elf ?

asciilifeform: cpu ?

asciilifeform: weight ?

asciilifeform: here we go

asciilifeform: !s sword hilt

asciilifeform: !s sword hilts

asciilifeform: aha

asciilifeform: tetris ?

asciilifeform: bureaucrats, snore.

asciilifeform: so are, one might note, their machines.

asciilifeform: for the 'old boys'

asciilifeform: thinking 'now i'll find work'

asciilifeform: decimation: i can't help but wonder if somewhere, in a damp cellar, a kid is studying 'JOVIAL'

asciilifeform: and hence this.

asciilifeform knew he would not have time to write later this week

asciilifeform: was a bit of a hurried job on my part, BingoBoingo asked for a likbez, and,

asciilifeform: other than that, looks perfect

asciilifeform: BingoBoingo: one left in footnote 2

asciilifeform: BingoBoingo: neato! ty

asciilifeform thought that this was well-established

asciilifeform: BingoBoingo: / .. / - italics

asciilifeform: size it down to 640x480 perhaps

asciilifeform: BingoBoingo: image blows up

asciilifeform: and making use of 1970s-era monstrosities (e.g., 'JOVIAL')

asciilifeform: quite a few usg-sponsored war projects are still -struggling to modernize to ada-

asciilifeform: phun phact:

asciilifeform: (ada is quite like a more 'fascist' incarnation of pascal)

asciilifeform: decimation: definitely. more specifically, pascal-likes.

asciilifeform: decimation: that's traditional notation for a standard that no longer has a working group but has not been retracted

asciilifeform: it's a kind of 'polar opposite' of common lisp..

asciilifeform: i can sorta see why naggum went in for ada

asciilifeform: and guess which are the only two programming languages to have 'rationale manuals' for every aspect of the language ?

asciilifeform: at any rate, all of the ada-related material is thoroughly public

asciilifeform: not so hard

asciilifeform: considering that the sole remaining makers of the product described in that one are chinese...

asciilifeform: ^ yes - actual cpu!

asciilifeform: 'MIL-STD-1750A' etc.

asciilifeform: gnat/gcc lacks support for some of the more exotic chips used

asciilifeform: - actually - i can think of one

asciilifeform: but this being one of the only two programming languages in existence which are -standardized in their entirety-, in principle there is no reason - aside from retardation - to use a proprietary ada

asciilifeform: there are proprietary ada systems, yes. i have not been able to learn who uses them, and for what.

asciilifeform: and (iirc) lgpl

asciilifeform: at any rate, all of the 'standard library' is public

asciilifeform: for which the chumps, yes, pay

asciilifeform: and is a separate racket

asciilifeform: the certificate has nothing to do with ada per se

asciilifeform: (one of the conditions for the ancient usg mandate establishing ada 'foundation' is that the product must be gpl'ed)

asciilifeform: gnat is both widely used and gpl

asciilifeform: nope.

asciilifeform: without the 'bondage & discipline' stylistic aspects

asciilifeform: as in, something that actually provides the same functionality

asciilifeform: i've learned that there is not actually a good substitute for ada, as of yet.

asciilifeform for one would rather not have HF in his kitchen

asciilifeform: nothing that threatens to put it in your friendly local illegal machine shop, much less your kitchen.

asciilifeform: aha.

asciilifeform: etc.

asciilifeform: (but costlier, as decimation points out, with inflation)

asciilifeform: the energy required to melt Si is ever the same

asciilifeform: high vacuum, for instance, is still achieved in much the same ways as in 1930s

asciilifeform: aha.

asciilifeform: none of the items that comprise most of the expense have changed since day one.

asciilifeform: as i pointed out earlier,

asciilifeform: (resolves to 'maxwell's daemon')

asciilifeform: good thermodynamic reasons to conclude that it is not doable in the general case

asciilifeform: but to somehow lay out electrical logic elements at the customary densities without resort to a $1B factory.

asciilifeform: we don't necessarily need to 'shrink the classical fab'

asciilifeform: that's the wrong thought.

asciilifeform: probably needs entirely new chemistry.

asciilifeform: the only thing that seems certain imho is that starting from existing concept of ic fab is a dead end ☟︎

asciilifeform: that i know of.

asciilifeform: no one has yet suggested a practical means of doing it.

asciilifeform: decimation: thus far, it is.

asciilifeform: welcome to propagation delays 100s of mSec long. and idiot proprietary toolchains

asciilifeform: anyone who wants - open catalogue, buy right now.

asciilifeform: that's existing idiocy.

asciilifeform: that isn't chip printing

asciilifeform: but sucks even harder

asciilifeform: sucks for exactly the same reasons as ordinary fpga

asciilifeform: called antifuse fpga

asciilifeform: this exists

asciilifeform: as it demands high vacuum, among other finicky and expensive things

asciilifeform: not useful for our purposes

asciilifeform: that'd be the extant 'ion beam workstation'

asciilifeform: the need for a steerable beam process is pretty clear

asciilifeform: aha

asciilifeform: BingoBoingo: please make sure the fragile externally linked stuff (marked) is mirrored

asciilifeform: neato.

asciilifeform: but otherwise ready to roll, imho.

asciilifeform: (there are links to linkify and images to imagify)

asciilifeform: it'll need a bit of formatting work

asciilifeform: ok

asciilifeform: BingoBoingo: paste checksum of plaintext when you get it

asciilifeform: plz confirm

asciilifeform: BingoBoingo: http://dpaste.com/114FS2Z.txt

asciilifeform: or what

asciilifeform: BingoBoingo: am i to use your original wot key ?

asciilifeform: that last one's it.