Dans la lignée du journal EDSL et F-algèbres, ce journal présente une méthode pour plonger un langage dans un autre (ici OCaml) qui généralise la précédente et centrée autour de la notion d'interprétation. Contrairement aux méthodes plus courantes pour résoudre cette question, la méthode tagless-final permet également de résoudre le problème de l'extensibilité : étendre un type de donnés, ajouter des opérations dessus, sans avoir à réécrire du code déjà compilé et cela avec la sécurité du (…)

Quand Emacs supprime des fonctionnalités

Alors que je vagabondais à mon habitude dans ce vaste espace à la fois fascinant et désespérant qu'est le web, je suis tombé sur cet article. Vu le titre (Emacs Hates MacOS), je me suis dit qu'il serait un bon candidat pour un débat animé du vendredi sur LinuxFr. Toutefois, au-delà du troll, l'auteur dudit billet pose (consciemment ou non) une question fort pertinente, donc je me permets de publier un journal (…)

$ ip addr show dev enp3s0 | sed -e's/^.*inet6 \([^ ]*\)\/.*$/\1/;t;d' | head -n 1 | tr -d : | tail -c 17 | xxd -r -p
SpaceFox

Facebook s'amuse depuis 2011, et il n'y a pas de raison qu'on ne puisse pas en faire autant.

Les adresses IPv6 sont virtuellement infinies : avec 2¹²⁸ possibilités (les adresses font 128 bits de long), on peut coller, je cite Wikipédia, « 667 millions de milliards d'appareils connectés sur (…)

Soixantième épisode dans la communication entre les différents intervenants autour du site LinuxFr.org : l'idée est de tenir tout le monde au courant de ce qui est fait par les rédacteurs, les admins, les modérateurs, les codeurs, les membres de l'association, etc.

L'actu résumée ([*] signifie une modification du sujet du courriel) :

Statistiques

• 1752 commentaires publiés (dont 4 masqués depuis)
• 286 tags posés
• 105 comptes ouverts (dont 1 fermé depuis)
• 61 entrées de forums publiées (dont 1 masquée depuis)
• (…)

Pour un circuit numérique, il y a toujours une dose d’électronique analogique. “Malheureusement”, penseront certain. Découvrons les condensateurs.

Un condensateur est un bipède, qui a un sens de branchement la plupart du temps, selon la technologie employée, contrairement à la théorie. Sa grandeur principale se mesure en farads (F). Elle va de quelques picofarads (pF) à quelques centaines de farads (F).

La petite équation est I = C*du/dt, l’intensité est proportionnelle aux variations de tension, ou Q = C*U, la (…)

Il semble loin le temps où le cancer Linux était diagnostiqué par Steve Developers Ballmer, en 2001. Microsoft vient en effet d'annoncer rejoindre la Fondation Linux en tant que membre Platinum, le plus haut rang de l'organisation, à raison de 500000 dollars par an. John Gossman, haut responsable de l’équipe Azure, devient ainsi membre du Comité de direction et jouera désormais un rôle important dans la conception des projets de la Fondation.

Depuis que le nouveau PDG de Microsoft (…)

Dans un circuit numérique, il y a une dose d’électronique analogique. “Malheureusement”, penseront certains. Voyons les résistances.

Si on veut utiliser un microcontrôleur pour un projet de robotique ou de domotique, on doit parfois créer sa propre carte numérique, ou créer une carte de périphérique, connecté à une carte numérique plus dense comme l’Arduino ou la Raspberry Pi.

Le but de cet article est de montrer les pièges et embûches à éviter, lorsque l’on essaye d’appliquer la théorie.

Une résistance (…)

Dans les épisodes précédents (S01E03), les Romuliens ont débarqué et prévoient de construire des astroports romuliens sur "la planète du long nuage souverain".

J'ai eu la chance d'être invité à l'ambassade romulienne pour leur grande fête de rentrée et ils nous ont présenté leurs dernières nouveautés, notamment leur traducteur universel, leur nouveau robot d'agrément et leur nouveau téléporteur.
Le grand chef des romuliens était là pour ouvrir le bal mais il ne s'est pas servi du traducteur universel (…)

Pour continuer la rubrique nécrologique de linuxfr, je vous propose aujourd'hui une interview intéressante du fondateur de « pirate bay » : http://motherboard.vice.com/fr/read/le-fondateur-de-pirate-bay

Et quand le fondateur de « pirate bay » indique que l'internet libre est mort, il me parait intéressant de réfléchir ensemble à ce constat.

Cet article acte un certain nombre d'éléments :

D'abord, La bataille de l'Internet libre est perdue. : parce que l'internet centralisé est là, parce que sous contrôle américain, et parce que les citoyens - à un (…)

Cher journal, j'ai le trac. Dimanche prochain, je me lance dans la vie publique, et je n'ai pas fait ça à moitié. C'est le Capitole du Libre à Toulouse et poussé par la pression populaire mes traîtres d'amis, je vais présenter deux conférences, répondre à une interview radio et parler à tous plein d'inconnus (et peut-être même quelques connus) sur un stand, alors que je ne sors jamais de ma grotte auvergnate et que je bafouille en saluant ma (…)

Bonsoir,
Le plongeur italien Enzo Maiorca, dont la rivalité avec le Français Jacques Mayol avait inspiré le film Le Grand Bleu de Luc Besson est décédé à l'âge de 85 ans.

http://sport24.lefigaro.fr/le-scan-sport/2016/11/13/27001-20161113ARTFIG00076-le-plongeur-italien-enzo-maiorca-heros-du-film-le-grand-bleu-est-decede.php

Bonne soirée

OCaml est un langage de programmation généraliste, fonctionnel et statiquement typé.

MetaOCaml est une extension, un dialecte non-standard du langage qui a une longue histoire. Dérivée de MetaML il y a environ 15 ans, c'est toujours resté un prototype de recherche, avec une base d'utilisateur petite mais active au fil des années—au contraire de la plupart des prototypes de recherche qui meurent de mort naturelle assez vite. Le "Meta" dans le nom fait référence à la méta-programmation, l'écriture de programmes (…)

Bonjour,
Robert Vaughn le dernier acteur a avoir joué dans les 7 mercenaires en 1960 est décédé.
Bonne fin de journée

Cher journal, je suis dévasté !

Oh triste complainte en ce jour maudit de novembre 2016. La pluie, le froid, le vent, la grisaille ambiante ne font que donner plus d'écho au départ d'un des plus grands chanteurs du 20ème siècle.

Car Leonard Cohen est maintenant bronsonisé… Le monde vient de perdre le poète de la mélancolie, le chanteur qui transforme la dépression en mélodie.

Et quelle carrière ! Sans rentrer dans les détails (Wikipédia fait tout ça mieux que moi), la (…)