Messages postés par "Praetonus"
- Précédente
- 1
- ...
- 7
- 8
| Sujet | Date | Extrait |
|---|---|---|
| jeudi 29 octobre 2015 à 13h35 | Au final, interprété ou pas, ça ne change pas grand chose. On passe par les mêmes étapes. | |
| jeudi 29 octobre 2015 à 13h00 | Salut. Si tu ne connais pas déjà, je te conseille de regarder du côté de [LLVM](http://llvm.org). A part ça, amuse toi bien, la compilation c'est top. | |
|
Javaquarium
4 ans et 3 mois après, il est toujours là, et toujours aussi difficile ! |
mercredi 28 octobre 2015 à 21h46 | Effectivement, j'ai relu les papiers, la question des data races n'est pas prouvée. J'ai été un peu trop enthousiaste. :) Néanmoins, le modèle est cohérent en pratique (et délicieux à utiliser). C… |
|
Javaquarium
4 ans et 3 mois après, il est toujours là, et toujours aussi difficile ! |
mercredi 28 octobre 2015 à 17h43 | Salut. J'ai récemment découvert un langage, [Pony](http://www.ponylang.org/), et j'ai réalisé le Javaquarium pour prendre en main la partie objet. A priori, peu d'entre vous connaissent ce langage… |
|
L'apprentissage des nouveaux langages
Utile ou superflue? |
dimanche 25 octobre 2015 à 21h06 | Je suis tombé par hasard sur un langage, [Pony](http://www.ponylang.org/), qui m'a l'air assez intéressant pour les questions de sureté. Je vous laisse juger par vous même : > - It's type safe.… |
|
L'apprentissage des nouveaux langages
Utile ou superflue? |
jeudi 22 octobre 2015 à 18h30 | > Dans les autres projets super, on peut aussi citer CompCert un compilateur C écrit et prouvé en Coq. Source:[Ksass`Peuk](http://zestedesavoir.com/forums/sujet/4345/lapprentissage-des-nouveaux-lang… |
| samedi 17 octobre 2015 à 01h40 | Bonjour. Je suis de retour avec le niveau 3, toujours en C++ avec LLVM. Le code étant assez conséquent, je vous mets le lien vers le [dépôt github](https://github.com/Praetonus/llcalc). | |
|
Ncursescpp
Wrapper C++ pour ncurses |
mardi 06 octobre 2015 à 16h48 | Merci à tous les deux. En fait, je me disais la même chose quand j'ai commencé ce projet. :D |
| dimanche 04 octobre 2015 à 22h36 | Bonjour. Voici mon implémentation du niveau 2 en C++ avec LLVM. En plus des opérateurs de l'énoncé, le moins unaire est supporté. [[secret]] | ```cpp | #include <cassert> | #include <cmath> … | |
|
Ncursescpp
Wrapper C++ pour ncurses |
dimanche 04 octobre 2015 à 00h39 | Bonjour à tous. Je suis Benoît, Praetonus sur les internets, étudiant en licence d'informatique. Je suis l'auteur de ncursescpp, un wrapper C++ pour ncurses ([dépôt du projet](https://github.com/P… |
| lundi 28 septembre 2015 à 21h46 | Salut. `-Weverything` est vachement violent tout seul et quasiment inutilisable en pratique (surtout combiné à `-Werror`). Je rajouterais au minimum `-Wno-c++98-compat` et `-Wno-padded`. | |
| vendredi 18 septembre 2015 à 13h24 | > Je suis clairement pas d'accord avec ça. Le premier réflexe est de vérifier que la logique du code est bonne (et ce n'est pas le cas ici). D'autant que le bug n'est pas du tout aléatoire : sur cert… | |
| vendredi 18 septembre 2015 à 11h36 | Salut. Quand tu as un bug de ce genre, ton premier réflexe doit être de vérifier si tu n'as pas de comportement indéfini quelque part. En l'occurrence, valgrind me dit ceci pour ton programme (uni… | |
| dimanche 02 novembre 2014 à 15h01 | Il faut modifier les collision responses de l'acteur. La doc complète est [ici](https://docs.unrealengine.com/latest/INT/Engine/Physics/Collision/index.html). | |
| dimanche 02 novembre 2014 à 00h31 | Salut. Déjà, petite mise au point : UE4 est développé par Epic Games, et non par Epitech. Pour ta question, cela dépend de la nature de ta collision, bloquante ou non bloquante. Si elle est blo… |
- Précédente
- 1
- ...
- 7
- 8