Messages postés par "gasche"
6 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
|
Empêcher Opam de créer et conserver certains fichiers.
Parce que c'est gourmand en espace ces bêtes là. |
mercredi 26 septembre 2018 à 15h16 | Bon, `7z a 4.07.0.7z 4.07.0` passe mon .opam/4.07.0 de 1.8Gio à 258Mio, donc tu devrais essayer ça. C'est quoi la répartition en taille entre Coq et Why3 ? Chez moi ...lib/coq pèse seulement 270Mi… |
|
Empêcher Opam de créer et conserver certains fichiers.
Parce que c'est gourmand en espace ces bêtes là. |
mercredi 26 septembre 2018 à 14h52 | C'est une question intéressante et je ne crois pas que les développeurs Coq se la soient posée. (Évidemment je pense que ce serait moins chiant avec un fichier Docker; tu peux construire et distr… |
| jeudi 20 septembre 2018 à 15h23 | > Je suis pas très fan des fonctions, en tout cas pour l’instant, j’imagine qu’elles peuvent aider à la lisibilité dans certains endroits, je vais y réfléchir. Le code de "assigne_curseur" et la g… | |
| mercredi 19 septembre 2018 à 11h23 | Quelques remarques rapides ([version actuelle du code](https://gitlab.com/Meithal/puissance4/blob/4e1e1a52e42b656cedc73138de1b027f9ca7ed5a/main.c)). ---- Au vu des macros `{HAUTEUR,LARGEUR}_DAM… | |
| dimanche 16 septembre 2018 à 13h11 | @qwerty avait lancé [dans le topic sur les débutants](https://zestedesavoir.com/forums/sujet/11287/attirer-les-debutants-sur-le-zds/#p188966) l'idée d'avoir des "fiches bibliographiques" pour présent… | |
| jeudi 13 septembre 2018 à 16h18 | Je ne suis pas très satisfait de la façon dont marche le sous-forum "Vos projets". Dans la réalité, c'est devenu un espace de pub, les gens s'inscrivent pour mettre la description de leur machin (sit… | |
|
[discord] Un projet pour aider vos projets (projinception !)
espace d’échange et d’entraide pour construire des projets numériques |
jeudi 13 septembre 2018 à 16h12 | Moui, pas forcément fan de la démarche de présenter [une deuxième fois](https://zestedesavoir.com/forums/sujet/11048/un-open-space-virtuel-via-discord-pour-travailler-a-plusieurs/) le même projet... |
|
[Site Web] ZoOrigin a besoin de vous !
Nous recherchons des personnes motivées pour ce grand projet |
jeudi 13 septembre 2018 à 16h10 | Par curiosité, comment est-ce que vous financez le développement du site ? |
| lundi 10 septembre 2018 à 13h35 | Ça me semble une bonne idée, mais est-ce que ça ne peut pas rester dans la catégorie correspondant au contenu fiché ? Une fiche sur un tutoriel vaut comme un tutoriel, une "fiche" sur un article/bill… | |
|
Certifier les produits simples à réparer
Mini présentation de Repairably |
lundi 10 septembre 2018 à 11h51 | Bon mais il suffit de dire que c'est un produit "fermé" et "non durable", qui sont des concepts aussi assez faciles à comprendre, pour décrire le problème rencontré. |
| lundi 10 septembre 2018 à 11h39 | > Est-ce qu’il n’existe pas déjà un cours de référence quelque part qu’on devrait pousser vers le débutant plutôt que de chercher à le récrire ? Mille fois oui. Un des pires défauts du SdZ ou autr… | |
| lundi 10 septembre 2018 à 09h20 | Il y a un truc qui me gêne un peu dans la conception du "débutant" qui est mise en avant dans ces discussions. Il y a un peu l'idée qu'une personne qu'on veut avoir sur le site répond à un profil ass… | |
|
AustelEngine - Un nouveau moteur de jeu
Logiciel pour la création de jeu vidéo |
lundi 10 septembre 2018 à 06h50 | J'ai l'impression que le projet est vraiment à ses débuts: - le site web n'affiche rien - l'image que tu montres a trois icones et aucun contenu - sur twitter, tu annonces la disponibilité des s… |
| samedi 08 septembre 2018 à 23h54 | Une petite recherche et on découvre une ancienne [page professionnelle](https://web.archive.org/web/20170729110421/http://crj.ehess.fr/index.php?471) de Christian Polak comme membre associé au centre… | |
|
Firefox me déçoit un peu dans ses majs
Il touche à tout sans nous dire où vont les nouvelles options :( |
samedi 08 septembre 2018 à 19h04 | Moi je trouve au contraire que Mozilla est vraiment une super boîte, qui fait du bon boulot sur plein de fronts différents, et je suis plutôt fier de les soutenir entre autre en utilisant Firefox -- … |
| samedi 08 septembre 2018 à 18h39 | Par ailleurs, si l'éditeur ne compte plus exploiter le livre et qu'il est indisponible, l'auteur a le droit de demander qu'on lui rende les droits d'exploitation, et ensuite de faire ce qu'il veut av… | |
| samedi 08 septembre 2018 à 11h14 | > Je ne pourrais pas citer la plateforme qui heberge ces livres Tu parles du projet [Library Genesis (wikipédia)](https://en.wikipedia.org/wiki/Library_Genesis), ou "libgen". ---- Au sujet d… | |
|
Spoiler dans un spoiler
(et support PDF) |
jeudi 06 septembre 2018 à 12h16 | Personellement j'aime bien l'idée de retourner le contenu d'un spoiler mais je ne saurais pas comment gérer ça en LaTeX si le contenu est à cheval sur plusieurs pages. Sinon, par curiosité, c'est … |
|
KaTeX, les maths et un début de solution
(enfin, j'espère) |
mercredi 05 septembre 2018 à 11h46 | Visiblement l'extension [copy-text](https://github.com/Khan/KaTeX/tree/master/contrib/copy-tex) le propose, pourrait-on l'utiliser ? Ça me semble très important comme fonctionnalité dans un forum (po… |
|
Le ZdS est-il déjà mort ?
ça serait dommage |
mardi 04 septembre 2018 à 13h49 | Du côté des sceptiques, on peut quand même remarquer que beaucoup de méthodes de travail en programmation font plus de sens quand on a déjà été confronté, dans sa pratique, aux problèmes qu'elles att… |
|
Le ZdS est-il déjà mort ?
ça serait dommage |
lundi 03 septembre 2018 à 21h27 | Ça me semble une bonne idée mais par ailleurs il me semble que c'est plutôt la norme. Beaucoup de documents sur les langages de programmation ou de cours sur la programmation contiennent des présenta… |