Axioplase ıɥs∀ a écrit 3036 commentaires

>> Attempto Controlled English (ACE) est un sous ensemble de l'anglais conçu pour être non ambigüe.

Deux fautes : 1/ « ambigüe » s'écrit en fait « ambiguë, » 2/ mais en fait, c'est ici au masculin, donc « ambigu. »

Sinon, je ne saisis pas trop l'intérêt de vouloir faire une logique du premier ordre basé sur l'anglais (langue « internationale » mais pas parlée ni comprise partout, même dans des pays développés), alors qu'on a remarqué que les mathématiques étaient le meilleur moyen concis et sans ambiguïté de communiquer des messages logiques.

Dans la mesure où les langues n'ont absolument pas toutes la structure de l'anglais, autant passer par la logique pour exprimer… la logique !

Il a orange, il est vert…
Hum, je sais pas… un schtroumpf peut-être ?

Eh oui. En plus, il gère.
Faut penser à sortir un peu, hein… Eux au moins, il ont compris comment utiliser le système…

Ouaip.
Encore ces satanés Chinois du FBI qui sont en mission d'infiltration.

T'as tort…
Guile est un langage de très bonne qualité (en version dev. La version stable pue, si j'en crois ce que le dev ou un de ses proches m'a dit il y a quelques mois).

Oui mais non, c'est pas ce qu'on lui demande.

