Journal Portage de TapTempo en C à la Unix-like

Posté par  . Licence CC By‑SA.
Étiquettes :
17
10
mar.
2018

Salut Nal,

Il manquait une version C à la tradition Unix, c'est maintenant fait !

Du coup, pour préserver l'esprit, options courtes uniquement et pas de version, mais pour le reste, c'est assez complet avec contrôle des bornes pour les paramètres. Il ne manque que la page de manuel, ce sera pour une autre fois :)

#include <err.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/time.h>
#include <unistd.h>

#define NSAMPLES 5
#define MAX_NSAMPLES 20
#define RESET_TIME 5
#define PRECISION 0

extern  char
(…)

Journal frundis : philosophie, motivations et nouveautés

Posté par  . Licence CC By‑SA.
Étiquettes :
16
7
fév.
2015

Cher journal,

Il n'y a pas très longtemps, je présentais un nouveau projet de langage de balisage appelé frundis, permettant d'exporter des documents vers html, EPUB ou LaTeX. Depuis, le langage a connu un grand nombre d'évolutions. Un résumé des changements est donné à la fin dans la section « Changements ». Le reste du journal discute les motivations et la philosophie derrière ce langage, tout en fournissant quelques illustrations.

Philosophie et motivations

Beaucoup de langages, souvent orientés documentation (comme texinfo (…)

Journal Chercher des répertoires bookmark avec un fuzzy finder

Posté par  . Licence CC By‑SA.
Étiquettes : aucune
7
4
fév.
2017

Bonjour Nal,

connais-tu fzf ? C'est un outil en ligne de commande qui permet de sélectionner rapidement une ligne dans un fichier : on tape juste quelques caractères et une heuristique associe un score à chaque ligne, nous présentant en premier la ligne faisant le meilleur score. Il y a d'autres outils semblables (fzy, pick, etc.), et il y a souvent des versions intégrées dans les éditeurs de textes comme vim ou emacs pour chercher des fichiers, buffers (…)

Journal La cuisine du débat : recettes et récréation

Posté par  . Licence CC By‑SA.
Étiquettes :
7
16
août
2020

Communiquer et débattre, c'est un passe-temps sympa. C'est l'occasion de partager des idées, de découvrir celles des autres, de tester les siennes et de les faire évoluer. Mais c'est pas toujours facile ! Ni à l'oral, ni à l'écrit.

Pour essayer d'améliorer ma façon de communiquer dans les débats complexes et polémiques, en particulier à l'écrit, je me suis mis à faire une courte recette de trucs pour me guider. C'est pas facile, donc je me demande ce que vous (…)