Journal Pour finir ou commencer l'année : une interview de Donald Knuth

Posté par  . Licence CC By‑SA.
Étiquettes :
15
31
déc.
2020

On n'interviewe pas facilement Donald Knuth. Non qu'il soit revêche, c'est un bonhomme très drôle. Mais il n'a plus de courriel, il faut écrire une lettre. Tous les samedis, la secrétaire de Donald entre dans la boite aux lettres et s'installe pour trier le courrier (l'université a fait construire une boite aux lettres géante, cubique, en porphyre noir, dont les côtés font 2,718 mètres, et d'ailleurs en hommage à Knuth la poste américaine livre le courrier en gants blancs et (…)

Journal Kaputt – une bibliothèque pour tester ses programmes Common Lisp

Posté par  . Licence CC By‑SA.
Étiquettes :
13
12
sept.
2020

Kaputt est une bibliothèque pour écrire les tests de programmes Common Lisp. Ses principales caractéristiques sont les suivantes:

  • Kaputt est simple, et ne définit que trois abstractions: les assertions les testcases et les protocols, en outre il n'ajoute aucun artefact dans les backtraces.

  • Kaputt est extensible, il est facile de définir des assertions spécifiques au problème résolu par le programme ce qui mène à des expressifs et informatifs.

  • Kaputt est taillé pour le développement interactif (Lisp oblige).

WWW: https://github.com/michipili/cl-kaputt

(…)

Journal Exercices de programmation et benchmarks

Posté par  . Licence CC By‑SA.
Étiquettes :
48
11
fév.
2020

Bonjour 'nal,

Un petit exercice d'algorithmique m'a récemment poussé à regarder en détail l'impact de différentes approches sur les performances et à remettre en question des connaissances que je croyais solides. Laisse-moi te raconter ce voyage.

Pour être en bonne santé, exercez-vous régulièrement

J'aime bien pratiquer des exercices de programmation sur des sites tels que CodinGame ou CodeSignal. Si tu ne connais pas, ces sites proposent un petit IDE en ligne et divers problèmes d'algorithmiques avec jeux de tests associés (…)

TeX et traitement de données par flot e01 : lire du TeX

Posté par  . Édité par ZeroHeure et Benoît Sibaud. Modéré par ZeroHeure. Licence CC By‑SA.
66
10
nov.
2015
Technologie

Depuis quelques temps je travaille de manière sporadique sur une bibliothèque pour manipuler des documents TeX en Scala nommée ToolXiT.
Cette bibliothèque est loin d'être finie et bouge encore beaucoup, mais elle me permet aussi de faire des essais.
Ce faisant, j'ai pu faire face à quelques défis intéressants, qui méritent au moins une série de dépêches sur LinuxFr.org, que ce soit sur TeX lui même ou le traitement par flot de données.

Je vais essayer de faire une série aussi intéressante que celle de rewind sur la création de jeu vidéo, nous verrons bien comment elle évoluera.

Prêts ? Allons y !

Journal Conférence d'Andrew S. Tanenbaum

Posté par  . Licence CC By‑SA.
20
27
oct.
2014

Andrew S. Tanenbaum, créateur de Minix, un OS à micro-noyau qui a été une des sources d'inspiration de Linux, viendra parler de Minix 3 mardi 28 Octobre 2014 à Jussieu à 18h dans l'amphi 24.

La conférence a lieu dans le cadre du colloquium d'informatique de l'UPMC, série de conférences auxquelles ont déjà participé, entre autres sommités de l'informatique, Donald Knuth, Leslie Lamport, Robert Sedgewick, ou Tony Hoare.

Vous aurez l'occasion de demander à Tanenbaum si Linux est (…)

Journal Sortie de Blueprint v0.1

23
16
sept.
2014

J'ai le plaisir de vous annoncer la sortie Blueprint v0.1, une bibliothèque METAPOST pour produire des graphiques utiles aux project managers et system desginers. Voilà une liste (exhaustive) de figures pouvant être produites avec la bibliothèque:

Exemple de timeline graphic

Exemple de schedule graphic

Example de UML component diagram

Example de graphique avec des légendes

Ce dernier graphique utilise La bibliothèque graph de METAFONT QUI permet de faire de zolis dessins, j'ai ajouté des légendes. Cela permet par exemple (…)

Groff cherche un nouveau chef de projet

Posté par  (site Web personnel) . Édité par Ontologia, Nÿco, Benoît Sibaud et Xavier Claude. Modéré par Florent Zara. Licence CC By‑SA.
26
17
nov.
2013
GNU