En revanche, ça me fait penser à une présentation du CCC hier ou avant-hier d'un responsable en sécurité de chez MS qui dit qu'ils ont pu détecter que plusieurs auteurs avaient écrit le botnet qui s'attaquait aux centrales iraniennes, là.
Article intéressant (malheureusement, les publications scientifiques sur ce sujet (« authorship discrimination ») que j'ai trouvées n'ont pas grand chose de technique à se mettre sous la dent). À lire sur : [http://www.wired.com/threatlevel/2010/12/a-four-day-dive-int(...)]

>> Un développeur essaie de rallier Stallman pour pousser le projet de convertisseur Lisp vers OCaml.

Ça m'étonnerait que ça marche.
1/ Stallman veut pousser Guile, pas OCaml
2/ Le compilo OCaml est sous QPL, non compatible GPL.

Au moins deux compilateurs Scheme -> JavaScript.

http://www-sop.inria.fr/indes/scheme2js/
http://dynamo.iro.umontreal.ca/~gambit/wiki/index.php/Dumpin(...) -> jss

Un problème est que je ne suis pas si sûr que tous les langages se compilent *efficacement* vers JS. Suffit que le langage que je compile ait une conception de l'objet complétement différente de JS pour qu'on doive au final réinventer tout le protocole objet en JS (exemple : héritage multiple à compiler vers héritage simple ? simple vs multiple dispatch ?)
Quid aussi du code qui se base sur la sémantique officielle du langage ? (genre, si mon nombre dépasse ((2^23)+42), alors il bascule en mode big-int, et le test de la ligne 314 devient alors faux, ce qui lance un autre calcul, qui blahblahblah…

>> python, perl, c, c++ ont une syntaxe relativement conventionnelle et efficace.

Autant j'adore Perl, autant, là, LOL¹.

>> Tu as jeté un oeil sur CoffeeScript ? C'est typiquement un cas où je n'innoverais pas pour faciliter l'adoption - JS est *déjà* exotique, et c'est un cauchemar.

J'ai découvert CoffeeScript en mars, et ça m'a tout de suite fait dire « hey, en fait, on peut faire du javascript sans se prendre la tête ! Enfin une syntaxe intuitive ! Ça me donne envie d'essayer, ça se présente pas mal du tout ! »
Comme quoi, l'intuition, c'est pas universel…



¹ : et t'as de la chance que les balises HTML "blink" ne soient pas valides.

>> tout le monde semble l'avoir oublié,

Non, c'est juste que, pour ma part, j'en ai absolument rien à carrer de son anniversaire.

Comme confiance aux clef SSH faibles sous debian pas SID ?
Ou comme unreal-ircd qui est resté avec un cheval de troie pendant genre 1 an ?

Soit tu fais confiance au fournisseur, soit tu n'allumes pas ton ordinateur…
La vie est ainsi faite…
Et d'ailleurs, je ne connais pas beaucoup de licences qui garantissent le bon fonctionnement du logiciel. Même la GPL dit en gros : « THE ENTIRE RISK AS TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING, REPAIR OR CORRECTION. »
Ce qui revient à dire « Si on te refile de la merde, et que tu t'en plains, t'avais qu'à pas marcher dedans. »

Je fais autant (ou pas plus) confiance à Skype qu'à un distributeur de LL (qui a même statistiquement aussi plus de chances d'être un amateur, vu l'écosystème du LL.)

Faudrait que j'en lise plus sur l'infrastructure.
J'avais pour ma part compris que c'était du côté des serveurs que ça avait merdé.

>> Comme vous le savez sûrement

Heureusement qu'on était tous au courant, sinon tu te serais senti obligé d'expliquer !
Le monde est bien fait, quand même…

>> « unique » dans le sens où tous les utilisateurs Windows ont peu ou prou le même : on a bien éduqué l'utilisateur en lui disant que si le soft propose une mise à jour il faut l'appliquer (ce qui est bien dans 99% des cas), quand ça foire, ça foire bien.

C'est la même chose partout.
apt-get dist-upgrade en SID aussi, quand ça foire, ça foire bien.
Et on a bien éduqué l'utilisateur aussi : si ton gestionnaire de fichiers te demande de faire une mise à jour, tu la fais…


Par ailleurs, le problème n'était pas chez le client (binaire), mais sur le serveur, et n'était pas causé par le client.
Ce qui n'a donc *rien* à voir avec la choucroute, mais m'a quand même fait sourire.

>> Il n'y a qu'une chose simple que l'on te demande, c'est de prouver que dans la
pratique la qualité de service globale qu'a un utilisateur sur le réseau Jabber
est inférieure à celle de Skype

Plus t'as de gens avec des comptes sur des serveurs différents, plus t'as de chance que l'un d'entre eux soit injoignable par toi. C'est l'un des inconvénients de base de la distribution.

Source : les 50 dernières années de publication scientifique sur les systèmes distribués.

Je pense que tu as du oublier d'allouer un pointeur vers le goto du heap, ce qui cause un débordement de format sur le flux d'entrée parallèle.

Ça m'a fait la même chose quand j'ai voulu poster sur youtube.

Ben non, c'est pas un journal, c'est un forum !

*Prout*

Sans prétention, peut-être. Sans odeur, ça reste à voir (ou à sentir).

-->[ ]

Si sur mon CV je devais mettre tous les langages inconnus développés par une personne seule dans son coin pendant un an, je suis pas sûr que je trouverai plus de travail.

Quand au fun, ça reste à voir. Si le langage n'apporte rien, il n'y a pas de fun.
Quels sont les algos qui s'expriment « mieux » dans son langage que dans un autre ? Quel est le charme de son langage ?

Encore quelques itérations, et on aura Scheme ! \o/

>> Avec Skype, bien que le protocole soit distribué, le binaire est unique, ce qui fait qu'en cas de panne, vu que le client est aussi nœud pour d'autres, tu peux faire écrouler le réseau.

Ça veut dire quoi « le binaire est unique » ?
Quand j'éteins mon ordi, le réseau Skype ne s'écroule pas !

Par ailleurs, quand le réseau est tombé, je n'avais plus accès à l'Europe (et je ne sais pas si c'est rétabli) mais je pouvais toujours appeler le Japon.

1/ si l'admin réseau est incompétent ? C'est je crois bien le cas, avec la solution miracle "j'héberge mon jabber pour moi et mes potes". C'est aussi pas son métier de gérer son jabber, ça relève souvent plus du hobby le week end et le soir.

2/ "Je peux toujours communiquer". J'ai l'impression de lire en gros (et sans cesse) "si SFR est en panne, je prend mon téléphone orange, qu'il est bien qu'il est compatible GSM." Oui, bien sûr que tu peux, mais *personne* n'a de cellulaire de rechange ou ne va s'offrir un autre abonnement pour pallier une panne.

La répartition des emmerdes est différentes, mais dans le cas présent, le service vaut *vraiment* la peine. Je suis bien content de ne pas avoir à gérer mon serveur skype, de ne pas dépendre du serveur de mon pote qui est parti en vacances au ski lors de la panne de courant chez lui...

Autant j'aurais réagi comme ça il y a encore 3 ans, autant ça m'a passé, et je préfère les solutions qui me satisfont en pratique à celles qui flattent mon côté barbu. Tant qu'il n'y aura pas de solution viable, je resterai sur Skype. Et il y a fort à parier qu'une alternative à succès demandera un tel investissement technique que ça finira de toute façon en quasi monopole...

>> Bah au moins ils vont pouvoir me le réparer plus rapidement que si c'était l'ensemble des clients qui étaient impactés

FUD !
Là, je dis non.
Surtoutvu l'arguement "j'héberge mon jabber moi-même, et pour mes copains", qui est généralement tout sauf un hébergement pro avec garanties de service...

>> C'est un peu comme l'email : ce n'est pas parce que mon serveur est en panne que toute la planète est privée d'emails.

C'est pas parce que ça marche chez les autres que je dois me sentir satisfait.

Quand tu appelles le service après-vente, que tu dis que ton machin est cassé, et que l'opérateur te répond "pourtant chez un autre client ça marche. Vous êtes pas seul sur la planète, hein" ça te fait une belle jambe, non ?