mike_c: BingoBoingo: just checking in, haven't seen much chatter recently. What's the next step?
BingoBoingo: mike_c: Right now waiting on Deedbot's deed publishing to get restored. Your MPEx statement was submitted and accepted by the irc bot portion of deedbot, but the Pizarro mess took down the publishing portion of deedbot.
BingoBoingo: mike_c: Trinque estimated he'll have it back up this weekend. http://logs.ossasepia.com/log/trilema/2020-01-10#1956764
BingoBoingo: mike_c: Once the deeds are published, mircea_popescu and I will continue from there.
asciilifeform: shinohai: ty for testing
asciilifeform: BingoBoingo: i had nfi that deedbot were still hosed... (it's been >3mo?!)
asciilifeform for some reason had notion that jfw was gonna bake his own, 'kosher' isp
shinohai: asciilifeform: o7 thanx for fun tool.
shinohai: BingoBoingo: Will there be Qntra coverage when mike_c case resumes?
BingoBoingo: shinohai: If it is news, but my covering it as a journalist would make the tight needlethreading necessary still tighter.
shinohai: If you wish to hire a journalistic consultant to assist, I would be quite pleased to throw a hat into the ring.
BingoBoingo: We'll see where this goes.
Apocalyptic: asciilifeform: what's the state-of-the-art V implementation that you would recommend to build the FFAtron ? I understand there are many versions and not all of them support Keccak
asciilifeform: Apocalyptic: i use (patched for keccakism) my orig. 'v.py' . the one linked from the articles, maintained by diana, orig. by mod6 also worx; shinohai is using a cl vtron by esthlos (rip)
shinohai: esthlos-v is a++ vtron
asciilifeform: shinohai: do you have a mirror for that one ? plox to link
Apocalyptic: ty, I stumbled upon mod6's v linked on the thebitcoin.foundation page, but realized it is sha512-only
Apocalyptic: shinohai, you're referring to this one, correct ?
shinohai: Apocalyptic: the same yes ^
Apocalyptic: looks like I need a sha-Vtron to build it anyway
shinohai: (includes own standalone keccak )
Apocalyptic: asciilifeform: fwiw the latest GNAT from Adacore doesn't build ffa_ch1, apparently "Inline_Always" is declared too late
Apocalyptic: I will try with an older version
asciilifeform: Apocalyptic: use ave1's gnat ( see ch11 )
asciilifeform: it is the only 'officially supported' gnat for ffa.
Apocalyptic notes
Apocalyptic: luckily ave1 used "GPRBUILD GPL 2016 (20160515) (x86_64-pc-linux-gnu)", which is the oldest ADA_TARGET for gprbuild on heathen-gentoo these days
shinohai: gcc version 4.9.4 20160426 (for GNAT GPL 2016 20160515) (GCC) here ftr