log☇︎
27600+ entries in 0.171s
mircea_popescu: i mentioned alf to him, his tongue came out
asciilifeform: ok i'ma bbl
asciilifeform: then diana_coman may find it useful, i'ma hurry up & genesis ( realistically tomorrow posted. )
diana_coman: atm it's only udp I want to do
asciilifeform: diana_coman and mircea_popescu can read and use if they like it, i'ma genesis
a111: Logged on 2018-09-16 15:41 diana_coman: overall this leaves me with the fact that I'll have to make my own "thin layer" with only what I need, certainly thinner than gnat.sockets + gnat.sockets.thin
asciilifeform: http://btcbase.org/log/2018-09-16#1850630 << i spend past day cleaning up mine, but not quite done yet ☝︎
diana_coman: if I knew all that, it'd be ...ready
diana_coman: as I dig into them deeper, I shall know! lol
mircea_popescu: i'm just checking things!
diana_coman: sure, but what's the point in wrapping a c call in more c code, I'm not sure I follow what you have in mind
mircea_popescu: why i dunno ; how however -- gnat will compile c.
diana_coman: myeah; I did not even pretend I *like* to have to do this
diana_coman: I don't know what an "ada system call" is, to answer that question; my aim is indeed to wrap them in one place so that everything else makes ada calls and doesn't care
diana_coman: overall this leaves me with the fact that I'll have to make my own "thin layer" with only what I need, certainly thinner than gnat.sockets + gnat.sockets.thin ☟︎
diana_coman: while initially I considered using this thin layer, on a deeper look at it, I don't like it; here is the code of it: https://www2.adacore.com/gap-static/GNAT_Book/html/rts/g-socthi__ads.htm and https://www2.adacore.com/gap-static/GNAT_Book/html/rts/g-socthi__adb.htm
a111: Logged on 2018-09-14 16:48 diana_coman: I certainly have to consider that option too if all that gnat.sockets buys me is some bloat + streams
diana_coman: http://btcbase.org/log/2018-09-14#1850437 -> following on from this, I had a look in more detail at the code for gnat.sockets; my conclusion is that gnat.sockets has as main contribution the streams + forcing the weird dance with types; underlying gnat.sockets is the "thin layer" that essentially wraps the system's C functions for sockets ☝︎
PeterL: and I should find a better place to keep my files, currently I have it on github
a111: Logged on 2018-09-15 14:42 asciilifeform: this makes for 2 working keccaks nao, unless i'm forgetting somebody's
PeterL: http://btcbase.org/log/2018-09-15#1850574 << I also made a keccak implementation, but it needs some tests to verify it is consistent with the standard and then I should make a gensis vpatch for it ☝︎
BingoBoingo: Right now I am working on a lessons learned for the next Republican pioneers, most of which based on contemplation of the now concerns the humble backpack
Mocky: but i like on that page how even the sidebar headlines have tldr;
mircea_popescu: i suspect we'll have to unroll it, yes.
asciilifeform: this makes for 2 working keccaks nao, unless i'm forgetting somebody's ☟︎
mircea_popescu: "Though I wouldn't try the thing on files larger than a megabyte at the moment." <<->> "As you can imagine, large files may give you ample time to draw a bath" or something.
esthlos: okay, thanks. I'll be more clear
a111: Logged on 2018-09-15 01:48 mircea_popescu: esthlos "Though I wouldn't try the thing on files larger than a megabyte at the moment." whynot ?
mircea_popescu: what did i miss ?
mircea_popescu: hehe i see your point.
mircea_popescu: esthlos "Though I wouldn't try the thing on files larger than a megabyte at the moment." whynot ? ☟︎
Mocky: I'm working on a laptop hooked up to a 4k tv, so every time the power cycles I end up sitting listening to the neighborhood AC units powering down until my tv comes back.
lobbes: Mocky: yeah, I'm waiting for the power grid to start faffing about over here too. So far though, ~0 effects felt from the old 'cane
Mocky: on the other side of town i know powers been out for hours
a111: Logged on 2018-09-14 21:36 Mocky: slow start, but i think i'm going to like arabic
BingoBoingo: I think the dude chatted with the girl, kept appointments, and then imported her if I remember right
Mocky: i don't think what would have ever occurred to me BingoBoingo
Mocky: census data claims that the zipcode where I live has the highest concentration of arabs in the state, which if you do the math is ~700
asciilifeform: ( i suspect tho, that this kind of thing is curable with time. e.g. asciilifeform was taught brit eng, not ameri-, but i doubt that anybody can tell this today )
asciilifeform: Mocky: very difficult ( at least i found ) to grasp the phonology without a live speaker.
Mocky: i already like that there's no capitalization. i need to find a native speaker
Mocky: slow start, but i think i'm going to like arabic ☟︎
asciilifeform: i'ma stfu at this point, as i promised to mircea_popescu not to interfere in euloric matters. will answer q strictly re gnatology, if diana_coman runs into any puzzlers.
diana_coman: at any rate, from server's point of view, it doesn't care - it will answer to legitimate messages and that is that; it's more of a client concern and up to them how they handle that i.e. indeed pretty much how long they wait/when do they consider server unreachable and what they do
asciilifeform: ( a reply here, in turn, is not the idjit tcp 'ack', but a packet containing hash(currentsecretsalt + prevpacket) + cipherola-to-current-key , i.e. can only have been generated by the box on the other end, and can only be authenticated by yours
asciilifeform: diana_coman: if one receives an old (i.e. not currently expected ) packet ( e.g. straggler from a previous round ) it gets rejected in the same way as any other rubbish.
asciilifeform: diana_coman: the simplest way i thought of to finesse the reordering thing is simply to run synchronously ( i.e. at no point does sender send a new packet unless old one replied; if there's no reply, sender retries a certain # of times, and if still silence, declares the connection broken )
diana_coman: http://btcbase.org/log/2018-09-14#1850460 -> sounds good; glad I published this stuff now rather than later! ☝︎
a111: Logged on 2018-09-14 18:09 phf: asciilifeform: i have a bigendian box and i also tested at least one call for bigendian test on it. i think it was diana_coman's keccak though
phf: theoretically, i think it was whatever gnat came with openbsd packages, since that was easiest thing to spin up on the machine in question.
asciilifeform: at some point i'd like to get a bigendian box of some description into pizarro , for such work
phf: asciilifeform: i have a bigendian box and i also tested at least one call for bigendian test on it. i think it was diana_coman's keccak though ☟︎
asciilifeform: ( why? i'ma leave as exercise for reader ! )
mircea_popescu: i suppose.
mircea_popescu: iirc we even had a discussion re standardizing a byte order ; though from the fact that i don't recall the results i take it i got shown broken cats. ☟︎
a111: Logged on 2018-09-14 13:38 asciilifeform has reached the mircea_popescu level of amnesia where 'hmm did i make this and it is on hdd somewhere or did i only want to'
asciilifeform: it's how i did the cmdline thing ( earlier linked )
diana_coman: I certainly have to consider that option too if all that gnat.sockets buys me is some bloat + streams ☟︎
asciilifeform: diana_coman: then you may want to wrap unix recv() as i described ( can use my mmap example )
asciilifeform: they baked this sad into file i/o also ( hence how it shows up in 'horsecocks' )
diana_coman: asciilifeform, I'm also still unsure *why* exactly would I need streams; I can see it perhaps on client side if one wants to implement streams on top of udp basically to add checks/re-send or whatever they want to do but that is no concern of the protocol itself
asciilifeform: to round out thread, http://btcbase.org/log/2018-09-14#1850330 << in my orig udp attempt, i dispensed with the traditional 'gotta be in network byte order (tm)' doctrine, in favour of 'if packet doesn't pass muster, THEN flip the endianism and try again 1ce' ☝︎☟︎
a111: Logged on 2018-09-14 12:37 diana_coman: as I was writing that I was thinking that an unchecked.conversion for the whole thing might work - provided arrays are indeed stored as one would expect in a continuous space
asciilifeform: http://btcbase.org/log/2018-09-14#1850298 << i'll add to this, that i've been to hobo encampments and found them to be... ~substantially~ cleaner and better organized than the 'open sores' atrocities. i suspect that the shitgnomatic level of horror is only found in dilapidated third world psych wards where inmates live in own shit. ☝︎
asciilifeform: but nao that i think about it, iirc mircea_popescu maintains currently a mswin eulora client, so you might be stuck with gnat's.
asciilifeform: ( the appeal of 'own gnatsockets' is similar to that of what i did with mmap : adacore's implementation is quite obese on acct of handling winblowz and other broken os )
asciilifeform: then again if you write 'own gnatsockets' you would have to do what i did for 'horsecocks' mmap system and actually handle all possible unix eggogs (granted there are not many of these for udp)
asciilifeform: diana_coman: incidentally, i was initially quite unsure re the wisdom of using the streams. but they are part of the standard and do appear to work as described. however for your application it isn't even clear to me that you need'em , could simply call out to unix's socket routine and get octet array of fixed length (e.g. 512byte) to work on.
asciilifeform: ( i had'em in the 1st drafts of ffa, then abolished , they interfere with proper compartmentalization )
a111: Logged on 2018-09-14 12:37 mircea_popescu: anyway, reading through this, i suspect ada threading may turn out to be a pleasure.
phf: diana_coman: http://btcbase.org/patches?patchset=smg-comms and http://btcbase.org/patches/smg_comms_genesis (i found the sig in /vpatches/)
asciilifeform: phf: fwiw i do not yet have a working heathen toolchain ( other than what shipped on the box ) either
phf: http://btcbase.org/log/2018-09-08#1848612 << was at sea, but i was also keeping up with the logs (much better in flight entertainment!), i'll take the pill, but not sure i'll have the immediate use for it beyond ogling. i'm having a hard time recreating even the max-heathen environment that will simply reproduce the google stack as is ☝︎
a111: Logged on 2017-03-10 16:57 asciilifeform: btw i will also put down in the log, one very simple possible algorithm for a 'txidx-fs' :
asciilifeform has reached the mircea_popescu level of amnesia where 'hmm did i make this and it is on hdd somewhere or did i only want to' ☟︎
asciilifeform: hmm, loox like i ~did~ glue'em, but the glued model definitely not ready for primetime.
a111: Logged on 2017-06-06 19:40 asciilifeform: mod6, phf , et al : http://nosuchlabs.com/pub/ada/horsecocks.tar.gz << i dun recall posting this before, so here it will live, for nao : unofficial release of mmaptron ☟︎
asciilifeform: i then wrote the mmap thing, with aim to bake the 'reads and stores blox , then O(1) tx retrieval' demo, but never got a chance to glue the two together
asciilifeform: ( what it was, was simply a btc block and tx reader, i fed an entire noad's 'dumpblock' chain into it, plus a buncha randomly bitflipped mutilations, behaved correctly )
diana_coman: asciilifeform, aha; re-reading that thing - I guess the Scalar_Storage_Order looks promising, I'll dig a bit deeper into it
asciilifeform: diana_coman: currently i am lacking a bigendian iron (or a gnat for such) so never got a chance to truly and properly test endianism conversion (as for ffa, it is endian-insensitive, but this is simple where there is no networking)
diana_coman: I've found that and gave it a first pass but I didn't quite see how to use it for my problem; it's on the list of refs at any rate, so I'll get to re-read it
asciilifeform: diana_coman: i dun see anything obviously ugly in your example, btw
diana_coman: got it; will re-read (I do think I had a quick look at it at that time but it didn't stick)
asciilifeform: i'ma have to repost, 1s
diana_coman: I recall a link to examples in ada; fwiw I think they are even gone from that link at least; was that "nqb"?
diana_coman: I was just thinking I might have missed something crucial there
asciilifeform: i also had a variant that used c imports
asciilifeform: i've a half-written 'g' (if anyone recalls what that was) , used adasockets
diana_coman: also: I'm open to any corrections to that thing there, including any slamming of the sort "this is horrible, wtf, do it THIS way!!"
asciilifeform: ( and i didn't get a chance to finish the whole thing, was right when i picked up ffa )
asciilifeform: http://btcbase.org/log/2018-09-14#1850323 << i have a proggy, but it dun seem like i ever published the item, so diana_coman will have to count as 1st ☝︎
diana_coman: honestly it *seems* to me that's the case, yes; but I'm still trying to wrap my head around it
mircea_popescu: anyway, reading through this, i suspect ada threading may turn out to be a pleasure. ☟︎
diana_coman: as I was writing that I was thinking that an unchecked.conversion for the whole thing might work - provided arrays are indeed stored as one would expect in a continuous space ☟︎
mircea_popescu: http://btcbase.org/log/2018-09-14#1850298 << heh. i bet it "works", too. ☝︎
trinque: I'll be thrilled when I watch emerge build someone's vmerge, and then remove itself as last act.
diana_coman: last time I tried to figure out exactly what is what and where re portage I ran out of time to disentangle the mess, so I'll be very happy indeed to not have to go back to that
trinque: I wager this is because the item in profile that sets IUSE ought to have overridden instead of appended.
BingoBoingo: I did not take photo, I can run back and grab one