Il y a quelques années, j'utilisais intensivement un petit outil que je trouvais merveilleux: latex-to-unicode. Pour faire simple, c'était un outil minimaliste, qui lançait une petite fenêtre, on lui tapait un peu de maths en LaTeX (par exemple \forall\alpha, \exists\beta, 2\beta=\alpha, et on obtenait ∀α, ∃β, 2β=α dans le presse papier. Bref, un petit outil bien pratique pour mettre un peu d'unicode, sans se rappeller de toutes les tables (il faut être inhumain pour cela).

Sauf qu'il se (…)

Bonjour à tous,

Je prépare un cours sur Unicode. Je souhaitais pouvoir présenter une vue d'ensemble. J'ai ainsi commencé la réalisation d’un tableau reprenant les différents blocs de caractères…

(cf. également https://unicode-table.com/fr/ )

C’est vraiment pas facile… Il y a déjà tellement de blocs que j’ai opté pour un format A3, et c’est tout petit :/

→ document de travail au format OpenDocument
→ export PDF

Qu’en pensez-vous ?

Il y a bien entendu la question des polices de caractères. Il (…)

Bonjour Nal<

Quelques mots rapides pour prévenir d'une faiblesse dans les navigateurs Firefox et Chrome pour leurs versions actuelles (respectivement 52 et 57.) : il s'agit d'un problème avec l'usage de l'unicode dans l'enregistrement de domaines permettant de faire passer ceux-ci pour d'autres domaines. Firefox et Chrome n'y voient que du feu.

Concrètement : on clique sur un lien malicieux (qui lui même présente un nom légitime lors du passage de la souris en survol) qui nous amène vers un (…)

(TL;DR: j’ai écrit un logiciel libre pour Windows pour avoir une touche Compose et qui est franchement bien foutu, essayez-le)

J’utilise Linux depuis 20 ans, mais mon travail m’amène à souvent utiliser Windows. La pauvreté de l’offre en matière de configuration du bureau (window manager et mécanismes d’input) est une source de frustration infinie et un frein certain à ma productivité par rapport à mon utilisation d’Unix, et je ne pense pas être le seul.

(…)

Les fichiers textes encodés avec des codecs exotiques, c'est toujours énervant. Il existe des tonnes et des tonnes normes d'encodage de caractères différentes, parfois partiellement compatibles entre elles, qui font qu'ouvrir un fichier texte est parfois une galère.

Personnellement, j'ai souvent le problème avec des sous-titres de films en français où en russes, qui ne sont jamais dans le même encodage de caractère, et dont il faut à chaque fois deviner l'encodage, avant de le convertir.

Pour résoudre ce problème (…)