asciilifeform: (i for one will happily jump with the parachute i packed for self. but my carcass isn't worth especially much)
asciilifeform: or at least the fate of truly serious folks with much to lose
asciilifeform: trinque: because of the difficulty, and ultimately the very real practical limits of programmatic proof, tandem is likely our fate for many years.
asciilifeform: ben_vulpes: and one of the folks here (not guaranteed that it'll be me) writes a spiffy 'ab initio' bitcoind
asciilifeform: that is, one which (or, even better, its subcomponents) can be ran in lockstep with another nominally-equivalent program
asciilifeform: i will admit that, with regards to the reference version (let's call it 'traditional') i am especially interested in a tandem-operable variant
asciilifeform: but it will be some time before anyone is faced with question of what to do with my ver.
asciilifeform: and yes, this means we freeze gcc, ulibc, etc. in time.
asciilifeform: the result ought to be a self-contained bag of shit that, when executed on any reasonable unix, eventually churns out a set of images suitable for flashing to a 'pogo'.
asciilifeform: that is, the same crosscompiler it builds, that builds kernel etc. will also build bitcoind and its deps
asciilifeform: my notion, as of a month plus ago, was to bake the entire orchestra into a buildroot
asciilifeform: the thing is mega-configurable and very baroque
asciilifeform: 3) userland (rootfs image for stuffing wherever, nand in our case)
