Oui, pas de synchro avec le site de kobo si tu n'as pas paramétré/activé ton compte sur la liseuse. Après on peut configurer aussi d'autres comptes même si la liste est limité. (je crois avoir vu qu'il y a Pocket mais toujours pas de Wallabag.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Je confirme, les données de statistique (temps de lecture), appréciation (notation et commentaires), rangement (collections/étagères), etc, sont enregistrées localement puis synchronisées avec le compte en ligne périodiquement.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
La version DOS de VC est pour x86 16 bits. http://www.bricklin.com/history/vcexecutable.htm
Ça ne tourne plus sous les fenêtres actuelles de petit mou mais je me souviens l'avoir fait tourner sous Linux mais me rappelle plus dans quelles conditions exactes.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
C'est assez tendance depuis deux ans, en tout cas sur linkedin où tous ceux que j'ai vu passer avaient cette gueule (que je trouve perso bof bien qu'assez adapté aux gens qui sortent d'école.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Je passe mon temps aussi à faire des export CSV/TSV et me rend compte que c'est hyper mal fait avec un certain logiciel que je ne veux pas nommer. Je suis actuellement très malheureux car je suis dans une mission avec un poste W sans VM et c'est fastidieux (et que de temps perdu avec ces cliquodromes où une opération qu'on fait en dix secondes en CLI te prend ici trois à quatre minutes au moins) Je suis au bord de la dépression, je ne comprends pas le masochisme ambiant.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
À vrai dire, je n'ai pas encore essayé la nouvelle réécriture (im avec intégration GNUPlot, ce qui était une de mes requêtes à une époque) qui en plus est encore bien active (dernier commit il y a quatre mois) ; mais c'est bien ce type d'application. Aussi simple à utiliser que Lotus-1-2-3 ou VisiCalc avec en prime le vi keybinding. Pour ne rien gâcher, un format de donner purement textuel et scriptable.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Pas loin, mais pas encore assez proche de la cinquantaine. (:
Lotus 1-2-3 est le premier tableur que j'ai connu, sous MS/PC DOS… Et avec le recul, je trouve ça quand plus simple que ce qui se fait maintenant (j'ai du mal à m'y retrouver dans tous les boutons et menus) …sauf sc que j'utilise encore souvent.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
trouver des erreurs sans des binaires sans avoir les sources.
Ce qui est assez fort en vrai ! ;-)
Mais plus sérieusement, c'est une force de ces outils : on peut les utiliser dans rien changer au build (genre en tant qu'enseignant, juste ajouter valgrind devant la ligne de commande d'exécution sans avoir à subir les atrocités que l'étudiant a écrit dans son Makefile…).
La compensation est assez forte aussi ;-)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Pousse pas trop, c'est la botte qui a donner ce verbe dont la traduction en français est « amorcer » …parce-que c'est ce que faisaient ces programmes à l'instar des chausse-pieds pour les bottines.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
Je ne vois toujours pas en quoi ils n'ont pas de type au sens IT du terme.
Il n'existe pas d'opération typeof qui retourne le type de l'objet, car il existe une infinité de collection distincte qui contiennent cet objet.
Je crois que ce que kantien tente de te dire, c'est qu'en restant sur l'aspect purement mathématique (vu que le sujet t'intéresse), ce que tu appelles « collection » forme un type ou « ensemble de valeurs »
L'opposition « type au sens IT » ne fait pas sens pour tout le monde… parce-que d'une part IT est un peu vague et surtout d'autre part ne recouvre pas les expériences de tout le monde. Or kantien a une autre expérience des langages (à la lecture il ne fait pas que du OCaml mais aussi fort vraisemblablement des langages de preuve et de spécification formelle ?) bien différente de la tienne.
Un type c'est un ensemble de valeurs (comme N, Q ou R)
Ce qui n'est pas le cas dans la plupart des langages de programmation, en C, en C++, en Python, en Java, etc… le type est une propriété intrinsèque de la-dite valeur.
Voilà, le type en C n'est pas le type en OCaml ni le type en Prolog ni le type en Lisp ni…
Pour des langages comme C/C++/Python/Java la notion de type est plutôt loin de la définition mathématique des ensembles (malgré le parallèle en surface) car ce qui est appelé type est plutôt pour la représentation en mémoire… Un langage pour lequel on doit se préoccuper de savoir comment on interprète chaque octet (int/byte/float/char/whatever) a un typeof alors que d'autres langages s'en foutent (ou du moins c'est transparent pour les usagers.)
Dans ton exemple, OCaml croit que l'on ne peut pas additionner des nombres pairs, ce qui est complètement faux.
C'est juste que l'exemple choisi fait lever une alerte (ce n'est pas une erreur ou une impossibilité) sur une ambiguïté : doit-on considère qu'on reste en nombres pairs (et donc si pour une raison quelconque on se retrouve avec des trucs impaires ça passe pas) ou doit-on juste voir que ce sont des entiers après tout (et donc il n'y a pas de problème si on se retrouve avec des impaires.) Ce genre de comportement n'est pas lié aux typeof stricto-sensus mais au fait que ces langages se veulent un peu contraint (c'est le cas aussi en Ada, parce-que tu peux avoir défini un ensemble comme des pointures de chaussure et l'autre comme des nombres de paire de chaussures, donc on peut additionner mais le compilo craint d'additionner des choux et des carottes là où justement C n'y aurait vu que du feu.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: un contournement
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Ecouter trafic . Évalué à 3.
Faut voir ce que tu as comme routeur wifi (et donc ce qu'on peut installer dessus pour voir les journaux de ta MACa une fois la liseuse appareillée)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: un contournement
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Ecouter trafic . Évalué à 3.
Oui, pas de synchro avec le site de kobo si tu n'as pas paramétré/activé ton compte sur la liseuse. Après on peut configurer aussi d'autres comptes même si la liste est limité. (je crois avoir vu qu'il y a Pocket mais toujours pas de Wallabag.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: un contournement
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Ecouter trafic . Évalué à 2.
Je confirme, les données de statistique (temps de lecture), appréciation (notation et commentaires), rangement (collections/étagères), etc, sont enregistrées localement puis synchronisées avec le compte en ligne périodiquement.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Un début de collection…
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 2.
La version DOS de VC est pour x86 16 bits. http://www.bricklin.com/history/vcexecutable.htm
Ça ne tourne plus sous les fenêtres actuelles de petit mou mais je me souviens l'avoir fait tourner sous Linux mais me rappelle plus dans quelles conditions exactes.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Liens hors sujet
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse à la dépêche À propos des liens sur le site LinuxFr.org. Évalué à 3.
…genre la tribune ?
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: merci pour l'article
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Btrfs : révolution ou catastrophe ? Où en est-on aujourd'hui ?. Évalué à 3.
Il y a révolution et catastrophe dans le titre :o
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Présentation
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Hey, les quadra, vous êtes obsolètes. Évalué à 3.
C'est assez tendance depuis deux ans, en tout cas sur linkedin où tous ceux que j'ai vu passer avaient cette gueule (que je trouve perso bof bien qu'assez adapté aux gens qui sortent d'école.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: facile
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message [IHM] pour pass + gpg. Évalué à 2.
Me m'a rappelé un journal et une discussion qui s'en est suivie ; et un autre journal qui critique pass
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Quid des autres tendances ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Nom de domaine en .gay, l’extension engagée. Évalué à 3. Dernière modification le 24 mai 2022 à 17:35.
c'est pas .tryste
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Le retour de happydns :-)
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse à la dépêche happyDomain - On devrait tous avoir un nom de domaine. Évalué à 2.
Me disais bien que ça me rappelait quelque chose ici même
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Premiers souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 3.
Je passe mon temps aussi à faire des export CSV/TSV et me rend compte que c'est hyper mal fait avec un certain logiciel que je ne veux pas nommer. Je suis actuellement très malheureux car je suis dans une mission avec un poste W sans VM et c'est fastidieux (et que de temps perdu avec ces cliquodromes où une opération qu'on fait en dix secondes en CLI te prend ici trois à quatre minutes au moins) Je suis au bord de la dépression, je ne comprends pas le masochisme ambiant.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Premiers souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 2.
À vrai dire, je n'ai pas encore essayé la nouvelle réécriture (im avec intégration GNUPlot, ce qui était une de mes requêtes à une époque) qui en plus est encore bien active (dernier commit il y a quatre mois) ; mais c'est bien ce type d'application. Aussi simple à utiliser que Lotus-1-2-3 ou VisiCalc avec en prime le vi keybinding. Pour ne rien gâcher, un format de donner purement textuel et scriptable.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: militants "écologistes" = méfiance
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Les vidéos de Devoxx fr sont disponibles. Évalué à 2.
Il ou elle ou quoi fait juste du FUD et tente d'imposer son ressenti.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Premiers souvenirs
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien Le tableur Lotus 1-2-3 fonctionne sous Linux 30 ans après sa sortie. Évalué à 3.
Pas loin, mais pas encore assez proche de la cinquantaine. (:
Lotus 1-2-3 est le premier tableur que j'ai connu, sous MS/PC DOS… Et avec le recul, je trouve ça quand plus simple que ce qui se fait maintenant (j'ai du mal à m'y retrouver dans tous les boutons et menus) …sauf
sc
que j'utilise encore souvent.“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: intéressant
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal Comparatif d'outils d'analyse mémoire. Évalué à 2.
La compensation est assez forte aussi ;-)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
# étiquette vaccination ???
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien rest in peace David Ward. Évalué à 2.
Je n'ai vu mentionner nulle part quelque lien avec quelque vaccin. Vraiment bizarre.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Pourquoi parler de sa "net worth"?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien rest in peace David Ward. Évalué à 2.
Pas faux. Ils/Elles ont voulu trop en mettre là où d'autres ont fait très court.
https://www.nintendolife.com/news/2022/05/david-ward-co-founder-of-uk-game-developer-ocean-software-has-passed-away
Je n'avais pas vu passer ShackNews sinon c'est ce lien que j'aurais proposé.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Personne n'est à l'abri
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au lien A growing club of broken-by-design package managers. Évalué à 2. Dernière modification le 14 mai 2022 à 04:27.
ou juste les domaines
example.(com|net|org)
?“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Quel less ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message less demande un suffixe pour lire utf8... et le lit correctement sans!? [en fait, c'est lesspipe.sh]. Évalué à 3.
Arf, semble que plus personne ne l'a utilisé depuis qu'on ne fait plus de latinX
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Le Quebec doit renverser l'académie française !
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 5.
Pousse pas trop, c'est la botte qui a donner ce verbe dont la traduction en français est « amorcer » …parce-que c'est ce que faisaient ces programmes à l'instar des chausse-pieds pour les bottines.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Quel less ?
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message less demande un suffixe pour lire utf8... et le lit correctement sans!? [en fait, c'est lesspipe.sh]. Évalué à 3.
Faut voir ce qui est mis dans
$lclocale
et$fchar
avant ce test. Et aussi vérifier si tu asiconv
qui est installé.“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: refuser
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au message Recours contre le prélevement systématique d'empreinte génétique/digitales sur simple plainte. Évalué à 4.
Ça ressemble fortement à de la présomption de culpabilité non ?
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: théorie des ensembles pas naives
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au journal [Letlang] Et si on rédigeait la spec ?. Évalué à 7.
Je crois que ce que kantien tente de te dire, c'est qu'en restant sur l'aspect purement mathématique (vu que le sujet t'intéresse), ce que tu appelles « collection » forme un type ou « ensemble de valeurs »
L'opposition « type au sens IT » ne fait pas sens pour tout le monde… parce-que d'une part IT est un peu vague et surtout d'autre part ne recouvre pas les expériences de tout le monde. Or kantien a une autre expérience des langages (à la lecture il ne fait pas que du OCaml mais aussi fort vraisemblablement des langages de preuve et de spécification formelle ?) bien différente de la tienne.
Voilà, le type en C n'est pas le type en OCaml ni le type en Prolog ni le type en Lisp ni…
Pour des langages comme C/C++/Python/Java la notion de type est plutôt loin de la définition mathématique des ensembles (malgré le parallèle en surface) car ce qui est appelé type est plutôt pour la représentation en mémoire… Un langage pour lequel on doit se préoccuper de savoir comment on interprète chaque octet (int/byte/float/char/whatever) a un
typeof
alors que d'autres langages s'en foutent (ou du moins c'est transparent pour les usagers.)C'est juste que l'exemple choisi fait lever une alerte (ce n'est pas une erreur ou une impossibilité) sur une ambiguïté : doit-on considère qu'on reste en nombres pairs (et donc si pour une raison quelconque on se retrouve avec des trucs impaires ça passe pas) ou doit-on juste voir que ce sont des entiers après tout (et donc il n'y a pas de problème si on se retrouve avec des impaires.) Ce genre de comportement n'est pas lié aux typeof stricto-sensus mais au fait que ces langages se veulent un peu contraint (c'est le cas aussi en Ada, parce-que tu peux avoir défini un ensemble comme des pointures de chaussure et l'autre comme des nombres de paire de chaussures, donc on peut additionner mais le compilo craint d'additionner des choux et des carottes là où justement C n'y aurait vu que du feu.)
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Ordiphone
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 4. Dernière modification le 10 mai 2022 à 06:28.
On avait inventé le mot phablette pour ça ; mais c'est vrai qu'aujourd'hui la limite est de plus en plus ténue.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume
[^] # Re: Les métiers du doigt
Posté par Gil Cot ✔ (site web personnel, Mastodon) . En réponse au sondage Quel terme québecois mériterait le plus d'être généralisé en francophonie ?. Évalué à 3.
Pourtant les académiques ont tout d'un difficile DOS sous des habits étincelants de Fenêtre.
Sinon les sa-U existent.
“It is seldom that liberty of any kind is lost all at once.” ― David Hume