Messages postés par "Saroupille"
113 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
| lundi 23 mai 2016 à 23h53 | Bonsoir, Hier, j'ai installé sur mon ordinateur Debian Jessie. Cependant, l'installateur n'arrivant pas à détecter le réseau, j'ai fait une installation minimale (et sans interface graphique). Mai… | |
|
Retrait des écrits de Mewtow
Divergence d'opinions |
mardi 17 mai 2016 à 01h56 | > (car tu as voulu remettre en route le débat sur la ligne éditoriale, mais il n'est pas question de cela aujourd'hui). Source:[zeqL](http://zestedesavoir.com/forums/sujet/6082/retrait-des-ecrits-de… |
| lundi 16 mai 2016 à 12h26 | > Je propose http://caml.inria.fr/distrib/books/llc.pdf. Sinon http://inforef.be/swi/python.htm est pas mal, mais si vraiment il est curieux et aime réfléchir, le premier sera bien plus intéressant. … | |
|
Overwatch
Pour des rencontres entre zesteurs |
mardi 10 mai 2016 à 09h55 | > Testé vite fait la béta sur Xbox One (perso je préfère les FPS sur PC). Le jeu est assez inspiré de Team Fortress 2 au niveau des personnages (soldier, démoman, engineer, medic et sniper) > En co… |
|
algorithmique
Apprendre l'algorithmique |
dimanche 08 mai 2016 à 17h41 | Un bon livre que tu peux trouver les entrailles d'internet : http://algs4.cs.princeton.edu/home/ |
|
Chère de Prince
Un recueil collaboratif d'énoncés mathématiques |
vendredi 06 mai 2016 à 01h39 | Tu trouveras la librairie de Coq ici : [theories](https://github.com/coq/coq/tree/trunk/theories). Ca te donnera une idée de quoi je parle. Par contre les preuves sont écrites dans un langage de tact… |
|
Chère de Prince
Un recueil collaboratif d'énoncés mathématiques |
jeudi 05 mai 2016 à 19h46 | > Merci beaucoup Saroupille, ça fait plaisir de savoir que tu as partagé les mêmes idées. Tu sais quel est le niveau de formalisation, qu'il faut fournir pour utiliser Coq ou Isabelle ? Et quelle est… |
| jeudi 05 mai 2016 à 19h43 | Ok. Bon, je vais voir si je continue ou pas. Comme le dit Arius, traduire fidèlement un texte seul, c'est peut-être trop difficile comme tâche. Suite aux remarques de Dominus, je pense tout de mê… | |
| jeudi 05 mai 2016 à 19h38 | Pour l'isomorphisme de Cury-Howard, avec Holosmos, on planifiait de faire un tutoriel de logique afin de poser les bases nécéssaires à la compréhension de cet isomorphisme (plus que dire seulement qu… | |
| jeudi 05 mai 2016 à 12h52 | > J'avais bien aimé les articles originaux. Pour le couo ça peut être pas mal de les traduire mais je pense quand même que la plupart des gens que ça va intéresser auront probablement le niveau d'ang… | |
|
Chère de Prince
Un recueil collaboratif d'énoncés mathématiques |
jeudi 05 mai 2016 à 11h57 | C'est rigolo, ça fait quelques mois que j'avais une idée similaire qui trainait dans ma tête. En tout cas, ton rendu est intéressant =) . Pour les dépendances, il pourrait être intéressant d'utili… |
|
Erreur de compilation de débutant
Oui je crois bien que c'est ça xD |
jeudi 05 mai 2016 à 11h42 | C'est moi ou bien tu as un `$` qui traine à la ligne 5 ? Si je l'enlève, tout fonctionne ! La coloration syntaxique de mon mode emacs a débusqué cette erreur tout seul. Par contre l'option rr n'a… |
| jeudi 05 mai 2016 à 10h45 | > Je suis sur mon tel là, je le ferai quand je pourrai. > > Sinon tu as tenté d'envoyer un mail à l'auteur ? Sur twitter il a toujours semblé accessible. Source:[Kje](http://zestedesavoir.com/for… | |
| jeudi 05 mai 2016 à 10h42 | > Perso j'ai trouvé la préface sympa à lire à quelques tournures prêt. Source:[Kje](http://zestedesavoir.com/forums/sujet/5990/la-theorie-des-categories-pour-le-programmeur/?page=1#p108623) si t… | |
| jeudi 05 mai 2016 à 08h43 | > Question essentielle : as-tu eu une autorisation de l'auteur pour la traduction ? Source:[Arius](http://zestedesavoir.com/forums/sujet/5990/la-theorie-des-categories-pour-le-programmeur/?page=1#p… | |
| jeudi 05 mai 2016 à 02h23 | Tout le monde se secoue ! :D J'ai commencé (samedi 23 avril 2016 à 21h17) la rédaction d'un tutoriel au doux nom de « La théorie des catégories pour le programmeur » et j'ai dans l'objec… | |
|
Sciences Croustillantes - Conférences
Vulgarisation scientifiques |
mercredi 04 mai 2016 à 11h29 | Hello ! Après un certain temps d'inactivité, Sciences Croustillantes organise sa 20e conférence lundi prochain. A priori, il n'y aura pas de captation (l'association n'est pas très riche et je co… |
|
Challenges de programmation
Venez résoudre différents problèmes de programmation en C ! |
lundi 02 mai 2016 à 09h52 | C'est beaucoup moins drôle du coup, je n'ai pas pris le temps de la chercher... |
| jeudi 28 avril 2016 à 17h11 | Bon on serait combien au final ? | |
|
Challenges de programmation
Venez résoudre différents problèmes de programmation en C ! |
mercredi 27 avril 2016 à 16h26 | Pour **Akinator** : bien sûr, la réponse est qu'il y a un problème dans la multiplication. Le fix se fait en 4 caractères, je laisse le mystère pour ceux qui veulent chercher =) . |
| mercredi 27 avril 2016 à 10h28 | Il y a une grève générale demain. Pour ceux qui utilisent les transports faudra se renseigner je pense. |