Forum logs for 16 Feb 2019

Monday, 16 March, Year 12 d.Tr. | Author:
mircea_popescu: hey ave1 [00:28]
ave1: goodmorning, I was digesting te logs [00:29]
ave1: and read all the gnat problems [00:29]
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) [00:42]
ave1: I'll park that and start running the gnat build script. [00:46]
mircea_popescu: ave1 did you ever run a sjlj version ? [00:49]
ave1: not yet, I'm now trying to get the build up and running [00:50]
mircea_popescu: ah. ok. [00:52]
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. [00:52]
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? [02:27]
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 [02:27]
ave1: O wait, I tried with: http://ave1.org/2018/building-gnat-on-musl-no-more-usrincludex86_64-linux-gnu/ [02:29]
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 [03:12]
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 [03:18]
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 [03:18]
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 [03:19]
ave1: diana_coman, in system-linux-*.ads (in gcc/ada directory) you'll find the line: ZCX_By_Default : constant Boolean := False [04:44]
ave1: I'm currenlty building with it set to False, but it is True in the distributed files [04:45]
bvt: hello. ave1: doesn't makefile.in in gcc-interface tweak it with sed to the necessary value? [05:07]
diana_coman: ave1, ah, thanks! I'll set it to false and try again then [05:36]
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 [05:59]
a111: Logged on 2019-02-16 00:53 asciilifeform: they're as diff as x86 an' x64 [05:59]
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 ) [07:16]
* asciilifeform bbl in 2-3h [07:16]
mircea_popescu: http://btcbase.org/log/2019-02-16#1897191 << it should, yes. [11:28]
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? [11:28]
diana_coman: oh hey, apparently ave1's find was spot on! [11:43]
mircea_popescu: nice. [11:44]
diana_coman: after all the struggle I'm still looking suspiciously at it, lol [11:44]
asciilifeform: guten morgen diana_coman , mircea_popescu , et al [11:53]
asciilifeform: diana_coman: oh hey it runs ? [11:53]
BingoBoingo: Buenas tardes asciilifeform [11:53]
mircea_popescu: diana_coman does it actually produce sjlj code ? [11:54]
asciilifeform: http://btcbase.org/log/2019-02-16#1897170 << they have both types ( bezos et al ) neh [11:56]
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!!!" [11:56]
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!" [11:56]
asciilifeform: diana_coman: ida, but objdump -d proc.o will do the job likewise ( in slightly gnarlier format ) [11:56]
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 ? [11:57]
BingoBoingo: mircea_popescu: I'll have to dig, but it sounds very familiar [11:57]
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 [11:57]
asciilifeform: ( or even if they work ) [11:58]
mircea_popescu: asciilifeform i think she means to learn how it's done. [11:58]
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 [11:59]
asciilifeform: ( 1 of those things for which there aint a complete substitute, sadly, if yer doing serious reversing ) [12:00]
mircea_popescu: diana_coman it's of course cheaper to just ship the object files to him [12:00]
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 [12:02]
asciilifeform: diana_coman: if , like asciilifeform , you grew up on intel asm syntax, you can objdump -M intel -d proc.o [12:03]
asciilifeform: diana_coman: are we sawing'em open because it dun actually abort, or simply to compare with old gnat's sjlj , tho ? [12:04]
* asciilifeform brb,tea [12:04]
diana_coman: asciilifeform, they abort we are sawing them open because I don't trust it anymore re "what does it actually do exactly" [12:04]
diana_coman: i.e I want to see what did it do [12:05]
mircea_popescu: it has lied before... [12:09]
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 ??? [12:10]
mircea_popescu: BingoBoingo found it http://trilema.com/2016/usg-in-btc-a-history-of-constant-failure/#selection-39.0-39.51 << [12:10]
mircea_popescu: o damn. [12:10]
mircea_popescu: she was from harvard not princeton! my bad. [12:10]
BingoBoingo: AHA, the perils of searching for keywords so strongly associated with constant failure [12:11]
mircea_popescu: you know ? but ty! [12:11]
BingoBoingo: Princevard, harMIT, they all blend together [12:11]
diana_coman: asciilifeform, here it is: ossasepia.com/available_resources/sjlj_testtasks.tar.gz [12:14]
diana_coman: I added a delay in there before the final check of tasks [12:15]
asciilifeform: diana_coman et al : http://www.loper-os.org/pub/misc/feb_16_tasks_o.html [12:53]
asciilifeform: ^ near as i can tell, it uses exactly same scheme as the old gnat's sjlj-mode handlers [12:54]
asciilifeform: nao this is not a complete answr to 'what does it do, EXACTLY' cuz that also ropes in the ~2MB of standard lib [12:58]
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 ) [12:58]
* asciilifeform still wakin' up, misread http://btcbase.org/log/2019-02-16#1897225 as 'illiterature' [13:00]
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 ??? [13:00]
mircea_popescu: just about. [13:02]
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. [13:02]
* asciilifeform still got good # of the latter [13:02]
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" [13:02]
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 ) [13:08]
asciilifeform: ( see also e.g. http://btcbase.org/log/2016-04-22#1455082 thrd ) [13:09]
a111: Logged on 2016-04-22 01:10 asciilifeform: ida is a particularly interesting case because it is a TOTAL monopoly [13:09]
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 ) [13:13]
asciilifeform: http://www.loper-os.org/pub/misc/feb_16_adatests_o.html << for utter thread-completeness, the main unit. [13:21]
asciilifeform: diana_coman et al : plox to lemme know if yer interested in magnifying glass treatment of some particular aspect. [13:23]
asciilifeform: .text:00000000000005B8 call tasks__abort_tasks [13:25]
asciilifeform: ^ the magic moment. [13:25]
asciilifeform: ^ btw diana_coman if you build with -d , the var_xxx liquishit can be made into varnames. [13:27]
asciilifeform: ( ida eats 'dwarf' debugolade ) [13:27]
asciilifeform: phunphakt : ada std includes a pragma that manually throws a string for bin auditor to read, in selected spot. [13:29]
asciilifeform: ( i dun currently use, but it's definitely going into the final revs of ffa ) [13:29]
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. [13:38]
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 [13:40]
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 ??? [13:40]
mircea_popescu: asciilifeform shouldn't eggog, should redirect you to explainy. [13:44]
asciilifeform: mircea_popescu: seems to redirect to random article [13:45]
asciilifeform: ( try it, by clicking from phf's log ) [13:45]
mircea_popescu: well, i did what the article proposes, set my referrer to trilema permanently, so i always see trilema pics. [13:49]
mircea_popescu: asciilifeform check it out, my htaccess got fucked meanwhile. [13:53]
mircea_popescu: should be fixed now. [13:53]
asciilifeform: loads via the article, as intended [13:54]
mircea_popescu: yeah, but if you try it solo should take you to http://trilema.com/2019/trilema-images-no-longer-showing/ [14:05]
mircea_popescu: not to a random article. [14:06]
asciilifeform: nao worx [14:06]
diana_coman: asciilifeform, thank you! and yes, I know it's not enough to know what it does exactly but it's still useful. [14:35]
asciilifeform: yw diana_coman [14:36]
feedbot: http://trilema.com/2019/get-lost-dumbo/ << Trilema -- Get lost, dumbo! [14:46]
mircea_popescu: asciilifeform http://p.bvulpes.com/pastes/o3YKv/?raw=true [15:09]
asciilifeform: mircea_popescu: got it ( and iirc was linked recently in trilema ) [15:48]
* asciilifeform bbl, winching xray box onto pedestal and etc [15:50]
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 [17:32]
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. [17:36]
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 [17:41]
a111: Logged on 2019-02-12 23:36 mircea_popescu: but seems he ALSO found a race condition in the handlers ? [17:41]
bvt: unwinding stack for exceptions requires taking locks https://gcc.gnu.org/git/?p=gcc.gita=blobf=libgcc/unwind-dw2-fde.ch=24b4ecee68c17e1701c4482580e449b03a4e6fe9hb=HEAD#l1046 [17:41]
bvt: which is broken with static linking due to usual 'creativeness' of gnu folx https://gcc.gnu.org/git/?p=gcc.gita=blobf=libgcc/gthr-posix.hh=88cbc23937ec20b15b35c5adb7f9983282c6f084hb=HEAD#l247 [17:41]
mircea_popescu: cool. [17:41]
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. [17:41]
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) [17:42]
mircea_popescu: me either. [17:42]
bvt: i.e. with static linking, all locks are compiled into noops. [17:43]
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 [17:45]
mircea_popescu: how did they solve it for c++ ? [17:47]
bvt: they disabled weak symbols for c++/fortran components, http://port70.net/~nsz/musl/gcc-5.3.0/0004-gthr.patch [17:52]
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 [17:54]
asciilifeform: bvt: compiled into noops << where ? in stdlib ? ( or can point in http://btcbase.org/log/2019-02-16#1897234 ?? ) [18:57]
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 [18:57]
* asciilifeform suspects this is a gcc5ism [18:58]
asciilifeform: bvt: your posted tester has the actual abort commented out ( otherwise seems identical to diana_coman's ? ) [19:02]
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 [19:29]
BingoBoingo: In other news, odometer on my meat just rolled over [19:30]
asciilifeform: happy bd BingoBoingo ! [21:35]
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 [21:45]
asciilifeform: beryllium muzzle of the 'gun' is center top of 2nd photo. auto-exposure ionization gauge is on bottom of 4th. [21:49]
asciilifeform: very solid 'vhs america' feel to the thing, ~70kg of pb. [21:50]
BingoBoingo: asciilifeform: ty, and ty for the porn [22:56]
mircea_popescu: BingoBoingo wait, you're just 30 ?! [23:14]
BingoBoingo: mircea_popescu: 33 [23:28]
BingoBoingo: rolled over on the small digit [23:28]
mircea_popescu: so... [23:28]
mircea_popescu: btw : Franco is presently interned << interned means someone's in jail. interred means someone's in the earth. [23:28]
BingoBoingo: fxd [23:29]
mircea_popescu: also possibry teh tin women reference too obscure [23:35]
BingoBoingo: I'll keep the tin women hasn't been meme'd hard enough in mind in the future [23:45]
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. [23:49]
asciilifeform: is franco even mummified ? ( or is not caught up to ru 'high tech' !11 ) [23:50]
mircea_popescu: nah. [23:50]
mircea_popescu: it's been 50 years, by now it's just some specially-designated earth. [23:51]
asciilifeform: ( phunphakt, the lenin mummificator maintenance folx are still inbiz ) [23:51]
asciilifeform: would be interesting if stalin were dug up, he was given same process but 0 maintenance since mid-50s [23:52]
asciilifeform: to compare. [23:52]
asciilifeform: ( hrusch had him buried, coupla steps away from mausoleum back door ) [23:52]
* 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 [23:57]
* 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 [23:58]
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 [23:58]
Category: Logs
Comments feed : RSS 2.0. Leave your own comment below, or send a trackback.
Add your cents! »
    If this is your first comment, it will wait to be approved. This usually takes a few hours. Subsequent comments are not delayed.