asciilifeform: mircea_popescu: the correct way to expose thompsonism, is to implement the compiler, and THEN to diff the bins.
asciilifeform: medieval serfs who built '400 year' cathedrals, were at least able to see the stones.
asciilifeform: mircea_popescu: in my experience ( and to asciilifeform personally ) problems which provide zero incremental reward ( not even to speak of massive penalties for failure ) are not attractive.
asciilifeform: (and observe that napoleonic ordnance is still sometimes found. not even to speak of ww2.)
asciilifeform: whereas a compiler bug can be a constellation of 9,999 conditions that must occur just-so.
asciilifeform: it is much harder problem , than, say, to clear ALL of the unexploded ordnance from ww2. a mine, whatever else can be said of it, is at least a physical object.
asciilifeform: mircea_popescu: re 'nothing weighs too much', unfortunately this is not so, there are maybe a dozen people who can play, alive, and i actually dun know any of the other 19 , and even a 64kB binturd can be month's work, and problem is not O(n) even.
asciilifeform: ( this is the kind of thing that uncovers thompsonism, say )
asciilifeform: and ideally 'gold' binary, to be built with ~that~
asciilifeform: incidentally 1 other interesting auxiliary project , would be to determine what is the oldest gnat that will build ave1's generator
asciilifeform: mircea_popescu: rrright, but let's award the medals ~after~ problem is Trooly Solved ; otherwise we risk to run out of medals prematurely
asciilifeform: diana_coman: what does readelf -h aarch64-musl-linux-gcc give you ?
asciilifeform has no objection , if the rest of the board does not, to awarding fella a modest prize , if this in fact worxxx
asciilifeform: i omitted a step 5 ) put in ~/.bash_profile , the path, e.g. PATH="/home/foo/temp/ada/ada-musl-cross-2018-05-15/bin/x86_64-linux-musl/bin/:$PATH"; export PATH
asciilifeform: i built a ch10 ffa with it, and the result runs.
asciilifeform: even conveniently tars them up for transport to other boxen.
asciilifeform: 5-6 hours later ( the parallelization thing dun seem to work, and good chunk of time is spent in autoconf, which never parallelizes ) you get x86-64 and arm64 gnats
asciilifeform: in (4) naturally you put the path of your 'bin' that you made in (3)
asciilifeform: diana_coman: steps to replicate: 0) on a machine WITH A WORKING GNAT (e.g. adacore's , and it must be in your path already ) 1 ) download the tarball from http://ave1.org/2018/building-gnat-on-musl-now-with-partial-and-parallel-build-support 2) unpack tarball ada-musl-cross-2018-05-15.tgz , go to the dir 3) mkdir bin << this is where the built binariola will live 4) ./build-ada.sh /home/foo/temp/ada/ada-musl-cross-2018-05-15/bin☟︎
asciilifeform: however : i get 'exec format error' when trying to run any of the bins!!!
asciilifeform: aaaaaaaand ave1 diana_coman mircea_popescu it built compiler ( ' Native compiler prefix built by musl-cross aarch64-linux-musl-native ' )
asciilifeform: mircea_popescu: i think rosenfeld was before my time. tho he came up recently, iirc during adlai's expulsion ( he tried to defend , iirc )
asciilifeform: seems to be a long-lived chumpatron, like ethertardium
asciilifeform: ( per the letter of the law, iirc they're all 100% guilty , there is not an official 'common carrier' exemption for'em or anyone without Note From Hitler )
asciilifeform: looks like they're bringing'em against otherwise-marked-for-discard tor/proxy/etc operators nao
asciilifeform: and , gold, '...claims that he initially provided assistance to the FBI’s investigation. Following the search of his apartment in March 2017, prosecutors waited six months to bring the child pornography charges'
asciilifeform: '...when he left the CIA in 2016, suspicion fell upon him as “the only one to have recently departed [the CIA engineering group] on poor terms' << lol!!