Groff est l'implémentation GNU du logiciel de formatage de texte Troff. Il est majoritairement utilisé aujourd'hui pour mettre en forme les pages de manuels, mais il réunit toujours autour de lui une communauté d'utilisateurs convaincus.

Depuis longtemps déjà, Werner Lemberg, le mainteneur principal du projet ne pouvait plus y consacrer beaucoup de temps. Il a officiellement fait appel ce week-end à un nouveau chef de projet pour Groff. La suite de la dépêche détaille le contexte de cet appel à candidature.

À la recherche des sources de Troff

89
7
août
2012
Doc

Troff est le logiciel de formatage de texte des Unix originaux. Il est toujours présent sur nos machines en sa version GNU (Groff) même s'il ne sert généralement qu'à afficher nos pages de manuel.

Eric Raymond n'hésite pas à dire que Troff est « l'application originale Unix qui tue tout » (Unix's original killer application, cf. The Art of Unix Programming), non seulement parce qu'il s'associe à différents interpréteurs et tire le meilleur profit des tubes et de la philosophie Unix, mais aussi parce que l'efficacité du logiciel a favorisé l'adoption d'Unix par le département des brevets de Bell labs, et ensuite au-delà.

S'il était largement utilisé dans les années 80, Troff est aujourd'hui tombé dans l'oubli, et semble peu à peu disparaître de l'Internet. Pourtant, en cherchant bien, on retrouve de nombreuses traces de la vivacité passée de Troff.

Ces traces sont exhumées en seconde partie de la dépêche.

Journal Petite^W Longue critique du livre Code Complete

Posté par  (site Web personnel) .
25
4
août
2011

Sommaire

J'aime bien suivre l'actualité générale autour du Libre (comprendre : lire DLFP), suivre quelques blogs, etc. Mais j'aime bien aussi lire des livres traitant d'informatique. Et le dernier en date, c'est justement Code Complete, de Steve McConnell (2e édition).

[/!\ § d'accroche] En bref (…)

Journal Nouvelle version stable de FVWM

36
16
avr.
2011

FVWM¹ est un ancêtre parmi les gestionnaires de fenêtre. Lui-même héritier de twm, il a servi de base à WindowMaker, AfterStep, Enlightenment, au WM de XFCE...

Parmi ses forces, on notera une très grande configurabilité, même si certains font des mélanges de couleurs pas très heureux. Dans sa configuration par défaut, FVWM a un look un peu rétro, mais on peut en faire quelque chose de bien plus minimal et moderne. On peut transformer FVWM en (…)

Groff sort en version 1.21

Posté par  (site Web personnel) . Modéré par patrick_g.
37
17
jan.
2011
GNU
C'est le 31 décembre 2010 que Werner Lemberg, le principal mainteneur de groff, a annoncé la sortie de la version 1.21, soit près de deux ans après la sortie de la précédente version.

Pour rappel, groff est l'implémentation GNU de l'ancestral logiciel roff, interpréteur du langage de formatage de texte du même nom. Groff est généralement utilisé sur nos machines pour afficher nos pages de manuel, mais, outre la sortie en ASCII, latin1 ou UTF-8, groff peut aussi créer des fichiers HTML, xhtml, dvi, PS, ainsi que des fichiers aux formats spécifiques à certaines imprimantes.

Voici quelques-unes des améliorations apportées par cette nouvelle version:
  • Correction d'une petite faute dans tmac/hyphen.fr qui rendait impossible la césure des lignes des textes français ;
  • Ajout d'une nouvelle catégorie d'alarme nommée file pour indiquer l'absence d'un fichier appelé par mso ;
  • Amélioration du support des langues asiatiques et en particulier du japonais. C'est d'ailleurs cette amélioration importante qui a motivé Werner Lemberg à publier cette nouvelle version de groff ;
  • Création d'une nouvelle catégorie de piège (trap) actionnable lorsqu'une ligne commence par un espace, sous réserve que soit définie la macro lsm. Le saut de ligne qui advient normalement dans ce cas n'a alors pas lieu.

En seconde partie de dépêche est proposée une plus large présentation de groff et de son histoire.

Journal Le successeur de TeX

Posté par  .
Étiquettes :
18
1
juil.
2010
Hier, Donald Knuth a enfin révélé le contenu de son fameux "Earthshaking Announcement" [1] à l'occasion du 32e anniversaire de Tex: iTex sera le successeur de Tex.
En attendant d'avoir la vidéo de la conférence, on peut déjà avoir un avant-goût du brillant futur de iTeX sur twitter. [2]
Parmi les principales nouveautés

- Correction des défauts de tex78
- utilisation d'XML
- précision arbitrairement petite ou grande pour les unités
- nombres irrationnels
- autolayout
- pas de séquence (…)