00: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 |
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:19 |
PeterL |
and I should find a better place to keep my files, currently I have it on github |
| |
~ 30 minutes ~ |
00:49 |
trinque |
somebody should really write a republican version control system someday |
00:49 |
trinque |
PeterL, unfuck your head. |
| |
~ 1 hours 17 minutes ~ |
02:07 |
mircea_popescu |
"and the rest will follow" ? |
| |
~ 43 minutes ~ |
02:50 |
trinque |
at least it'd have a chance. |
| |
~ 7 hours 4 minutes ~ |
09:55 |
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:56 |
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:57 |
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. |
10:02 |
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." |
| |
~ 59 minutes ~ |
11:02 |
deedbot |
http://bimbo.club/?p=12 << Bimbo.Club - TMSR Log - 9/02/2018 |
| |
~ 36 minutes ~ |
11:39 |
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:40 |
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: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 |
| |
↖ |
11:42 |
diana_coman |
for lulz from the above code: -- Return highest numbered socket (what does this refer to???) |
11:47 |
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:48 |
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:51 |
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:52 |
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:53 |
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:54 |
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:55 |
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:56 |
diana_coman |
not like typing takes a lot of time |
11:56 |
mircea_popescu |
alrighty. |
| |
~ 20 minutes ~ |
12:17 |
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. |
| |
~ 15 minutes ~ |
12:32 |
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:33 |
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:34 |
asciilifeform |
then diana_coman may find it useful, i'ma hurry up & genesis ( realistically tomorrow posted. ) |
12:35 |
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 |
| |
~ 5 hours 8 minutes ~ |
17:43 |
BingoBoingo |
http://trilema.com/2018/best-in-the-world/#comment-126692 << LOL unintentional entertainment |
| |
~ 17 minutes ~ |
18:01 |
mircea_popescu |
ima install traffic stops in the dungeon. |
18:05 |
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:06 |
asciilifeform |
mircea_popescu: a++++ ocelot |
18:07 |
* |
asciilifeform had nfi their face were this level of... round |
| |
~ 44 minutes ~ |
18:52 |
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:53 |
asciilifeform |
aa ok |
| |
~ 1 hours 50 minutes ~ |
20:44 |
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:45 |
mod6 |
!Qcalc 308.28/6745 |
20:45 |
lobbesbot |
mod6: 0.045704966642 |
20:47 |
mod6 |
0.04570496 BTC good asciilifeform ? (I'm using the price point for sept for the calc) |
20:52 |
asciilifeform |
mod6: worx |
20:52 |
asciilifeform |
1s, will cough up invoice |
20:53 |
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:55 |
mod6 |
Thank you, Sir. I appreciate the invoice. |
21:00 |
asciilifeform |
mod6: np |
21:06 |
mod6 |
!!received-invoices |
21:06 |
deedbot |
http://p.bvulpes.com/pastes/9cDF4/?raw=true |
21:09 |
mod6 |
!!pay-invoice asciilifeform 1 |
21:09 |
deedbot |
Get your OTP: http://p.bvulpes.com/pastes/RCgKB/?raw=true |
21:12 |
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:13 |
mod6 |
!!ledger |
21:13 |
deedbot |
http://p.bvulpes.com/pastes/s405X/?raw=true |
| |
~ 1 hours 49 minutes ~ |
23:02 |
PeterL |
is there a process to get voiced in #pizarro? |
| |
~ 21 minutes ~ |
23:24 |
PeterL |
!Q later tell bingoboingo http://p.bvulpes.com/pastes/KDpD9/?raw=true |
23:24 |
lobbesbot |
PeterL: The operation succeeded. |