Blackknight a écrit 1234 commentaires

Merci

PS : C'est une maladie chez les Adaistes de reprendre tout le monde là-dessus :D

En fait, c'est Ada, pas ADA.

Le langage tire son nom d'Ada Lovelace qui n'aurait certainement pas aimé que son prénom soit écrit sous la forme d'un sigle :)

Sinon ADA, c'est au choix :
- Un loueur de voiture
- L'American Dental Association
- Entre autres

Voilà, c'est tout :)

Qu'est-ce qui t'empêche de le faire tourner ? Tu peux installer ton propre serveur Signal, il faudra ensuite modifier le client pour qu'il s'y connecte.

Et tu retomberas dans le même travers que ton serveur XMPP, à savoir, le manque de confiance dans l'hébergeur et au final, tu n'atteindras jamais la masse critique qui fera que tout le monde veut causer avec toi sur ton serveur Signal.

Comme dit un pote : "Tu peux avoir le plus beau produit du monde, si tu n'as pas le marketing et les commerciaux qui vont avec, ça ne sert à rien".

Et ça, ça fonctionne même dans le libre, il suffit que Linus mette son nom sur git et hop, ça devient le truc le plus génial du monde… Perso, j'aimais beaucoup Monotone…

Dans le monde du mail, il y a énormément de services qui permettent de filtrer la plupart du spam, les outils sont bien plus performants.

Le mail a bientôt 40 ans, encore heureux qu'on ait des solutions !
Et encore, les solutions ne sont même pas au niveau du protocole mais sont des verrues sur les serveurs SMTP et les clients mail.

D'ailleurs, sur mon téléphone, j'ai pas un bogofilter qui tourne et ça se voit tout de suite.

D'ailleurs, voilà un projet intéressant : implémenter un hook Bogofilter sur ejabberd

De plus, alors que les utilisateurs acceptent de recevoir de temps à autre du spam dans leur boîte mail

Tu me diras comment ils font, moi, du spam, j'en reçoit une quinzaine par jour… Sur mon compte Jabber, rien et pourtant l'adresse est dispo ici-même depuis plus de 10 ans.

Il n'y a pas de spam sur Whatsapp and co, alors pourquoi accepter d'utiliser un service sur lequel on reçoit du spam ?

C'est pas ça qui devrait changer à partir de mai ? J'avais compris que le but de Facebook était de fournir un moyen pour que les entreprises puissent te contacter directement et que tu puisses commercer avec eux… De là à ce que l'on soit spammés, y a pas loin.

Alors, je ne connais rien à Matrix, mais le problème du spam ne risque-t-il pas d'arriver un jour ?

Du coup, tu as piqué ma curiosité et j'ai regardé rapidement.
Je suis tombé sur ce post de Prosody mais je pense que tu as déjà dû le voir.

Si j'utilise une allow list, qu'est-ce que je mets dedans ? Ça revient presque à désactiver la fédération.

C'est le même problème qu'avec les mails donc, sauf à coller un antispam côté serveur, y a pas de solution miracle.

Après, le fait qu'une whitelist ne fonctionne pas dans ton cas est plutôt une bonne nouvelle pour XMPP car ça veut dire que tes utilisateurs discutent avec des personnes issus de plein de serveurs différents :)

Regardes du côté du module de blacklist si tes spammeurs viennent toujours du même endroit.

Sinon, tu peux passer par les whitelists

Sur ejabberd, il y a la configuration s2s-access.
Il serait étonnant qu'il n'y ait pas la même chose sous Prosody.

un core obligatoire minimaliste et une multitude d'options

Comme le noyau Linux ? Je croyais que faire des monolithes, c'était mal :)

Blague à part, pour avoir monté un serveur XMPP il y a trois semaines pour la première fois de ma vie, rien qu'en installant ejabberd avec la configuration de base, j'étais déjà à plus de 80% des tests de compliance.

De base, tu as donc la communication entre clients, les multi-users channel (MUCs), le PubSub, la communication entre serveurs…

De ce que j'ai pu voir, les exemples de configuration pour Prosody fournissent grosso modo la même chose donc le plus petit dénominateur commun, il n'est peut-être pas si petit.

Après, coté clients XMPP, ce n'est pas forcément tout rose mais pour la messagerie et les discussions de groupe, ça reste correct.
Effectivement, j'ai quelques soucis pour la vidéo avec certains et un bug dans Xabber pour le transfert de fichiers mais le bug semble résolu pour la prochaine version.

Je n'ai rien contre l'humour (au contraire), mais honnêtement, ça n'a rien à faire dans un protocole, fut-ce dans des XEP (et même si c'est clairement mentionné qu'il s'agit d'humour).

A première vue, tu ne dois pas aimer l'IETF non plus… Sauf si t'aimes les pigeons :)

Je n'ai jamais dit que c'était ce qu'il fallait faire mais simplement que ce n'est pas au protocole de définir si le champ password contient le mot de passe ou un hash, pas besoin de pousser des cris d'orfraie.

Sauf que le protocole ne précise pas comment doit être stocké ce mot de passe, c'est un choix d'implémentation.

