Journal Récent livre pour apprendre Haskell et la programmation fonctionnelle

Posté par (page perso) . Licence CC by-sa
24
13
jan.
2015

C'est un fait : la programmation fonctionnelle à la vent en poupe (enfin, de nouveau), et les processeurs multi-cœurs y seraient pour quelque chose.

Haskell est connu pour être un de ces langages puissants, mais pas forcément simple à aborder, surtout qu'il peut-être fainéant. Bref, il est souvent recommandé de s'y connaître un peu en fonctionnel avant de s'y attaquer.

Mais voilà, Richard Bird vient de sortir un nouveau livre permettant de découvrir la programmation fonctionnelle et haskell en (...)

Journal Notepad++ est Charlie

Posté par . Licence CC by-sa
15
12
jan.
2015

Le créateur de Notepad++ est Français même si apparemment il n'aime pas être désigné comme tel.

Il n'empêche qu'une version spéciale de Notepad++ a vu le et lors du premier lancement, le message suivant est affiché.

Freedom of expression is like the air we breathe, we don't feel it, until people take it away from us.

For this reason, Je suis Charlie, not because I endorse everything they published, but because I cherish the right to speak out freely (...)

Journal Les lois françaises favorisent-elles l’insécurité informatique ?

Posté par . Licence CC by-sa
15
11
jan.
2015

Un système mécanique, par exemple dans une voiture, est relativement facile à sécuriser :

  • Le nombre de pièces et leurs interactions est relativement limité donc le risque de panne aussi ;
  • On peut calculer la résistance de chaque pièce mécanique et prévoir sa fiabilité (MTBF), quelles que soient les contraintes : efforts mécaniques exercés sur la pièce, fatigue et usure, vibrations, chaleur, réactions chimiques, corrosion ;
  • On a accès à chaque pièce pour faire un diagnostic ou une expertise et (...)

Journal Flattr permet de faire de micro-dons sans taxes aux sociétés de charités et à but non lucratif

Posté par (page perso) . Licence CC by-sa
Tags : aucun
7
11
jan.
2015

… et donc par extension à la plupart des projets libres régis sous forme de fondation ou d'associations à but non-lucratif.

J'ai découvert cette particularité de Flattr récemment après être tombé par hasard sur un badge "Verified non-profit" sur le compte de la Gnome Foundation.

Pour moi, Flattr est donc un très bon moyen de faire des micro-dons réguliers (en s'inscrivant à un compte Flattr plutôt que juste de flatter) à la plupart des projets libres et sans utiliser Paypal (...)

Journal Bookmarks

Posté par (page perso) . Licence CC by-sa
11
11
jan.
2015

Cher journal,

J'ai dans mes flux RSS (en retard, mais là n'est pas la question), quelques liens qui pourrait t'intéresser, comme je n'ai pas la motivation d'en faire un journal pour chaque, je regroupe tout et je te laisse faire le tri de l'utile.

C'est un moteur de recherche dans le code source des paquets Debian (130GB) hébergé gracieusement par Rackspace. Cela peut vous permettre des exemples d'utilisation de certaines construction ou de trouver toutes les mauvaises (...)

Journal Déplacer les touches contrôle avec TM2030

Posté par (page perso) . Licence CC by-sa
4
10
jan.
2015

Cher journal,

Dans Emacs, bash, ou n'importe quel logiciel, j'utilise intensivement les touches contrôles. En tant qu'utilisateur de clavier TypMatrix, j'ai senti que les touches contrôles étaient bien trop inaccessibles sous l'auriculaire. J'ai donc cherché à les déplacer sous le pouces, très exactement sur la touche CycleWindow (dite shuffle) et la touche Desktop.

Sur TypeMatrix 2030, on peut remapper les touches de raccourcis lorsqu'on est en mode 106. Après une tentative fructueuse avec xmodmap, je me (...)

Journal Des bookmarks dans mon terminal !

