#asciilifeform | 2020-04-20

http://thetarpit.org/2020/on-the-hellpits-of-abstraction << The Tar Pit -- On the hellpits of abstraction

06:50

http://thetarpit.org/2020/work-plan-for-m2-2020 << The Tar Pit -- Work plan for M2 2020

06:53

http://thetarpit.org/2020/on-the-hellpits-of-abstraction << The Tar Pit -- On the hellpits of abstraction

07:06

http://thetarpit.org/2020/again-on-general-purpose-tools << The Tar Pit -- Again on "general-purpose" tools

~ 2 hours 16 minutes ~

09:23

oh hey ben_vulpes, wb

09:25

re pxeboot -- iirc in '15 i posted instructions re tftp, on the trb ml.

09:30

the old gentoo page re subj .

~ 1 hours 39 minutes ~

11:09

!w poll

11:09

Polling 11 nodes...

11:09

192.151.158.26:8333 : Could not connect!

11:09

205.134.172.6:8333 : (172-6.core.ai.net) Alive: (0.086s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

108.31.170.3:8333 : (pool-108-31-170-3.washdc.fios.verizon.net) Alive: (0.039s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872 (Operator: asciilifeform)

11:09

205.134.172.27:8333 : Alive: (0.083s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872 (Operator: asciilifeform)

11:09

205.134.172.26:8333 : Alive: (0.142s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

205.134.172.4:8333 : (172-4.core.ai.net) Alive: (0.118s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=624128

11:09

208.94.240.42:8333 : Alive: (0.147s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

143.202.160.10:8333 : Alive: (0.225s) V=70001 (/therealbitcoin.org:0.7.0.1/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

213.109.238.156:8333 : Alive: (0.349s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

103.36.92.112:8333 : (terebe.ns01.net) Alive: (0.573s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

11:09

188.121.168.69:8333 : (rev-188-121-168-69.radiolan.sk) Alive: (0.691s) V=99999 (/therealbitcoin.org:0.9.99.99/) Jumpers=0x1 (TRB-Compat.) Blocks=626872

~ 18 minutes ~

11:28

hey asciilifeform, did you ever produce a static *gnat*? I've been flipping configure switches on gcc-4.9.4 for a while now, and the thing produces statically-linked gcc, and dynamically linked gnat.

11:28

apparently ignoring both of CFLAGS and LDFLAGS!

11:38

trinque: near as i could tell, ave1's binary kit ( and what it built on my boxen ) was static...

11:39

trinque: are you still working with his kit, or making from older gcc's ?

11:39

asciilifeform: mind running `file` on one of your gnat bins for me?

11:40

sure, 1s

11:40

I'm working with a modified version of his scripts yes

11:40

(heavily)

11:40

$ file bin/x86_64-linux-musl/bin/x86_64-linux-musl-gnat

11:40

bin/x86_64-linux-musl/bin/x86_64-linux-musl-gnat: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped

11:40

cool, I just broke something. thank you!

11:40

$ file bin/x86_64-linux-musl/bin/x86_64-linux-musl-gcc

11:40

bin/x86_64-linux-musl/bin/x86_64-linux-musl-gcc: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), statically linked, not stripped

11:40

trinque: np

11:40

yeah, my gcc is indeed static, gnat not.

11:40

*

trinque will get out the jumpers and car battery, bbl

11:43

btw i don't recall if this was discussed in detail, but i was the one who orig. asked for gcc 4.9.4 rather than 4.7. the reason was that i was not able to find an ada-2012istic (i.e. supporting preconditions and various other fascisms) gnat that sat on 4.7. this doesn't mean that it is impossible to transplant a 2012istic frontend onto a 4.7, but afaik no one yet tried.

11:43

I ran into same over the weekend.

11:44

could not build 4.7.4 gnat due to link errors.

11:44

in abstract, i'm a believer in 'older gcc, ecologically cleaner gcc'

11:44

taking a hard dependency on gnat imho moots any benefit of using 4.7.4 (which afaik can be bootstrapped with C compiler alone) because you still need a GNAT also to bootstrap.

11:45

so yes, unless a vintage bin is found, why bother

11:45

this continues to annoy me, to the point that i'm considering writing a barbaric compiler of the subset of ada that i actually give a damn about

11:45

(and you still wont be bootstrapping the GNAT parts with tcc)

11:45

yep

11:46

it aint a difficult lang to compile, in principle

11:46

there's ~0 (esp. in asciilifeform's subset...) 'smart' garbage

11:47

*

asciilifeform speaking of adaisms, i have ch21's modular inverter written. nao grinding out the proofs for it, and the human text..

↖

11:50

nice, I'm extremely behind on your series, but intend to pick it up at next stack pop.

11:51

21 i expect will be the last 'mathematical' piece. after that, hashism; optional asmism (ty bvt); and keygen recipes.

11:54

final mass i estimate will be 10k loc. ( current: ~7.7k, this includes blanks & comments , the latter are ~50% of mass atm )

~ 4 hours 4 minutes ~

15:59

Welp for fun thought I'd try ave1's gnat builder from here but appears better part of the links no longer work. *sigh*

15:59

shinohai: didja miss the thread from earlier ? re the gnat deps

16:00

shinohai: there and later http://dulap.xyz/ada/ .

16:00

snsabot

(trinque) 2020-04-06 asciilifeform: jfw: i posted my copy of his dep tarballs

16:01

shinohai: if you turn up sumthing that it needs that ain't in the former or latter, lemme know what it was, so i can post it

16:01

asciilifeform: Yeah I substituted your mirror in initial "download.sh" script ... still fails when grabbing binutils from some other broken gnu.org limk

16:01

pretty sure i have the whole set

16:01

look through both lists

16:02

Will do, will likely post up a "dulap" mirrored version of this build when I get it working

16:03

a++

16:03

How fast 2 years goes, last time I tried this it worked xD

16:04

littering build recipes w/ 'fetch xyz from heathendom' will do that.

16:05

fwiw i config'd 100% of my own boxen to fetch from dulap.xyz. if ever somehow end up wanting item that aint in there, will fetch manually (and, if it worx, include it in mirror for other folx)

~ 20 minutes ~

16:26

asciilifeform: what is equivalent of `gcc-4.9.adacore2016.tar.bz2` on dulap.xyz ?

~ 35 minutes ~

17:01

Also ave1 's script calls for mpfr-3.1.6 .... I only see up to 3.1.5 on yer mirror

~ 19 minutes ~

17:20

shinohai: http://nosuchlabs.com/pub/gnatdeps/gcc-4.9.adacore2016.tar.bz2 ?

17:21

shinohai: and on adacorpse side, possibly http://dulap.xyz/ada/gcc-4.9-gpl-2016-src.tar.gz

17:21

tbf i have nfi where ave1 orig. got his

17:24

2nd link I tried, it fails. Gonna try w/ the nosuchlabs link

17:24

shinohai: 1s, i'm aboutta upload the missing item

17:24

kk

17:30

shinohai: aite, nao should have in there all of the deps for all of the vers of ave1's gnat

17:30

lemme know if find still missing any.

17:30

i pulled'em outta the build dirs of where i tested ave1's releases

17:31

Sweet thx asciilifeform

17:33

neato, also has the kernel headers

~ 2 hours 24 minutes ~

19:58

http://mvdstandard.net/2020/04/west-texas-intermediate-price-falls-below-zero/ << The Montevideo Standard -- West Texas Intermediate Price Falls Below Zero

~ 1 hours 22 minutes ~

21:20

http://nosuchlabs.com/pub/gnatdeps/index.html <<< got working static gnat by substituting all links for these, thx again asciilifeform

21:20