asciilifeform: !w poll
watchglass: Polling 11 nodes...
watchglass: 192.151.158.26:8333 : Could not connect!
watchglass: 205.134.172.26:8333 : Alive: (0.082s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 108.31.170.3:8333 : (pool-108-31-170-3.washdc.fios.verizon.net) Alive: (0.035s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111 (Operator: asciilifeform)
watchglass: 205.134.172.6:8333 : (172-6.core.ai.net) Alive: (0.091s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 205.134.172.27:8333 : Alive: (0.084s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111 (Operator: asciilifeform)
watchglass: 205.134.172.4:8333 : (172-4.core.ai.net) Alive: (0.143s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=624128
watchglass: 208.94.240.42:8333 : Alive: (0.228s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 143.202.160.10:8333 : Alive: (0.219s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 213.109.238.156:8333 : Alive: (0.333s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 188.121.168.69:8333 : (rev-188-121-168-69.radiolan.sk) Alive: (0.352s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626111
watchglass: 103.36.92.112:8333 : Busy? (No answer in 20 sec.)
asciilifeform: meanwhile ( shinohai & other prospective users ) : after ungodly delay in components shipments, the apu3 box is nao available. catalogue has been updated to include it.
snsabot: Logged on 2020-03-09 20:06:21 asciilifeform: shinohai: i have a 'apu3' unit coming in ~2wks, if yer interested.
feedbot: http://mvdstandard.net/2020/04/local-malls-negotiating-amongst-themselves-for-a-coordinated-reopening/ << The Montevideo Standard -- Local Malls Negotiating Amongst Themselves For A Coordinated Reopening
Apocalyptic: asciilifeform: do you have a link for specs re apu3 ? the log isn't helpful in that regard
trinque: Apocalyptic: appears to be this guy https://www.pcengines.ch/apu3c4.htm
trinque: decent little box imho. I've got a predecessor sitting right next to me routing bits.
Apocalyptic: trinque: ty
asciilifeform: ty trinque . that's the vendor pg for the box, aha
asciilifeform: my only complaint w/ apu2/apu3 is that sageprobe dunwork with'em . but afaik otherwise identical to apu1.
asciilifeform: trb noad 205.134.172.27 is a apu1 .
asciilifeform: http://logs.nosuchlabs.com/log/asciilifeform/2020-04-15#1010243 << believe or not, i used a similar tool in late 1990s, for deriving hardcoded-constant optimal multiplies for pic16f84 micro. was even a public www thing (!) , someone baked in perl. sadly vanished , afaik, w/out a trace.
snsabot: Logged on 2020-04-15 21:32:57 Apocalyptic: interesting experiment
verisimilitude: I've also come across that experiment, and it spurred me to write a similar article I otherwise wouldn't've, but I was ultimately unimpressed with the approach used.
asciilifeform: imho gratuitously complex.
verisimilitude: If the machine can't do something in one instruction, a human can review this, but if a solution in two is found, this provides a nice upper bound. Similarly, if a three-instruction sequence is written, that's not proof a pair of instructions wouldn't suffice, but it's not necessarily even important.
verisimilitude: That's also the impression it gave me, asciilifeform; he played with a slow toy that ate all of his memory and which apparently he didn't fully understand.
asciilifeform: moar or less sums up asciilifeform's pov re proofotrons similarly.
snsabot: (trilema) 2018-11-29 asciilifeform: zx2c4: point being, i don't practice haskellism. and nit from being illiterate yokel who has nfi how. it so happens that i know how. but consider the whole approach to be braindamaged .