asciilifeform: and yes.

asciilifeform: but yes phf in fact described , in considerable detail, how scheme79/83 authors strategically omitted the vlsi synthesis tool from their pubs

asciilifeform: ( and lets'em actually move forward, instead of '1 forward, 2 back' dance of heathendom )

asciilifeform: this helps the threads actually carry through time

asciilifeform: and incidentally, imho the correct response to asciilifeform (or whoever else) being amnesiac and ignoring old point in log, is to... link to it

asciilifeform: phf: consider the practical diff b/w ffa-in-log-cum-pastes and the current series.

asciilifeform: and it isn't as if 'log not canonical', but moar of limitations of meat memory.

asciilifeform: phf: on one hand, asciilifeform oughta take better notes. on other , phf really oughta have blog!11 ☟︎

asciilifeform: in that sense , yea

asciilifeform: and i'm convinced that it's a pseudoproblem. but we'll come back to this when mircea_popescu makes a compact statement of it.

asciilifeform: no i think i grasp.

asciilifeform: ( or connected to printer... )

asciilifeform: finality is just a cell with no outflow, lol

asciilifeform: the lack of an fpga where i could go straight to demonstrating this experimentally, is a pretty substantial headache for asciilifeform

asciilifeform: no particular reason to hardwarize them explicitly.

asciilifeform: dataflow fabric can express e.g. carry-save-adders as well as anything else.

asciilifeform: aaha.

asciilifeform: if compiler bug costs exploded rocket and 100 megabux -- people do in fact begin to think about audits.

asciilifeform: ( traditionally compiler was distrusted not even because thompson, but because buggy. )

asciilifeform: each. one.

asciilifeform: this has been the historic only pill for 'i dun trust the compiler' . audit the bin.

asciilifeform: ( again in re individual built item, e.g. ffa, rather than whole gnat )

asciilifeform: it is -- if you were to subtract the rtl ( see http://btcbase.org/log/2017-11-29#1743984 misery ) doable even now. ☝︎

asciilifeform: something reasonably lightweight ( 100kB say )

asciilifeform: mircea_popescu: for whole gnat, is prolly an unliftable load, at least until it is sawed into small pieces and rewritten in whatever we end up with as 'machine scheme' . i was speaking of individual built bin, e.g. an ffatron.

asciilifeform: ( concerned a particularly insidious bit of schoolbook braindamage , re how bits in registers are drawn on paper )

asciilifeform: this ties in interestingly with the #mod6 thread also

asciilifeform: right. aka 'standard'

asciilifeform: bbc?

asciilifeform: lollerity

asciilifeform: lol tor

asciilifeform: aaha!

asciilifeform: lol

asciilifeform: mod6's castle had good steam for ~year nao

asciilifeform: ftr potentially interesting, to n00bz, ffa thread, in http://logs.bvulpes.com/trilema-mod6?d=2018-1-22#289427 today.

asciilifeform: right.

asciilifeform: mircea_popescu: loox like he appeared today, introduced as ffa reader.

asciilifeform: mircea_popescu: it isn't clear to me how i can 'build on his thing' without losing important functionality.

asciilifeform: there will be a tmsr gnat; and will be based on a cleaned-up adacore gnat.

asciilifeform: nor maintaining million crippled forklets.

asciilifeform: i will NOT be lowest-common-denominator-ing between all of the various gnu liquishit and the one actually-working gnat.

asciilifeform: mircea_popescu: i question the wisdom of keeping the gcc-ada bullshit on life support.

asciilifeform: closest thing is ben_vulpes's item

asciilifeform: afaik.

asciilifeform: caaddr: this remains true

asciilifeform: caaddr: phuctor actually suffered from 'chronic case' of empire-steals-box

asciilifeform: caaddr: it's on a 1u machine on my desk, as we speak. which in turn is waiting for a host berth.

asciilifeform: caaddr: the number-crunching part was separate program, in c

asciilifeform: caaddr: the www front end was in python

asciilifeform: BingoBoingo: dun do so much good without the iron

asciilifeform: ( the only lappy that had an ACTUAL MOUSE inside it. pops out, no shit, from the side )

asciilifeform: speaking of which, asciilifeform just uncrated a 'omnibook 800' , prolly the spiffiest dos portable ever made

asciilifeform: how did herr schicklegruber put it, 'england gave the english comfort and safety, and they barfed; i asked germany to give me blood, tears, death, and it gave gladly' or how it went

asciilifeform: ( too hermetic )

asciilifeform: possibly because did not trigger the boeck immune cells

asciilifeform: mircea_popescu: yea, i have nfi why

asciilifeform: d00d prolly went to bed

asciilifeform: right

asciilifeform: but yes gpg is retarded and no there isn't an easy workaround afaik other than to feed it what it wants

asciilifeform: it's a fucking rsa modulus

asciilifeform: omfg

asciilifeform: http://btcbase.org/log/2018-01-22#1773921 << the entire taleb & friends circle, reminds me inescapably of http://btcbase.org/log/2018-01-19#1772872 / http://btcbase.org/log/2018-01-19#1772873 . ☝︎☝︎☝︎

asciilifeform: the trb treatment.

asciilifeform: prolly right after ffa series is done.

asciilifeform: ave1: we're doomed to eventually fork it and tune out the heathens forever.

asciilifeform: ave1: this in re gnat ?

asciilifeform: ( for ~newer~ gnats, MAYBE, if somebody ever comes up with any reason to )

asciilifeform: and yes i'ma keep having'em, and no i'm not ever going to sign and distribute a mutilated and restriction-weakened version just for old gnats.

asciilifeform: makes sense.

asciilifeform: ( http://btcbase.org/log/2016-01-11#1366621 << in particular. and elsewhere. ) ☝︎

asciilifeform: ( http://btcbase.org/log/2016-06-14#1482737 << see also ) ☝︎

asciilifeform: gnat has a deliberately brittle behaviour re the restriction pragmas -- if you use one it doesn't know about, it barfs. ( and i'm not even convinced that this is wrong. half of the appeal of ada is that it takes 'postel's law', rips off its head, and fucks the stump ) ☟︎

asciilifeform: !~later tell ave1 http://btcbase.org/log/2018-01-22#1774137 << re the 2014 : any particular reason aside from the contents of restrict.adc and the gpr's flags ? ☝︎

asciilifeform doesn't 'fix that's either

asciilifeform: fair'nuff

asciilifeform: ( still doesn't explain why he couldn't voice. but possibly his own mistake, somewhere.. )

asciilifeform: trinque: loox like that was it, lol.

asciilifeform: !!v A75C544B3C282C8AD6CAFED86640A890C3CABE73B94773FC518F0B39F589FA47

asciilifeform: !!rate diana_coman 3 industrial FG user; adatronicist; ffa reader ☟︎

asciilifeform: oh hm

asciilifeform: !!reputation caaddr

asciilifeform: what am i missing, trinque ?

asciilifeform: how does this square with http://btcbase.org/log/2018-01-22#1773965 ☝︎

asciilifeform: waiwat

asciilifeform: !!gettrust caaddr

asciilifeform: http://wotpaste.cascadianhacker.com/pastes/cZFhM/?raw=true << pgpdump -i , ftr

asciilifeform: ( no expir date, or the like )

asciilifeform: there doesn't appear to be anything peculiar about his key.

asciilifeform: hey caaddr !

asciilifeform: !!up caaddr

asciilifeform: trinque: any idea why caaddr wasn't able to !!up himself, despite having been rated ?

asciilifeform: mod6: it's the pill for http://btcbase.org/log/2018-01-22#1773848 . ☝︎

asciilifeform: http://btcbase.org/log/2018-01-22#1774125 << phf neato. mod6 : prolly this oughta go instead of the old one, in trb www. ☝︎

asciilifeform: ave1: it still is quite unclear to me, why 'gcc-gnat' exists.

asciilifeform bbl

asciilifeform: it led to microshit, konsoomerization, 'eternal september', all of these 'joys' that we still live in.

asciilifeform: !!up caaddr

asciilifeform: the microcomputer was a massive step back, not merely technically ( that'd be fixable ) but sociopolitically. ☟︎

asciilifeform: likely.

asciilifeform: massage.