Posté par . Licence CC by-sa
20
9
jan.
2015

Coucou à tous !

Je voulais vous partager une astuce toute simple que je viens de mettre en place sur mon ordi, en espérant que ça puisse servir à d'autre.

Il m'arrive régulièrement d'avoir simultanément plusieurs dossiers de travail en console, et je voulais pouvoir passer facilement de l'un à l'autre en console. Je me suis donc créé deux commandes shell : x et ccd. Je les ai appelé comme ça par ce que je manquait d'inspiration, que x c'est (...)

Journal Première réunion pour un Blender User Group Rennais

Posté par . Licence CC by-sa
Tags :
6
9
jan.
2015

Première réunion pour un Blender User Group Rennais

Il existe un peu partout en France des groupes d'utilisateurs de logiciels libres et cela depuis longtemps. Au fil des années leur nombre a crû avec le nombre d'utilisateurs et de contextes d'utilisation. Au-delà de la promotion générale, on a donc vu apparaître des spécialisations : association sectorielle (AFGRAL), groupements d'entreprise par géographie ou par éthique. Elles ont permis aux personnes de se regrouper par centres d'intérêt et de gagner (...)

Journal SécurityDay à Lille seconde édition

Posté par (page perso) . Licence CC by-sa
8
9
jan.
2015

Bonjour,

Mes étudiants organisent une conférence de sécurité assez technique le 16 Janvier 2015 à L'université de Lille 1:

http://securitydaylille1.github.io/

Au programme:
- (FR) Keynote - Fred Raynal
- (EN) Towards ultimate deobfuscation - Aurélien Wailly
- (FR) Recherche de vulnérabilités - Florian Ledoux
- (FR) Program analysis: dynamic binary analysis and instrumentation - Jonathan Salwan
- (EN) Memory analysis: a volatility primer - Mariano Graziano
- (EN) Inside VMProtect - Samuel Chevet
- (EN) Theorem prover, symbolic execution &amp (...)

Journal Espionnage sur le net : des nouvelles du front

Posté par (page perso) . Licence CC by-sa
25
9
jan.
2015

Rien de mieux qu’un espion pour expliquer ce dont les autres espions sont capables. Un article récent du Spiegel explique que la NSA peut casser la plupart de la crypto en usage sur internet : TLS, VPN, SSH, Skype… Pour se protéger des oreilles indiscrètes, il faut paramétrer ses outils avec soin (voir plus bas pour SSH).

Pire : la NSA garde une copie de ce qu’elle ne peut pas déchiffrer dans l’immédiat, au cas où une nouvelle faille lui (...)

Journal Projet pour une presse libre

Posté par . Licence CC by-sa
16
8
jan.
2015

Projet pour une presse libre

Très cher Nal,

Un drame comme celui d'hier serait encore plus tragique s'il n'était point récupéré, aussi quelques opportunistes savent se saisir des atrocités pour nous enfiler un peu plus ; comme pour donner du sens à un évènement qui en était jusque là vide. Par exemple notre brave ministre culture-comm' s'est empressée de promettre de « changer les textes » qui régissent les aides à la presse. Alors que des figures emblématiques du canard comme Charb contraintes (...)

Journal 4,3 millions d'euros volés à la plate-forme d'échange de bitcoins Bitstamp

Posté par (page perso) . Licence CC by-sa
Tags :
13
8
jan.
2015

18,866 bitcoins volés. A priori, une grosse partie des fonds de Bitstamp (88%) n'étaient pas atteignable depuis Internet et n'ont pas été volés. Il ne s'agit "que" du "hot wallet" utilisé pour que les clients y déposent des fonds. A priori, les clients ne sont pas affectés, mais le cours du Bitcoin a chuté : de 314$ à 263$, puis 286$ aujourd'hui (selon ce que j'ai vu sur coindesk). Certains critiquent Bitstamp sur la quantité de bitcoins dans cette hot (...)