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 (…)

Cette semaine, M. Tim Berners-Lee est appelé à se prononcer sur l’adoption des DRM dans HTML 5. La FSF a donc lancé une pétition pour convaincre l’actuel président de la W3C de dire enfin non.

Petit historique…

Tim Berners-Lee, surnommé Timbl, est le principal inventeur du Web, ainsi que le fondateur et président du World Wide Web Consortium (W3C), organisme de standardisation du Web.

Le W3C regroupe plusieurs centaines d’entreprises partenaires. Parmi elles, Apple, Google, Microsoft et Netflix proposent (…)

Bien le bonjour,

Quel est le lien avec linux, vous me direz… Eh bien, il semble évident pour Rodney Mullen !

J'écoutais un TED, empli d'une certaine nostalgie… Un TED mené par Rodney Mullen. Si le nom vous parle, vous avez probablement de près ou de loin touché une planche de skate, et sans doute, vous avez la même réaction en me lisant, que j'ai eu en découvrant cette vidéo : "Quoi ? Rodney Mullen a fait un TED ! Faut absolument (…)

D'après le flux RSS de l'administration en ligne, un nouveau processus de créations des cartes nationales d'identité (CNI) est en expérimentation dans les Yvelines. Ce qui est chouette, c'est que déjà, on ne peut plus aller dans la mairie de son choix, mais c'est peut-être temporaire.
Le processus passe par la création d'un dossier en ligne que le citoyen doit imprimer et amener à la mairie avant de relever ses empreintes sur place. Le dossier en ligne doit être créé (…)

Sous prétexte d'aider à déboguer ses pilotes lors des crashs, Nvidia vient d'imposer – sans possibilité d'opt-out – l'installation de modules de télémétrie qui remontent automatiquement et régulièrement des informations personnelles à la société, à des fins commerciales.

Source Hardware.fr

1. CONSENT TO COLLECTION AND USE OF INFORMATION

Customer hereby acknowledges that the SOFTWARE accesses and collects both non-personally identifiable information and personally identifiable information about Customer and CUSTOMER SYSTEM as well as configures CUSTOMER SYSTEM in order to

(a) (…)

Ceci n'est pas un bookmark, mais plutôt une diffusion d'info qui pourrait intéresser certaines personnes ici.

Pour ceux qui seraient intéressés, je relaie ici cet article ou on apprend que l'Etat recherche des profils "experts du numérique" pour un certain nombre de projets.

Pour info, aucun diplôme n'est formellement requis, et chose intéressante, les personnes sélectionnées devront mettre à disposition le fruit de leurs travaux en logiciel libre.

La liste des projets, et les liens nécessaires pour en savoir plus (…)

Bonjour à tous,

Une nouvelle version d'Olcc a vu le jour récemment : Olcc-NG (ou Olcc-me, on ne sait pas trop).
Code source disponible : https://github.com/BrunoSpy/olcc
Plusieurs instances sont disponibles :
* https://claudex.be/olcc-soul
* https://olcc.bombefourchette.com
* https://plop.cc

Un peu de vocabulaire

• Tribune : espace de discussion, généralement accessible par une page web (il se dirait qu'une tribune est offerte par linuxfr mais planquée pour éviter que des personnes intéressantes en profitent. Face à ce scandale international, je me vois dans (…)

Il parait que cela s'appelle des identicons: des images uniques générées à partir d'une chaine de caractères.

$ echo linuxfr.org | ghash -o linuxfr.org.jpg

J'ai tenté de faire un tel générateur avec 2 "julia" (des fractals) multipliées, je me suis inspiré du code trouvé, ici, sur linuxfr, comme exemple pour gmic de l'option '-fill'. Je ne sais pas si ghash est assez solide pour être qualifié de cryptographique mais j'ai tout fait pour.

Ghash est un outil pour Linux en (…)

Cette bafouille fait suite à ce commentaire concernant l'importance critique du projet Quantum pour Mozilla.

J'ai l'impression que les navigateurs web fonctionnent aujourd'hui tous plus ou moins bien. Parmi eux, à tort ou à raison, Firefox n'incarne plus vraiment ni la légèreté, ni l'innovation auprès du grand public. C'est un énorme problème pour Mozilla, puisque c'est FF qui assure l'essentiel des revenus. C'est logique que Mozilla se préoccupe de ses revenus, puisque la Mozilla Corporation, comme toute entreprise (…)

Bonjour Nal,

Après Newton Adventure et Ned et les maki, je me lance dans le développement d'un nouveau jeu libre.

Ayant plusieurs projets en tête, j'ai décidé de faire des prototypes pour tester mes idées de gameplay, voici le premier: shmuprpg

Il s'agit d'un shoot them up qui emprunte la forme graphique d'un action rpg. On y joue soit avec le combo clavier/souris, soit avec les sticks analogiques d'une manette, ce qui en fait un Dual Stick Shooter.

(…)

Bonjour nal,

Une des choses que j'ai toujours appréciées sous Linux, c'est le fait de pouvoir mettre des thèmes sombres, voir noir, pour ne pas avoir les yeux détruits dans l'obscurité.

Lors du passe au GTK 3.20, la compatibilité avec les thèmes GTK3 antérieur a été encore une fois cassée. Et les mainteneurs des thèmes ont commencé à jeter l'éponge (ou alors ils sont tous sur Debian, donc sera leur problème dans 5 ans). Résultat, les thèmes sont cassés et (…)

Un des mainteneurs de PulseAudio, Tanu Kaskinen, a lancé une campagne de financement sur Patreon. Voir aussi les informations sur son nouveau blog.

PulseAudio est généralement le serveur de son installé par défaut avec la plupart des distributions Linux pour desktop/laptop. Ce qui veut dire que PulseAudio est sans doute utilisé par plusieurs millions de personnes, voir plusieurs dizaines de millions (je ne sais pas quelles sont les dernières estimations).

Toujours faut-il que les utilisateurs soient au (…)