#trilema | 2018-09-16

← 2018-09-15 | 2018-09-17 → ↓

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

a111: Logged on 2018-09-15 14:42 asciilifeform: this makes for 2 working keccaks nao, unless i'm forgetting somebody's

PeterL: and I should find a better place to keep my files, currently I have it on github

trinque: somebody should really write a republican version control system someday

trinque: PeterL, unfuck your head.

mircea_popescu: "and the rest will follow" ?

trinque: at least it'd have a chance.

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

mircea_popescu: . You're not hip, and you're hoping desperately that nobody notices."

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.

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.

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."

deedbot: http://bimbo.club/?p=12 << Bimbo.Club - TMSR Log - 9/02/2018

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

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: 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

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)

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: for lulz from the above code: -- Return highest numbered socket (what does this refer to???)

deedbot: http://trilema.com/2018/best-in-the-world/ << Trilema - Best in the world!

mircea_popescu: diana_coman would this be written in ada then ?

diana_coman: mircea_popescu, it would still wrap recv and send at the very least

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 ?

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

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.

mircea_popescu: half the fucxking manual on recv deals with a) spurious extra prototypes and b) data size definition soup.

diana_coman: myeah; I did not even pretend I *like* to have to do this

mircea_popescu: diana_coman but would the wrapper be c or ada ?

diana_coman: how would it be c??

diana_coman: or why, lol

diana_coman: if it's c, there's no need for a wrapper

mircea_popescu: why i dunno ; how however -- gnat will compile c.

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: 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 ?

mircea_popescu: i'm just checking things!

diana_coman: first

mircea_popescu: how are you going to handle the weird data models implied by teh nutty syscalls in an ada proggy ?

diana_coman: as I dig into them deeper, I shall know! lol

mircea_popescu: lol ok.

diana_coman: if I knew all that, it'd be ...ready

diana_coman: not like typing takes a lot of time

mircea_popescu: alrighty.

mircea_popescu: meanwhile in other lulz, the middle english word for "raise awareness" would be... animadverting.

mircea_popescu: strangely enough disused, seeing how it's shorter.

asciilifeform: http://btcbase.org/log/2018-09-16#1850630 << i spend past day cleaning up mine, but not quite done yet

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: diana_coman and mircea_popescu can read and use if they like it, i'ma genesis

diana_coman: asciilifeform, please do

mircea_popescu: certainly.

asciilifeform: it only does udp tho

mircea_popescu: that's quite fortuitous!

diana_coman: atm it's only udp I want to do

asciilifeform: then diana_coman may find it useful, i'ma hurry up & genesis ( realistically tomorrow posted. )

asciilifeform: simple enuff item, has small example harness, and eggog handling

diana_coman: asciilifeform, tomorrow sounds good!

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.

asciilifeform: ok i'ma bbl

BingoBoingo: http://trilema.com/2018/best-in-the-world/#comment-126692 << LOL unintentional entertainment

mircea_popescu: ima install traffic stops in the dungeon.

BingoBoingo: You mean observatory

asciilifeform: mircea_popescu: plox to clarify, is http://btcbase.org/log/2018-09-16#1850668 an arg in favour or against posting $subj

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.

asciilifeform: mircea_popescu: a++++ ocelot

asciilifeform had nfi their face were this level of... round

mircea_popescu: i mentioned alf to him, his tongue came out

mircea_popescu: asciilifeform all for posting $subj, this way minigame can just use it rather than make yet-another-new-one

asciilifeform: aa ok

mod6: http://btcbase.org/log/2018-09-14#1850424 << Ah, thank you!

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 )

mod6: !Qcalc 308.28/6745

lobbesbot: mod6: 0.045704966642

mod6: 0.04570496 BTC good asciilifeform ? (I'm using the price point for sept for the calc)

asciilifeform: mod6: worx

asciilifeform: 1s, will cough up invoice

asciilifeform: !!invoice mod6 0.04570496 8 new-gen rk disks + 20 adhesive-backed hedgehogs + s&h

deedbot: Get your OTP: http://p.bvulpes.com/pastes/81816/?raw=true

asciilifeform: !!v FC2D6272E9AF4411FE0E8ABE50E84DA17246A8042AC4D92F4EFD5E76CE380E04

deedbot: Invoiced mod6 0.04570496 << 8 new-gen rk disks + 20 adhesive-backed hedgehogs + s&h

mod6: Thank you, Sir. I appreciate the invoice.

asciilifeform: mod6: np

mod6: !!received-invoices