Ils sont en train d'implémenter un modèle d'estimation du risque un peu plus complexe que ça, en plus de la distance et du temps de contact, qui va dépendre aussi du nombre de personnes croisées et de leur score de risque respectif. D'après l'article, c'est plutôt la distance de 2m qui est retenue d'ailleurs. Les calibrations ont été réalisés fin mai avec l'aide de l'armée (et aussi via les données allemandes de l'institut Franhaufer d'avant). Le chiffre de 80 % de contacts détectés (au prix de 30% de faux positifs) ne sort pas du chapeau de Cédric O mais de l'article.
Advent of code : un site sur le thème de l'Avent et du père Noël, avec des problèmes de difficultés croissantes. Je l'utilise pour me dérouiller en rust…
Peut-être que si ça prend beaucoup moins de place en mémoire, ça rentrera mieux dans un cache du processeur.
Parce que ton O(1) cache une grosse constante d'accès à la RAM.
Un cache L3 de core i7 peut faire dans les 15 Mo donc ça peut valoir le coup et je pense qu'un Trie ou mieux, un Compact prefix tree qui est censé prendre moins de place pourrait être adapté (mais peut-être que la construction de la structure prendrait trop de temps par rapport à la recherche des mots).
Est-ce que c'est pertinent de parler de CD/DVD à l'heure d'Internet, et au moment où les ordinateurs portables ont de moins en moins de lecteurs de CD ?
Si c'est pour désigner un ensemble de logiciels qui partagent une certain "ligne éditoriale" (en l'occurrence, le jeu), un mot comme "bundle" (en anglais, comme pour le Humble Indie Bundle), ou paquet (je ne trouve pas de mot très satisfaisant en français ; si quelqu'un a une idée…?) me parait plus adapté.
Si je comprends bien, c'est un système qui permet de faire de « l'improvisation » vidéo ?
Est-ce que c'est aussi facilement utilisable que Jitter (dans Max) ou GEM (dans PureData) où l'on connecte des boites d'effets entre elles pour former un graphe d'effets ?
Une distribution source, ça gère déjà le téléchargement des dépendances.
Je pense qu'on peut se débrouiller pour installer emerge et portage en local, de façon indépendante de la distribution (par exemple sous Debian), et ensuite se faire ses ebuilds.
Personnellement, j'ai l'impression que cet événement est dans la veine de l'idéologie de la Silicon Valley, du lancement de startups comme moyen de briser des monopoles, d'apporter de l'innovation, du gamin dans son garage qui lance un produit qui va révolutionner la société.
Oui, révolutionner. Google, Facebook, ils n'ont pas révolutionné la société ?
Ne croyez-vous pas que les rapports sociaux ont profondément changé, de même que notre tolérance aux intrusions dans notre vie privée…
Quand j'emploie le mot "révolutionner", je n'implique pas forcément que c'est bénéfique : une révolution, c'est un changement brutal, complet, et durable (qui marque la société pour longtemps), sans juger de la pertinence et des bienfaits du changement.
Comme de nombreux anglicismes, il s'agit d'un mot français emprunté par les anglais qui en ont modifié le sens à la marge, voir wiktionnaire, et ça a plutôt le sens de "perturbateur" que de "révolutionnaire".
Quant à la redondance, c'est une figure de style qui peut être utile, qui n'est pas interdite en français, et qui est utilisée par de nombreux auteurs très respectables (pléonasme)…
Bonne chance aux participants et aux organisateurs !
(je précise que je ne participe pas de près ou de loin à cet événement, que j'ai publié ce journal à la demande d'un des organisateurs car ils souhaitent impliquer la communauté opensource)
Ce n'était pas prévu, mais il y peut-être moyen de filmer la conférence (même si ça fait un peu tard pour prévenir François Pellegrini qu'il sera filmé)…
J'ai l'impression que ton graphique ne parle pas des méthodes telles que l'analyse statique (je me demandais si ce que tu appelles « inspection de code formelle » ne le recouvrait pas, mais on dirait que non).
Ce sont des méthodes utilisées dans l'industrie : par exemple, Astrée a été utilisé pour le logiciel de vol des Airbus 1340, ou encore FramaC.
Ce serait intéressant de voir où se placent ces méthodes dans ton graphe.
Il y a déjà eu d'autres tentatives pour faire ce genre de sites :
Cumulus : développé avec le framework OCaml ocsigen. La participation semble un peu marquer le pas depuis quelques mois
HumanCoders : adossé à un site d'offres d'emploi et de formations (pas sûr que ce soit développé avec des technologies libres). Principalement des liens vers des articles sur des technologies web…
Pourquoi un système de cooptation et d'invitation ? Ca ne risque pas de limiter d'autant plus l'afflux de contributions ? La qualité des contributions ne doit-elle pas être évaluée via les votes (donc a posteriori), plutôt que par un filtrage à l'inscription (donc a priori) ?
In most European countries, Firefox users will not see a change.
Sans pour autant que Google et Mozilla aient renouvelé leur partenariat. Donc en Europe, Google va pouvoir profité gratuitement de ce statut de moteur par défaut dans Firefox.
Mais c'est peut-être une façon de mettre la pression sur Google pour négocier un meilleur partenariat pour l'Europe…
Ce n'est pas tout à fait exact : le code source de Minix était fourni avec le livre sur les systèmes d'exploitation de Tanenbaum et seule une exploitation commerciale posait problème, au début.
While this was not free software in the sense of "free beer" it was free software in the sense of "free speech" since all the source code was available for only slightly more than the manufacturing cost. But even "free speech" is not completely "free"--think about slander, yelling "fire" in a crowded theater, etc. Also Remember (if you are old enough) that by 1987, a university educational license for UNIX cost $300, a commercial license for a university cost $28,000, and a commercial license for a company cost a lot more. For the first time, MINIX brought the cost of "UNIX-like" source code down to something a student could afford. Prentice Hall wasn't really interested in selling software. They were interested in selling books, so there was a fairly liberal policy on copying MINIX, but if a company wanted to sell it to make big bucks, PH wanted a royalty. Hence the PH lawyers equipped MINIX with a lot of boilerplate, but there was never any intention of really enforcing this against universities or students. Using the Internet for distributing that much code was not feasible in 1987, even for people with a high-speed (i.e., 1200 bps) modem.
Donc payant au début, pas libre, mais on ne peut pas dire qu'il était difficile pour un particulier de récupérer le code source.
Et assez rapidement, en plus :
When distribution via the Internet became feasible, I convinced Prentice Hall to drop its (extremely modest) commercial ambitions and they gave me permission to put the source on my website for free downloading, where it still is.
Je vois que j'ai oublié de le préciser : pour ceux qui ne sont pas à Paris ce mardi, ou pas en France, ou pas en Europe, la conférence est retransmise en directe et on peut poser des questions depuis son ordinateur.
J'ai l'impression que la cible, c'est principalement le monde de l'embarqué, et plus spécifiquement dans l'embarqué, des gens qui ont besoin de systèmes très sûrs.
D'après le site :
Few, if any, other operating systems are as self-healing as MINIX 3.
Il y a un vrai marché pour les microkernels. QNX est par exemple très utilisé.
Ensuite, ça sert dans l'enseignement, comme la première version de Minix.
Le colloquium est une bonne occasion de demander à Tanenbaum ce qu'il compte faire avec Minix 3 !
Je crois qu'on pourra même poser des questions en ligne…
les logiciels de création musicale restent relativement rares (malgré quelques perles comme Ardour et LMMS)
Je pense justement que du point de vue du modulaire, la MAO sous Linux n'a pas à se plaindre : le serveur de son jack permet déjà de relier entre eux la plupart des programmes de MAO.
Il y existe aussi des programmes modulaires surcouches (l'avantage d'après moi par rapport à l'utilisation de Jack directement est de mieux visualiser les relations entre les modules, quoiqu'avec Patchage, ce soit aussi très simple) Ingen ou Alsamodularsynth.
Ce que je trouve bien, ce n'est pas qu'ils portent leur plomberie sous Linux, mais leurs modules sous forme de plugins lv2, ce qui permettra de les utiliser dans Ardour, ou avec n'importe quel autre logiciel (et un coup de jalv pour les utiliser en standalone avec jack). On manque de plugins sous Linux, pas de système modulaire !
Le livre Real World OCaml, qui utilise Core exclusivement, et qui est accessible gratuitement en ligne, ne va-t-il pas marginalisé Batteries Included ?
J'ai l'impression que sans véritable concertation, mais plus par une plus grande activité de Core, cette lib standard est en train de s'imposer.
[^] # Re: L'illusion de traçabilité du covid
Posté par programLyrique . En réponse au sondage Allez‑vous installer l’application de traçage gouvernementale StopCovid ?. Évalué à 3. Dernière modification le 06 juin 2020 à 12:06.
Ils sont en train d'implémenter un modèle d'estimation du risque un peu plus complexe que ça, en plus de la distance et du temps de contact, qui va dépendre aussi du nombre de personnes croisées et de leur score de risque respectif. D'après l'article, c'est plutôt la distance de 2m qui est retenue d'ailleurs. Les calibrations ont été réalisés fin mai avec l'aide de l'armée (et aussi via les données allemandes de l'institut Franhaufer d'avant). Le chiffre de 80 % de contacts détectés (au prix de 30% de faux positifs) ne sort pas du chapeau de Cédric O mais de l'article.
# Advent of code
Posté par programLyrique . En réponse au journal Les mini sites pour apprendre à coder. Évalué à 1.
Advent of code : un site sur le thème de l'Avent et du père Noël, avec des problèmes de difficultés croissantes. Je l'utilise pour me dérouiller en rust…
http://adventofcode.com/
[^] # Re: fr-oss…
Posté par programLyrique . En réponse au journal Le gouvernement français veut changer de clavier. Évalué à 2.
Des langues de l'UE utilisant l'alphabet latin.
Il me semble que le bulgare utilise l'alphabet cyrillique…
[^] # Re: Limitations?
Posté par programLyrique . En réponse au journal toutf8: autodétecter et convertir de n'importe quel encodage de caractères vers UTF8. Évalué à 2.
Peut-être que si ça prend beaucoup moins de place en mémoire, ça rentrera mieux dans un cache du processeur.
Parce que ton O(1) cache une grosse constante d'accès à la RAM.
Un cache L3 de core i7 peut faire dans les 15 Mo donc ça peut valoir le coup et je pense qu'un Trie ou mieux, un Compact prefix tree qui est censé prendre moins de place pourrait être adapté (mais peut-être que la construction de la structure prendrait trop de temps par rapport à la recherche des mots).
# Cd à l'heure d'internet
Posté par programLyrique . En réponse à la dépêche Un CD de jeux libres pour "Jouer Ensemble". Évalué à 2.
Est-ce que c'est pertinent de parler de CD/DVD à l'heure d'Internet, et au moment où les ordinateurs portables ont de moins en moins de lecteurs de CD ?
Si c'est pour désigner un ensemble de logiciels qui partagent une certain "ligne éditoriale" (en l'occurrence, le jeu), un mot comme "bundle" (en anglais, comme pour le Humble Indie Bundle), ou paquet (je ne trouve pas de mot très satisfaisant en français ; si quelqu'un a une idée…?) me parait plus adapté.
# Improvisation vidéo
Posté par programLyrique . En réponse à la dépêche Veejay un instrument visuel.... Évalué à 2.
Si je comprends bien, c'est un système qui permet de faire de « l'improvisation » vidéo ?
Est-ce que c'est aussi facilement utilisable que Jitter (dans Max) ou GEM (dans PureData) où l'on connecte des boites d'effets entre elles pour former un graphe d'effets ?
# Sur le site d'Ardour
Posté par programLyrique . En réponse au journal Ardour 4 peut être sous Windows. Évalué à 5.
Et l'annonce originale est sur le site d'Ardour.
[^] # Re: souvenir du C
Posté par programLyrique . En réponse au journal Gestionnaire de dépendances en C++. Évalué à 3.
Je dirais plutôt un ebuild, sous Gentoo.
Une distribution source, ça gère déjà le téléchargement des dépendances.
Je pense qu'on peut se débrouiller pour installer emerge et portage en local, de façon indépendante de la distribution (par exemple sous Debian), et ensuite se faire ses ebuilds.
Pas sûr que ce soit aussi simple sur Windows…
[^] # Re: Choix des exemples mis en avant
Posté par programLyrique . En réponse au journal Free startup project. Évalué à 3. Dernière modification le 08 avril 2015 à 13:42.
Personnellement, j'ai l'impression que cet événement est dans la veine de l'idéologie de la Silicon Valley, du lancement de startups comme moyen de briser des monopoles, d'apporter de l'innovation, du gamin dans son garage qui lance un produit qui va révolutionner la société.
Oui, révolutionner. Google, Facebook, ils n'ont pas révolutionné la société ?
Ne croyez-vous pas que les rapports sociaux ont profondément changé, de même que notre tolérance aux intrusions dans notre vie privée…
Quand j'emploie le mot "révolutionner", je n'implique pas forcément que c'est bénéfique : une révolution, c'est un changement brutal, complet, et durable (qui marque la société pour longtemps), sans juger de la pertinence et des bienfaits du changement.
[^] # Re: Franglais
Posté par programLyrique . En réponse au journal Free startup project. Évalué à 4.
Comme de nombreux anglicismes, il s'agit d'un mot français emprunté par les anglais qui en ont modifié le sens à la marge, voir wiktionnaire, et ça a plutôt le sens de "perturbateur" que de "révolutionnaire".
Quant à la redondance, c'est une figure de style qui peut être utile, qui n'est pas interdite en français, et qui est utilisée par de nombreux auteurs très respectables (pléonasme)…
Bonne chance aux participants et aux organisateurs !
(je précise que je ne participe pas de près ou de loin à cet événement, que j'ai publié ce journal à la demande d'un des organisateurs car ils souhaitent impliquer la communauté opensource)
[^] # Re: Choix des exemples mis en avant
Posté par programLyrique . En réponse au journal Free startup project. Évalué à 3.
Je ne saurais pas t'en dire plus sur les liens réels ou supposés des organisateurs, dont je ne fais pas parti.
C'est clair que cela relève de l'idéologie libérale, ou libertarienne, mais ça ne s'oppose pas à l'opensource.
[^] # Re: Windows seulement
Posté par programLyrique . En réponse à la dépêche Le jeu "Baston de taverne" passe au libre. Évalué à 3.
Vu qu'il utilise la SDL, qui est portable, porter le jeu consiste peut-être seulement, ou pas beaucoup plus, à recompiler sous Linux.
Effectivement, ce serait mieux avec un lien vers les sources.
[^] # Re: Et c'est filmé ?
Posté par programLyrique . En réponse au journal Conférence sur la vie privée à l'heure d'Internet. Évalué à 1. Dernière modification le 02 février 2015 à 16:13.
Ce n'était pas prévu, mais il y peut-être moyen de filmer la conférence (même si ça fait un peu tard pour prévenir François Pellegrini qu'il sera filmé)…
# Méthodes formelles
Posté par programLyrique . En réponse à la dépêche [code] Trouver les erreurs. Évalué à 10.
J'ai l'impression que ton graphique ne parle pas des méthodes telles que l'analyse statique (je me demandais si ce que tu appelles « inspection de code formelle » ne le recouvrait pas, mais on dirait que non).
Ce sont des méthodes utilisées dans l'industrie : par exemple, Astrée a été utilisé pour le logiciel de vol des Airbus 1340, ou encore FramaC.
Ce serait intéressant de voir où se placent ces méthodes dans ton graphe.
# Autres sites en français équivalents
Posté par programLyrique . En réponse au journal Site à la Hacker News pour la communauté française : Journal Du Pirate. Évalué à 2. Dernière modification le 11 décembre 2014 à 11:43.
Il y a déjà eu d'autres tentatives pour faire ce genre de sites :
Pourquoi un système de cooptation et d'invitation ? Ca ne risque pas de limiter d'autant plus l'afflux de contributions ? La qualité des contributions ne doit-elle pas être évaluée via les votes (donc a posteriori), plutôt que par un filtrage à l'inscription (donc a priori) ?
[^] # Re: Bonne nouvelle
Posté par programLyrique . En réponse au journal Yandex, Baidu et Yahoo, un point commun ?. Évalué à 2.
Manifestement, oui, ce sera Google le moteur par défaut pour l'Europe.
Voir searchengineland.
Un porte parole de Mozilla a dit :
Sans pour autant que Google et Mozilla aient renouvelé leur partenariat. Donc en Europe, Google va pouvoir profité gratuitement de ce statut de moteur par défaut dans Firefox.
Mais c'est peut-être une façon de mettre la pression sur Google pour négocier un meilleur partenariat pour l'Europe…
# Support des patrons
Posté par programLyrique . En réponse à la dépêche Sortie de radare 0.9.8. Évalué à 2.
Où peut-on trouver plus d'informations sur les patrons (struct templates dans la liste des tâches de RSoc ) ?
J'ai jeté un coup d’œil au blog de Skia mais ce n'était pas très éclairant.
Radare m'intéresse pour analyser des formats propriétaires, plutôt que des binaires exécutables, et les patrons vont être très utiles.
[^] # Re: Live streaming
Posté par programLyrique . En réponse au journal Conférence d'Andrew S. Tanenbaum. Évalué à 3.
C'est dommage.
Il a expliqué pourquoi ?
[^] # Re: vieux troll barbu
Posté par programLyrique . En réponse au journal Conférence d'Andrew S. Tanenbaum. Évalué à 3.
Ce n'est pas tout à fait exact : le code source de Minix était fourni avec le livre sur les systèmes d'exploitation de Tanenbaum et seule une exploitation commerciale posait problème, au début.
Je cite Tanenbaum source :
Donc payant au début, pas libre, mais on ne peut pas dire qu'il était difficile pour un particulier de récupérer le code source.
Et assez rapidement, en plus :
# Live streaming
Posté par programLyrique . En réponse au journal Conférence d'Andrew S. Tanenbaum. Évalué à 2.
Je vois que j'ai oublié de le préciser : pour ceux qui ne sont pas à Paris ce mardi, ou pas en France, ou pas en Europe, la conférence est retransmise en directe et on peut poser des questions depuis son ordinateur.
[^] # Re: Intérêt
Posté par programLyrique . En réponse au journal Conférence d'Andrew S. Tanenbaum. Évalué à 3.
J'ai l'impression que la cible, c'est principalement le monde de l'embarqué, et plus spécifiquement dans l'embarqué, des gens qui ont besoin de systèmes très sûrs.
D'après le site :
Il y a un vrai marché pour les microkernels. QNX est par exemple très utilisé.
Ensuite, ça sert dans l'enseignement, comme la première version de Minix.
Le colloquium est une bonne occasion de demander à Tanenbaum ce qu'il compte faire avec Minix 3 !
Je crois qu'on pourra même poser des questions en ligne…
[^] # Re: vieux troll barbu
Posté par programLyrique . En réponse au journal Conférence d'Andrew S. Tanenbaum. Évalué à 4.
Minix est opensource (une licence similaire à BSD) et les sources sont sur le site !
# Linux Modulaire
Posté par programLyrique . En réponse à la dépêche Qpsycle, un studio modulaire de création musicale, cherche des développeurs. Évalué à 6.
Je pense justement que du point de vue du modulaire, la MAO sous Linux n'a pas à se plaindre : le serveur de son jack permet déjà de relier entre eux la plupart des programmes de MAO.
Il y existe aussi des programmes modulaires surcouches (l'avantage d'après moi par rapport à l'utilisation de Jack directement est de mieux visualiser les relations entre les modules, quoiqu'avec Patchage, ce soit aussi très simple) Ingen ou Alsamodularsynth.
Ce que je trouve bien, ce n'est pas qu'ils portent leur plomberie sous Linux, mais leurs modules sous forme de plugins lv2, ce qui permettra de les utiliser dans Ardour, ou avec n'importe quel autre logiciel (et un coup de jalv pour les utiliser en standalone avec jack). On manque de plugins sous Linux, pas de système modulaire !
[^] # Re: Très bonne dépêche !
Posté par programLyrique . En réponse à la dépêche OCaml 4.02. Évalué à 4.
J'ai trouvé la description des GADTs particulièrement claire.
J'avais déjà lu un peu dessus, sans en avoir une vision complètement juste, mais là, c'était limpide ! Merci !
[^] # Re: Tant de changements pour une version mineure
Posté par programLyrique . En réponse à la dépêche OCaml 4.02. Évalué à 2.
Le livre Real World OCaml, qui utilise Core exclusivement, et qui est accessible gratuitement en ligne, ne va-t-il pas marginalisé Batteries Included ?
J'ai l'impression que sans véritable concertation, mais plus par une plus grande activité de Core, cette lib standard est en train de s'imposer.