Perl 6 - the future is here, just unevenly distributed

IRC log for #linuxvillage, 2014-05-28

| Channels | #linuxvillage index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
00:53 caemir melodie: https://www.google.com/maps/@44.554323,6.073995,3a,75y,24.05h,90.46t/data=!3m5!1e1!3m3!1svnxsc6C7TGEAAAQW4fdI8Q!2e0!3e2?hl=fr
01:10 Seditio joined #linuxvillage
01:16 melodie caemir omg! une ville !
01:17 melodie bon bonne nuit :)
01:17 caemir c'est pas la ville…
01:17 melodie ah
01:17 caemir bah ouvre tes yeux ><
01:17 melodie non je vais aller les fermer plutôt :D
01:17 melodie bonne nuit
01:17 caemir
01:18 caemir left #linuxvillage
02:33 Seditio joined #linuxvillage
03:17 jleclanche joined #linuxvillage
07:25 jleclanche joined #linuxvillage
08:43 eizo joined #linuxvillage
09:10 Seditio joined #linuxvillage
09:26 archie joined #linuxvillage
09:28 eizo joined #linuxvillage
10:12 Seditio archie, help
10:12 Seditio mehh
10:12 Seditio archie  help
10:13 Seditio archie help
10:13 archie RTFM, Seditio: https://github.com/openfcci/node-irc-feed-bot/blob/master/README.md
10:13 Seditio so it's running
10:13 Seditio but not running
10:21 archie joined #linuxvillage
11:14 aboutGod joined #linuxvillage
11:19 aboutGod left #linuxvillage
11:47 sylinux joined #linuxvillage
12:29 sylinux joined #linuxvillage
12:57 sylinux joined #linuxvillage
17:13 eizo joined #linuxvillage
17:17 Seditio joined #linuxvillage
18:01 coyotus joined #linuxvillage
18:17 Seditio joined #linuxvillage
18:40 jleclanche joined #linuxvillage
18:47 eizo joined #linuxvillage
19:15 melodie joined #linuxvillage
19:19 melodie salut
19:22 eizo salut
19:22 melodie bonsoir eizo, comment vas-tu ?
19:23 eizo ça va et toi ?
19:23 eizo j'essaie de bosser un peu
19:26 melodie dans quoi essaies-tu de bosser ?
19:26 melodie oui ça va merci
19:28 eizo je suis en thèse d'info et on doit se dépêcher de prouver un certain résultat pour une deadline le mois prochain
19:29 melodie ah !
19:29 melodie c'est quoi le sujet de ta thèse ?
19:31 eizo c'est sur les méthodes formelles de vérification pour programmes concurrents ou distribués
19:32 eizo (vérification qu'un programme satisfait une spécification, ou qu'un programme ne peut jamais atteindre un assert(false) ou des choses du genre)
19:36 melodie ok
19:36 melodie tu as choisi le sujet toi-même ?
19:38 eizo plus ou moins, un prof proposait un sujet de stage qui était sur la vérification de programmes qui utilisent des listes/arbres etc., puis après le stage on a dévié vers ça
19:41 eizo et toi au fait tu fais quoi ? j'ai vu que le site est de retour
19:42 melodie moi j'essaie de trouver des clients pour leur installer linux à vue sur tous leurs ordinateurs :D
19:43 melodie oui, nous avons une place de choix maintenant : chez Gandi.net, place offerte généreusement pour le projet Linuxvillage
19:43 melodie il faut que j'installe un wiki o_o
19:43 melodie depuis le temps...
19:44 eizo tu leur installes quoi généralement ? une distrib perso ? ou alors ils en demandent une en particulier ?
19:44 eizo faudrait convertir les écoles primaires =)
19:45 eizo pour former des geeks
19:45 melodie les écoles sont liées au rectorat, lequel...
19:45 melodie bref
19:46 melodie je leur installe Bento, sauf s'ils ont déjà une distribution à laquelle ils sont habitués (et qu'ils ont besoin d'un upgrade)
19:46 melodie avant que Bento puisse être considérée stable et fiable je leur installais Lubuntu, voire Xubuntu dans certains cas
19:47 melodie j'évite de leur proposer des choix parce que après ils sont perdus
19:47 melodie le choix entre deux ? Oh mais c'est vous qui savez, ce n'est pas moâ ! :D
19:48 eizo oui j'imagine ils ont généralement aucune idée
19:51 melodie et un très grand manque d'imagination aussi
19:51 melodie sauf pour demander des trucs pas prévus pour les ordis des fois :D
19:53 eizo faire du café ?
19:54 melodie même pas
19:54 melodie "lancer internet"
19:54 melodie "charger une lettre"
19:54 melodie "charger les photos"
19:55 eizo charger ?
19:55 melodie oui oui
19:55 melodie ils chargent tout
19:55 melodie les fichiers à envoyer par mail, les fichiers à télécharger, tout
19:56 melodie charger la musique dans la mémoire de l'autre ordinateur (ils parlent de la mémoire de stockage)
19:56 melodie alors j'ai appris ce language curieux pour comprendre de quoi ils parlent
19:56 melodie tout en essayant de leur inculquer un lexique de base (difficilement)
19:57 melodie et ils tapent les urls dans le champ de recherche de google
19:57 melodie ::)
19:57 melodie "mais ça marche !" ils disent
19:57 eizo haha
19:58 eizo c'est vrai que maintenant les gens se rendent même plus compte que toutes les pages ont une adresse
19:58 melodie alors je leur demande pourquoi ils ne vont pas chez le boucher du coin pour demander l'adresse de la boulangerie qui est juste un peu plus loin, et de préférence à chaque fois qu'ils vont à la boulangerie ?
19:58 melodie :p
19:59 melodie je dis "navigateur internet" : "c'est quoi ça ? O_O"
20:00 melodie moi : "vous allez sur internet ?"  eux : "oui oui, je lance internet ici, regardez !"
20:00 melodie XD
20:00 melodie ou encore mieux "je démarre internet"
20:00 melodie ah merci ! on vous attendait ! XD
20:00 eizo "je clique sur le E là"
20:00 melodie le 'e"
20:01 melodie le 'e' avec une écharpe orange autour de la t^te
20:01 LaFlemme_ joined #linuxvillage
20:01 melodie XD
20:01 melodie salut LaFlemme_
20:01 LaFlemme_ bonsoir
20:01 eizo bonsoir
20:01 eizo y'a peut-être moins de IE maintenant
20:07 eizo http://2.bp.blogspot.com/-AzEYuJuB2lo/T8EhNfGelkI/AAAAAAAAAdg/5uaEhenkJBE/s400/Mempercepat-Firefox.jpg
20:07 LaFlemme_ vous penssez quoi du marchant de sable ?
20:09 eizo ?
20:12 melodie LaFlemme_ il ne ressemble pas à Firefox in à IE
20:13 melodie eizo selon les stats de visite sur des sites que j'administre, il y en a encore beaucoup qui se trimbalent
20:16 melodie dites, je dois apprendre à construire une distro Ubuntu à partir des bases, quelqu'un a envie de se joindre à l'amusement ?
20:16 melodie j'en suis là pour l'instant, en train de regarder des fichiers de conf: http://bazaar.launchpad.net/~ubuntu-core-dev/livecd-rootfs/trunk/files/head:/live-build/ubuntu-touch/
20:17 LaFlemme_ je suis sur ubuntu
20:17 melodie et moi sur Archlinux mais j'ai des Ubuntu aussi
20:18 melodie quelle version utilises-tu ?
20:18 LaFlemme_ 12.04
20:18 LaFlemme_ mais c'est provisoir
20:18 melodie quel bureau ?
20:18 LaFlemme_ gnome shell
20:18 melodie si tu es à jour c'est même la 12.04.4
20:18 melodie tu utilises Ubuntu Gnome ?
20:18 LaFlemme_ oui
20:19 LaFlemme_ j'aime pas kde ni unity
20:19 LaFlemme_ jaten mon nouveau pc por installer ma debian
20:19 melodie ça tombe bien, c'est le responsable du développement de Ubuntu Gnome qui m'a envoyé des infos sur comment attaquer la construction
20:19 melodie tu vas avoir quoi comme pc ?
20:20 LaFlemme_ je vais le monté moi meme
20:20 melodie alors quoi comme CM CPU RAM ?
20:20 melodie et alimentation ?
20:20 melodie et tour ? :D
20:20 melodie tu as déjà choisi ?
20:21 LaFlemme_ super micro bi-cpu 2 opetron une black tian touça sur water colling 64go de ram ddr3
20:21 eizo moi 14.04 et kde
20:21 LaFlemme_ et boitier corsair 900d
20:21 LaFlemme_ alim corsair platinum 1200w
20:29 LaFlemme_ c'est le sahara ici
20:30 melodie où se trouve "ici" ?
20:30 melodie (le sahara ? pourquoi ?)
20:31 LaFlemme_ Oh toi tu cherche quoi
20:31 melodie ah je vois, tu répètes ça partout
20:31 Seditio wesh wesh
20:31 LaFlemme_ lol
20:31 melodie salut Seditio :)
20:31 LaFlemme_ tes partir loin la
20:37 LaFlemme_ vous m'acceptez dans la famille de village linux ?
20:42 Seditio pas si tu quitte.
20:54 melodie Seditio :D

| Channels | #linuxvillage index | Today | | Search | Google Search | Plain-Text | summary