Messages postés par "Saroupille"
113 messages sont invisibles car dans un sujet inaccessible.
| Sujet | Date | Extrait |
|---|---|---|
| mercredi 22 février 2017 à 09h55 | Pour appuyer ton props Biohazard : - Souvent les détails qu'il peut y avoir entre différent jeux d'instructions n'est pas important. Cela intéressera principalement les développeurs de compilateur… | |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 21 février 2017 à 21h58 | La dernière vidéo d'e-penser est une catastrophe sur le *raisonnement logique*. Il n'explique rien et il ne démystifie pas vraiment le problème, c'est bien dommage. En particuliers, quand il démonte … |
| mardi 21 février 2017 à 21h56 | @Gabbro: J'en sais rien, j'avoue que moi j'utilise Steam et je m'en fiche un peu des DRMs. @WinXaito: Il n'y a pas civilization 6 dans le pack. Par contre, achêter le pack (alors je ne sais pas si… | |
| mardi 21 février 2017 à 21h29 | Pour ceux que ça intéresse, il y a une grosse promo sur la série *civilization* avec le [humble bundle](https://www.humblebundle.com/civilization-bundle). | |
| mardi 21 février 2017 à 11h21 | > A priori, je pars sur l'idée du petit OS car personnellement, j'ai de l'expérience avec NASM: j'ai programmé un petit OS très basique (qui tient sur une seule disquette) et j'ai programmé un Snake … | |
| samedi 18 février 2017 à 21h36 | J'en profite pour poser une question. Mon dernier jeu de stratégie remonte à AOE 3 et surtout Age Of Mythology. Cependant, j'aimerai bien m'y remettre aujourd'hui. Sans particulièrement être dans la … | |
|
Caf&Sciences
Le coin des scientifiques ! |
vendredi 17 février 2017 à 20h44 | Sciences étonnantes a retweeter une vidéo que j'ai trouvé plutôt chouette, à voir ce que la chaîne donnera par la suite : [Le Sense Of Wonder](https://www.youtube.com/watch?v=AC90A02xKqA) |
| mercredi 15 février 2017 à 15h23 | Je rejoins lthms pour la lecture. C'est pour ça que j'aime bien casser des héros sur **overwatch** en ce moment. Le seul jeu auquel je joue pas mal en ce moment. Sinon j'ai profité de mes vacances à … | |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 14 février 2017 à 22h56 | La théorie homotopique des types (HOTT) consiste à considérer maintenant les types comme des espaces homotopiques. Les habitants de ces types sont des points. Et un chemin entre deux points $x$ et $y… |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 14 février 2017 à 20h41 | Ah, et que pensez-vous de la dernière vidéo de Scien4all ? [La théorie des types](https://www.youtube.com/watch?v=ba4E6EMagj0) |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 14 février 2017 à 19h11 | Les gens ne sont pas d'accord sur la définition de paradoxe. Pour avoir lu un livre récemment d'un mathématicien, ce dernier distingues trois types de paradoxes : 1) Résultat vrai mais contre-intu… |
|
Pulpes de séries
Parce que les séries TV, c'est cool ! |
mardi 14 février 2017 à 03h37 | > ça correspond assez bien au monde du renseignement. Source:[Arius](https://zestedesavoir.com/forums/sujet/1141/pulpes-de-series/?page=13#p141109) Comment tu peux affirmer ça ? En tout cas je v… |
|
Caf&Sciences
Le coin des scientifiques ! |
samedi 11 février 2017 à 03h28 | J'aime de pluus en plus ce que fait Heur?ka : [PIB & Croissance](https://www.youtube.com/watch?v=z0KK0uaXfLE). Par contre, *conseillé* par Holosmos, je ne comprends rien à la dernière vidéo d'epenser… |
|
Une équipe CTF Zeste De Savoir ?
(Résoudre des challenges type "Capture The Flag" ensemble) |
samedi 04 février 2017 à 13h26 | Quels sont les domaines visés ? |
| mardi 31 janvier 2017 à 02h31 | Je ne pense pas qu'il y ait besoin des types dépendants ici car il n'y a pas besoin de connaître la taille de la liste grâce au constructeur ```Cons```. | |
| lundi 30 janvier 2017 à 15h55 | Ok, c'est plus ou moins la solution à laquelle j'étais arrivée. Après je rejoins tes remarques sur ce que je propose. Mais j'avoue ne pas avoir pris trop de recul sur le code que j'ai écrit plus haut… | |
| lundi 30 janvier 2017 à 15h30 | Ok, ça fonctionne car tu changes les types que je propose dès le départ. Pourquoi pas, c'est en effet plus simple que ce que j'avais en tête. Je regarderai ça à tête reposée, mais cette solution n… | |
| lundi 30 janvier 2017 à 14h00 | Bonjour, Dans le cadre de mon travail, je dois encoder une machine à pile. Cette dernière gère une pile que l'on peut manipuler grâce à des commandes. Pour l'exemple que je vais montrer, on va con… | |
| samedi 28 janvier 2017 à 15h02 | Lorsque tu compiles un `eval`, ton compilateur doit avoir accès à un autre compilateur, en l'occurence cela pourrait être le tiens. Et ensuite tu balances le code au compilateur, etc... | |
| vendredi 20 janvier 2017 à 11h52 | Le fait que le projet soit en français ne joue pas aussi ? | |
|
Caf&Sciences
Le coin des scientifiques ! |
mardi 17 janvier 2017 à 19h41 | J'en profite pour signaler qu'en ce moment il y a une grosse conférence à Paris (Jussieu) : [POPL 2017](http://conf.researchr.org/home/POPL-2017). C'est une conférence qui porte sur les langages de p… |