Forum logs for 16 Sep 2018

Monday, 16 March, Year 12 d.Tr. | Author:
PeterL: http://trilema.com/forum-logs-for-15-sep-2018#2474403 << 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 [00:17]
a111: Logged on 2018-09-15 14:42 asciilifeform: this makes for 2 working keccaks nao, unless i'm forgetting somebody's [00:17]
PeterL: and I should find a better place to keep my files, currently I have it on github [00:19]
trinque: somebody should really write a republican version control system someday [00:49]
trinque: PeterL, unfuck your head. [00:49]
mircea_popescu: "and the rest will follow" ? [02:07]
trinque: at least it'd have a chance. [02:50]
mircea_popescu: meanwhile in random lulz, "Using slang you didn't come up with isn't a substitute for having a personality. And that's the Internet in a nutshell today: a bunch of vapid morons trying to be cool by parroting phrases back and forth to each other. It's meme language, and just like people use memes as a substitute for their inability to tell a joke or make a cogent statement, people use this type of language to seem hip-adjacent [09:55]
mircea_popescu: . You're not hip, and you're hoping desperately that nobody notices." [09:55]
mircea_popescu: internet "of today" runs into internet of 1990s : maddox saying "the obvious" that "nobody wants to hear", inexplicably enough nobody gives a shit. [09:56]
mircea_popescu: ah if only it were 1998 again, how bien trouve shit like "hip-adjacent" would catch wings and fly! what a "dank meme" it'd have been, back before they had a word for it. [09:57]
mircea_popescu: meanwhile in alt coins, "Super Male Vitality is the result of ancient wisdom reinterpreted over several years in the light of modern equipment and analysis." [10:02]
deedbot: http://bimbo.club/?p=12 << Bimbo.Club - TMSR Log - 9/02/2018 [11:02]
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 [11:39]
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 [11:39]
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 [11:39]
diana_coman: moreover, the thin layer is in principle internal to gnat.sockets so it's not even meant to be directly used from outside (compiler will throw a warning though nothing worse than that afaik) [11:40]
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 [11:41]
diana_coman: for lulz from the above code: -- Return highest numbered socket (what does this refer to???) [11:42]
deedbot: http://trilema.com/2018/best-in-the-world/ << Trilema - Best in the world! [11:47]
mircea_popescu: diana_coman would this be written in ada then ? [11:47]
diana_coman: mircea_popescu, it would still wrap recv and send at the very least [11:48]
mircea_popescu: more specifically : what exactly is the limit of the "c-ness" of the system calls ? can we pretend they're ada system calls until they are ? [11:48]
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 [11:51]
mircea_popescu: "According to POSIX.1-2001, the msg_controllen field of the msghdr structure should be typed as socklen_t, but glibc currently types it as size_t. " and other joys of the c world. [11:51]
mircea_popescu: half the fucxking manual on recv deals with a) spurious extra prototypes and b) data size definition soup. [11:52]
diana_coman: myeah I did not even pretend I *like* to have to do this [11:52]
mircea_popescu: diana_coman but would the wrapper be c or ada ? [11:52]
diana_coman: how would it be c?? [11:52]
diana_coman: or why, lol [11:53]
diana_coman: if it's c, there's no need for a wrapper [11:53]
mircea_popescu: why i dunno how however -- gnat will compile c. [11:53]
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 [11:53]
mircea_popescu: are you going to write an ada program to treat c-defined syscalls as black boxes and spit out ada acceptable output opr are you going to write a c program to treat c-defined syscalls as compatriots and spit out ada acceptable output ? [11:54]
mircea_popescu: i'm just checking things! [11:54]
diana_coman: first [11:54]
mircea_popescu: how are you going to handle the weird data models implied by teh nutty syscalls in an ada proggy ? [11:55]
diana_coman: as I dig into them deeper, I shall know! lol [11:55]
mircea_popescu: lol ok. [11:55]
diana_coman: if I knew all that, it'd be ...ready [11:55]
diana_coman: not like typing takes a lot of time [11:56]
mircea_popescu: alrighty. [11:56]
mircea_popescu: meanwhile in other lulz, the middle english word for "raise awareness" would be... animadverting. [12:17]
mircea_popescu: strangely enough disused, seeing how it's shorter. [12:17]
asciilifeform: http://btcbase.org/log/2018-09-16#1850630 << i spend past day cleaning up mine, but not quite done yet [12:32]
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 [12:32]
asciilifeform: diana_coman and mircea_popescu can read and use if they like it, i'ma genesis [12:32]
diana_coman: asciilifeform, please do [12:32]
mircea_popescu: certainly. [12:33]
asciilifeform: it only does udp tho [12:33]
mircea_popescu: that's quite fortuitous! [12:33]
diana_coman: atm it's only udp I want to do [12:33]
asciilifeform: then diana_coman may find it useful, i'ma hurry up & genesis ( realistically tomorrow posted. ) [12:34]
asciilifeform: simple enuff item, has small example harness, and eggog handling [12:35]
diana_coman: asciilifeform, tomorrow sounds good! [12:35]
mircea_popescu: honestly, FEWER "this is my fork design" would be way better than more. http://trilema.com/wp-content/uploads/2010/07/basini-unique.jpg and all that. [12:35]
asciilifeform: ok i'ma bbl [12:35]
BingoBoingo: http://trilema.com/2018/best-in-the-world/#comment-126692 << LOL unintentional entertainment [17:43]
mircea_popescu: ima install traffic stops in the dungeon. [18:01]
BingoBoingo: You mean observatory [18:05]
asciilifeform: mircea_popescu: plox to clarify, is http://btcbase.org/log/2018-09-16#1850668 an arg in favour or against posting $subj [18:05]
a111: Logged on 2018-09-16 16:35 mircea_popescu: honestly, FEWER "this is my fork design" would be way better than more. http://trilema.com/wp-content/uploads/2010/07/basini-unique.jpg and all that. [18:05]
asciilifeform: mircea_popescu: a++++ ocelot [18:06]
* asciilifeform had nfi their face were this level of... round [18:07]
mircea_popescu: i mentioned alf to him, his tongue came out [18:52]
mircea_popescu: asciilifeform all for posting $subj, this way minigame can just use it rather than make yet-another-new-one [18:52]
asciilifeform: aa ok [18:53]
mod6: http://btcbase.org/log/2018-09-14#1850424 << Ah, thank you! [20:44]
a111: Logged on 2018-09-14 16:42 asciilifeform: BingoBoingo, mod6 , ben_vulpes : ordered ! 308.28 orcbux ( 62.18 of'em orc fee, 37.21 -- postage, the rest -- 8 drives and pack of 20 adhesive hedgehogs ) [20:44]
mod6: !Qcalc 308.28/6745 [20:45]
lobbesbot: mod6: 0.045704966642 [20:45]
mod6: 0.04570496 BTC good asciilifeform ? (I'm using the price point for sept for the calc) [20:47]
asciilifeform: mod6: worx [20:52]
asciilifeform: 1s, will cough up invoice [20:52]
asciilifeform: !!invoice mod6 0.04570496 8 new-gen rk disks + 20 adhesive-backed hedgehogs + s&h [20:53]
deedbot: Get your OTP: http://p.bvulpes.com/pastes/81816/?raw=true [20:53]
asciilifeform: !!v FC2D6272E9AF4411FE0E8ABE50E84DA17246A8042AC4D92F4EFD5E76CE380E04 [20:53]
deedbot: Invoiced mod6 0.04570496 << 8 new-gen rk disks + 20 adhesive-backed hedgehogs + s&h [20:53]
mod6: Thank you, Sir. I appreciate the invoice. [20:55]
asciilifeform: mod6: np [21:00]
mod6: !!received-invoices [21:06]
deedbot: http://p.bvulpes.com/pastes/9cDF4/?raw=true [21:06]
mod6: !!pay-invoice asciilifeform 1 [21:09]
deedbot: Get your OTP: http://p.bvulpes.com/pastes/RCgKB/?raw=true [21:09]
mod6: !!v A06C4D8D64F662393218FB552D1D54866648D05485A95F0D169A2F07B05E1A29 [21:12]
deedbot: mod6 paid asciilifeform invoice 1 [21:12]
asciilifeform: ty mod6 [21:12]
mod6: yw! [21:12]
mod6: !!sent-invoices [21:12]
deedbot: http://p.bvulpes.com/pastes/J1wVH/?raw=true [21:12]
mod6: !!ledger [21:13]
deedbot: http://p.bvulpes.com/pastes/s405X/?raw=true [21:13]
PeterL: is there a process to get voiced in #pizarro? [23:02]
PeterL: !Q later tell bingoboingo http://p.bvulpes.com/pastes/KDpD9/?raw=true [23:24]
lobbesbot: PeterL: The operation succeeded. [23:24]
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.