Journal Linux un bloat, ah bon ?

Posté par (page perso) .
Tags : aucun
13
23
sept.
2009
On aime bien Linus, sans ironie aucune, pour sa franchise (les nazis chez Gnome), sa sagesse (son peu d'enthousiasme pour les gueguerres entre les pro et cons de l'opensource), et sa lucidité.

Il vient d'en faire preuve une fois de plus en affirmant que Linux est devenu un bloat.


Personnellement, cela ne m'étonne pas pour plusieurs raisons :
  • L'informatique est vaste aujourd'hui, avec énormément de fonctions, de standards mais aussi de possibilité (ce qui est heureux) de par la débauche (...)

Processeur graphique : NVIDIA est mal parti pour les années à venir

Posté par (page perso) . Modéré par baud123.
Tags : aucun
24
8
sept.
2009
Technologie
Les processeurs graphiques sont d'une puissance inégalée par rapport aux cœurs de calcul disponibles sur les processeurs x86. Malgré tout, leur coût d'accès mémoire reste trop important. Plus encore, les processeurs graphiques sont très spécialisés dans le calcul pur rendant difficile leur programmation.

Pour un développeur programmant autre chose qu'un jeu, il est difficile d'évaluer si transférer les calculs sur le processeur graphique est intéressant, d'autant plus si la complexité des calculs peut être variable.

Quelques voix s'élèvent pour pointer ces problèmes qui peuvent laisser penser que le traitement graphique hors du processeur n'a plus que quelques années devant lui.

La victime de cet état de fait pourrait bien être NVidia.

Journal Le parti pirate obtien au moins un siège de député européen !!

Posté par (page perso) .
Tags : aucun
11
8
juin
2009
C'est le résultat incroyable (auquel on s'attendait, certains avec craintes, d'autres avec réjouissances) qui est tombé ce soir en suède, ou le piratepartiet a obtenu plus de 7%, soit au moins un député, voire peut être deux !!
C'est un séisme dans le paysage politique suédois, d'après numérama

Espérons qu'ils sensibiliseront leur collègues députés sur les atteintes rampantes à la démocratie et la liberté d'expression qui sourdent de plus en plus ici et là...

Journal La prise de conscience

Posté par (page perso) .
Tags : aucun
14
5
mai
2009
En 2000, j'ai fait connaissance avec le terme de néolibéralisme, et j'ai appris, - et depuis, etayé - ce que cette idéologie a de différent, voire de totalement contradictoire avec le libéralisme classique. Je ne vous renvoi pas vers la définition de wikipedia, qui pour une fois est assez mauvaise, mais vers un texte du philosophe québécois Maurice Lagueux décrivant la génèse et la naturede ce courant philosophico économique. Les lecteurs les plus endurants sont chaudement recommandé de lire (...)

Journal Contrats et exceptions

Posté par (page perso) .
Tags : aucun
4
12
mar.
2009
Un très intéressant article dans 01 sur l'introduction de la programmation par contrat dans les langages .NET.
En passant, Sun va devoir faire vite évoluer Java, car celui-ci commence à prendre du retard niveau fonctionnalités sur C#/.NET : langage LINQ, closures (certains préfèrerai un type Block à la SmallTalk/Ruby/Lisaac/etc...)
C'est l'opinion de Betrand Meyer, créateur d'Eiffel qui est ici intéressant : celui-ci regrette le maintien du système d'exceptions, le qualifiant de mécanisme "brutal".
J'ai déjà parlé icide (...)

Journal Téléphone sonne en ce moment sur France Inter

Posté par (page perso) .
Tags : aucun
1
9
mar.
2009
C'est le moment d'attirer l'attention de Madame michu sur l'outil dictatorial qui est en train de se mettre en place : le mouchard sur l'ordinateur de l'internaute.
Pour le moment, je n'en n'ai pas entendu parlé...

http://www.radiofrance.fr/franceinter/em/letelephonesonne/

PS : envoyez des mails, le téléphone est déjà saturé !

Journal La preuve de programme : où en est-on ?

