jdev - 2020-09-22

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

itym memory safe ;)

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

memory safety covers things such as some_dynamically_allocated_vector[out_of_bounds_index] being defined or not

that’s not covered by type safety

is that so? I assumed it was covered

no, you can’t express that as a type

since the length isn’t part of the type

dependent types?

TIL: dependent types

though those seem to be rather infeasible in the general case (something about halting problem)

either way: terminology

I’m not in the mood for a semantic argument :P

sure :)

Yeah dependent types are a thing :) ✏

hello all , i just sent this iq and i did't receive any response

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

define "no response"

that’d be illegal

what kind of server is it?

and can you show a raw XML dump of incoming and outgoing data?

it may also help to observe server logs while doing the request

i am working on ios app i sent this iq to ejabberd server

> 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

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)

I didn't find anything with OMEMO support while googling with DDG/Google.

Moumen, sounds weird, i would check that you really did not receive anything

ejabberd would answer this someway or another

maybe your iq callbacks do not work

and you asked that exact question a few days ago

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

hello gys

theres someone that could help me

i cant find how to create or build a chat like this on python

i dont understand