Messages postés par "Ben Dover"
| Sujet | Date | Extrait |
|---|---|---|
| mercredi 03 octobre 2018 à 14h54 | Vous n'êtes pas obligés de shitposter pendant 2 pages, on avait compris [dès le début](https://zestedesavoir.com/forums/sujet/11387/langages/?page=1#p190366). Vous noyez au passage les [rares personn… | |
| samedi 22 septembre 2018 à 22h30 | Je ne sais pas si tu as vu [cette discussion récente sur la complexité logicielle et l'inefficacité qui en résulte](https://zestedesavoir.com/billets/2820/signet-software-disenchantment) mais personn… | |
| vendredi 24 novembre 2017 à 10h34 | Sur le site, via Internet. Ouais avec un chèque cadeau fourni par son comité d'entreprise. | |
| jeudi 23 novembre 2017 à 18h49 | Bonjour, Si j'en crois [le site du gouvernement sur la médiation et la consommation](https://www.economie.gouv.fr/mediation-conso/vous-etes-professionnel), un site marchand est obligé de faire fig… | |
|
Non-prouvabilité en déduction naturelle propositionnelle
Par des moyens syntaxiques |
samedi 28 octobre 2017 à 16h11 | Merci pour ta réponse **gasche**, on y voit plus clair. > Après avoir plus réfléchi, je pense que c'est "facile" (mais c'est dur de se convaincre que c'est facile !), et que comme ton intuition le… |
|
Non-prouvabilité en déduction naturelle propositionnelle
Par des moyens syntaxiques |
vendredi 27 octobre 2017 à 19h47 | > Première question, je suis curieux de savoir pourquoi tu t'intéresses à ce genre de problème. En général, la sémantique est justement là pour résoudre ton problème. > > Dans le cas de la déducti… |
|
Non-prouvabilité en déduction naturelle propositionnelle
Par des moyens syntaxiques |
vendredi 27 octobre 2017 à 17h26 | Bonjour, Je m'intéresse aux démonstrations (niveau méta) de non-prouvabilité de formules propositionnelles simples en déduction naturelle qui se basent sur des arguments syntaxiques. Je me souv… |
| jeudi 26 octobre 2017 à 11h48 | > Donc du coup, si je choisit l'une des 3 écoles, il n'y a pas d’inter-croisement entre les cours ? si je vais a p7 je pourrais pas prendre des cours d'ulm ou cachan ? Source:[YoRHa](https://zestede… | |
| lundi 09 octobre 2017 à 10h37 | Si ça n'est mis que sur les pages qui contiennent les graphes en question, pourquoi pas ? Comme ça on ne pénalise pas les auteurs qui utilisent autre chose. | |
| dimanche 08 octobre 2017 à 21h09 | > Dans la catégorie "faire remonter le topic", un article intéressant sur le blog {Sciences^2}, [Budget de la recherche 2018 : la vérité est dans le bleu](http://huet.blog.lemonde.fr/2017/10/08/budge… | |
| dimanche 08 octobre 2017 à 19h11 | > À mon avis la définition d'une fonction en tant que son graphe n'a d'intérêt que lorsqu'on se place dans un cadre formel (axiomatique). Ça permet de ramener la définition à celle des ensembles, et … | |
| dimanche 08 octobre 2017 à 13h28 | Pour un cours aussi formel ça manque de "Définition 1", "Définition 2", "Théorème 1", etc. non ? | |
| jeudi 05 octobre 2017 à 18h38 | > Bonjour, > > Je cherche a prouver que pour un ensemble G défini inductivement, pour tout t appartenant a G, t est fini Il faut commencer par poser une définition pour « être fini », comme le… | |
| lundi 25 septembre 2017 à 11h16 | Salut, Merci pour ta réponse, ça m'a bien aidé. J'ai trouvé [cette page sur le support 256 couleurs dans irssi](http://anti.teamidiot.de/nei/2014/03/irssi_with_256_colour_support/mt-preview-58ac64… | |
| dimanche 24 septembre 2017 à 12h49 | Bonjour, J'essaye de personnaliser les couleurs utilisées dans irssi en modifiant un fichier `.theme`. J'arrive à charger le fichier et à le modifier mais quand je change les couleurs en fonction … | |
| mercredi 13 septembre 2017 à 10h29 | > > Mon père est dans le même cas, alors cet avis m'intéresse, je me demandais justement quel était le meilleur OS à lui mettre sous le nez. > > Appréciant moyennement Ubuntu, j'avais pensé égalem… | |
| jeudi 03 août 2017 à 15h28 | Peut-être que ces fichiers auxquels tu n'as pas le droit d'accéder ont été créés quand tu utilisais opam en root. Essaye de faire un `sudo chown -R etienne /home/etienne/.opam` pour réparer ça. Ensui… | |
|
Introduction aux probabilités
Un tutoriel d'introduction aux probabilités en expliquant les principe fondateurs et principaux résultats (lois de grands nombres et théorème central limite) sans rentrer dans la technicité. |
jeudi 20 avril 2017 à 11h46 | Est-il envisageable de mettre des exemples en Python dans le tutoriel ? |
|
Caf&Sciences
Le coin des scientifiques ! |
dimanche 16 avril 2017 à 06h59 | > > Non, ça veut dire qu'en se donnant une machine à mémoire infinie et un temps infini, PowerPoint est capable d'exécuter n'importe quel algo. C'est différent et nettement mois fort que ce qu'on veu… |
|
Utilisation de Slack ?
Support IRC included of course... |
mercredi 12 avril 2017 à 16h54 | J'utilise fréquemment Slack via IRC, et globalement ça fonctionne bien, à quelques bémols près : la connexion initiale du client IRC n'est pas triviale, les smileys Slack sont rendus de façon idiote … |
|
Les machines aussi peuvent apprendre
Introduction pratique au machine learning |
mardi 28 mars 2017 à 17h36 | Personnellement je ferai des retours plus conséquents sur l'article quand il sera un peu plus rempli. Dans l'ensemble c'est bien parti, il faudra à mon avis essentiellement nuancer deux-trois trucs (… |