04:47 |
mike_c |
BingoBoingo: just checking in, haven't seen much chatter recently. What's the next step? |
| |
~ 10 hours 34 minutes ~ |
15:22 |
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. |
15:22 |
BingoBoingo |
mike_c: Trinque estimated he'll have it back up this weekend. http://logs.ossasepia.com/log/trilema/2020-01-10#1956764 |
15:23 |
BingoBoingo |
mike_c: Once the deeds are published, mircea_popescu and I will continue from there. |
| |
~ 2 hours 6 minutes ~ |
17:30 |
asciilifeform |
jfw: http://fixpoint.welshcomputing.com/2020/whats-on-my-mind/#comment-150 |
17:30 |
asciilifeform |
shinohai: ty for testing |
17:31 |
asciilifeform |
BingoBoingo: i had nfi that deedbot were still hosed... (it's been >3mo?!) |
17:32 |
* |
asciilifeform for some reason had notion that jfw was gonna bake his own, 'kosher' isp |
17:33 |
shinohai |
asciilifeform: o7 thanx for fun tool. |
17:41 |
shinohai |
BingoBoingo: Will there be Qntra coverage when mike_c case resumes? |
17:43 |
BingoBoingo |
shinohai: If it is news, but my covering it as a journalist would make the tight needlethreading necessary still tighter. |
17:45 |
shinohai |
If you wish to hire a journalistic consultant to assist, I would be quite pleased to throw a hat into the ring. |
17:45 |
BingoBoingo |
We'll see where this goes. |
| |
~ 36 minutes ~ |
18:22 |
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 |
18:24 |
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) |
18:25 |
shinohai |
esthlos-v is a++ vtron |
18:25 |
asciilifeform |
shinohai: do you have a mirror for that one ? plox to link |
| |
↖ |
18:25 |
Apocalyptic |
ty, I stumbled upon mod6's v linked on the thebitcoin.foundation page, but realized it is sha512-only |
18:26 |
Apocalyptic |
shinohai, you're referring to this one, correct ? |
18:27 |
shinohai |
Apocalyptic: the same yes ^ |
18:27 |
Apocalyptic |
looks like I need a sha-Vtron to build it anyway |
18:27 |
shinohai |
(includes own standalone keccak ) |
| |
~ 2 hours 7 minutes ~ |
20:35 |
Apocalyptic |
asciilifeform: fwiw the latest GNAT from Adacore doesn't build ffa_ch1, apparently "Inline_Always" is declared too late |
20:35 |
Apocalyptic |
I will try with an older version |
| |
~ 34 minutes ~ |
21:10 |
asciilifeform |
Apocalyptic: use ave1's gnat ( see ch11 ) |
21:10 |
asciilifeform |
it is the only 'officially supported' gnat for ffa. |
21:16 |
* |
Apocalyptic notes |
21:20 |
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 |
| |
~ 22 minutes ~ |
21:43 |
shinohai |
gcc version 4.9.4 20160426 (for GNAT GPL 2016 20160515) (GCC) here ftr |