Messages postés par "lthms"
1 message est invisible car dans un sujet inaccessible.
Sujet | Date | Extrait |
---|---|---|
mardi 06 octobre 2015 à 13h15 | > Que redoutes-tu ? Source:[TD](http://zestedesavoir.com/forums/sujet/4174/bepo-et-azerty-incompatibles/?page=1#p76347) Tout l’aspect raccourci clavier à gérer. J’utilise le mode Evil d’emacs, ça… | |
lundi 05 octobre 2015 à 11h26 | Bon bah pour la peine, ça m’a motivé à retenter l’aventure sur ma machine principale… J’ai juste peur pour la partie Emacs pour être honnête. | |
République Numérique
Consultation citoyenne |
vendredi 02 octobre 2015 à 14h28 | Je sais que des gens ont réussi, au vu du nombre de participations. À moins que... *On nous aurait menti ?!* |
Un Zest'Meeting
La rencontre des dezesteurs |
vendredi 02 octobre 2015 à 00h34 | Y a eu aussi une décision de nettoyer le bugtracker, non ? ;D Merci pour le résumé, toujours intéressant de suivre votre dev. |
L'UEFI : qu'est-ce que c'est ?
La séquence de démarrage du XXIe siècle |
mercredi 30 septembre 2015 à 08h45 | Petite mise à jour avant de partir au boulot, avec notamment l'ajout du fameux schéma de la séquence de boot :). [Bonne lecture à ceux que ça intéresse !](http://zestedesavoir.com/tutoriels/beta/1227… |
République Numérique
Consultation citoyenne |
mardi 29 septembre 2015 à 15h32 | Le but c'est de faire une « promotion éclairée » de l'initiative de démocratie participative dans un premier temps, puis un « bilan tout aussi éclairé » de ce qu'a donné concrètement cette initiative… |
République Numérique
Consultation citoyenne |
mardi 29 septembre 2015 à 13h42 | Ton aide est la bienvenue, **@Anthony**. N'hésite pas à faire un tour [ici](https://github.com/Ikyushii/republique-numerique) si tu as un compte Github. |
mardi 29 septembre 2015 à 11h10 | Ça a l'air sympathique tout ça. Félicitations :). | |
L'UEFI : qu'est-ce que c'est ?
La séquence de démarrage du XXIe siècle |
lundi 28 septembre 2015 à 17h43 | C'est un tutoriel, yep ;p. Erreur de ma part. PS: La beta du tutoriel a été mise à jour : [L'UEFI : qu'est-ce que c'est ?](http://zestedesavoir.com/tutoriels/beta/1227/luefi-quest-ce-que-cest/). |
lundi 28 septembre 2015 à 15h58 | Bah, après, c'est toujours pareil. De manière très personnel, ça ne me dérange pas tant qu'on demande mon avis avant (mais je ne sais pas à quel point cette notion de choix est possible) et si c'est … | |
Le monde à la conquête d'Internet
La géopolitique du domaine du premier niveau |
lundi 28 septembre 2015 à 14h50 | Bah c'est surtout le dernier paragraphe qui tranche avec le reste, je trouve. |
L'UEFI : qu'est-ce que c'est ?
La séquence de démarrage du XXIe siècle |
lundi 28 septembre 2015 à 13h20 | -> [Lien de la beta du tutoriel : L'UEFI : qu'est-ce que c'est ?](http://zestedesavoir.com/tutoriels/beta/1227/luefi-quest-ce-que-cest/) <- Je poste ici plus pour prévenir qu'un tel tutoriel est e… |
[Disponible] Helium Rain
Space opera pour PC, maintenant sur Steam ! |
lundi 28 septembre 2015 à 11h26 | Ça vaut toujours la peine :). En tout cas, ça fait bien plaisir de voir que ça avance ! Et l'approche pédagogique du projet est bien cool (mais c'était déjà le cas avec *DeepVoid* de mémoire, donc… |
République Numérique
Consultation citoyenne |
samedi 26 septembre 2015 à 21h51 | Okay mon capitaine, ça me semble bien. Du coup, je me suis permis d'en créer un (je doute que la création d'une organisation soit utile pour ça x)) https://github.com/Ikyushii/republique-numerique… |
République Numérique
Consultation citoyenne |
samedi 26 septembre 2015 à 21h38 | On crée un *repository* Github pour l'occasion ? J'ai peur que le système de beta ne se prête pas bien à la rédaction d'un article de manière communautaire et desynchronisée :\\. |
République Numérique
Consultation citoyenne |
samedi 26 septembre 2015 à 21h27 | > Si tu es prêt à faire un article, allez-y. Au besoin, le staff est là. Source:[Arius](http://zestedesavoir.com/forums/sujet/4132/republique-numerique/?page=1#p75057) Ouais mais non. "Je" ne sui… |
Les fonctions fortement typées en Coq
Dis moi ton type, je te dirai ce que tu fais |
samedi 26 septembre 2015 à 21h26 | La syntaxe est différente, mais l'idée derrière est la même :). |
Les fonctions fortement typées en Coq
Dis moi ton type, je te dirai ce que tu fais |
samedi 26 septembre 2015 à 20h13 | Ca existe les GADT dans Ocaml si ;o (en tout cas, dans les versions récentes). D'ailleurs, leur printf est implémenté avec une GADT ce qui leur permet de vérifier, à la compilation, la cohérence entr… |
A Free Spirit
Court métrage d'animation sous Blender |
samedi 26 septembre 2015 à 20h09 | Le support de présentation est de très bonne qualité, merci de l'avoir partagé. |
République Numérique
Consultation citoyenne |
samedi 26 septembre 2015 à 20h01 | Il se passe quelque chose de sympa en France : [le gouvernement consulte ses citoyens sur son projet de Loi de la République Numérique](http://www.republique-numerique.fr/). Je pense que ça peut ê… |
Les fonctions fortement typées en Coq
Dis moi ton type, je te dirai ce que tu fais |
mercredi 23 septembre 2015 à 14h30 | En fait, je n'en sais trop rien. Dans l'idée première oui, mais je me dis qu'il doit être assez aisé, au final, de donner un niveau de lecteur abordable pour celui qui s'intéresse à ce que peut voulo… |