asciilifeform: 'selling even one of these in today’s market would recoup the cost of everything we purchased, the van rental & gas between here and boston, the cost of freighting hundreds and hundreds of pounds of equipment from new york to washington state with enough left over to purchase a brand new macbook'
asciilifeform: 'A break from my usual exotic, esoteric, rare and high-end vintage computers- I built a 486DX2 66mhz DOS shitbox for reliving my childhood.' ( from his twatter ) << lulzily, i did this recently..
asciilifeform: it ain't any kind of mystery how to contact asciilifeform , or where
asciilifeform: phf: y'know if you suspected the mail ain't getting through -- could have asked.
asciilifeform: asciilifeform is unable to map the fella in the snippet to anyone he ever met in meatspace or corresponded with.
asciilifeform: mircea_popescu: i read to the end and still have nfi who these folx are. i suspect we have ( charitably ) case of mistaken identity.
asciilifeform: ( 1st lappy in any useful sense of the word. powered -- and afaik still does - american and french 'nuke football', among other applications. )
asciilifeform: i've been trying to buy one for ages.
asciilifeform: mircea_popescu: from commentz in my www, linked item
asciilifeform: trinque: hey, d00d is 'sane' enough that he offloads his insanity to a shannonizer. weakling!11
asciilifeform: but in neither case does the instr set 'fully correspond to the language'. in the case of ada in particular, there is a useful thing that happens ~where whole program~ is examined.
asciilifeform: from ada pov only the former is relevant.
asciilifeform: but it was written from specific pov of lispm aficionado gripe -- where's my boundschecked dereference and hardware gc.
asciilifeform: that was the contention of my piece ( linked above )
asciilifeform: ops like 'move these 64 bits from this-here-place to that-there-place' etc
asciilifeform: mircea_popescu: there's a substantive function, in transistor-poor era , to break down high level lang into the type of ops realistically fittable into silicon
asciilifeform: possibly mircea_popescu had read my http://www.loper-os.org/?p=46 piece. but in re lisps, there are specific operations that are missing from extant hardware : gc/cons, and boundscheckedarrayaccess. these are clumsily implemented in software.
asciilifeform cannot rightfully apprehend the confusion that leads to this question.
asciilifeform: ada is interesting because 1) all array accesses bounds checked. you CAN hardwarize this. but also 2) whole program is forced to conform to strict rules, said conformance can only be evaluated during compilation, and strictly when taken as whole