Le blog de l'homme moderne
Un robot joueur d'échecs (Partie 2)
Je vous ai annoncé précédemment que le thème du jour serait l’interfaçage entre un circuit numérique et un ordinateur, mais, avant d’entrer dans le vif du sujet et pour ne pas perdre ceux d’entre vous dont les connaissances techniques manqueraient à l’appel, je vais auparavant résumer les caractéristiques des circuits électroniques numériques.---
Le 04/01/2009 à 14:29:22 par webshinra dans Programmation.
Tags: robotique et machines.
Paradigmes, episode two : les objets
Nous allons aujourd’hui découvrir une nouvelle famille de langages, et, en même temps, un nouveau point de vue sur la programmation. Il s’agit, vous l’aurez compris, de la programmation orientée objet (abrégée POO). Cependant, plutôt que de réécrire les chapitres d’un n-ième cours de C++, Java, C# ou Objective BrainFuck, nous allons faire un petit « retour aux sources », et analyser la POO à la manière d’un langage qui a beaucoup influencé tous les langages à objets actuels (et les influence toujours !). Je vais donc parler des objets « à la SmallTalk ». Si vous n’avez fait que du Java dans votre vie, ça va vous changer les idées.---
Le 22/12/2008 à 18:02:00 par GuilOooo dans Programmation.
Tags: paradigmes.
Voyage au bout de la logique - Deuxième partie
Nous voilà dans la seconde partie de cet article et, maintenant que nous avons de quoi jouer, jouons !Au programme donc : le mécanisme de preuve de Coq par quelques exemples.
---
Le 02/12/2008 à 19:56:39 par asmanur dans Programmation.
Tags: Coq, logique et introduction.
Love lies bleeding
Vous avez été nombreux à vous exprimer suite au précédent article de Katen, qui était aussi le premier publié sur BHM. Beaucoup ont été choqués, c’est bien, c’était voulu. Beaucoup aussi on cru qu’on s’arrêterait là face à toutes les critiques qui ont été émises… ils ont eu tort. Nous avions annoncé plusieurs articles, ils mettent en effet du temps à se montrer, mais ils seront toutefois bien présents. Ceci est le 2e. Comme l’autre fois, n’hésitez pas à venir nous vomir dessus une fois que vous l’aurez fini. Pour l’instant bonne lecture…---
Le 11/11/2008 à 16:21:33 par Katen et Dark-Side dans Divers.
Tags: femmes, vie, seduction et world company.
Un robot joueur d'échecs (Partie 1)
Bonjour, histoire de ne point changer les bonnes habitudes, cet article sera l’introduction et le premier volet d’une série d’articles orientés sur l’électronique et ses applications à l’informatique.
L’électronique est une science vaste et est pour le moins omniprésente à l’heure actuelle. Pratiquement plus aucun objet n’existe sans sa version « électronisée » : les couteaux, les instruments de musique et les réveils électriques sont désormais monnaie courante. Ce nouveau monde dans lequel nous sommes de plus en plus plongés depuis les années 80 commence aujourd’hui à prendre des propensions pour le moins ahurissantes, et force est de constater que, si la connaissance populaire de l’informatique suit le mouvement, celle qu’ont les gens du fonctionnement des objets qui les entourent diminue depuis que la mode est passée.
Cet article sera donc une introduction aux concepts généraux non-techniques de la mise en place d’un projet que j’ai moi-même mené, et qui est encore en progression. Je suivrai en explicitant les différentes étapes qui interviennent dans ces aventures. À noter que cette déblateration est aussi bien destinée à une personne ayant une solide formation technique, qu’à une personne arrivant en 5ème et qui, tombée raide dingue de la physique (il y en a quelques fois, oui), veut comprendre un peu mieux le monde qui l’entoure.
---
Le 04/11/2008 à 00:31:13 par webshinra dans Programmation.
Tags: robotique et machines.
Voyage au bout de la logique - Première partie
Les ordinateurs ont dépassés le stade de simple « super-calculette ». Ils sont capables maintenant d’aider les hommes dans un raisonnement logique et de les assister. De tels logiciels sont appelés assistants de preuve formels.
Vous voulez voir comment on apprend la logique à un ordinateur ? C’est par-ici au travers de Coq un assistant de preuve formel écrit en OCaml.
---
Le 03/11/2008 à 10:22:48 par asmanur dans Programmation.
Tags: Coq, logique et introduction.
Introduction au lojban (Suite & Fin)
L’article précédente n’étant qu’une entrée en matière, la présentation du langage, à laquelle succédera (peut-être) un vrai cours. Lors du précédent article vous ont été présentées les notions de langage naturel et de langage construit. Celles-ci ont donné naissances à quelques vifs débats (qui a dit trolls ?), toutefois nous ne reviendrons pas là dessus, du moins dans cet article.
Cet article a pour but de vous présenter les structures de base du lojban, et d’expliquer en quoi cela contribue à faire de lui un langage logique.
---
Le 02/11/2008 à 16:33:40 par Dark-Side dans Linguistique.
Tags: lojban et introduction.
Votre window manager avec la Xlib - Episode Two
Nous voilà dans le deuxième article de la série « Votre window manager ».Cygal vous a fait une petite introduction sur les gestionnaires de fenêtres et vous êtes maintenant prêts à écouter une histoire, cette histoire. Celles de trois programmeurs naïfs perdus sur une île déserte aux conditions de vie si déplorables qu’ils n’ont pas attendu le second jour pour commencer à coder ce qui allait être…
---
Le 28/10/2008 à 14:26:20 par asmanur dans Programmation.
Tags: xlib, wm et C.
Le Toki Pona
Vous avez aimé l’introduction au Lojban de Dark-Side ? Les langues construites vous intéressent ? Dans ce cas, pourquoi ne pas en découvrir une autre ? Intéressons-nous aujourd’hui au toki pona, dont les objectifs ne sont pas les mêmes que le Lojban.---
Le 18/10/2008 à 17:09:04 par Asgeir dans Linguistique.
Tags: toki pona et présentation.
Paradigmes, episode one : l'Impératif
Comme nous l’avons vu dans le premier article introductif, les langages de programmation, tout similaires qu’il soient, peuvent présenter d’importantes différences. On peut cependant classer ces langages en catégories, qu’on appelle « paradigmes ». Bien que les langages d’un même paradigme puissent être assez différents (on en a déjà fourni un exemple), les idées qui les gouvernent sont les mêmes. On va donc surtout s’intérésser à ces dernières.
Je vous présente donc aujourd’hui le premier paradigme de la série.
---
Le 09/10/2008 à 19:01:35 par GuilOooo dans Programmation.
Tags: paradigmes.
Les différences entre les langages de programmation
Cet article est l’introduction d’une série (eh oui, encore une autre) qui va se destiner principalement aux gens qui pensent que « tous les langages de programmation se ressemblent », ou encore que « quand on connaît un langage on les connaît tous ». On entend parfois les programmeurs débutants dire ça. C’est vrai, quoi ! Après tout, dans quasiment tous les langages, on a aussi bien des variables, des boucles, parfois des objets…
Alors, qu’est-ce qui change ? Y’a-t-il des langages vraiment différents ? Ces questions vont en premier lieu nous amener à réfléchir sur ce qu’est un langage de programmation.
---
Le 07/10/2008 à 18:30:20 par GuilOooo dans Programmation.
Tags: paradigmes.
Reia: Yet Another Scripting Language
Reia, prononcé [raye-euh], est un langage de script semblable à Python et Ruby, basé sur la machine virtuelle d’Erlang. Ce langage est encore en développement mais il a fort probablement un bel avenir qui l’attend. Il vise à reprendre les points forts d’Erlang1, tout en comblant ses « points faibles »2.---
Le 28/09/2008 à 14:37:38 par Dark-Side dans Programmation.
Tags: script, concurrence et présentation.
Introduction au lojban
Vous connaissez probablement déjà un certain nombre de langues, telles que le français, l’anglais, l’allemand, le russe, le chinois et bien d’autres encore. Mais saviez vous que ces langues font partie de la catégorie des langues naturelles ?
Ces langues dites naturelles sont souvent parlées par des millions de personnes, si ce n’est plus, et sont parfois spécifiques à un pays. Cette dénomination leur a été attribuée car ces langues sont nées naturellement, c’est à dire qu’elles ont évolué au fil du temps, sans règles vraiment précises au départ, jusqu’à devenir ce qu’elles sont à l’heure actuelle. Ces langues n’ont donc pas forcément des structures d’une logique implacable, la preuve en est faite en français où presque chaque règle de grammaire a droit à son lot d’exceptions !
---
Le 24/09/2008 à 12:25:17 par Dark-Side dans Linguistique.
Tags: lojban et introduction.
Bienvenue sur BHM !
Depuis quelques jours, Dark-Side et moi avons l’audace de nous promener sur le web tout entier avec un gros lien vers ce blog en signature. Vous êtes sans doute arrivé ici par ce lien, et vous êtes sûrement en état de choc : ce blog est certes très beau (encore qu’il passe mal sous Windows, aux dernières nouvelles), mais vous ne savez pas à quoi il sert, ni pourquoi nous en faisons la publicité.
Je me présente : Poulet, l’un des "responsables". Laissez-moi vous expliquer quelques trucs.
---
Le 17/09/2008 à 18:30:23 par Poulet dans BHM.
Tags: bhm et manifeste.
Hell's Kitchen.
Cet article est d'un genre un peu particulier. Contrairement à ce que vous avez pu observer jusqu'à présent il ne concernera nullement l'informatique. Comme vous le savez nous qui nous revendiquons modernes souhaitons vous faire ouvrir les yeux sur le monde, et ce dans divers domaines. Que ce soit en ce qui concerne la programmation ou un tout autre domaine. Cet article lui a pour but de vous faire réflechir sur la vie, les relations entre les êtres humains, bref de vous faire sortir de votre bulle !Nous avons toutefois décidé de vous prévenir : cet article est écrit par Katen. Pour ceux qui ne le connaitraient pas encore c'est une personne qui aime bien donner dans la provocation :) Ses articles seront donc parfois (souvent ?) choquants pour la plupart des êtres humains. Celui-ci est un vieux texte qu'il a ressorti de ses archives, son point de vue a depuis évolué (ne le lapidez donc pas tout de suite si vous n'êtes pas d'accord), et n'est que le point de départ d'une série qui promet d'être intéressante... Mais voyez plutôt.
---
Le 11/09/2008 à 22:07:38 par Dark-Side et Katen dans Divers.
Tags: femmes, vie, seduction, sexisme et world company.
Votre window manager avec la Xlib - Episode One
Comme tous les jeunes du monde, mon rêve était depuis longtemps d’écrire un window manager, et ce depuis que j’ai découvert des tiling window managers comme xmonad (mon premier amour), wmii, ou encore awesome.
Mais j’ai jamais trouvé de doc pour ça, donc ce projet a été repoussé. Maintenant que je connais mieux la Xlib, ça semble beaucoup moins sorcier. Je vous montre ? :)
---
Le 10/09/2008 à 20:26:36 par Cygal dans Programmation.
Tags: xlib, wm et C.
De l'autre côté du miroir
Récit épique racontant la naissance du chan vachement pareil. On m’a forcé---
Le 28/08/2008 à 22:07:07 par bluestorm dans Divers.
Tags: récit et irc.
Où ça en est
Puisque des gens sérieux se sont mis à écrire je me dis qu’il faut éditer cet article, pour que ce soit aussi quelque chose de sérieux.---
Le 20/08/2008 à 11:31:35 par Dark-Side dans BHM.
Tags: récit.