Par exemple, dans ejabberd, la partie authentification contient tout une série de processus et s'il est possible d'avoir le mot de passe en clair, il existe tout une série de possibilités permettant de s'en passer.

Personnellement, depuis les annonces de WhatsApp, j'ai quelques copains qui ont commencé à s'inquiéter et à qui j'ai proposé de monter un serveur XMPP.
Résultat des courses, je suis l'heureux administrateur et propriétaire d'une VM de petite taille (2Go de RAM et 20Go de disque) chez Scaleway et qui fait très bien le taff pour la trentaine d'utilisateurs enregistrés.

A cela, j'ai ajouté un serveur Apache hébergeant Movim.

Alors, oui, la configuration n'est pas forcément très simple et il est utile de comprendre ce que l'on fait et active.
Par contre, j'ai aujourd'hui des utilisateurs qui utilisent Xabber ou Conversations sous Android et Siskin sous iOS. Après certains utilisent aussi l'instance Movim pour causer.

Au final, cela fonctionne même si j'ai dû guider les personnes dans leur choix de client.

Globalement, pour l'instant, cela se passe bien

La projection Mercator a des défauts et j'aimerais utiliser d'autres projections qui n'ont pas ses défauts, mais qui en ont d'autres desquels je peux m'accommoder.

Tu fais des tirs d'artillerie ? Je te conseille la LCC :)

Moi ça me rappelle les generics en Ada

generic
  type Element_T is private;
  with function "*" (X, Y: Element_T) return Element_T;
function Square (X : Element_T) return Element_T;

Ai-je bien compris ?
Peut-on faire des trucs encore plus forts avec les concepts que juste spécifier les opérations nécessaires ?

Certes mais cela donne au moins une idée pour ce qui est du ressort du hobby.

Et hop, c'est tombé hier, le code de certains composants d'un des prochains prototypes de drone d'Eurocopter sera en Ada sous VxWorks (source).

Comme quoi, ça bouge encore :)

A lire sur le site, je ne crois pas qu'il faut se débrouiller seul.

Il fallait lire

A lire sur le site, je crois qu'il faut se débrouiller seul.

Là, j'en sais rien, je bosse pas pour eux (ils n'ont pas voulu de moi ;))
A lire sur le site, je ne crois pas qu'il faut se débrouiller seul.
Après tout, c'est un éditeur pas une société de conseil.

Et puis, c'est facile de certifier, non ? :)

Au passage, si ça intéresse, y a toute une page là-dessus pour ce qui est de la "pub" et une page plus technique chez Adacore.
On parle bien sûr de certification pour des domaines donnés comme l'aéronautique et pas de compilateur certifié.

En dehors de CompCert, point de salut en ce concerne le certifié sans bug :)

ils disaient que les codeurs Ada étaient rares, et que c'était plus simple en C.

Ça, c'est vrai. Le C, on en trouve partout donc ça vaut le coup de savoir coder en C => pas de pénurie de codeurs C
Le langage Ada est plus complexe, peut-être aussi complexe que le C++ et on en trouve que dans des marchés de niche donc il y a peu d'intérêt à en faire => pas beaucoup de développeurs Ada

Perso, je remarque un peu plus de mouvement sur StackOverflow autour d'Ada ces derniers temps mais cela reste confidentiel. Au passage, la qualité des réponses aux questions est excellente :)

Ben, dans les hélicoptères Tigre et NH90, c'est toujours de l'Ada sur certains matériels
Sur le Boeing 777, c'est de l'Ada aussi et on en trouve aussi dans l'A-380.
Ça ne vole pas mais ça aide, le serveur de gestion du trafic aérien européen est, en partie, codé en Ada.

Je ne suis donc pas aussi sûr que toi de ton assertion

Techniquement oui, mais Rust est le seul qui prend de l'envol aujourd'hui (Ada, qui l'utilise ?)

Sachant que les domaines principaux où il y a de l'Ada sont le spatial et l'aéronautique, je pense qu'Ada prend beaucoup plus souvent son envol que Rust pour le moment :)

Sinon du code en Ada ça existe pas mal (aviation, ferroviaire). C'est moins tendance et plus sur une niche mais c'est pas pour autant que c'est mort.

On trouve même encore des offres d'emploi pour de l'Ada et dans d'autres, c'est considéré comme un réel atout de connaître (ça sent le portage vers C++ ceci dit) :)

Bon, ok, c'est dans les domaines que tu cites, donc oui, c'est de la niche.

Salaire en baisse dans l'IT ? Pas mon expérience et pas l'expérience de tous les gens que je connais. Il me semble plutôt y avoir du boulot à ne plus savoir qu'en faire, une demande très forte et une concurrence entre entreprise qui tire franchement les prix vers le haut.

De mon point de vue, c'est fortement influencé par la région et le domaine métier.

Puisque tu parles de ton expérience et de celles de ton entourage, la mienne est différente et J'ai dû baisser mon salaire de 15% il y a 3 ans pour pouvoir rester dans la même région.
Alors soit je suis trop vieux et trop cher pour ma région, soit je ne sais pas chercher.

Cela ne fait toutefois pas de mon expérience une généralité.