#trilema | 2018-02-28

04:11

deedbot

http://pizarroisp.net/?p=19 << PizzaroISP - Pizarro Statement, February 2018

04:11

ben_vulpes

i look forward to the flensing in the morrow

~ 40 minutes ~

04:52

ave1

thanks!, I updated the post.

04:52

ave1

http://btcbase.org/log/2018-02-28#1786461

04:52

a111

Logged on 2018-02-28 00:48 mircea_popescu: ave1 nice work. it is "be built" though.

04:54

ave1

Yeah, I know! I wanted to squeeze in this comment, but did not find a good position in the table to put the reference in. I'll just let it stand as a separate comment without number. http://btcbase.org/log/2018-02-28#1786463

04:54

a111

Logged on 2018-02-28 00:50 mircea_popescu: ave1 also possibly your comments table is ill-formatted ? there's no 4.

~ 3 hours 59 minutes ~

08:53

diana_coman

http://btcbase.org/log/2018-02-28#1786462 <- will give it a try for sure

08:53

a111

Logged on 2018-02-28 00:48 mircea_popescu: diana_coman can we include a report of compiling eucrypt with his barebone runtime ?

09:08

ave1

diana_coman: will you be depending on interfaces.c or interfaces.c.strings packages (I'v done some initial work on modified versions of these that do not need a second stack)

09:08

diana_coman

ave1, unfortunately yes

09:10

ave1

the fun of C strings, I hope you can use the procedure versions of To_Ada and To_C.

09:17

diana_coman

ave1, tbh I've been trying to avoid .c.strings at least but atm it looks set to still make its way in because calling ada stuff from c and getting char * result is an even worse mess with interfaces.c only (i.e. with char_array vs chars_ptr)

09:18

diana_coman

if you have experience with taming this particular kraken I'd be very happy to hear of it

~ 20 minutes ~

09:38

ave1

mostly the other way around, but I'll be happy to help out. (I'm slowly reading through the gnat runtime library code, I just realized I should write more notes while reading through this...)

09:45

diana_coman

ave1, more notes sounds like a *very* good idea; mixing with char * c style is anyway a pain no matter how it's done

09:46

diana_coman

notes on reading through gnat runtime library code sounds like great blog fodder

09:49

ave1

Yes, as soon as you start a blog, fodder seems to be all around you.

09:50

deedbot

http://qntra.net/2018/02/south-africa-set-to-begin-uncompensated-land-thefts/ << Qntra - South Africa Set To Begin Uncompensated Land Thefts

09:51

ave1

BTW for an Ada IRC bot experiment, I'm working with buffers on both sides (ADA <--> C) and moving bytes one by one. This seems to deliver the cleanest code. (but will probably not ever be Mbytes per second)

09:54

diana_coman

ave1, aha, byte by byte was what I ended up doing at testing stage just to see it really working; hopefully I'll still get it working properly with To_C as such and then I can still avoid the C.Strings, stick with the procs To_Ada and To_C; it's not going to be pretty but at least the mess is as small as I can see a way to do it now

10:07

diana_coman

ave1 have you ever passed a char * from c to ada in such a way that ada actually sees the correct length for it? there is something I don't quite understand there as To_C seems to use Target'Length so the length should be set

↖

~ 49 minutes ~

10:56

04:11	deedbot	http://pizarroisp.net/?p=19 << PizzaroISP - Pizarro Statement, February 2018
04:11	ben_vulpes	i look forward to the flensing in the morrow
		~ 40 minutes ~
04:52	ave1	thanks!, I updated the post.
04:52	ave1	http://btcbase.org/log/2018-02-28#1786461
04:52	a111	Logged on 2018-02-28 00:48 mircea_popescu: ave1 nice work. it is "be built" though.
04:54	ave1	Yeah, I know! I wanted to squeeze in this comment, but did not find a good position in the table to put the reference in. I'll just let it stand as a separate comment without number. http://btcbase.org/log/2018-02-28#1786463
04:54	a111	Logged on 2018-02-28 00:50 mircea_popescu: ave1 also possibly your comments table is ill-formatted ? there's no 4.
		~ 3 hours 59 minutes ~
