hsyl20 a écrit 228 commentaires

Très intéressant, merci pour le partage

Je recommande LyX comme frontend à Latex. Ça permet de bénéficier de tous les avantages de Latex avec beaucoup moins de verbosité (pas de "\itemize", "\tabular", etc.), moins de risque de typo et des fonctionnalités utiles (aperçu des images, table des matières, etc.).

Voir aussi Hakyll qui utilise Pandoc, donc n'importe quel format d'entrée.

C'est un détail mais tu peux remplacer maybe (return ()) par mapM_.

TapTempo, c'est plus ce que c'était, on a vu a de tout, mais pas encore de PHP, redonnons lui sa gloire.

https://linuxfr.org/users/napin/journaux/portage-de-taptempo-en-php

Non, GHC supporte d'autres architectures. C'est juste qu'il faut que j'écrive un petit bout d'assembleur par architecture pour appeler les syscalls et je ne l'ai fait que pour x86-64 pour l'instant.

Oui c'est ça.

Hmm ça n'est pas exactement ça l'évaluation paresseuse : ne sont exécutées les fonctions que si leur résultat est requis. Un peu comme en C si tu écris :

int x = 1 || toutEffacer();

la fonction toutEffacer ne sera pas appelée puisqu'on n'a pas besoin de son résultat. Avec l'évaluation paresseuse on généralise cette approche.

Les green threads (ou threads en espace utilisateur, ou threads M:N, etc.) c'est autre chose : c'est le runtime system de GHC qui effectue l'ordonnancement de threads en espace utilisateur beaucoup plus légers que les threads POSIX par exemple. Ça permet d'en créer beaucoup plus à moindre coût.

J'aimerais aussi à terme tester sur de l'embarqué (ARM, etc.) mais pour l'instant je ne supporte que x86-64.

Exactement ;-)

PS : il manque "fd" dans l'url de ta signature si je ne m'abuse

Pas exactement. Je ne me propose pas de refaire un UNIX-like (et tous les outils qui vont avec). Il s'agit plutôt de proposer une API de plus haut niveau (un peu comme ce que fournit Android à ses applications, pour ce que j'en sais), donc un peu plus complet que la libc puisqu'il y aura aussi l'API pour gérer l'affichage, le son, le réseau, etc.

À la base en 2013 le projet s'appelait ViperVM et le but était de faire un support exécutif pour les architectures hétérogènes (GPGPU, etc.) pour ma thèse. cf https://dl.acm.org/citation.cfm?doid=2502323.2502329
En 2014 j'ai réorienté le projet dans le sens actuel, donc on peut dire que ça fait 3 ans.

Pour les retours, globalement ça marche plutôt bien. Côté Linux, il faut parfois réussir à trouver de la documentation. J'ai noté quelques détails qui pourraient être améliorés :
https://github.com/hsyl20/haskus-system/issues
http://hsyl20.fr/home/posts/2016-04-05-predefined-shared-error-sets-considered-harmful.html
Je regrette aussi que l'API "atomic" de DRM ne soit pas encore supportée par tous les drivers.

Côté Haskell, je n'ai pas eu trop de problèmes techniques (seulement un patch pour le runtime system de GHC afin de pouvoir exécuter un binaire statique dans un initramfs sans avoir besoin des fichiers de iconv et un autre pour que le runtime system utilise timerfd plutôt que des signaux).

Il reste des problématiques de type "recherche" par contre. Par exemple, je ne veux pas utiliser d'exception pour propager et traiter les erreurs renvoyées par les appels systèmes. Je veux que le compilo vérifie que tous les cas sont traités. Du coup j'ai conçu un système qui ressemble aux Checked exceptions de Java mais en mieux (avec du polymorphisme, etc.) mais on atteint un peu les limites du type-checker en terme de performances (à la compilation, pas le code généré).

Merci !

> import Data.Word
> import Data.Bits
> (1 :: Word64) `shiftR` 64
0
> (1 :: Word64) `unsafeShiftR` 64
1

Si c'était le seul "argument", effectivement ce serait un peu léger. C'est sans doute pour ça que les médias ne reprennent que ça sans évoquer le reste : https://www.youtube.com/watch?v=3OzGE5Kjalk