Posté par (page perso) .
3
3
mar.
2009
Je suis en train (d'essayer) de lire la thèse de J-C Filliâtre http://www.lri.fr/~filliatr/ftp/publis/these.ps.gz intitulée Preuve de programmes impératifs en théorie des types
L'objectif est simple : on pose des contrat pre et post sur un morceaux de code, on peut aussi poser des invariants au sein d'une boucle, et le logiciel ( http://why.lri.fr/index.fr.html ) qui est tiré de cette thèse :
  • Prouve la complétude et l'adéquation des contrats au code
  • Prouve que le code respecte les contrats

Plus fort que (...)

Journal Déterminer le domaine d'un programme

Posté par (page perso) .
Tags : aucun
1
24
fév.
2009
Je devrais la mettre en forum, mais ça peut être intéressant.
Une question aux théoriciens qui traînent par ici : est-on capable pour une fonction définie dans un langage turing-complet, ayant défini son ensemble de départ, de déterminer l'ensemble d'arrivé de la fonction ?

Google n'est pas mon ami, pas plus que google scholar, mais je me doute que je ne lui donne pas les bons mots-clés.

Soit f une fonction (un programme), avec E et F tel que f (...)

Journal Le multicoeur va vraiment devenir problématique

Posté par (page perso) .
Tags : aucun
13
6
fév.
2009
J'en parlai il y a déjà 1 an et demi, mais il semble que le problème - insoluble - de l'invasion du multicoeur inquiète sérieusement l'industrie.

Dans cet article de LMI, un analyste de Gartner tire la sonette d'alarme sur l'avenir du logiciel sur les serveurs.

Le problème n'est même plus de réussir à faire des logiciel capable de faire leur boulot de manière performante avec 32,64,... 512 processus/thread, le problème est que les OS eux-même, en particulier (...)

Journal Le labo commun Inria-Microsoft

Posté par (page perso) .
Tags : aucun
8
2
fév.
2009
L'inria, au grand dam de nombre de ses salariés, a pactisé avec l'ennemi pour créer un laboratoire commun de recherche.
Pour le moment, les Forces du Mal ne semblent pas avoir imposé leur maléfiques brevets logiciels, et permettent même de libérer les sources et informations sur leur projet par une licence agréée par le Camp du Bien.

On y trouve divers axes de recherches très intéressants :

Secure Distributed Computations and their Proofs et Tools and Methodologies for Formal Specifications (...)

Journal Perl, Javouille, Lisaac|(Ruby|SmallTalk|etc..)

Posté par (page perso) .
Tags : aucun
15
20
jan.
2009
Ayant pas mal codé en perl ces derniers temps, j'ai fait suffisamment de code pour commencer à avoir un avis à peu près informé de ce langage.
Je suis pourtant loin d'avoir exploré toutes les possibilités offertes, tellement elles sont énormes.
J'utilise principalement Perl pour ce quoi il est fait, c'est à dire analyser de la chaine pour en générer.
Les connaisseurs me demanderont pourquoi je ne code pas avec le langage que je défend : Je n'utilise pas encore (...)

Journal Retour sur le Isaac Meeting 2008

Posté par (page perso) .
Tags : aucun
4
20
déc.
2008
C'est avec quelques mois de retard que je vous propose un rapide petit compte rendu de la réunion du projet Isaac ayant eu lieu du 25 au 28 juillet 2008 à Strasbourg.
Environ une quinzaine de personnes étaient présente, dont certains habitués de ces pages.

Divers questions y ont été abordé dans la chaleur moite et statique de l'été Strasbourgeois (35 °C, 0 Km/h de vent)

Le programme se trouve ici : http://lisaac.u-strasbg.fr/index.php/R%C3%A9union_25-28_juil(...)
Parmi les points fort, on pourra remarquer (...)

Journal L'espèce humaine est miséreuse

Posté par (page perso) .
Tags : aucun
9
29
oct.
2008
Mon cher journal, Je ne résiste pas au plaisir de te conter cette fabuleuse histoire de plaque d'immatriculation que le gouvernement veut changer car l'ancien arrive au bout, principalement à Paris.
Un système plus intelligent a donc été pensé : plaque d'immatriculation assigné au véhicule à vie, numéro national.

Quel scandale ! Car comment saura t-on de quel département j'ai éclo ? Je suis vendéen/mayennais et fier de l'être !! Je veux que mon département soit affiché en gros sur (...)