jdev - 2020-09-22


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

  2. jonas’

    itym memory safe ;)

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

  4. jonas’

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

  5. jonas’

    that’s not covered by type safety

  6. flow

    is that so? I assumed it was covered

  7. jonas’

    no, you can’t express that as a type

  8. jonas’

    since the length isn’t part of the type

  9. flow

    dependent types?

  10. jonas’

    TIL: dependent types

  11. jonas’

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

  12. jonas’

    either way: terminology

  13. jonas’

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

  14. flow

    sure :)

  15. pep.

    Yeah dependant types are a thing :)

  16. pep.

    Yeah dependent types are a thing :)

  17. Moumen

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

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

  19. jonas’

    define "no response"

  20. jonas’

    that’d be illegal

  21. jonas’

    what kind of server is it?

  22. jonas’

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

  23. Zash

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

  24. Moumen

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

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

  26. 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)

  27. marmistrz

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

  28. lovetox

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

  29. lovetox

    ejabberd would answer this someway or another

  30. lovetox

    maybe your iq callbacks do not work

  31. lovetox

    and you asked that exact question a few days ago

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

  33. jump

    hello gys

  34. jump

    theres someone that could help me

  35. jump

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

  36. jump

    i dont understand