log☇︎
22800+ entries in 0.125s
asciilifeform: bvt: i structured it so that the moar-restriction-y stuff ends up in static libs that get linked ~into~ the less-restrictiony demolade ( rather than vice-versa ), and so that the lib is statically linkable to begin with
bvt: so far i had a look only in the runtime, but never looked into the gcc part
bvt: myeah, i solved it by maximally recreating the ffa project structure, so can't say i did anything informed by the 'first principles' there.
asciilifeform: i also suspect that my use of static linkage exposed buncha implementation strange
asciilifeform: ( how gnat goes about enforcing the various restrictions, is largely black art at this point, the most i can say is that it seems to 'fail deadly', i.e. ultra-conservatively banhammers yer entire proggy if it fails to satisfy various obscure this-and-not-that conditions )
a111: Logged on 2018-10-26 02:14 asciilifeform: meanwhile, in gnat bugs : apparently ( and this is documented or mentioned nowhere ) : it is impossible to have a Ada.Finalization.Limited_Controlled type ANYWHERE inside a static library, unless it is generic all the way down (i.e. if the lib package is generic, any sub-packages must also be instantiated as generics )
bvt: otoh, when i added a single line 'package SIO is new Ada.Sequential_IO(Positive);' to ffa_calc.adb, it errored out during the compilation in the same way
bvt: when i moved all ada.S_IO usage to a separate package/file, everything worked fine
bvt: ok, i have figured out one solution to the problem (at least on gnat 2017): can't have Ada.Sequential_IO specialization in the GPR_Project'Main file
a111: Logged on 2018-10-28 05:02 mircea_popescu: i have 0 expectation it will do anythingf besides create a lot of idle wank in "law enforcement" circles.
bvt: No_Unchecked_Access is such restriction; i have tested a dummy application that does nothing but import and instantiate/specialize Ada.Sequential_IO instance for the datatype from base64 library. test application fails to compile, http://p.bvulpes.com/pastes/Vwno8/?raw=true http://p.bvulpes.com/pastes/qgs7E/?raw=true
bvt: i have structured the base64 tree as a directory with a library and example applications; only library is supposed to be compiled with restrictions, but some restrictions propagate to applications as well
diana_coman: hm, weird; now I'm really curious if you get the same complaint with asciilifeform's ffa (or my smg comms for that matter)
bvt: that is gnat 2017 with ave1's patches (i.e. musltronic)
diana_coman: I just checked and I can confirm too: that restriction is fine here while using Ada.Sequential_IO
bvt: i used gnat 2017. will test ffa rng code and see if it works out.
asciilifeform: bvt: which gnat are you using ? i've never observed any such thing ( and i use the same restriction, http://btcbase.org/patches/ffa_ch11_tuning_and_api/tree/ffa/libffa/restrict.adc#L76 , ~with~ sequential i/o, http://btcbase.org/patches/ffa_ch11_tuning_and_api/tree/ffa/ffacalc/ffa_rng.adb#L49 )
bvt: i had a look in the .ali file, where presumably list of dependencies for a compiled .adb file is stored, but grep would find nothing in the dependencies
bvt: hello. i had to delay making a genesis of base64 lib, will try to finish tomorrow.
asciilifeform: * amstan_ is now known as amstan << lol! that d00d is still here, i can't properly picture why
Mocky: but when I watch it back I see that I softened my criticisms a lot
Mocky: just got back from blockchain event. I told them their ideas of humanity 3.0 governed by blockchain smart contracts was a delusion. And then critcized both the ethereum-roll-backers and the ethereum-continue-with-broken-shit
Mocky: http://btcbase.org/log/2018-11-05#1869576 >> I like it ok. I see now that I artificially capped my quality of life here by getting too-cheap accommodations. And that got amplified by not having power and internet anywhere else. ☝︎
a111: Logged on 2018-11-05 09:56 diana_coman: http://btcbase.org/log/2018-11-04#1869273 - a config file seems the better choice, yes; I'll add it to the list to move the keys to a config file and update the tests to read from config file; that should actually meet asciilifeform's requirements too since the code will not contain the >80cols lines (although the config files will, of course)
diana_coman: http://btcbase.org/log/2018-11-05#1869503 -> and done; asciilifeform and anyone else requiring strictly 80 cols - I've updated the post with a .vpatch to read the keys from file and thus keep them out of the fully-80-cols-now code itself: http://ossasepia.com/2018/11/04/smg-comms-chapter-6-packing-and-unpacking-rsa/#selection-157.0-159.591 ☝︎
BingoBoingo: <mircea_popescu> anyway, it's fucking lulzy to me how the dumb shit always comes back to "psychic unity of mankind" nonsense. << Well, in this case I don't see how Hegel isn't the daddy
a111: Logged on 2018-10-18 18:51 mircea_popescu: Mocky i actually distinguish between smarts (the reductive ability, that powers "i suspect there's no such thing as intelligence", and typified perhaps best by d. kyon) and "intelligence" (the constructive ability, that powers "more loc, more tech, more future", and typified perhaps best by "fm-2030" ).
mircea_popescu: haha i bet.
BingoBoingo: I am inclined to lean toward Dewey cribbing from the pop culture hegelians. Not a father so much as the theiving sad sack from the "I made this" meme series
mircea_popescu: in other news, i've been sitting here all morning pondering whether inuit fucker franz boas or mme blavatsky dewey truly deserves the "intellectual father of pantsuit" title.
asciilifeform: the boat, i mean
asciilifeform: BingoBoingo: i distinctly recall that thing being advertised in early 2000s
Mocky: anyway, i'm off to this DAO / blockchain meetup. couldnt' scare up a camera crew so I guess i'll have to film myself
Mocky: I expect to work the phones to find this guy
Mocky: i'm also skeptical that he's there. i was told by 8 20-something arabs lounging around the lobby desk bored. they had to call over the 9th who was the only one who could speak broken english
Mocky: i didn't ahve time to make it over there before ministry closes at 2pm, sigh
Mocky: speaking of weight in diamnonds, I find the guy I should be talking to here: Hassan Al-Sayed
asciilifeform: mircea_popescu: i get pingbacks from these nonstop. tho more often they're shannonized 'miner' sites
mircea_popescu: anyways, more in the general, there's a LOT of merit to dennis hopper's monologue in http://trilema.com/2013/true-romance-tarantino-cut/ : "he didn't think to tell me... and i didn't think to ask".
mircea_popescu: right. and his bitness doesn't enter into it, though i didn't pick it up. literally, prime-count bus same cost.
asciilifeform: but not surprising. i think they hashcollided whole planet at this point.
asciilifeform: is there, i missed
diana_coman: lol, I never quite understood wtf it is with US that they can't even come up with new names for places or what
mircea_popescu: aaand in other news of only apparent alf interest, i'm in talks with... a chick from moscow.
mircea_popescu: i guess at that...
diana_coman: http://btcbase.org/log/2018-11-05#1869406 -> the way I read this was that arab did not consider that as appointment, more like audience granted -perhaps, if allah finds time for it - to lowlife sort of thing ☝︎
a111: Logged on 2018-11-04 23:10 mircea_popescu: diana_coman imo such items belong in a config file then. though he prolly wants the ~config~ file to also be "human readable" by which he means hard-paged at 80 cols like for idiots. because there's no such thing as a terminal, nor user settings, and i gotta format my text in a way that's aware of his dumb terminal. and he thinks this acceptable, somehow, that at the time i write i must bear in mind how he'll later read.
diana_coman: http://btcbase.org/log/2018-11-04#1869273 - a config file seems the better choice, yes; I'll add it to the list to move the keys to a config file and update the tests to read from config file; that should actually meet asciilifeform's requirements too since the code will not contain the >80cols lines (although the config files will, of course) ☝︎☟︎
Mocky: i see it
mircea_popescu: i clearly recall ceausescu's lament back in the 70s, "they sell us today's tech at high prices, because they have tomorrow's lined up. but what can we do?"
Mocky: nominally because neighbors claim 'allowed terrorist donations' but i don't know the actual why
Mocky: i can't think of a good why not
Mocky: i do
Mocky: well power of 2 values i see
Mocky: I don't know rsa maths well enough to say
Mocky: oh, that's what i meant by operand size, the unit the processor is woking with
mircea_popescu: i know thios is unlikely a notion, because the crud of voip or divx or w/e could seemingly have any bytness. however think ... displays have 32 bit color byteness... and
mircea_popescu: oh oh, wait, maybe i misread. "the operand", wtf does that mean here ?
Mocky: i see it
Mocky: i'm trying to see it
Mocky: I think I understand but the more examples the better
a111: Logged on 2018-11-03 22:38 mircea_popescu: Mocky so i guess next step is make an appointment with their minister of technology, industry, or whatever the fuck, explain to the secretarial overseer you end up seeing that the republic is in principle willing to do some tech transfer help them become a real country, exchange confused nods and handshakes and set the bozo bit on the ball of faux carpeting yarn pretending to be a country ?
mircea_popescu: i still think you should http://btcbase.org/log/2018-11-03#1869171 as a parting shot ; not because i expect anything besides the "meet mr al-schmukwari at 8am", but because why not let the remnant of usg.blue congratulate itself on "succeeding" ? let some schmuck "earn" a bonus, what's it to you or me. ☝︎
mircea_popescu: well, i'd say i'm edified.
Mocky: re bikers, some of these guys seem so happy to just *have* the bike. i have neighbor who fires his up every 3rd day and twists the throttle for 5 minutes while it sits. but maybe it's to scare all the cats away
mircea_popescu: "I guess you could say they identify as bikers." bwajuaja ok, this is entertaining lol
mircea_popescu: "I’ve never before had coffee that good. It actually hurts now to drink the instant coffee I have back at my room." << non-us coffee apparently is great generally.
asciilifeform: ditto s390, though if somebody insists on ibm dinosaur in his tmsr workflow i'ma be curious re wtf,wai
asciilifeform: i dun have e.g. 'hauppauge tv card' and dun intend to dig in junkyard for one just to test driver.
asciilifeform: http://btcbase.org/log/2018-11-05#1869384 << is what i was thinking. and i'm going for even moar radical snippetysnip, i.e. of ALL iron that nobody in l1 has / can be arsed to muster, not simply cpu archs. ☝︎
BingoBoingo: until then I can't even blog my recent conversion to beach running
BingoBoingo: I keep getting distracted by not quite fixes that let the thing show a dashboard for one page load, as much as I would like it to be top of my list it can't today
BingoBoingo: I can't keep it alive
a111: Logged on 2018-11-04 23:55 asciilifeform: at some point i'ma get around to trimming the kernel. how many of these do we actually want ?
mircea_popescu: BingoBoingo i'm willing to bet there's something grossly misconfigured ; item doesn't have memory issues normally.
mircea_popescu: asciilifeform what flipped is that i'm not about to build magic numbers into the s.mg code process.
billymg: and at this point i'm just trying to build my reputation so wouldn't be looking for anything beyond a fair rating
a111: Logged on 2018-11-04 18:03 mircea_popescu: actually i bet you the http://btcbase.org/log/2018-11-02#1868721 fellow would love nothing more than to do a template design for hire.
billymg: http://btcbase.org/log/2018-11-04#1869210 << yup. Mocky: if this ever becomes a need for you, i'd be more than happy to help ☝︎
asciilifeform: i think the smallest unixlike box i currently have, is a pic32 (mips, little endian) , and it's running... sysv
BingoBoingo: asciilifeform: I never tried the linux on it
asciilifeform: BingoBoingo: i seem to recall you had one ? at some point
asciilifeform: who the fuck maintains that branch, i want to know, and on what !
asciilifeform: at some point i'ma get around to trimming the kernel. how many of these do we actually want ? ☟︎
asciilifeform: i've built, fwiw, for mips ( 32 an' 64 -wide ), for arm (ditto), even for 'microblaze' ( spoiler: not an actual iron, but xilinx's oddball 'demo cpu', exists nowhere else but 'virtex' demo boards, of which i have an embarrassingly tall pile ) -- but i ain't ever built for s390, or 68k ...
a111: Logged on 2018-11-03 23:23 bvt: hello. i wrote a summary for linux system call investigation http://bvt-trace.net/2018/11/linux-portability-part-3-summary/
BingoBoingo: ATTN: http://bingology.net/ will be offline for at least 24 hours until I can free up some time to force the database to fit into the available RAM
asciilifeform: ( i still see it as 'railroad gauge' , gonna publish 80cols till the day i die )
a111: Logged on 2018-01-05 03:07 mircea_popescu: so to have closure, i suppose http://btcbase.org/log/2018-01-04#1763975 should read "80 cols plox what is this"
asciilifeform: mircea_popescu: i'll admit that curious why you ended up flipping on earlier http://btcbase.org/log/2018-01-05#1764721 ☝︎
asciilifeform: lol i have this on by boxes, it goes by 'dos2unix' , standard util neh
mircea_popescu: im sure i mentioned my script to s'\n\n%\r'g | s'\n% 'g | s'\r%\n'g many times before
asciilifeform: mechanically-reflowed proggy suxx to read, i can tell that mircea_popescu spends ~0 time actually reading ( as in, go offline for whole day to read 1 proggy ) coad.
mircea_popescu: but yes, i ask your terminal be aware of the syntax. it must be. because the alternative is having me be aware of your terminal -- and that ain't occurring.
mircea_popescu: i don't see it'd destroy any such thing.
asciilifeform: mircea_popescu: i use printers, and aint about to stop, it's part of my code-eating workflow.
mircea_popescu: hey. i won't mandate her she write long lines, if she manages in 80 cols all the better. but i will mandate she dun do " & " bullshit.
asciilifeform: i dun have infinitely-sized chairs at my house either, even though 'arse can be any width!11'
asciilifeform: line breaks to fit on civilized terminals & printers aint spurious. i suspect that we're doomed to disagree.
mircea_popescu: in any case i don't want control bits spuriously pissed into the stream. what next, <em> ?