asciilifeform: 'The Net interprets censorship as damage and routes around it.' also him

asciilifeform: '...have spent a lot of time working on crypto export control issues. led the team that built the world's first publicly announced DES Cracker...' etc

asciilifeform: BingoBoingo ? ☟︎

asciilifeform: somebody shoot him a mail ????

asciilifeform: mircea_popescu: toad.com is him

asciilifeform: eff, 'cypherpunks', cygnus, alt.* , gnuradio...

asciilifeform: john gilmore

asciilifeform: http://www.toad.com/gnu

asciilifeform: holy mother of fuck

asciilifeform: ( FG has ~three~ clock domains, and it was a bitch. exercise for reader: which 3 ??? )

asciilifeform: it'd have made FG much easier to make, for instance

asciilifeform: i'd luvvv a clock like that, btw

asciilifeform: ( sadly. )

asciilifeform: clock ain't magic, it does not teleport to whole circuit instantaneously

asciilifeform: it's how you read/write the actual stable signal you put/got , rather than liquishit.

asciilifeform: anyway the badnoose for mircea_popescu is that you're stuck with the busy signal because that's what the 's' in sram or sdram stands for. the synchronicity.

asciilifeform satisfied that mircea_popescu saw

asciilifeform: aha!

asciilifeform: ever touched, with own hands ?

asciilifeform: has mircea_popescu ever seen a multi-Ghz box-to-box wire ?

asciilifeform: you want to run at the baud rate of the terminal, lol?

asciilifeform: i/o, for instance.

asciilifeform: there'll be a khz item in there, regardless.

asciilifeform: or get garbage.

asciilifeform: you then run at the disk's 1khz.

asciilifeform: the traditional scheme is that a read happens when the thing being read drops its busy line; and a write begins when when the 'victim' drops his busy signal, and ends when he drops it again after raising.

asciilifeform: trinque: elaborate?

asciilifeform: as in, 3 orders of magnitude slower than others.

asciilifeform: (e.g. disk)

asciilifeform: because some slow ops are veeeery sloow

asciilifeform: 1kHz

asciilifeform: this gives you cpu from 1960s soviet comp

asciilifeform: it is pretty easy to give the fast devices cancer and make'em wait for the slow.

asciilifeform: and run at ~modern capacities.

asciilifeform: could make nsa-free cpu out of stock ecl logic, a few dozen ics.

asciilifeform: the gain is the minimality of the hardware.

asciilifeform: 'want to write to me? wait a bit'

asciilifeform: it simply means 'if yer trying to read from me, you gotta wait or go do something else for a spell'

asciilifeform: 'ready signals' are how you finesse the problem of subcomponents of different speeds.

asciilifeform: not necessarily.

asciilifeform: plug'em like children's blocks

asciilifeform: and you can likewise 'chain' the 'cpus' with ~0 effort.

asciilifeform: naturally they 'always run'

asciilifeform: is the point.

asciilifeform: mircea_popescu: well yes !

asciilifeform: the quick sub-devices will run quickly, the slow-slowly.

asciilifeform: without worrying about path lengths, delays.

asciilifeform: you can make this out of discrete logic.

asciilifeform: this scheme is interesting for strictly 1 reason :

asciilifeform: so adder, multer, etc, etc all exist simply as devices that hang from 1 set of wires. ☟︎

asciilifeform: so for instance if you want to load in a constant somewhere, you gotta read it from the constanttron (which is some range of addrs)

asciilifeform: all other operations exist in the form of devices that hang off this bus, right next to the memory

asciilifeform: the current instruction ptr is, e.g., address 0.

asciilifeform: cpu reads from source (which can be a slow device, it waits for readysignal) and writes (ditto) to B.

asciilifeform: word A is 'source' and B is 'destination'

asciilifeform: instructions consist of, say, pairs of 64bit words

asciilifeform: idea is, 'cpu' that only knows how to do 1 thing:

asciilifeform: 'transport triggered architecture'

asciilifeform: there exists ( in the sense where asciilifeform thought of it, but then went to dig in the dusty libraries and discovered ancient tomes ) a thing called 'tta' ☟︎☟︎

asciilifeform: speaking of which, i've been wanting to discuss 'simplest cpu' for a while. ☟︎

asciilifeform: aha!

asciilifeform: to what extent can ideal object (proggy) be conceptually cut from the physical 'mortal soil'

asciilifeform: well this is the mega-question of our time neh

asciilifeform: like 'bridge is good for T tonnes of tank'

asciilifeform: given that the system includes a physical component, this is reasonable

asciilifeform: so motherfucking theorem.

asciilifeform: ( tableau proof )

asciilifeform: mircea_popescu: didja read the beginning, say, of ffa. there's a proof of correctness for the adder, for instance.

asciilifeform: 'sqrt(2) is irrational' -- theorem

asciilifeform: 'probably provably' == 'conjecture'

asciilifeform: or turn into theorems

asciilifeform: these live, and die.

asciilifeform: conjecture!

asciilifeform: nope. 'gradated' theorems are called 'conjectures' instead.

asciilifeform: no physical beams of steel to fatigue, in theorem.

asciilifeform: there are no gradations in validity of theorem.

asciilifeform: like theorem.

asciilifeform: because we are discussing an ideal object.

asciilifeform: again no analogy from physical objects is suitable here.

asciilifeform: the duty of engineer is to ignore godel. like soldier's is to ignore death.

asciilifeform: and before you do, or anybody mentions godel, http://btcbase.org/log/2017-05-31#1663960 ☝︎

asciilifeform: either system accepts an unanticipated input and produces unanticipated rape, or it does not.

asciilifeform: 'secure' is a binary.

asciilifeform: i dun follow

asciilifeform: that's the spec for ffa, for instance.

asciilifeform: mircea_popescu: mnope. how about 'the only 0day is an asteroid'

asciilifeform: ( see the old treblinka thread )

asciilifeform: the wunderwaffen, when it works, works exactly like the auschwitz guard's machinegun - 'can't shoot all of the prisoners, but can shoot any particular in 1 go'. and fails in exactly same gametheoretical way.

asciilifeform: ( which iirc the turks did not even bother to pick up and use )

asciilifeform: at the point when nobody cares, you're done, like the siphonariae of byzantium

asciilifeform: '50k bullets', if useful at all, are only so as 'fleet in being' -- 'damocle's sword could Smite You Any Day Of The Week' etc

asciilifeform: ( all items breakable by particular $0day are to be treated as 'one device' )

asciilifeform: they gotta be <$10k ~in the aggregate~ , for this syllogism

asciilifeform: http://btcbase.org/log/2017-06-30#1677276 << this is reminiscent of the 'i left a box with bait of 1 bitcent and nobody broke it, SEKOORE!!!1' -- you gotta ask 'was the game worth the candles'. an 0day can be worth from $100k to $maxint; why does your particular honeypot, merit blowing it. ☝︎

asciilifeform: or nm, that was eugen stoner

asciilifeform: shinohai: mebbe it's the d00d who designed m16 rifle

asciilifeform: lol 403

asciilifeform: it isn't clear to asciilifeform how much 'room for improvement' there is, unless one were to cough up solutions to a number of unsolved ( and possibly unsolvable ) mathematical boojums

asciilifeform: incidentally the 'pass around the latest rsa-signed payload from master' is sop there.

asciilifeform: runs N copies of $payload, at random times, in random machines, etc.