background preloader

Informatique

Facebook Twitter

Docker

Features - Obsidian. CAO. Levelup.gitconnected. I need to start this article with some simple disclaimers: I love Raspberry Pi, I love Docker, I don’t love networking that much (spoiler alert: I suck at it).

levelup.gitconnected

I love Raspberry Pi because it is a tiny, fully functioning computer that gives me goosebumps. It is one of those things that makes you feel like Mr. Robot. It is relatively cheap, it is accessible, and there are tons of guides online to do pretty much anything you can imagine.I love Docker because it is a simple way of running various pieces of software in a standardized way: you pull the Docker image for your platform, you run the image with a single command and that’s it! You can glue things together, you can add your own images, you can share your configuration, you can run the same setup on different machines, and you can destroy things easily once you don’t need them anymore. So, since we are done with the disclaimers, let’s touch on the basics a bit before we get on with the guide. What is Raspberry Pi? What is Pi-hole? Play with Programming - CodinGame.

Portail:Informatique. Accès au projet et à son bistro : Une page de Wikipédia, l'encyclopédie libre.

Portail:Informatique

Lumière sur... L’histoire d’Internet remonte au développement des premiers réseaux de télécommunication. L’idée d’un réseau informatique, permettant aux utilisateurs de différents ordinateurs de communiquer, se développa par de nombreuses étapes successives. La somme de tous ces développements conduisit au « réseau des réseaux » (network of networks) que nous connaissons aujourd’hui en tant qu’Internet. Les premières versions mettant en place ces idées apparurent à la fin des années 1950. Lire la suite Index de l'informatique Matériel informatique Systèmes d’exploitation Internet, société de l'information et culture informatique Normes et technologies Informatique théorique Métiers de l'informatique Logiciels propriétaires et libres Programmation Sécurité informatique, cryptographie et vie privée Organismes et organisations.

Réseau

Deals. BIOS & GRUB. Haskell. Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.

Haskell

Son nom vient du mathématicien et logicien Haskell Curry. Il a été créé en 1990 par un comité de chercheurs en théorie des langages intéressés par les langages fonctionnels et l'évaluation paresseuse. Le dernier standard est Haskell 2010 : c'est une version minimale et portable du langage conçue à des fins pédagogiques et pratiques, dans un souci d'interopérabilité entre les implémentations du langage et comme base de futures extensions. Le langage continue d'évoluer en 2020, principalement avec GHC, constituant ainsi un standard de facto comprenant de nombreuses extensions.

Historique[modifier | modifier le code] Versions[modifier | modifier le code] Haskell 1.0 à 1.4 Le travail du comité se poursuivit de réunion en réunion et aboutit en 1990 à la définition de Haskell 1.0, suivi par diverses révisions pour les versions 1.1, 1.2, 1.3 et 1.4. Haskell Language. An Introduction to the basic principles of Functional Programming. After a long time learning and working with object-oriented programming, I took a step back to think about system complexity.

An Introduction to the basic principles of Functional Programming

"Complexity is anything that makes software hard to understand or to modify. " — John Outerhout Doing some research, I found functional programming concepts like immutability and pure function. Those concepts are big advantages to build side-effect-free functions, so it is easier to maintain systems — with some other benefits. In this post, I will tell you more about functional programming, and some important concepts, with a lot of code examples. Lisp. Lisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels[1].

Lisp

Développé initialement en tant que modèle pratique pour représenter des programmes (par contraste avec la notion théorique de machine de Turing), il est devenu dans les années 1970 et 80 le langage de choix pour la recherche en intelligence artificielle. Les langages Lisp sont aujourd'hui utilisés dans de nombreux domaines, de la programmation Web à la finance[2], et dans certains cursus de formation en informatique[3]. Le terme Lisp a été forgé à partir de l'anglais « list processing » (« traitement de listes »). Tous les dialectes de Lisp partagent les mêmes opérateurs de manipulation de listes chaînées simples.

Lisp se distingue en outre par une syntaxe simple en notation préfixée, son typage dynamique des données, le support pour la programmation fonctionnelle, sa gestion automatique de la mémoire et la faculté de manipuler le code source en tant que structure de données. ni mais. Fonction pure. Un article de Wikipédia, l'encyclopédie libre.

Fonction pure

Exemples[modifier | modifier le code] Fonctions pures[modifier | modifier le code] Les fonctions C++ suivantes sont pures : Fonctions impures[modifier | modifier le code] Les fonctions C++ suivantes sont impures car elles ne vérifient pas la propriété 1 ci-dessus : à cause de la variation de la valeur de retour avec une variable non locale à cause de la variation de la valeur de retour avec un argument mutable de type référence int f(int* x) { return *x;} à cause de la variation de la valeur de retour avec un flux d'entrée Les fonctions C++ suivantes sont impures car elles ne vérifient la propriété 2 ci-dessus : à cause de la mutation d'une variable statique locale.

Projet gestion de la connaissance

IA. Gamification. Agile. The blog relating the daily life of web agency developers. Unix. Editeur de texte. Blog. Entretien technique. Windows. Arduino. Développement logiciel.