08:53	diana_coman	http://btcbase.org/log/2018-02-28#1786462 <- will give it a try for sure
08:53	a111	Logged on 2018-02-28 00:48 mircea_popescu: diana_coman can we include a report of compiling eucrypt with his barebone runtime ?
09:08	ave1	diana_coman: will you be depending on interfaces.c or interfaces.c.strings packages (I'v done some initial work on modified versions of these that do not need a second stack)
09:08	diana_coman	ave1, unfortunately yes
09:10	ave1	the fun of C strings, I hope you can use the procedure versions of To_Ada and To_C.
09:17	diana_coman	ave1, tbh I've been trying to avoid .c.strings at least but atm it looks set to still make its way in because calling ada stuff from c and getting char * result is an even worse mess with interfaces.c only (i.e. with char_array vs chars_ptr)
09:18	diana_coman	if you have experience with taming this particular kraken I'd be very happy to hear of it
		~ 20 minutes ~
09:38	ave1	mostly the other way around, but I'll be happy to help out. (I'm slowly reading through the gnat runtime library code, I just realized I should write more notes while reading through this...)
09:45	diana_coman	ave1, more notes sounds like a very good idea; mixing with char * c style is anyway a pain no matter how it's done
09:46	diana_coman	notes on reading through gnat runtime library code sounds like great blog fodder
09:49	ave1	Yes, as soon as you start a blog, fodder seems to be all around you.
09:50	deedbot	http://qntra.net/2018/02/south-africa-set-to-begin-uncompensated-land-thefts/ << Qntra - South Africa Set To Begin Uncompensated Land Thefts
09:51	ave1	BTW for an Ada IRC bot experiment, I'm working with buffers on both sides (ADA <--> C) and moving bytes one by one. This seems to deliver the cleanest code. (but will probably not ever be Mbytes per second)
09:54	diana_coman	ave1, aha, byte by byte was what I ended up doing at testing stage just to see it really working; hopefully I'll still get it working properly with To_C as such and then I can still avoid the C.Strings, stick with the procs To_Ada and To_C; it's not going to be pretty but at least the mess is as small as I can see a way to do it now
10:07	diana_coman	ave1 have you ever passed a char * from c to ada in such a way that ada actually sees the correct length for it? there is something I don't quite understand there as To_C seems to use Target'Length so the length should be set
		↖
		~ 49 minutes ~
10:56	mircea_popescu	caaddr Valfor next i see your name in any other context than "here is the useful i did" comes the banning.
10:57	mircea_popescu	ave1 you should ; also read through the eucrypt thing, ima (for instance) need someone to package it into a cmd line gpg replacement as soon as next wek.
		↖ ↖ ↖
		~ 31 minutes ~
11:28	asciilifeform	ada folx: re making ada strings out of the c variety : strlen(char *) is a potentially lethal op ( suppose the nullterminator is missing ) so it will never be called implicitly by ada. you gotta either call strlen deliberately on c side, and then form ( can be on stack , declare ... Foo : String(1 .. Length) ... , say, a la http://btcbase.org/patches/ffa_ch4_ffacalc#L53 ) a proper ada string and copy the cstring into it.
11:29	asciilifeform	... or use the secondary-stack-using standard mechanism for this ( or ave1's replacement, potentially ) .
11:33	asciilifeform	in either case you gotta pick a max length for the thing, and copy ~up to~ that many bytes. but this is prolly obvious.
11:35	mircea_popescu	i beleive in using the mess maker to clean up the messes it made.
11:36	mircea_popescu	ave1 i can't imagine what exactly you could use mbytes / second in an irc bot. i don't think my irc interface even seens kb/s speeds.
		~ 29 minutes ~
12:05	ben_vulpes	"the main feature of cryptocurrencies is their anonymity. i don't think this is a good thing" -- bill gates http://fortune.com/2018/02/27/bill-gates-on-bitcoin-ripple-price-reddit-2018/
12:05	ben_vulpes	offensively stupid remark.
12:06	ben_vulpes	holy crap monero still undebunked in mainstream usg press