Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. Par Ksass`Peuk - Vendredi 06 janvier 2017 à 15h41 06/01/17 à 15h41

45 messages

Dernière réponse
Dimanche 16 juin 2019 à 11h48 16/06/19 à 11h48
par Ksass`Peuk

[Fermé]

Faire un bot Discord simple avec les webhooks

Un petit bot sans librairie et sans se prendre la tête ! Par Eskimon - Jeudi 28 février 2019 à 13h03 28/02/19 à 13h03

9 messages

Dernière réponse
Dimanche 09 juin 2019 à 13h22 09/06/19 à 13h22
par Eskimon

[Fermé]

zds
récap

Récap' communautaire #15 — Mai 2019

Faisons le point sur l'actualité de notre communauté ! Par Rockaround - Mardi 30 avril 2019 à 21h56 30/04/19 à 21h56

19 messages

Dernière réponse
Lundi 03 juin 2019 à 10h23 03/06/19 à 10h23
par informaticienzero

zds
récap

Récap' communautaire #16 — Juin 2019

Faisons le point sur l'actualité de notre communauté ! Par Taurre - Dimanche 02 juin 2019 à 21h58 02/06/19 à 21h58

1 message

Aucune réponse

Générer des images procédurales dans un pixel shader avec GLSL (dans shadertoy).

Apprenez a utiliser des shaders pour réaliser des "ouvres d'art" mathématiques. Par stduhpf - Vendredi 11 janvier 2019 à 23h21 11/01/19 à 23h21

20 messages

Dernière réponse
Samedi 01 juin 2019 à 23h30 01/06/19 à 23h30
par stduhpf

[Fermé]

On a redéfini le kilogramme !

Par Aabu - Samedi 17 novembre 2018 à 09h48 17/11/18 à 09h48

17 messages

Dernière réponse
Lundi 20 mai 2019 à 07h09 20/05/19 à 07h09
par qwerty

[Fermé]

Améliorer son score SEO avec VueJS + NuxtJS

Quelques trucs et astuces pour améliorer son positionnement dans les moteurs de recherche Par kern046 - Mardi 19 mars 2019 à 14h35 19/03/19 à 14h35

15 messages

Dernière réponse
Samedi 18 mai 2019 à 20h58 18/05/19 à 20h58
par Taurre

Le Revenue Management

« Pourquoi ton billet d’avion est plus cher 6 jours avant le décollage que 6 mois avant ». Par Dreactor - Jeudi 25 avril 2019 à 12h48 25/04/19 à 12h48

2 messages

Dernière réponse
Mardi 14 mai 2019 à 09h37 14/05/19 à 09h37
par Dreactor

Pourquoi la moutarde nous monte-t-elle au nez ?

Physiologie humaine et chimie de la moutarde Par Aabu - Jeudi 02 mai 2019 à 11h17 02/05/19 à 11h17

5 messages

Dernière réponse
Dimanche 12 mai 2019 à 21h08 12/05/19 à 21h08
par Aabu

Le référendum d'initiative citoyenne

Avantages et inconvénients d'un tel système de démocratie directe Par Axylium - Vendredi 10 mai 2019 à 18h21 10/05/19 à 18h21

3 messages

Dernière réponse
Vendredi 10 mai 2019 à 21h43 10/05/19 à 21h43
par qwerty

rédaction d'un billet sur l'escalade

L'escalade au JO Par Torado - Mardi 07 mai 2019 à 20h40 07/05/19 à 20h40

5 messages

Dernière réponse
Mercredi 08 mai 2019 à 21h14 08/05/19 à 21h14
par qwerty

Les monnaies locales et citoyennes

Une introduction aux monnaies locales complémentaire, des outils de transformation sociétale prometteurs Par nietog - Mercredi 01 mai 2019 à 19h04 01/05/19 à 19h04

9 messages

Dernière réponse
Dimanche 05 mai 2019 à 12h36 05/05/19 à 12h36
par nietog