Perl 6 - the future is here, just unevenly distributed

IRC log for #linuxvillage, 2017-01-06

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

All times shown according to UTC.

Time Nick Message
01:14 radish joined #linuxvillage
01:14 radish joined #linuxvillage
02:48 ilbot3 joined #linuxvillage
02:48 Topic for #linuxvillage is now  http://linuxvillage.org :: hi :)http://irclog.perlgeek.de/linuxvillage :: https://plus.google.com/+LinuxvillageOrgNews
08:37 pdurbin joined #linuxvillage
08:37 martinux_qc joined #linuxvillage
08:37 cyberj joined #linuxvillage
08:37 prologic joined #linuxvillage
08:37 ChanServ joined #linuxvillage
09:05 la_ joined #linuxvillage
14:55 la_ joined #linuxvillage
16:13 pti-jean_ joined #linuxvillage
16:53 la_ joined #linuxvillage
18:47 fanch` joined #linuxvillage
19:22 pdurbin1 joined #linuxvillage
20:00 la_ joined #linuxvillage
20:36 melodie joined #linuxvillage
20:40 la_ joined #linuxvillage
20:45 amj yop melodie
21:51 melodie salut amj !
21:51 melodie comment vas-tu mon pote ? Et Bonne Année !!
21:52 amj bonne année ;)
21:52 amj bien et toi ?
21:52 melodie \o/
21:52 amj je tente d'étudier ^^
21:52 melodie des ennuis avec mon dos, mais sinon ça va
21:52 amj ... sans grand succès
21:52 melodie ben étudie sérieusement alors ! (ou pas du tout)
21:52 amj aille pas cool ça
21:52 melodie qu'étudies-tu donc ?
21:52 melodie ben sinon trouve de l'aide ?
21:52 amj de la compta \o/
21:53 amj c'est horrible
21:53 melodie cela te plaît-il ?
21:53 amj je déteste ça
21:53 melodie non apparemment
21:53 amj mais je suis obligé
21:53 melodie ben alors abandonne et passe à autre chose, crois-moi !
21:53 melodie mais non
21:53 amj euh ...
21:53 melodie tu n'es pas obligé, fais autre chose
21:53 amj je suis obligé de le réussir =D
21:53 melodie en ce cas je te souhaite bon courage, très sérieusement
21:53 amj sinon, guillotine
21:53 melodie bah !
21:53 melodie tes parents ?
21:54 amj entre autre
21:54 melodie qui ou quoi d'autre ?
21:54 melodie si tu expliques posément que toi et la compta ça fait trois ?
21:54 amj puis c'est censé être un tout petit cour mais c'est arrangé de manière à si je le rate c'est comme si je ratait 1/6 je mon année
21:55 melodie il vaut bien mieux regarder le film "Matrix" (et partir faire le tour du monde)
21:55 amj ah mais je fait pas des étude de compta <= je suis pas fou :o$
21:55 captnfab tiens, coucou melodie !
21:55 amj yop captnfab
21:55 melodie hello captnfab !!!
21:55 captnfab bonne année 2017 ! \o/
21:55 melodie Bonne Année 2017 captnfab
21:55 captnfab plop amj :)
21:55 melodie \o/ youhou!!!
21:55 amj bonne année captnfab
21:56 captnfab thx :)
21:56 amj melodie: cette année me déprime avant de commencer
21:56 amj *ais
21:56 amj *ait
21:56 melodie amj t'inquiète, quand tu pourras partir avec ta petite valise ou ton sac à dos, tu trouveras des amis pour t'accueillir durant tes voyages.
21:57 amj euh
21:57 melodie alors hauts les cœurs !
21:57 captnfab :)
21:57 amj je crois que je vais faire du camping dans ma chambre :p
21:57 melodie LOL
21:57 captnfab amj: tu fais quoi comme études ?
21:57 amj 2 sec je vais te chercher le nom complet
21:57 captnfab ^^"
21:58 melodie :-)
21:58 melodie captnfab super la jonction entre D-F et Handylinux, au fait !
21:59 captnfab melodie: yep, c'est arpinux qui est venu nous voir :)
21:59 melodie il a bien fait !
21:59 captnfab voui :)
21:59 amj pas trouvé mais c'est un truc du genre analyste développeur  en informatique et système orientation réseau
21:59 melodie amj ok !
21:59 melodie tu vas être un grand savant.
21:59 amj badum tss
21:59 melodie quoi ?
22:00 amj nan rien ^^
22:00 melodie ok
22:00 captnfab ça a redonné un coup de fouet niveau participation au forum, plus de 4k messages par mois d'après les stats
22:00 melodie bon je vous laisse, bonne soirée, bises et à bientôt
22:00 melodie captnfab wouhou!!!
22:00 amj melodie: sinon ça avance bento ?
22:00 melodie amj oui ça va avancer
22:00 amj oh a+ melodie
22:00 captnfab amj: ok, c'est pour faire ingé en informatique du coup ?
22:00 melodie mais je suis sur plusieurs trucs en même temps alors que les journées...
22:00 captnfab ++ melodie !!
22:00 amj captnfab: nan
22:00 melodie ++ captnfab
22:01 amj captnfab: ça c'est ce que je faisais avant =/
22:01 amj mais c'est pas le même système qu'en france
22:01 amj captnfab: si tu veux je t'explique en détail \o/ (ou en abrégé ;) )
22:02 captnfab en abrégé ça suffira, j'ai déjà les détails :D
22:02 amj =D
22:03 amj en gros en belgique t'as 2 type d'enseignement supérieur les université et les hautes écoles
22:03 captnfab wé
22:03 captnfab c'est similaire en france
22:03 amj ici je suis dans une haute école donc (dans quasiment tous les cas) c'est un bachelier en 3 ans
22:03 amj en france ingénieur c'est dans une "école"
22:04 captnfab ok
22:04 amj ici ça dépends
22:04 captnfab en france, on peut aussi être ingénieur à la fac, dans les écoles polytechniques universitaires
22:04 amj tu as ingénieur civil ( à l'unif ) c'est +- équivalent à polytech en france
22:04 amj c'est ce que je faisais avant
22:04 captnfab ok
22:05 amj puis t'as dans les hautes écoles ingénieur industriel
22:05 amj (en 5 ans)
22:05 amj là je suis juste dans un bachelier
22:05 amj don 3 ans
22:05 amj et après ingénieur civil le niveau est pas génial :/
22:06 captnfab ok
22:06 amj captnfab: ça répond à ta question ?
22:06 captnfab voui :)
22:06 amj (donc si je réussi pas tou je l'aurai dans les dents :o )
22:06 amj +t
22:06 amj captnfab: toi tu fais quoi sinon ?
22:06 amj (je me souviens que t'es un debianeux)
22:07 captnfab ouais, je suis debianeux
22:07 captnfab cette année, je fais des études de maths
22:07 captnfab en vue de passer l'agreg
22:07 captnfab sinon je suis docteur en informatuqe
22:07 amj pour devenir prof ?
22:07 captnfab informatique*
22:07 captnfab wé
22:07 amj héhé
22:08 amj viens en gelbique on a pleins de prof français dans les hautes écoles \o/
22:09 captnfab ouais, mais bon, non, il fait pas très beau chez vous :D
22:09 * captnfab sifflote ♫ ♪ ♬ ♪ ♩
22:09 captnfab même si y'a de bonnes frites :)
22:09 captnfab (et, ma copine travaille dans le sud-ouest, donc loin…)
22:10 amj ;)
22:10 amj comme melodie
22:10 amj nan ?
22:10 captnfab euh, je ne sais pas où elle est maintenant :)
22:12 amj moi j'en ai soupé des math
22:12 amj normalement plus que un exam de math dans ma vie
22:12 amj :o
22:12 amj ça va faire bizarre après
22:13 captnfab hey, hi pdurbin1! I hadn't noticed you were here! :D Happy new year o/ You know I'm still using your ilbot for monitoring my chans, it's working great!
22:13 captnfab amj: j'en ai fait aussi, j'ai fait deux ans de classe prépa section maths
22:13 amj ok
22:14 amj captnfab: disons que t'en a mangé à tous les repas ;)
22:16 captnfab du coup, j'en refais parce que j'aime ça :D
22:17 captnfab mais ça fait drôle d'intégrer une fonction quand tu ne l'as pas fait depuis 10 ans…
22:18 amj ;-)
22:18 amj disons, j'aimais ça
22:19 amj captnfab: et il portait sur qui ton doctora ?
22:19 amj +t
22:19 fanch` left #linuxvillage
22:19 captnfab de la calculabilité
22:19 amj ça c'est cool =D
22:20 captnfab wé
22:20 amj petite question, existe une chose qui est vraie mais qu'on ne peut démontrer ?
22:21 amj =D
22:22 amj ça peut se rapporter à de la calculabilité
22:22 captnfab ben, la réponse courte, c'est « oui »
22:23 captnfab la réponse longue, c'est que la question comme ça mérite d'être affinée :)
22:23 amj oui mais démontre le
22:23 amj ^^
22:23 amj genre trouve un exemple
22:24 captnfab ben, la machine qui cherche à démontrer la consistance de l'arithmétique ne s'arrêtera jamais
22:24 captnfab ça c'est un énoncé a priori vrai, mais non-démontrable :)
22:25 amj j'ai pas compris =D
22:26 captnfab l'arithmétique, ça correspond aux « mathématiques de base » sur les nombres, avec la récurrence, la multiplication, l'addition, et guère plus
22:26 captnfab on peut écrire des énoncés mathématiques sur ces mathématiques de base
22:27 captnfab genre, 2^n >= n pour n>=0
22:27 captnfab la question de savoir si cette théorie est consistante
22:28 captnfab c'est à dire que pour tout énoncé mathématique P, si on peut prouver qu'il est faux, on ne puisse pas prouver aussi qu'il est vrai
22:28 captnfab c'est une question indécidable, c'est ce que prouve Gödel dans un de ces théorèmes d'incomplétude
22:29 captnfab la calculabilité, c'est à dire les choses que l'on peut programmer, c'est justement l'arithmétique (du premier ordre)
22:29 amj il y a un truc qui m'échappe
22:29 amj mais j'ai une réponse plus simple à ma question ^^
22:30 amj il existe quelque chose qui est par définition indémontrable ^^
22:30 captnfab et prouver un énoncé en arithmétique, c'est aussi dur que prouver que prouver un théorème
22:30 captnfab oui, mais bon, c'est un paradoxe
22:30 captnfab genre « cette proposition est vraie mais n'est pas démontrable »
22:30 amj l'existance de dieu
22:31 captnfab non, c'est pas un bon exemple (si tu permets)
22:31 amj =D
22:31 captnfab parce qu'avant de demander à qqn de démontrer l'existence ou non de dieu, va falloir lui en donner la définition
22:31 captnfab et là, ben, t'as de quoi t'amuser
22:32 amj en gros mon idée c'est tu trouve quelque chose qui est soit vrai soit faux et qui est indémontrable
22:32 captnfab parce qu'il y a 36k définitions différentes, même entre personnes ayant la même « foi » ou « non-foi »
22:32 captnfab bah, sauf que tu n'as pas trouvé cette chose, vu que tu ne connais pas la définition :)
22:32 captnfab c'est quoi dieu (qu'il existe ou non) ?
22:33 captnfab parce que bon, si tu ne comprends pas la question, forcément qu'il n'y a pas de démonstration
22:33 amj euh quelle importance ?
22:33 captnfab et pas de valeur de vérité
22:34 captnfab si tu ne sais pas ce qu'est « dieu » dans ta phrase « dieu existe-t-il ? » alors ta phrase n'est pas une question
22:34 amj bon faut que je cherche autre chose alors ^^
22:34 captnfab c'est comme si je disais « biansretauis existe-t-il ? »
22:35 captnfab ben, un truc simple, c'est l'hypothèse du continu
22:35 amj quelle est le prérequis à une démonstration ?
22:35 captnfab mais bon, c'est en fait bien plus complexe
22:35 amj parce qu'il faut trouver quelque chose d'indémontrable en premier
22:35 captnfab il faut que tu puisses formuler le truc à montrer de manière formelle
22:36 captnfab oui, ben, l'existence d'un infini compris entre l'infini des naturels et l'infini des réels
22:36 captnfab lui, il n'est pas démontrable
22:36 captnfab il est même ni vrai ni faux
22:36 amj nan mais tu m'aide pas alors ^^
22:36 captnfab il est indépendant de la théorie des ensembles
22:36 captnfab :)
22:36 captnfab un truc indémontrable mais vrai, c'est que la théorie est juste
22:36 amj je dois te laisser
22:36 amj a +
22:36 captnfab ++
22:44 pdurbin1 captnfab: great, but ilbot isn't mine! It's from moritz in #ilbot. Do you log any English channels?
22:44 captnfab oh, I thought it was yours :)
22:45 captnfab no, I have only french channels logged :)
22:45 captnfab but I log anyone who wants to :D
22:52 pdurbin captnfab: ah, what's the URL?
22:53 amj re
22:54 pdurbin and Happy New Year to everybody :)
22:54 amj Happy New Year pdurbin
22:54 captnfab pdurbin: https://debian-facile.org/irclog/
22:56 captnfab amj: pour ta question de tout à l'heure, le point important qu'il faut se poser quand on se demande si qqch est démontrable, c'est « à partir de quoi ? »
22:56 pdurbin captnfab: ah, I see you talked about it here: https://irclog.perlgeek.de/ilbot/2015-04-18#i_10462262
22:57 captnfab yeah, I remember that :)
22:57 pdurbin You worked on a French translation! Nice! https://github.com/moritz/ilbot/pull/37
22:58 captnfab I had forgotten that :D
22:58 pdurbin Pretty cool that you didn't have to touch the Perl. :)
22:58 captnfab hahaha
22:58 captnfab ^^"
22:59 captnfab I don't know Perl good enough. But a friend of mine is very fond of it.
23:00 captnfab I tried years ago, but then, I decided I had better things to do :D
23:00 pdurbin I wrote a lot of Perl two jobs ago. Now I mostly do Java. But! I'm writing HTML5 games with my kids in Javascript now. :)
23:00 amj captnfab: une démonstration par l'absurde est possible
23:01 captnfab amj: quand bien même, une démonstration se fait *dans* une théorie, il faut fixer les « axiomes » avant de faire la démonstration
23:01 amj http://zb.tdct.org/?4f61ceebc854890f#MObM3hAaKQAce/afYgRdsSjn9eVe6aFUjPfHL1L1f94=
23:01 captnfab et la démonstration par l'absurde nécessite des axiomes de logique
23:02 captnfab pdurbin: wow, from Perl to Java, that's quite different!
23:02 captnfab Javascript apps are everywhere now
23:02 captnfab I assume you're using some JS framework to develop the HTML5 games?
23:03 captnfab or are-you writing them from scratch?
23:03 pdurbin Yeah, I'm using the Phaser framework. You can read about our first game at https://github.com/pdurbin/pastries/blob/master/README.md
23:04 amj good night all
23:04 pdurbin amj: good night!
23:05 captnfab amj: oui, c'est ce que je te disais, ça revient à demander si la théorie est cohérente ou non
23:05 captnfab existe-t-il une démonstration de « A et non-A »
23:05 amj ;)
23:05 captnfab hahaha
23:06 captnfab pdurbin: I have a folder named « pastries » on my hdd, but it's for « pas triés » which mean unsorted :D
23:07 captnfab « PIE wins ! » :D
23:07 pdurbin Thanks. I don't speak French. I'm running the conversation above through Google Translate and seeing stuff like "yes, well, the existence of an infinite between the infinite of the natural and the infinite of the real"
23:08 pdurbin Sounds pretty deep!
23:08 pdurbin PIE has an advantage, being so wide.
23:10 captnfab :D
23:10 captnfab Phaser seems to be very easy to use, I've seen some examples
23:11 pdurbin Oh! Other examples?
23:11 captnfab well, those linked in your page: http://phaser.io/examples/v2/category/animation
23:11 pdurbin ah, ok
23:11 captnfab yeah, amj asked me if there were things that were true but couldn't be proven
23:11 captnfab so I told him about the two classical examples
23:12 pdurbin what are the two examples?
23:12 captnfab first, a mathematical theory powerfull enough to state arithmetic cannot prove itself to be consistent
23:12 pdurbin huh
23:12 captnfab unless it's not consistent :)
23:13 captnfab a theory being consistent if it cannot prove, for a given statement A, that both A and not-A are thue
23:13 captnfab true*
23:13 captnfab that's Göedel first incompletness theorem
23:14 captnfab the second example is the existence of an infinite greater than the number of natural numbers, but lower than the one of real numbers
23:15 captnfab it's a question Set Theory cannot answer
23:15 captnfab because it's independant of the theory
23:15 pdurbin now you've got me looking at https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems#First_incompleteness_theorem
23:15 captnfab hehe ;)
23:17 pdurbin I know what infinity means but not what "an infinite" is.
23:17 captnfab yeah, so, that has to do with "cardinality"
23:17 pdurbin I'm reading "a space or quantity that is infinite". :)
23:17 pdurbin captnfab: were you a math major?
23:17 captnfab two sets are said to be of same cardinality, that is to say, of same size, if there exists a one-to-one correspondance between them
23:18 captnfab pdurbin: yeah, but I studied that during my phd thesis in theoretical computer science
23:18 captnfab so, for exemple, the sets { a, b, c } and the sets { 0, 1, 2 } are of same cardinality
23:19 captnfab if you consider all the natural numbers { 0, 1, … }
23:19 captnfab there are a lot of them
23:19 captnfab and if you consider odd numbers, { 1, 3, 5, … } there's also a lot of them
23:19 captnfab and actually, they're the same amount
23:20 captnfab since you can do a 1-to-1 correspondance with the function x-> 2.x + 1
23:20 pdurbin well hold on
23:20 pdurbin aren't the odd numbers only half?
23:21 pdurbin every other
23:21 pdurbin you can't fool me ;)
23:21 pdurbin and.. my kids want me to make them dinner... sorry
23:21 captnfab yeah, but half of 0 = 0, and half of this infinity is also the same infinity
23:21 captnfab half of a number is not necessarily strictly less than this "number"
23:21 pdurbin maybe we'll eat pastries
23:22 captnfab :)
23:22 captnfab Bon appétit then ! ;)
23:22 pdurbin merci

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