Ceci dit, quand l'UPR revendique 19000 adhérents, c'est comme quand le Parti de Gauche en revendique 12000 : ce n'est qu'une annonce à peu près invérifiable par quelqu'un qui n'est pas aux instances de direction du parti. Certains partis ont un fonctionnement à peu près ouvert et transparent, mais je n'ai pas entendu que ce soit le cas de l'UPR (ni du PG, d'ailleurs).

Oui c'est pour ça qu'Asselineau demande à ce qu'une instance indépendante audite les partis pour vérifier si les nombres annoncés sont corrects. Quels sont les partis qui ont un fonctionnement à peu près ouvert et transparent sur le nombre d'adhérents ?

Concrètement, je veux bien que l'UPR revendique 19000 adhérents, mais ils font quoi ? L'UPR n'a pas d'ancrage local, et on n'entend pas parler du moindre meeting ou de la moindre manifestation publique.

Certains collent des affiches, tiennent des stands, organisent des conférences, des réunions, etc. : https://www.upr.fr/evenements
Un rassemblement est organisé à Paris samedi prochain pour les 10 ans du parti d'ailleurs.

C'est bizarre que tu n'en aies pas entendu parler. Sans doute un oubli de la part des journalistes. Certains mettent 4 mois à sortir un article, ça doit jouer :
http://www.lemonde.fr/m-moyen-format/article/2017/03/09/francois-asselineau-une-voix-dans-la-campagne_5092212_4497271.html

Seule réponse possible : les 19000 adhérents passent leur temps sur Internet à copier / coller la propagande du parti partout (y compris sur Linuxfr, donc, apparemment).

Je ne cautionne pas le journal qui a été posté, vu l'image que ça donne… Mais bon chacun poste ce qu'il veut.

Ça n’a pas empêché l’explosion de la dette, la désindustrialisation, l’explosion du chômage, la fuite des capitaux, le sabotage des services publics, la fonte des droits sociaux, la dégradation des conditions de travail…

Tout ça ne vient pas spécifiquement de la Ve République mais de l'article 63 TFUE (interdiction de la restriction des mouvements de capitaux) et de l'article 121 TFUE qui impose les Grandes Orientations de Politique Economique (GOPÉ). Voir les "recommandations" pour 2016-2017 et les moyens dont dispose la Commission Européenne si elles ne sont pas appliquées.

Il a l’air d’oublier que c’est justement le processus engagé par le CNR et DeGaulle, après la deuxième guerre mondiale, qui a aboutit à l’Europe politique actuelle.

Non, De Gaulle n'était pas au pouvoir en 57 (traité de Rome), puis il a promu le plan Fouchet suivi du traité de l'Élysée justement pour être indépendant vis à vis des États-Unis. Mais ce dernier a été vidé de son sens par le préambule ajouté par les allemands qui a la même valeur que le traité et qui a remis tout ce que De Gaulle voulait éviter

Il rejette complètement l’UE d’un côté mais veut « Adapter aux conditions de 2012 le programme du Conseil national de la Résistance de 1944 » ? C’est étrange et passéiste.

Qu'est-ce qui est étrange et passéiste dans la deuxième partie du programme du CNR ? L'as-tu au moins lu ?

Pas étonnant qu’il ait aussi peu de soutien.

Avec bientôt 19000 adhérents, c'est toujours mieux que de nombreux partis. Le Parti de Gauche avait 12000 adhérents à son apogée en 2012. D'après cette page, c'est plus voire beaucoup plus que EELV, NPA, DLF, MoDem, etc.

Pour ma part je n’ai pas lu tout son programme et je ne le lirai pas.

C'est le meilleur moyen de se faire un avis, c'est sûr.

Je t’invite sincèrement à voter pour le seul candidat ayant une chance qui représente une alternative au système actuel et qui n’est pas le FN.

Je sèche.

Dans le dossier sur Schuman je ne crois pas qu'il y ait de cycles.

Par contre oui il faut essayer de remonter aux sources primaires. Par exemple dans l'article Wikipedia il est écrit "L'UPR prône un rapprochement avec la Russie" (source 106). Lisons la source 106 : http://www.lavoixdunord.fr/region/regionales-l-upr-en-campagne-le-seul-parti-qui-ia34b0n3192402

Le journaliste écrit "L’UPR prône un rapprochement avec la Russie." sans que ce soit étayé par une citation ou une explication de ce qui l'amène à penser ça. Ça devrait n'avoir aucune valeur mais pourtant c'est considéré comme source valide par Wikipedia. Donc je suis complètement d'accord avec toi quand tu écris :

Il n'y a plus qu'à noyer les gens de liens et de sources variées (fiables ou non), et la démonstration de l'invalidité des thèses soutenues devient d'une complexité folle.

C'est le problème des sources secondaires qui appartiennent toutes au même courant (et aux mêmes personnes) et de Wikipedia qui ne prend en compte que celles-ci : il suffit que Rudy Reichstadt déclare que quelqu'un est complotiste et c'est repris comme source fiable dans tous les médias dits sérieux sans être étayé.

Balayer d'un mot "complotiste" les arguments qui sont avancés, c'est un peu léger :
https://www.upr.fr/dossiers-de-fond/la-face-cachee-de-robert-schuman

Sauf que ce sera probablement considéré comme une entrave à la libre concurrence :
https://fr.wikisource.org/wiki/Traité_sur_le_fonctionnement_de_l%u2019Union_européenne#Article_106

Pour la vente liée, c'est déjà plié :
https://www.nextinpact.com/news/101268-la-justice-europeenne-sanctuarise-vente-liee-pc-et-os.htm

Donc durant toutes les renégociations des traités (Plan A), rien ne changera. Dans X années, une fois qu'il aura été acté qu'elles ont échoué (cf unanimité requise par l'article 48 TUE), il faudra passer au Plan B ("désobéir aux traités") : https://www.youtube.com/watch?v=JAP2I7Lgauk

Bref autant faire le Frexit directement.

points de vus qui sont ultra minoritaires voire inexistants dans des sources sérieuses

Les sources sérieuses de Wikipedia comme Le Monde, Libération et consorts ?

Sauf que c'est l'inverse quand on lit le discours complet. Ceux qui doivent trembler ce sont les membres de la Convention qui redouteraient la surveillance des citoyens.

Extrait (http://munseys.com/diskeight/maxf.htm) :

Citoyens, c'est ici le moment de dire la vérité. Je ne reconnais à tout ce qu'on a dit que le présage sinistre de la ruine de liberté et de la décadence des principes. Quels sont en effet ces hommes qui sacrifient à des liaisons personnelles, à la crainte peut-être, les intérêts de la patrie? qui, au moment où l'égalité triomphe, osent tenter de l'anéantir dans cette enceinte? On veut vous faire craindre les abus du pouvoir, de ce pouvoir national que vous avez exercé, et qui ne réside pas dans quelques hommes seulement. Qu'avez-vous fait que vous n'ayez fait librement, qui n'ait sauvé la république, qui n'ait été approuvé par la France entière? On veut nous faire craindre que le peuple périsse victime des comités qui ont obtenu la confiance publique, qui sont émanés de la Convention nationale, et qu'on veut en séparer; car tout ceux qui défendent sa dignité sont voués à la calomnie. On craint que les détenus ne soient opprimés; on se défie donc de la justice nationale, des hommes qui ont obtenu la confiance de la Convention nationale: on se défie de la Convention qui leur a donné cette confiance, de l'opinion publique qui l'a sanctionnée. Je dis que quiconque tremble en ce moment est coupable; car jamais l'innocence ne redoute la surveillance publique.

Merci beaucoup pour cette dépêche !

Les progrès dans ce domaine sont très intéressants et commencent à être intégrés dans des langages qui se veulent plus simples à utiliser comme Idris. Ça fait plaisir.

Justement d'habitude on se "bat" contre les médias qui utilisent "hacker" pour "pirate" alors que les "hackers" du noyau Linux n'ont rien de pirate (par exemple).

Tiens d'ailleurs, sur http://fr.wiktionary.org/wiki/hacker ils ont inversé : avant le premier sens était "Passionné [..]" et le deuxième était "Pirate (par amalgame)" (cf Historique). Ce qui explique que la "Note" en dessous des définitions ne veut rien dire actuellement.

Même les québécois ont l'air d'utiliser "hacker" : "Journal du hacker" ?

C'est vrai que Java est interprété, utilise un ramasse-miettes, a besoin d'un VM super lourde, etc. Oh wait!