mircea_popescu: hey ave1
ave1: goodmorning, I was digesting te logs
ave1: and read all the gnat problems
ave1: I was working on getting a cuntoo up (which is going slow, I need to relearn to build a kernel, this used to be a lot easier 20 years ago)
ave1: I'll park that and start running the gnat build script.
mircea_popescu: ave1 did you ever run a sjlj version ?
ave1: not yet, I'm now trying to get the build up and running
mircea_popescu: ah. ok.
mircea_popescu: well, if you don't have experience with it or anything, it's not urgent -- can continue with cuntoo, can switch to this, either way.
ave1: diana_coman, re http://btcbase.org/log/2019-02-15#1896922, all the links worked this morning, could you tell me which one failed for you?
a111: Logged on 2019-02-15 16:12 diana_coman: hm, full replica might require I upload somewhere the tarballs too since at least 1 link was broken ; anyways, it's with http://ave1.org/2018/building-gnat-on-musl-now-always-static/ + taken out the download script for ada2016 because broken link + added GCC_CONFFLAGS="--enable-sjlj-exceptions" to extraconfig.sh ; set path to point to existing and working adacore 2016 gnat + put all tarballs in their place
ave1: O wait, I tried with: http://ave1.org/2018/building-gnat-on-musl-no-more-usrincludex86_64-linux-gnu/
diana_coman: ave1, it was the link that downloaded the gcc src and stuff for adacore2016 ; after that first fail I just copied my own stuff into tarballs/ , packed properly and never really bothered with the rest i.e. it builds all offline now anyway
diana_coman: update re builds: it built fine with --enable-sjlj-exceptions in place, checked it in the log and yes, it's set; but the result still seems to be build ada code with zcx in fact (i.e. my test code with tasks is STILL hung waiting for them to abort) and if I specify --rts=sjlj to gprbuild it complains that there is no native compiler for ada and so can't do anything; ftr I compared the dirs of my adacore install and it has this specific dir
diana_coman: rts-sjlj with its own adainclude/ and so on; so I am back to my previous obv that this flag per se is apparently not enough
diana_coman: when I say "it built" above I mean specifically those versions: http://ave1.org/2018/building-gnat-on-musl-no-more-usrincludex86_64-linux-gnu/ and http://ave1.org/2018/building-gnat-on-musl-now-with-partial-and-parallel-build-support/ i.e. both static only and previous
ave1: diana_coman, in system-linux-*.ads (in gcc/ada directory) you'll find the line: ZCX_By_Default : constant Boolean := False;
ave1: I'm currenlty building with it set to False, but it is True in the distributed files
bvt: hello. ave1: doesn't makefile.in in gcc-interface tweak it with sed to the necessary value?
diana_coman: ave1, ah, thanks! I'll set it to false and try again then
spyked: http://btcbase.org/log/2019-02-16#1897122 <-- the armv7-armv8 gap is even bigger than x86-x64. armv8 is an entirely new arch, also has 32-bit mode (called aarch32), but that's completely backward incompatible with armv7
a111: Logged on 2019-02-16 00:53 asciilifeform: they're as diff as x86 an' x64
asciilifeform: diana_coman: could plz tar up that built gnat and post ? i have a suspicion ( to get ljmp with old gnat, i had to set include paths on my box )
asciilifeform bbl in 2-3h
mircea_popescu: http://btcbase.org/log/2019-02-16#1897191 << it should, yes.
a111: Logged on 2019-02-16 10:07 bvt: hello. ave1: doesn't makefile.in in gcc-interface tweak it with sed to the necessary value?
diana_coman: oh hey, apparently ave1's find was spot on!
mircea_popescu: nice.
diana_coman: after all the struggle I'm still looking suspiciously at it, lol
asciilifeform: guten morgen diana_coman , mircea_popescu , et al
asciilifeform: diana_coman: oh hey it runs ?
BingoBoingo: Buenas tardes asciilifeform
mircea_popescu: diana_coman does it actually produce sjlj code ?
asciilifeform: http://btcbase.org/log/2019-02-16#1897170 << they have both types ( bezos et al ) neh
a111: Logged on 2019-02-16 02:32 mircea_popescu: so yeah, much like retarded russkis go "oh, we too businessmen, gave $dork state income, now he can buy suit" ( http://btcbase.org/log/2018-03-21#1788430 finest example), the ustards are all "oh, gave computing to wintel, can has tech!!!"
diana_coman: asciilifeform, how did you vivisect that pair of binaries? I'd rather do it to see what came out since otherwise I have only this "oh, now it DOES kill tasks!"
asciilifeform: diana_coman: ida, but objdump -d proc.o will do the job likewise ( in slightly gnarlier format )
mircea_popescu: BingoBoingo do you by any chance recall the princeton "trained psychologist" on okcupid who couldn't spell but was nevertheless doing diagnosing over the phone ?
BingoBoingo: mircea_popescu: I'll have to dig, but it sounds very familiar
asciilifeform: diana_coman: if they dun abort and you want another detailed vivisect, feel free to post'em, i'ma rip'em open after tea
asciilifeform: ( or even if they work )
mircea_popescu: asciilifeform i think she means to learn how it's done.
asciilifeform: mircea_popescu: i hesitate to addict folx to ida, it's a gnarly ball of proprietary liquishit, and needs a toilet box with 'wine' to run etc
asciilifeform: ( 1 of those things for which there aint a complete substitute, sadly, if yer doing serious reversing )
mircea_popescu: diana_coman it's of course cheaper to just ship the object files to him
diana_coman: mircea_popescu yes + I must say I like the idea of "rip'em open after tea" - sounds great; but other than that: I'll try objdump too since after this gnat-adventure I'd rather have some way to look inside it
asciilifeform: diana_coman: if , like asciilifeform , you grew up on intel asm syntax, you can objdump -M intel -d proc.o
asciilifeform: diana_coman: are we sawing'em open because it dun actually abort, or simply to compare with old gnat's sjlj , tho ?
asciilifeform brb,tea
diana_coman: asciilifeform, they abort; we are sawing them open because I don't trust it anymore re "what does it actually do exactly"
diana_coman: i.e I want to see what did it do
mircea_popescu: it has lied before...
BingoBoingo: mircea_popescu: http://trilema.com/wp-content/uploads/2016/01/how-do-you-spel-illiterate.png linked from http://trilema.com/2017/what-are-you-being-distracted-from/#selection-387.0-411.1 ???
mircea_popescu: BingoBoingo found it http://trilema.com/2016/usg-in-btc-a-history-of-constant-failure/#selection-39.0-39.51 <<
mircea_popescu: o damn.
mircea_popescu: she was from harvard not princeton! my bad.
BingoBoingo: AHA, the perils of searching for keywords so strongly associated with constant failure
mircea_popescu: you know ? but ty!
BingoBoingo: Princevard, harMIT, they all blend together
diana_coman: asciilifeform, here it is: ossasepia.com/available_resources/sjlj_testtasks.tar.gz
diana_coman: I added a delay in there before the final check of tasks
asciilifeform: diana_coman et al : http://www.loper-os.org/pub/misc/feb_16_tasks_o.html
asciilifeform: ^ near as i can tell, it uses exactly same scheme as the old gnat's sjlj-mode handlers
asciilifeform: nao this is not a complete answr to 'what does it do, EXACTLY' cuz that also ropes in the ~2MB of standard lib
asciilifeform: but the proggy .o seems to be exactly as expected ( if diana_coman has time, can try with the old gnat and see if in fact bitwise-same or not )
asciilifeform still wakin' up, misread http://btcbase.org/log/2019-02-16#1897225 as 'illiterature'
a111: Logged on 2019-02-16 17:10 BingoBoingo: mircea_popescu: http://trilema.com/wp-content/uploads/2016/01/how-do-you-spel-illiterate.png linked from http://trilema.com/2017/what-are-you-being-distracted-from/#selection-387.0-411.1 ???
mircea_popescu: just about.
mircea_popescu: the "textbooks" this generation of mostly female, mostly useless college kids don't read are very fucking different from the textbooks we didn't read twenty years ago.
asciilifeform still got good # of the latter
mircea_popescu: as per the "this is the shop where we don't have talapia. the shop where they don't have salmon is down the street"
asciilifeform: incidentally, re the posted htm, no yer box aint broken, there really aint any clickable links therein (why not? in what's undisputably world's best disasmer ? cuz world's best disasmer is actually not so great , compared to what's obviously possible )
asciilifeform: ( see also e.g. http://btcbase.org/log/2016-04-22#1455082 thrd )
a111: Logged on 2016-04-22 01:10 asciilifeform: ida is a particularly interesting case because it is a TOTAL monopoly
asciilifeform: ( to add insult to injury, erry time i post 1 of these, i gotta manually switch font to monospace and remove the winturd line endings, cuz the joys of closedsores proggy )
asciilifeform: http://www.loper-os.org/pub/misc/feb_16_adatests_o.html << for utter thread-completeness, the main unit.
asciilifeform: diana_coman et al : plox to lemme know if yer interested in magnifying glass treatment of some particular aspect.
asciilifeform: .text:00000000000005B8 call tasks__abort_tasks
asciilifeform: ^ the magic moment.
asciilifeform: ^ btw diana_coman if you build with -d , the var_xxx liquishit can be made into varnames.
asciilifeform: ( ida eats 'dwarf' debugolade )
asciilifeform: phunphakt : ada std includes a pragma that manually throws a string for bin auditor to read, in selected spot.
asciilifeform: ( i dun currently use, but it's definitely going into the final revs of ffa )
feedbot: http://bimbo.club/2019/02/philosophical-transactions-for-the-months-of-july-august-and-september-1716-part-v/ << Bimbo.Club -- Philosophical Transactions. For the months of July, August and September, 1716. - Part V.
asciilifeform: http://btcbase.org/log/2019-02-16#1897225 << the former link eggogs, but i think this is by design, on acct of mircea_popescu's anti-hotlinker pill
a111: Logged on 2019-02-16 17:10 BingoBoingo: mircea_popescu: http://trilema.com/wp-content/uploads/2016/01/how-do-you-spel-illiterate.png linked from http://trilema.com/2017/what-are-you-being-distracted-from/#selection-387.0-411.1 ???
mircea_popescu: asciilifeform shouldn't eggog, should redirect you to explainy.
asciilifeform: mircea_popescu: seems to redirect to random article
asciilifeform: ( try it, by clicking from phf's log )
mircea_popescu: well, i did what the article proposes, set my referrer to trilema permanently, so i always see trilema pics.
mircea_popescu: asciilifeform check it out, my htaccess got fucked meanwhile.
mircea_popescu: should be fixed now.
asciilifeform: loads via the article, as intended
mircea_popescu: yeah, but if you try it solo should take you to http://trilema.com/2019/trilema-images-no-longer-showing/
mircea_popescu: not to a random article.
asciilifeform: nao worx
diana_coman: asciilifeform, thank you! and yes, I know it's not enough to know what it does exactly but it's still useful.
asciilifeform: yw diana_coman
feedbot: http://trilema.com/2019/get-lost-dumbo/ << Trilema -- Get lost, dumbo!
mircea_popescu: asciilifeform http://p.bvulpes.com/pastes/o3YKv/?raw=true
asciilifeform: mircea_popescu: got it ( and iirc was linked recently in trilema )
asciilifeform bbl, winching xray box onto pedestal and etc
asciilifeform: http://trilema.com/2019/get-lost-dumbo/#selection-1777.110-1777.165 << wat's with all the 'engaged' chix still hanging on fatlife, gotta wonder
mircea_popescu: they lie. part and parcel of http://trilema.com/2017/the-boundless-burden/ is that she ain't ever gonna be as engaged as you think she is, nor as on fetlife as you think she is, nor etc.
bvt: http://btcbase.org/log/2019-02-12#1895598 << i'd like to briefly report on this: at this point i'm sure that there is a race condition. i'll do a post tomorrow morning on it, but short summary is
a111: Logged on 2019-02-12 23:36 mircea_popescu: but seems he ALSO found a race condition in the handlers ?
bvt: unwinding stack for exceptions requires taking locks https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=libgcc/unwind-dw2-fde.c;h=24b4ecee68c17e1701c4482580e449b03a4e6fe9;hb=HEAD#l1046
bvt: which is broken with static linking due to usual 'creativeness' of gnu folx https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=libgcc/gthr-posix.h;h=88cbc23937ec20b15b35c5adb7f9983282c6f084;hb=HEAD#l247
mircea_popescu: cool.
bvt: http://bvt-trace.net/src/test_task_exceptions.tgz - test source for those who want to test. to be run as 'while true; do echo -n .; ./adatests >/dev/null || break; done' -- should not take too long to have it segfault.
bvt: (still tested only with gnat2017, but this is a different story; i see no reason to believe that ave1gnat does not have the same issue)
mircea_popescu: me either.
bvt: i.e. with static linking, all locks are compiled into noops.
bvt: i still have no solution for this, afaik musl authors solved the problem for fortran and c++, but gnat seems to lack equivalent knob
mircea_popescu: how did they solve it for c++ ?
bvt: they disabled weak symbols for c++/fortran components, http://port70.net/~nsz/musl/gcc-5.3.0/0004-gthr.patch
bvt: however i don't understand if this is possible only to achieve only for gnat components, and when i do it globally, i get 'undefined symbol' when linking with libgcc
asciilifeform: bvt: compiled into noops << where ? in stdlib ? ( or can point in http://btcbase.org/log/2019-02-16#1897234 ?? )
a111: Logged on 2019-02-16 17:53 asciilifeform: diana_coman et al : http://www.loper-os.org/pub/misc/feb_16_tasks_o.html
asciilifeform suspects this is a gcc5ism
asciilifeform: bvt: your posted tester has the actual abort commented out ( otherwise seems identical to diana_coman's ? )
feedbot: http://qntra.net/2019/02/spain-relitigating-civil-war-now-that-losers-hold-government/ << Qntra -- Spain Relitigating Civil War Now That Losers Hold Government
BingoBoingo: In other news, odometer on my meat just rolled over
asciilifeform: happy bd BingoBoingo !
asciilifeform: in other noose, instrument pr0n : http://www.loper-os.org/pub/misc/mx20/panel.jpg http://www.loper-os.org/pub/misc/mx20/inside1.jpg http://www.loper-os.org/pub/misc/mx20/achtung.jpg http://www.loper-os.org/pub/misc/mx20/inside2.jpg
asciilifeform: beryllium muzzle of the 'gun' is center top of 2nd photo. auto-exposure ionization gauge is on bottom of 4th.
asciilifeform: very solid 'vhs america' feel to the thing, ~70kg of pb.
BingoBoingo: asciilifeform: ty, and ty for the porn
mircea_popescu: BingoBoingo wait, you're just 30 ?!
BingoBoingo: mircea_popescu: 33
BingoBoingo: rolled over on the small digit
mircea_popescu: so...
mircea_popescu: btw : Franco is presently interned << interned means someone's in jail. interred means someone's in the earth.
BingoBoingo: fxd
mircea_popescu: also possibry teh tin women reference too obscure
BingoBoingo: I'll keep the tin women hasn't been meme'd hard enough in mind in the future
mircea_popescu: maybe just link it ; but even so i'm nopt sure what "uch offers and promises none of these cities would abide the tin woman passing his dick pic around to all her friends that aren't him" means.
asciilifeform: is franco even mummified ? ( or is not caught up to ru 'high tech' !11 )
mircea_popescu: nah.
mircea_popescu: it's been 50 years, by now it's just some specially-designated earth.
asciilifeform: ( phunphakt, the lenin mummificator maintenance folx are still inbiz )
asciilifeform: would be interesting if stalin were dug up, he was given same process but 0 maintenance since mid-50s
asciilifeform: to compare.
asciilifeform: ( hrusch had him buried, coupla steps away from mausoleum back door )
asciilifeform still not fully made sense of franco -- d00d was 'fuhrer' by sheer accident, after mola's plane crash , and possibly only won war cuz other side resembled gavin & co, 9000 rando 'hasta y per siempre' derpfactions
asciilifeform would like to dig up the worx of the http://btcbase.org/log/2014-01-16#446901 fella, but seems like the only surviving copy is in madrid national indianajoneswarehouse
a111: Logged on 2014-01-16 04:40 asciilifeform: "Sewers caused all our troubles. The masses of this country are not like your Americans, nor even like the British. They are slave stock. They are good for nothing but slaves and only when they are used as slaves are they happy. But we, the decent people, made the mistake of giving them modern housing in the cities where we have our factories. We put sewers in these cities, sewers which extend right down to the