Rogner l’été à une époque ou on a des 30 degrés plus l’après midi facile dés juin en métropole, ça promet des après midi productives dans les écoles. C’est pas demain qu’on va les climatiser.
Le bit est incompressible, mais on ne compresse jamais un bit, mais une séquence de bits.
La compression de données ou codage de source est l'opération informatique consistant à transformer une suite de bits A en une suite de bits B plus courte pouvant restituer les mêmes informations
(wp, je sais pas d’ou vient le terme "codage de source")
Par analogie avec la compression de gaz, on garde bien toutes les molécules de gaz mais dans un espace plus étroit.
On en a parlé il y a quelques temps et il semble quand même que le domaine ait fait en partie son autocritique un mémoire sur le sujet et qu’il y ait de plus en plus de "making of" au point que les critiques trouvent ça ennuyeux. Alors je sais pas si l’éthique est complètement parfaite mais il semble qu’il y ait du mieux de nos jours.
Une certaine dose de scénarisation est quand même absolument essentiel, l’observation de la nature c’est énormément de patience et tu fais pas patienter un téléspectateur devant une télé sans qu’il ne s’endorme très longtemps.
Si il s’agit de s’en tenir à la légalité ou à l’état, on va au devant de quelques surprises, comme le fait que en Californie les abeilles sont des poissons : California Endangered Species Act
En admettant tes arguments : si la FSF bouge et produit de nouvelles versions de la GPL … c’est toujours le détenteur des droits qui choisit la licence. Et la version qu’il veut. En supposant que quelqu’un veuille dés le départ utiliser la GPL pour des raisons purement marketing comme tu le décrit … la FSF n’y peut rien, nada.
Le côté "les parasites du libre profitent de la GPL pour étouffer la concurrence" en ne permettant pas à la concurrence de fermer le code si eux ils en ont envie. Admettons. C’est un problème pour le libre, sachant que la communauté peut créer, si elle le souhaite, un fork libre et même des société commerciales y contribuer ? Si il y a un marché pour que plusieurs entreprises se lancent …
Exemple, MySQL => MariaDB. La communauté a-t-elle perdu au change ? Il y a ptete moyen de chercher plus d’exemples au delà de l’anecdote pour en tirer des leçons plus générales. Au lieux de tourner en rond dans des trolls désagréables.
Il n’y a peut être pas d’insulte, mais quand un des camps se fait qualifier de "secte" ou de « "être contre", ça fait briller en soirée entre potes dans le même délire » et autre joyeusetés le tout pour un désaccord sur le copyleft, on peut se demander si le ton de la discussion est approprié.
On a un producteur d’énergie fossile qui achète une image en dépensant plein d’argent en sponsorisant pleins de sports tout en écoulant un max de truc qui envoient la planète dans une trajectoire de "beaucoup trop chaud pour notre propre bien" …
Gazprom est curieusement moins à la mode ces derniers temps mais on voyait avant leur logo dans un certain nombre de stade de foot.
Un peu creux pour l’instant, j’imagine que c’est pas les tentatives échouées de faire ce genre de chose par le passé qui ont manqué et qui ont aboutit à des échecs. Une analyse de ce qui a marché ou pas serait sans doute essentielle à la crédibilité, sous peine de n’être qu’une tentative de plus qui tombera dans les mêmes travers.
Aussi un truc me fait sourire, cette prétention à se débarrasser de l’idéologie …
il serait possible de proposer des solutions pragmatiques et non des constructions idéologiques
… Tout en nommant son machin « Institut national d’excellence en éducation », comme si ce terme n’avait rien d’idéologique. On devine d’entrée de jeu une orientation plutôt à droite ou il s’agit de favoriser des "premiers de cordées" qui réussiraient mieux que les autres, ou suis-je médisant ?
DPLL est l’algorithme derrière les solveurs comme z3, qui permettent de résoudre des problèmes de combinaisons logique de formules dans une théorie mathématique.
À l’origine l’algorithme était de "Davis Putnam", pour décider de la satisfaction de formules booléennes (c’est à dire de savoir s’il y a moyen de rendre une formule booléenne vraie en affectant des valeurs à ses variables). C’est un algorithme de recherche arborescente.
L’algorithme a été étendu (par d’autres) pour plus d’efficacité pour donner DPLL, qui a permis de résoudre des formules SAT de grande taille efficacement au fil des ans et des optimisations des solveurs, il y a une communauté qui travaille encore dessus.
Et par dessus a été rajouté avec DPLL(T) la possibilité de résoudre des formules non plus simplement booléennes, mais dans lesquels on a remplacés les booléens par des formules d’une théories, par exemple un ensemble d’équations. La résolution des équations est déléguées à un solveur "fils" à qui on file des ensembles de formule et qui dit si cet ensemble de formule est cohérent (a une solution) ou pas. Cet algorithme a fait florès, Microsoft a développé z3 https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ pour la communauté de la vérification logicielle entre autre, qui a eu son petit succès, autour.
Il semble cependant que si l’algorithme DP a fait florès, cette contribution est assez ignorée par la communauté mathématique qui le considère plus comme un historien de la logique.
C’est pas que ce soit marrant ou pas, c’est juste que faut savoir à qui tu t’adresses en faisant des leçons de morales sur le sourçage. L’auteur du journal, il sait qu’il trolle peu de chance que ça l’atteigne. Les lecteurs, ici, moinssent en masse, personne n’y croit spécialement.
En même temps ce journal posté là juste à brûle pourpoint sur un sujet HS ne fait même pas semblant d’être crédible et ressemble plus à un troll clickbait qu’autre chose.
D’un autre côté, si on commençait à vraiment sourcer absolument tout ce qu’on dit dans une conversation casual ça deviendrait assez vite invivable. S’il s’agit de faire la démonstration qu’il faut pas faire ça en postant un journal sur linuxfr HS c’est pas forcément représentatif de la situation ou on pourrait prendre des pincettes par incertitude au comptoir …
Le mode lecture semble ne donner accès qu’à un extrait de l’article chez moi (c’est annoncé 9 minutes de lectures et il y a uniquement 2 paragraphes, même lent le compte n’y est pas)
Sans vouloir minimiser le fait que c’est un phénomène qui existe, les détransitions, oui bien évidemment tu peux te douter que c’est bel et bien une panique morale utilisé par les transphobes : https://www.tandfonline.com/doi/abs/10.1080/13825577.2020.1730052 donc … à manier avec des pincettes évidemment. On doit avoir à peu prêt fait le tour de ce type d’arguments.
L’article détransition donne quelque clés, en particulier que c’est minoritaires, et que 5% des personnes semblent réellement regretter leur transition parce qu’elles se seraient trompé … la majorité semblent le faire pour des raisons sociales : pression de l’entourage ou difficulté à trouver du boulot du fait de rejet social.
[^] # Re: Le jeu des une erreur : trouvé !
Posté par thoasm . En réponse à la dépêche Revue de presse de l’April pour la semaine 25 de l’année 2023. Évalué à 3.
Ah non ça c’est pour dans 6 mois, dans 2 ans on en sera à Quantum_neural_network, tu ne suis pas enfin !
[^] # Re: Pistes proposée par une spécialiste des rythmes biologiques de l’enfant et de l’adolescent
Posté par thoasm . En réponse au lien Les rythmes scolaires en France comparés à ceux des autres pays de l'Union Européenne. Évalué à 8.
Rogner l’été à une époque ou on a des 30 degrés plus l’après midi facile dés juin en métropole, ça promet des après midi productives dans les écoles. C’est pas demain qu’on va les climatiser.
[^] # Re: Compression sans perte ou encodage ?
Posté par thoasm . En réponse à la dépêche Des formats d'image. Évalué à 7.
Le bit est incompressible, mais on ne compresse jamais un bit, mais une séquence de bits.
(wp, je sais pas d’ou vient le terme "codage de source")
Par analogie avec la compression de gaz, on garde bien toutes les molécules de gaz mais dans un espace plus étroit.
[^] # Re: lien avec la K-pop ?
Posté par thoasm . En réponse au journal Aujourd'hui on ne parle pas de k-pop, mais de JSON !. Évalué à 5.
Quand on en est à essayer de laborieusement expliquer les jeux de mots, K-son nous. /o\
( non c’est parce que le cas et le son, c’est la dernière combinaison qui manque, alors je … oui, quoi, la sortie ? … euh oui … merci ==>[] )
[^] # Re: Pascal, Turbo Pascal , GNUPascal et autres héritages en informatique ?
Posté par thoasm . En réponse au lien 400 ans de Blaise Pascal. L’auteur des “Pensées” a inventé l’autobus urbain et la calculatrice . Évalué à 4.
Et en plus travaillé, avec des images et la possibilité de passer interactivement à une autre référence : https://w.wiki/6rzh
[^] # Re: la sciences ou la liberté d'expression
Posté par thoasm . En réponse au journal La science sur internet, ça m'inquiète. Évalué à 7.
T’es super dur avec les documentaires animalier. Faut pas déconner, on fait des reportages au JT pour expliquer comment c’est fait et pourquoi c’est monté : https://www.francetvinfo.fr/monde/cinema-comment-tourne-t-on-un-documentaire-animalier_1164281.html
On en a parlé il y a quelques temps et il semble quand même que le domaine ait fait en partie son autocritique un mémoire sur le sujet et qu’il y ait de plus en plus de "making of" au point que les critiques trouvent ça ennuyeux. Alors je sais pas si l’éthique est complètement parfaite mais il semble qu’il y ait du mieux de nos jours.
Une certaine dose de scénarisation est quand même absolument essentiel, l’observation de la nature c’est énormément de patience et tu fais pas patienter un téléspectateur devant une télé sans qu’il ne s’endorme très longtemps.
[^] # Re: Cette histoire va permettre de clarifier les positions...
Posté par thoasm . En réponse au lien La Quadrature du Net apporte son soutien au collectif Les Soulèvements de la Terre (long fil). Évalué à 10.
La violence du point inclusif ! C’est intolérable, du vrai terrorisme. Ça tue.
[^] # Re: Pascal, Turbo Pascal , GNUPascal et autres héritages en informatique ?
Posté par thoasm . En réponse au lien 400 ans de Blaise Pascal. L’auteur des “Pensées” a inventé l’autobus urbain et la calculatrice . Évalué à 5.
https://w.wiki/6rn3 en plus direct …
[^] # Re: Pascal, Turbo Pascal , GNUPascal et autres héritages en informatique ?
Posté par thoasm . En réponse au lien 400 ans de Blaise Pascal. L’auteur des “Pensées” a inventé l’autobus urbain et la calculatrice . Évalué à 5.
Une liste de trucs nommés d’après Pascal sur Wikidata : https://w.wiki/6rmy
[^] # Re: SerenityOS
Posté par thoasm . En réponse à la dépêche Cent mille dollars pour un navigateur. Évalué à 3.
Le marché de la nostalgie est probablement plus restreint que pour Windows95. On a vu des articles presse grand public comme celui là pour les 25 ans : https://www.francetvinfo.fr/replay-radio/nouveau-monde/nouveau-monde-sorti-il-y-a-25-ans-windows-95-a-democratise-linformatique_4045745.html Pour BeOS les ventes ont du être nettement plus limitées, bien que évidemment la clientèle devait être plus motivée.
[^] # Re: Sponsors en général
Posté par thoasm . En réponse au journal Pour ou contre Red Bull ? tu en penses quoi, toi, journal ?. Évalué à 4.
Oh tu sais, les biologistes ne sont pas moins tordus, ils (et elles) répètent à l’envie que les poissons n’existent pas !
[^] # Re: Commentaires sur HN
Posté par thoasm . En réponse au lien We need more of Richard Stallman, not less. Évalué à 1.
Tu sais que les trucs illégaux même faits avec des logiciels libres restent illégaux, rassure nous ? /o\
[^] # Re: Sponsors en général
Posté par thoasm . En réponse au journal Pour ou contre Red Bull ? tu en penses quoi, toi, journal ?. Évalué à 7.
Si il s’agit de s’en tenir à la légalité ou à l’état, on va au devant de quelques surprises, comme le fait que en Californie les abeilles sont des poissons : California Endangered Species Act
[^] # Re: Commentaires sur HN
Posté par thoasm . En réponse au lien We need more of Richard Stallman, not less. Évalué à 5.
En admettant tes arguments : si la FSF bouge et produit de nouvelles versions de la GPL … c’est toujours le détenteur des droits qui choisit la licence. Et la version qu’il veut. En supposant que quelqu’un veuille dés le départ utiliser la GPL pour des raisons purement marketing comme tu le décrit … la FSF n’y peut rien, nada.
Le côté "les parasites du libre profitent de la GPL pour étouffer la concurrence" en ne permettant pas à la concurrence de fermer le code si eux ils en ont envie. Admettons. C’est un problème pour le libre, sachant que la communauté peut créer, si elle le souhaite, un fork libre et même des société commerciales y contribuer ? Si il y a un marché pour que plusieurs entreprises se lancent …
Exemple, MySQL => MariaDB. La communauté a-t-elle perdu au change ? Il y a ptete moyen de chercher plus d’exemples au delà de l’anecdote pour en tirer des leçons plus générales. Au lieux de tourner en rond dans des trolls désagréables.
[^] # Re: inutile vs pertinent
Posté par thoasm . En réponse au lien We need more of Richard Stallman, not less. Évalué à 6.
Il n’y a peut être pas d’insulte, mais quand un des camps se fait qualifier de "secte" ou de « "être contre", ça fait briller en soirée entre potes dans le même délire » et autre joyeusetés le tout pour un désaccord sur le copyleft, on peut se demander si le ton de la discussion est approprié.
# Vaut mieux Redbull ou
Posté par thoasm . En réponse au journal Pour ou contre Red Bull ? tu en penses quoi, toi, journal ?. Évalué à 4.
… Gazprom ? (quitte à rentrer dans le troll)
On a un producteur d’énergie fossile qui achète une image en dépensant plein d’argent en sponsorisant pleins de sports tout en écoulant un max de truc qui envoient la planète dans une trajectoire de "beaucoup trop chaud pour notre propre bien" …
Gazprom est curieusement moins à la mode ces derniers temps mais on voyait avant leur logo dans un certain nombre de stade de foot.
[^] # Re: Démarche intéressante mais …
Posté par thoasm . En réponse au lien Enseigner à l’aveugle, sans données fiables ni avis sérieux . Évalué à 3.
Merci de donner le contexte parce que c’est pas évident pour moi.
Ça semblerait recouper un peu le rôle des Institut national supérieur du professorat et de l'éducation en France, qui sont chargés de la formation initiale et continue des profs ainsi que de recherche en pédagogie.
# Démarche intéressante mais …
Posté par thoasm . En réponse au lien Enseigner à l’aveugle, sans données fiables ni avis sérieux . Évalué à 3.
Un peu creux pour l’instant, j’imagine que c’est pas les tentatives échouées de faire ce genre de chose par le passé qui ont manqué et qui ont aboutit à des échecs. Une analyse de ce qui a marché ou pas serait sans doute essentielle à la crédibilité, sous peine de n’être qu’une tentative de plus qui tombera dans les mêmes travers.
Aussi un truc me fait sourire, cette prétention à se débarrasser de l’idéologie …
… Tout en nommant son machin « Institut national d’excellence en éducation », comme si ce terme n’avait rien d’idéologique. On devine d’entrée de jeu une orientation plutôt à droite ou il s’agit de favoriser des "premiers de cordées" qui réussiraient mieux que les autres, ou suis-je médisant ?
# Le "D" de DPLL
Posté par thoasm . En réponse au lien Martin Davis (1928–2023). Évalué à 7.
DPLL est l’algorithme derrière les solveurs comme z3, qui permettent de résoudre des problèmes de combinaisons logique de formules dans une théorie mathématique.
À l’origine l’algorithme était de "Davis Putnam", pour décider de la satisfaction de formules booléennes (c’est à dire de savoir s’il y a moyen de rendre une formule booléenne vraie en affectant des valeurs à ses variables). C’est un algorithme de recherche arborescente.
L’algorithme a été étendu (par d’autres) pour plus d’efficacité pour donner DPLL, qui a permis de résoudre des formules SAT de grande taille efficacement au fil des ans et des optimisations des solveurs, il y a une communauté qui travaille encore dessus.
Et par dessus a été rajouté avec DPLL(T) la possibilité de résoudre des formules non plus simplement booléennes, mais dans lesquels on a remplacés les booléens par des formules d’une théories, par exemple un ensemble d’équations. La résolution des équations est déléguées à un solveur "fils" à qui on file des ensembles de formule et qui dit si cet ensemble de formule est cohérent (a une solution) ou pas. Cet algorithme a fait florès, Microsoft a développé z3 https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ pour la communauté de la vérification logicielle entre autre, qui a eu son petit succès, autour.
Il semble cependant que si l’algorithme DP a fait florès, cette contribution est assez ignorée par la communauté mathématique qui le considère plus comme un historien de la logique.
[^] # Re: Ça vient d'où ?
Posté par thoasm . En réponse au journal Ne pas subir son couple.. Évalué à 4.
Quelques éléments de bio : https://www.letemps.ch/societe/albert-einstein-devoile-entre-femmes-fbi
[^] # Re: Ça vient d'où ?
Posté par thoasm . En réponse au journal Ne pas subir son couple.. Évalué à 6.
C’est pas que ce soit marrant ou pas, c’est juste que faut savoir à qui tu t’adresses en faisant des leçons de morales sur le sourçage. L’auteur du journal, il sait qu’il trolle peu de chance que ça l’atteigne. Les lecteurs, ici, moinssent en masse, personne n’y croit spécialement.
[^] # Re: Ça vient d'où ?
Posté par thoasm . En réponse au journal Ne pas subir son couple.. Évalué à 6.
En même temps ce journal posté là juste à brûle pourpoint sur un sujet HS ne fait même pas semblant d’être crédible et ressemble plus à un troll clickbait qu’autre chose.
[^] # Re: Ça vient d'où ?
Posté par thoasm . En réponse au journal Ne pas subir son couple.. Évalué à 4.
D’un autre côté, si on commençait à vraiment sourcer absolument tout ce qu’on dit dans une conversation casual ça deviendrait assez vite invivable. S’il s’agit de faire la démonstration qu’il faut pas faire ça en postant un journal sur linuxfr HS c’est pas forcément représentatif de la situation ou on pourrait prendre des pincettes par incertitude au comptoir …
[^] # Re: Le Pire et Avenir
Posté par thoasm . En réponse au lien Des parlementaires européens rejettent la loi sur la restauration de la nature. Évalué à 6.
Le mode lecture semble ne donner accès qu’à un extrait de l’article chez moi (c’est annoncé 9 minutes de lectures et il y a uniquement 2 paragraphes, même lent le compte n’y est pas)
[^] # Re: pareil mais
Posté par thoasm . En réponse au journal Linus Torvalds proclame sa wokeness . Évalué à 9.
Sans vouloir minimiser le fait que c’est un phénomène qui existe, les détransitions, oui bien évidemment tu peux te douter que c’est bel et bien une panique morale utilisé par les transphobes : https://www.tandfonline.com/doi/abs/10.1080/13825577.2020.1730052 donc … à manier avec des pincettes évidemment. On doit avoir à peu prêt fait le tour de ce type d’arguments.
L’article détransition donne quelque clés, en particulier que c’est minoritaires, et que 5% des personnes semblent réellement regretter leur transition parce qu’elles se seraient trompé … la majorité semblent le faire pour des raisons sociales : pression de l’entourage ou difficulté à trouver du boulot du fait de rejet social.