Mais c'est qu'on dirait que les applications avec Solid existent !
J'attends tes prochains articles !
(je cite ton article)
La coopérative Startin’blox propose une solution open source pour créer des applications Web en assemblant des composants Solid, aussi simplement que l’on peut créer un site Web avec Wordpress.
Une première application basée sur le framework Startin’Blox, Hubl, illustre ses possibilités en matière d’interopérabilité entre organisations. Hubl propose aux collectifs de freelances des modules tels qu’une messagerie instantanée, un job board pour les offres de mission, un annuaire de profils, etc. Chaque collectif peut décider des modules mis en oeuvre et des données qu’il souhaite partager. Il est désormais possible d’interconnecter collectifs et indépendants au sein d’un écosystème, sans qu’une plateforme ne dicte ses règles aux participants ni n’utilise sa position d’intermédiaire incontournable pour extraire une rente économique !
L’Assemblée Virtuelle est un écosystème associatif d’acteurs développant de manière collaborative des communs (outils open source, méthodologies et projets) basés sur le Web sémantique et Solid, au service des acteurs de la transition.
Pour aller au-delà de la syntaxe: la vie d'un développeur Raku est-elle confortable ? Le shell interactif est-il bien interactif ? (entre IPython et Lisp peut-etre ?) Le typage donne-t-il de bonnes informations ? (et si on ne type pas, a-t-on des warnings du compilateur malgré tout ?) Est-ce que déployer une application ou la livrer à un utilisateur est plus plaisant qu'avec Python ? (stabilité de l'écosystème, outils de déploiement… peut-on construire un exécutable ?)
Common Lisp et Racket sont des langages fonctionnels, par défaut au typage dynamique
Common Lisp est un langage multi-paradigme, pas purement fonctionnel donc, compilé et fortement typé, qui permet du typage graduel, tout en utilisant son excellent REPL (devrait-on dire, image-based development). Mais il ne fait pas autant d'inférences de typage que les langages modernes (Haskell et cie). Pour cela des librairies émergent… (https://github.com/stylewarning/coalton/)
À noter que comme on code avec le REPL à côté, on compile notre code fonction par fonction avec un raccourci clavier… c'est terriblement efficace.
Il existe aussi typed-racket.
compilent vers du code assez efficace
Carrément. Les articles de blog qui montrent que Common Lisp peut être autant ou plus efficace que du C affluent (oui oui, on croule dessous :p ). Car Common Lisp permet de déclarer ses types un peu partout, quand on veut. On peut vraiment partir à la chasse à l'optimisation.
[macros] mais non hygiéniques
Je ne suis pas dans ces débats, donc perso je m'en fiche. Pour se protéger, on utilise le système des gensym pour déclarer une nouvelle variable dans une macro, qui aura donc un nom unique, et voilà.
Un peu plus fonctionnel, en particulier la construction extrêmement flexible loop
le gestionnaire de paquets lui-même, bien que fonctionnel, est considéré bêta depuis très très longtemps.
Oui, Quicklisp, comme d'autres librairies, est marqué "beta software" mais il est pleinement fonctionnel. Il n'est marqué beta que parce la communauté Common Lisp joue le jeu de la stabilité à fond. Un programme stable va durer des décennies. Il n'est pas rare qu'un programme écrit dans les année 90 (soit juste après la standardisation ANSI du language) tourne toujours sans modification. Personnellement j'ai vu des warnings de dépréciation rester pendant 16 ans ! Compare cela aux langages d'aujourd'hui, comme Python…
Par ailleurs, Quicklisp est un peu différent des autres gestionnaires de librairies. Il fonctionne en "releases" mensuelles, un peu comme apt. Il garantit que les librairies d'une même release peuvent s'installer ensemble.
Notez que des alternatives avec un autre modèle émergent: Ultralisp, CLPM…
Quel language, numéro 1 dans les années 80, est toujours plus populaire que Haskell, Lua, Kotlin, TypeScript, Nim, Clojure, Elixir ou F#? … Lisp, messieurs dames !
maturité du langage Python dans l’industrie
L'indice veut dire que beaucoup de monde cherche sur google comment faire quoi avec Python.
on peut être condamné si on a une preuve qu'on a lancé des pavés, sans prouver que c'est bien un des pavés qu'on a lancé qui a blessé le CRS
bein non, des gens ont été condamnés parce qu'ils étaient près du groupe qui lançait des pavés, sans preuve.
Pour du grain à moudre:
pour être interdites, les images doivent être diffusées dans le but de porter atteinte à l’« intégrité physique ou psychique » de l’agent. Un garde fou qui ne pèse pas lourd puisqu’ « à partir du moment où une personne diffuse ces images, le procureur a tout loisir de renvoyer devant un tribunal correctionnel en disant “je ne sais pas quelle est l’intention, ce sera au juge de le déterminer” », explique l’avocat Arié Alimi au site Reporterre.
Les principaux syndicats de journalistes sont également farouchement opposés au contenu du projet de loi et dénoncent une attaque inédite contre la liberté d’informer. Des vidéos contenant des images de policiers ont parfois une grande valeur informative : elles avaient par exemple permis de faire la lumière sur plusieurs événements comme l’affaire Benalla, l’affaire Le Gay ou la mort de Cédric Chouviat.
objectif avoué:
La communication ministérielle laisse d’ailleurs peu de doutes sur les objectifs de cette loi. Sur RMC le 2 novembre, Gérald Darmanin exposait clairement ses intentions : « J’avais fait une promesse, celle ne plus pouvoir diffuser les images des policiers et des gendarmes sur les réseaux sociaux. Cette promesse sera tenue puisque la loi prévoira l’interdiction de la diffusion de ces images ». Une promesse qu’il avait effectivement faite le jeudi 10 septembre lors du congrès du syndicat UNSA police où il annonçait vouloir « retenir l’idée d’obliger les télés et les réseaux sociaux à ne pas diffuser les images des visages des policiers, mais de les flouter ». La raison invoquée : « Protéger [ceux] qui nous protègent », renchérissait Marlène Schiappa.
ils dépendent de flux que leur apporte Facebook qui est financé par ?
On dirait que tu dis qu'ils dépendent de la pub publiée sur Facebook. Je trouve qu'ils ont été assez cohérents: propre site, flux RSS, infolettre, publication sur d'autres réseaux sociaux… et il se trouve, classiquement, que la plupart de leurs visites, et donc des gens qui in-fine leurs faisaient un don, venaient de Facebook. Oui, il serait encore plus cohérent pour eux de ne rien publier sur Facebook, évidemment. Mais pour que le journaliste espère pouvoir se payer un petit smic dans 2 ans, il lui faut plus de visites (et plus de dons). C'est dur de blâmer quelqu'un qui se sert de Facebook comme d'un levier professionnel, je trouve. Serait plus à blâmer l'utilisateur lambda. Espérons que cette affaire leur apporte plus de soutien financier de la part des lecteurs… (et que cela déride les yeux de certains)
Exemples non équivalents. Effacer tous tes posts de linuxfr, t'empêcher d'y publier, empêcher de poster en commentaire tout lien vers ton site, alors que tu y avais ta place précédemment, s'apparenterait à un pouvoir de censure.
Bref, ce n'est peut-être pas choquant pour des libristes (ras la casquette de Facebook et des plaintes d'utilisateurs qui sont outré·es par ses pratiques injustifiées, zonqu'à utiliser autre chose), mais l'exemple mérite d'être soulevé, et diffusé. Et qualifié comme censure. AMÀ.
Ce qui est surprenant c'est qu'un tel site utilise justement Facebook pour publier ou promouvoir ses articles.
Bof, qui peut s'étonner de ça ? Ils ont leur propre site pour publier les articles (le contraire eut été étonnant), et touchaient un plus large public avec Facebook.
Merci pour les définitions (modulo le petit commentaire, tu sais j'essaye plus d'avoir du grain à moudre que de te clouer le bec, je ne prends rien stricto sensu), mais qui ne me convainquent pas.
Je dirais tout à fait que la presse catholique censure les caricatures du pape. Ce qui ne surprendra personne. On pourrait imaginer que la presse catholique censure, en ne le publiant pas, tel journaliste qui aurait signé une tribune portant préjudice à l'image du pape, bien qu'il écrive sur tout autre sujet. Là, c'est dérangeant.
Et pourquoi doit-on lier «censure» à «service public» ?
La censure est la limitation arbitraire ou doctrinale de la liberté d'expression de chacun. Elle passe par l'examen du détenteur d'un pouvoir (étatique ou religieux par exemple) sur des publications, des pièces de théâtre, des films ou diverses œuvres d'art,avant d'en permettre la production et la diffusion au public. Par extension, la censure désigne différentes formes d'atteintes à la liberté d'expression et de création, avant et/ou après leur diffusion (censure a priori et a posteriori). La censure politique (limitation par le gouvernement de la liberté d'expression) est différente de la censure indirecte, non officielle, mais sous forme de pression, en particulier une forme de censure économique (due notamment à la concentration des médias, etc.) ; les phénomènes d'autocensure peuvent également être ajoutés.
Mais les blobs binaires dans le noyau linux, qu'utilise Debian ? Trisquel nettoie le noyau Linux des blobs binaires non libres et utilise Linux-libre, il me semble que c'est son but et son intérêt principal.
J'ai récemment découvert Cozy pour le partage de photos (minus la reconnaissance faciale), on a droit à 5Go gratuits. Cozy permet de partager des fichiers, et a d'autres "apps" sympas, par exemple des modules de connexion à son ou ses compte(s) en banque.
Je tends fortement vers Rove (le successeur de Prove, par Fukamachi). J'ai éliminé Parachute récemment en l'essayant. Pour un choix "future proof" je pense qu'on a 5AM (très utilisé par les lispers) VS Rove. Or Rove a quelques fonctionnalités "modernes" par défaut, et c'est bien. Par exemple, possibilité de le lancer facilement depuis la ligne de commande.
Pour info, Mojeek aussi a un crawler indépendant: https://www.mojeek.com/ Il n'est pas libre, je ne sais pas à quel point il est transparent ou respectueux de la vie privée.
on a gadget électronique sur gadget électronique… dénoncer la main mise des géants du net OK, mais là ils sont géants parce qu'on leur lèche les pieds. On a des problèmes d'enfants gâtés quand même.
télémétrie (joli nom pour dire pister).
dans smartphone, smart vient de "intelligence", renseignement en anglais.
Par ailleurs tant qu'on parle de téléphones portables, autant rappeler les multiples autres problèmes qu'ils posent, dans le monde ou dans nos contrées. Tout ceci, pour des trucs très pratiques, mais qui restent gadgets.
[^] # Re: Je pourrais vous parler de Solid pendant longtemps :)
Posté par dzecniv . En réponse au journal Gemini et Solid, deux alternatives au Web (qu'il faut qu'on m'explique). Évalué à 3.
Mais c'est qu'on dirait que les applications avec Solid existent !
J'attends tes prochains articles !
(je cite ton article)
La coopérative Startin’blox propose une solution open source pour créer des applications Web en assemblant des composants Solid, aussi simplement que l’on peut créer un site Web avec Wordpress.
Une première application basée sur le framework Startin’Blox, Hubl, illustre ses possibilités en matière d’interopérabilité entre organisations. Hubl propose aux collectifs de freelances des modules tels qu’une messagerie instantanée, un job board pour les offres de mission, un annuaire de profils, etc. Chaque collectif peut décider des modules mis en oeuvre et des données qu’il souhaite partager. Il est désormais possible d’interconnecter collectifs et indépendants au sein d’un écosystème, sans qu’une plateforme ne dicte ses règles aux participants ni n’utilise sa position d’intermédiaire incontournable pour extraire une rente économique !
https://hubl.world/fr/
L’Assemblée Virtuelle est un écosystème associatif d’acteurs développant de manière collaborative des communs (outils open source, méthodologies et projets) basés sur le Web sémantique et Solid, au service des acteurs de la transition.
https://www.virtual-assembly.org/
# Questions suivantes: shell, types, déploiement… ?
Posté par dzecniv . En réponse à la dépêche Raku en 2020. Évalué à 5.
Salut,
Merci pour toutes ces infos.
Pour aller au-delà de la syntaxe: la vie d'un développeur Raku est-elle confortable ? Le shell interactif est-il bien interactif ? (entre IPython et Lisp peut-etre ?) Le typage donne-t-il de bonnes informations ? (et si on ne type pas, a-t-on des warnings du compilateur malgré tout ?) Est-ce que déployer une application ou la livrer à un utilisateur est plus plaisant qu'avec Python ? (stabilité de l'écosystème, outils de déploiement… peut-on construire un exécutable ?)
# Common Lisp: corrections
Posté par dzecniv . En réponse au journal Retour d'expérience sur les langages de programmation. Évalué à 4.
Salut,
Common Lisp est un langage multi-paradigme, pas purement fonctionnel donc, compilé et fortement typé, qui permet du typage graduel, tout en utilisant son excellent REPL (devrait-on dire, image-based development). Mais il ne fait pas autant d'inférences de typage que les langages modernes (Haskell et cie). Pour cela des librairies émergent… (https://github.com/stylewarning/coalton/)
À noter que comme on code avec le REPL à côté, on compile notre code fonction par fonction avec un raccourci clavier… c'est terriblement efficace.
Il existe aussi typed-racket.
Carrément. Les articles de blog qui montrent que Common Lisp peut être autant ou plus efficace que du C affluent (oui oui, on croule dessous :p ). Car Common Lisp permet de déclarer ses types un peu partout, quand on veut. On peut vraiment partir à la chasse à l'optimisation.
Je ne suis pas dans ces débats, donc perso je m'en fiche. Pour se protéger, on utilise le système des
gensympour déclarer une nouvelle variable dans une macro, qui aura donc un nom unique, et voilà.Je suppose que tu voulais dire "un peu plus impératif" ! Exemples de loop, qu'il faut apprendre par l'exemple: https://lispcookbook.github.io/cl-cookbook/iteration.html
Oui, Quicklisp, comme d'autres librairies, est marqué "beta software" mais il est pleinement fonctionnel. Il n'est marqué beta que parce la communauté Common Lisp joue le jeu de la stabilité à fond. Un programme stable va durer des décennies. Il n'est pas rare qu'un programme écrit dans les année 90 (soit juste après la standardisation ANSI du language) tourne toujours sans modification. Personnellement j'ai vu des warnings de dépréciation rester pendant 16 ans ! Compare cela aux langages d'aujourd'hui, comme Python…
Par ailleurs, Quicklisp est un peu différent des autres gestionnaires de librairies. Il fonctionne en "releases" mensuelles, un peu comme apt. Il garantit que les librairies d'une même release peuvent s'installer ensemble.
Notez que des alternatives avec un autre modèle émergent: Ultralisp, CLPM…
[^] # Re: L'autorité déresponsabilise
Posté par dzecniv . En réponse au journal Notre Santé nous appartient !. Évalué à 3.
Si on pouvait la laisser de côté quand on parle de nous ça serait cool.
[^] # Re: Le classement incroyable d'un language - ou, ce qu'on lit dans l'indice Tiobe
Posté par dzecniv . En réponse à la dépêche Python dépasse Java en popularité selon l’indice TIOBE de novembre. Évalué à 2.
Ça oui. Il n'y a pas de raison pour qu'une DSI veuille ré-écrire un projet Python qui marche en PHP ! (je l'ai vu…)
# Le classement incroyable d'un language - ou, ce qu'on lit dans l'indice Tiobe
Posté par dzecniv . En réponse à la dépêche Python dépasse Java en popularité selon l’indice TIOBE de novembre. Évalué à 6.
Quel language, numéro 1 dans les années 80, est toujours plus populaire que Haskell, Lua, Kotlin, TypeScript, Nim, Clojure, Elixir ou F#? … Lisp, messieurs dames !
L'indice veut dire que beaucoup de monde cherche sur google comment faire quoi avec Python.
[^] # Re: Mauvais exemple, je pense
Posté par dzecniv . En réponse au journal Projet de loi "Sécurité Globale". Évalué à 3.
Un professeur de droit qui pense que non: https://www.lemediatv.fr/emissions/2020/alerte-la-loi-de-securite-globale-est-une-grave-atteinte-a-letat-de-droit-KwL5xNjRQU-5QdLVwZykaw petit cours de droit. Du grain à moudre.
Autre exemple: l'affaire Geneviève Le Gay, l'affaire du Burger King.
[^] # Re: Histoire de savoir de quoi on parle vraiment...
Posté par dzecniv . En réponse au journal Projet de loi "Sécurité Globale". Évalué à 3.
je ne peux pas répondre sur tout, mais sur ceci:
bein non, des gens ont été condamnés parce qu'ils étaient près du groupe qui lançait des pavés, sans preuve.
Pour du grain à moudre:
https://rapportsdeforce.fr/pouvoir-et-contre-pouvoir/violences-policieres-ces-images-que-lon-ne-verra-plus-11048442
https://reporterre.net/Interdiction-de-diffuser-des-images-de-policiers-drones-reconnaissance-faciale-ce-que
objectif avoué:
[^] # Re: Histoire de savoir de quoi on parle vraiment...
Posté par dzecniv . En réponse au journal Projet de loi "Sécurité Globale". Évalué à 2.
La justice ne condamne pas toujours avec des preuves…………… (notamment dans le cas de procédures rapides lors de mouvements sociaux)
[^] # Re: Censure?
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 2.
Ah ?
ce n'est pas du tout équivalent à ce qu'il s'est passé sur Facebook.
[^] # Re: Tensions
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 1.
Assez d'accord, néanmoins
On dirait que tu dis qu'ils dépendent de la pub publiée sur Facebook. Je trouve qu'ils ont été assez cohérents: propre site, flux RSS, infolettre, publication sur d'autres réseaux sociaux… et il se trouve, classiquement, que la plupart de leurs visites, et donc des gens qui in-fine leurs faisaient un don, venaient de Facebook. Oui, il serait encore plus cohérent pour eux de ne rien publier sur Facebook, évidemment. Mais pour que le journaliste espère pouvoir se payer un petit smic dans 2 ans, il lui faut plus de visites (et plus de dons). C'est dur de blâmer quelqu'un qui se sert de Facebook comme d'un levier professionnel, je trouve. Serait plus à blâmer l'utilisateur lambda. Espérons que cette affaire leur apporte plus de soutien financier de la part des lecteurs… (et que cela déride les yeux de certains)
[^] # Re: Censure?
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 0.
Exemples non équivalents. Effacer tous tes posts de linuxfr, t'empêcher d'y publier, empêcher de poster en commentaire tout lien vers ton site, alors que tu y avais ta place précédemment, s'apparenterait à un pouvoir de censure.
[^] # Re: Censure?
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 1.
D'après Robert:
synonymes: désapprobation, réprobation
Me semble adapté.
Bref, ce n'est peut-être pas choquant pour des libristes (ras la casquette de Facebook et des plaintes d'utilisateurs qui sont outré·es par ses pratiques injustifiées, zonqu'à utiliser autre chose), mais l'exemple mérite d'être soulevé, et diffusé. Et qualifié comme censure. AMÀ.
[^] # Re: Censure?
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 2.
Bof, qui peut s'étonner de ça ? Ils ont leur propre site pour publier les articles (le contraire eut été étonnant), et touchaient un plus large public avec Facebook.
Merci pour les définitions (modulo le petit commentaire, tu sais j'essaye plus d'avoir du grain à moudre que de te clouer le bec, je ne prends rien stricto sensu), mais qui ne me convainquent pas.
Je dirais tout à fait que la presse catholique censure les caricatures du pape. Ce qui ne surprendra personne. On pourrait imaginer que la presse catholique censure, en ne le publiant pas, tel journaliste qui aurait signé une tribune portant préjudice à l'image du pape, bien qu'il écrive sur tout autre sujet. Là, c'est dérangeant.
[^] # Re: Censure?
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 4.
Et pourquoi doit-on lier «censure» à «service public» ?
https://fr.wikipedia.org/wiki/Censure
Par contre bien sûr, on ne devrait pas être surpris.
[^] # Re: Rapport de force
Posté par dzecniv . En réponse au lien Nouveau cas de censure de Facebook: le journal en ligne Rapport de forces en est totalement évincé. Évalué à 2.
Pour rappel, ils ont leur site (cf le lien), mais la grande majorité de leurs visites vient de facebook.
[^] # Re: opinion
Posté par dzecniv . En réponse à la dépêche La distribution GNU/Linux Trisquel 9.0 « Etiona » est là !. Évalué à 4.
Mais les blobs binaires dans le noyau linux, qu'utilise Debian ? Trisquel nettoie le noyau Linux des blobs binaires non libres et utilise Linux-libre, il me semble que c'est son but et son intérêt principal.
[^] # Re: Je cherche toujours le Google Photo libre
Posté par dzecniv . En réponse à la dépêche Alternatives pour un réseau social familial. Évalué à 2.
J'ai récemment découvert Cozy pour le partage de photos (minus la reconnaissance faciale), on a droit à 5Go gratuits. Cozy permet de partager des fichiers, et a d'autres "apps" sympas, par exemple des modules de connexion à son ou ses compte(s) en banque.
[^] # Re: Rashell
Posté par dzecniv . En réponse au journal Rashell – Une bibliothèque pour remplacer les scripts shells par du Lisp. Évalué à 3.
pour ça, voir shcl https://github.com/bradleyjensen/shcl (un shell posix & Lisp mélangés), ou clesh (https://github.com/Neronus/clesh/), une interface encore plus mince entre lisp et le shell.
[^] # Re: Qui choisit ?
Posté par dzecniv . En réponse au journal La trumpmania des journaux français. Évalué à 6.
Salut, par exemple celui-là: https://portail.bastamag.net/
# Un mec en titre pour parler d'une femme :S
Posté par dzecniv . En réponse au journal Quand Gainsbourre se barre. Évalué à 10.
On envoie aussi nos donations à Gainsbourg ? :p
[^] # Re: + de doc sur CL
Posté par dzecniv . En réponse au journal Kaputt – une bibliothèque pour tester ses programmes Common Lisp. Évalué à 2.
Mais de rien :)
Je tends fortement vers Rove (le successeur de Prove, par Fukamachi). J'ai éliminé Parachute récemment en l'essayant. Pour un choix "future proof" je pense qu'on a 5AM (très utilisé par les lispers) VS Rove. Or Rove a quelques fonctionnalités "modernes" par défaut, et c'est bien. Par exemple, possibilité de le lancer facilement depuis la ligne de commande.
# + de doc sur CL
Posté par dzecniv . En réponse au journal Kaputt – une bibliothèque pour tester ses programmes Common Lisp. Évalué à 4.
Salut,
Belle petite librairie !
Un peu plus de doc pour les curieux et curieuses:
# Mojeek
Posté par dzecniv . En réponse au journal Cliqz, un moteur de recherche libéré ?. Évalué à 4. Dernière modification le 16 août 2020 à 12:03.
Pour info, Mojeek aussi a un crawler indépendant: https://www.mojeek.com/ Il n'est pas libre, je ne sais pas à quel point il est transparent ou respectueux de la vie privée.
[^] # Re: Low tech
Posté par dzecniv . En réponse au journal Nous avons un super‑pouvoir pour faire déguerpir les automobilistes 📱 => ⛔ 🚗. Évalué à 0.
+1…
je lis même:
on a gadget électronique sur gadget électronique… dénoncer la main mise des géants du net OK, mais là ils sont géants parce qu'on leur lèche les pieds. On a des problèmes d'enfants gâtés quand même.
dans smartphone, smart vient de "intelligence", renseignement en anglais.
Par ailleurs tant qu'on parle de téléphones portables, autant rappeler les multiples autres problèmes qu'ils posent, dans le monde ou dans nos contrées. Tout ceci, pour des trucs très pratiques, mais qui restent gadgets.
http://www.piecesetmaindoeuvre.com/spip.php?page=resume&id_article=7 (ne pas s'arrêter sur le ton un peu pédant. On apprend plein de trucs et c'est bien sourcé.)