-
flow
there is the the C stuff that pidgin uses, IIRC there where two libraries developed for that. but I would avoid writing anything network related non typesafe languages like C/C++
-
jonas’
itym memory safe ;)
-
flow
good point, no I actually had "type safe" in my mind. Probably because in my mind memory safe is less than type safe, but I don't have the exact definitions of those two in front of me
-
jonas’
memory safety covers things such as some_dynamically_allocated_vector[out_of_bounds_index] being defined or not
-
jonas’
that’s not covered by type safety
-
flow
is that so? I assumed it was covered
-
jonas’
no, you can’t express that as a type
-
jonas’
since the length isn’t part of the type
-
flow
dependent types?
-
jonas’
TIL: dependent types
-
jonas’
though those seem to be rather infeasible in the general case (something about halting problem)
-
jonas’
either way: terminology
-
jonas’
I’m not in the mood for a semantic argument :P
-
flow
sure :)
-
pep.
Yeah dependant types are a thing :)✎ -
pep.
Yeah dependent types are a thing :) ✏
-
Moumen
hello all , i just sent this iq and i did't receive any response
-
Moumen
<iq type="set" id="D3412AC2-F0C2-4B34-8983-AE178E9EDE5D"> <query xmlns="urn:xmpp:mam:2"> <x xmlns="jabber❌data" type="submit"> <field var="with"> <value>anasmadi@punkpanda.live</value> </field> <field var="FORM_TYPE" type="hidden"> <value>urn:xmpp:mam:2</value> </field> </x> <set xmlns="http://jabber.org/protocol/rsm"> <max>30</max> </set> </query> </iq>
-
jonas’
define "no response"
-
jonas’
that’d be illegal
-
jonas’
what kind of server is it?
-
jonas’
and can you show a raw XML dump of incoming and outgoing data?
-
Zash
it may also help to observe server logs while doing the request
-
Moumen
i am working on ios app i sent this iq to ejabberd server
-
marmistrz
> there is the the C stuff that pidgin uses, IIRC there where two libraries developed for that. but I would avoid writing anything network related non typesafe languages like C/C++ Yes, C/C++ for such things sounds like an inevitable ACE vulnerability. :P
-
marmistrz
What about the C#/Mono support? It's probably less memory-hungry than Java and in null-safe since C# 8 (unlike Java, I could possibly use Kotlin and be extra careful while invoking Java code)
-
marmistrz
I didn't find anything with OMEMO support while googling with DDG/Google.
-
lovetox
Moumen, sounds weird, i would check that you really did not receive anything
-
lovetox
ejabberd would answer this someway or another
-
lovetox
maybe your iq callbacks do not work
-
lovetox
and you asked that exact question a few days ago
-
flow
marmistrz, nothing for C# as far as I am aware. I encourage you to look into Smack's OMEMO support, but I am biased here so don't listen to me
-
jump
hello gys
-
jump
theres someone that could help me
-
jump
i cant find how to create or build a chat like this on python
-
jump
i dont understand