Ontologia a écrit 2118 commentaires

Ben tout simplement parce qu'un mac t'est livré avec un OS préinstallé, et fait pour la machine. Dans le monde Windows, si tu achètes une machine avec un windows préinstallé, ça se fait également tout seul. Par contre je ne suis pas sur qu'une version "boite" te le fasse sans au moins avoir installé le logiciel.

C'est sûr qu'on peut pas demander la lune dans ce cas là. Apparemment ya une fil là dessus.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

J'ai une Mint, si tu as un tuto, ça m'intéresse.
Le cas d'usage étant le suivant : l'ordi est en veille depuis X temps. Sa batterie est quasiment vide, il se met en hibernation tout seul.

Tu dois pas être très doué.

Sur un mac, t'as rien à configurer, c'est natif, c'est quand même dingue que je sois obligé de le faire…

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Ok super ! Mais est-ce que le pavé tactile permet de gérer des gestures (multipoint donc ) ?

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Sur le site ils parlent d'un 1080p

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Mais c'est ça le problème avec un PC : faut faire attention à tout ! Attention à ton câble, attention à la mise en veille qui est pas foutue de se gérer automatiquement (quand la batterie est vide, infoutu de se mettre en hibernation tout seul, résultat tu perds ta session), etc etc…
Ne plus se préoccuper de cela est un des rares luxe que je m'offre

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Sauf que le XPS me propose pas d'écran Retina. De plus, j'ai pas un touchpad multipoint avec les gestures. Quand au son et au micro, je sais pas du tout ce que ça donne. Et il faut aussi vérifier que c'est pas une turbine quand il chauffe un peu trop.

Je pense que le prochain sera un mac d'occas' qui ne sera pas le nouveau modèle présenté actuellement, avec la disparition de l'indispensable magsafe.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Dans ce cas là, j'en veux plus. C'est totalement indispensable pour moi, je suis tellement maladroit que mon pc va automatiquement voler toutes les 3 semaines…

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Personnellement, j'ai aussi un mac, et je me fous de me la péter avec quoi que ce soit. Surtout qu'autour de moi tout le monde s'en fout, et que si j'avais le malheur d'envisager une seconde de me la péter avec mon mac, oulala ce que je me prendrais…
J'ai cherché à acheter autre chose qu'un mac, avec les prérequis d'un habitué à Apple depuis 10 ans.
Eh bien j'ai pas trouvé. Il y avait un Dell et un AlienWare, tous deux horriblement moches qui pouvaient soutenir la comparaison. L'esthétique de métaleux vertes et glauque, très peu pour moi.

Les autres machines sont en générales moches. Les dalles sont ignobles. Le son est affreux, le micro n'en parlons pas. L'autonomie catastrophique.
J'ai un Toshiba Satellite R50 au boulot (une bête de course pourtant : 16Go de mémoire, SSD…), et il n'arrive pas à la cheville de mon macbook pro de 2011 : l'écran est immonde, le son est une catastrophe, le micro n'en parlont pas, l'autonomie juste une horreur. Sans parler du bruit de turbine de centrale nucléaire qu'il fait régulièrement. Les perfs ça va à peu près, mais il arrive pas à la cheville de mon Mac, qui n'as pas de SSD lui, pourtant.

Quand à ton Lenovo, il est surement très bien pour ton utilisation, mais :

• Il est pas quadricore
• Il est en plastique moche
• La dalle, pour en voir vu des Lenovo similaires est horrible
• Le son idem
• etc…

Quand tu achète un mac, et que te la péter tu t'en fou, tu l'achète parce que :
- Dans 7 ans il marchera encore et il commencera tout juste à peine à être distancé en terme de puissance
- T'as quelques chose de beau sous les yeux. Je suis comme ça, c'est mon côté artiste, j'aime pas avoir de la mocheté sous mes yeux, ça me déprime
- Il fonctionne et il pose pas de question
- Il est silencieux
- J'ai pas de problème avec la prise de recharge aimanté, du coup, je fais pas voler mon pc tous les 3 semaines parce que je me prend dans le câble
- Je peux enregistrer mes parties de guitare avec le micro, le mec qui a fait le master du disque derrière, n'y a vu que du feu
- J'ai une vrai carte graphique, je peux faire du Cuda
- Etc…

Quand t'achètes un mac, c'est cher parce que t'as le top dans tous les domaines, et pas seulement les specs : écran, coque en alu, micro, caméra, clavier, carte graphique, etc….

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Et citons l'argument -dcmm de ocamlopt qui génère une sorte de Clight, mais dans une syntaxe Lisp.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

P = V²/R pour une résistance
Que représente V ?

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

En effet, j'ai mes raisons.

Effectivement, cet article a plus de 6 mois.
Mais il traduit l'état d'esprit de notre technocratie et de notre "élite".
Cet état d'esprit va poursuivre et frayer son chemin pour finir par réussir à imposer un arsenal juridique, probablement avec la bénédiction du Conseil Constitutionnelle.

Ce fait est symptomatique qu'envisager un internet à la chinoise n'est plus tabou dans leur esprit.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Il ne faut pas oublier que les jeunes sont en proportion beaucoup plus éduqués que leurs ainé. Je ne connais pas les chiffres en UK, qui doivent être différents de ceux de la France, vu le coup des études supérieurs là-bas…
En France on est à 40% par génération qui sont Bac général +

Il faut savoir que le taux de chômages chez les cadres et agents de maitrise tourne autour de 5-6%, peut-être un peu moins là bas.

Donc, quand tu es jeune, et assez éduqués, tu n'es pas victime des Polonais qui viennent te piquer ton boulot (j'ai rien contre les Polonais, ils ont une famille à nourrir comme tout le monde, j'en ai plutôt contre les abrutis qui ont voté cette directive)…
Donc aucune raison d'être contre l'UE, au contraire…

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Étant sensible à l'histoire de l'informatique, et ayant écrit un article sur l'invention d'Unix (publié dans un Linux mag il y a un an), j'ai été particulièrement intéressé par ce post de blog qui illustre mon point de vue dépassionné sur la question.
Dépassionné, car j'utilise Linux au boulot, à un niveau qui fait que systemd, je sais à peine qu'il existe, et donc je m'en fou un peu.
Ce post de blog compare Multics et systemd; c'est écrit par un sysadmin, et c'est à mon avis très intéressant.

Teaser :
Multics tried to be everything to everyone by providing the most general interface possible. As a result, it was inefficient to develop and cumbersome to use. It got the job done by making the 99% majority of use cases more difficult in order to make the 1% minority simpler. This is a design pattern I think is being repeated in systemd.

Traduction libre : Multics essayait de tout faire pour tout le monde en proposant une interface la plus générale possible. résultat, celle-ci était difficile à écrire et peu pratique à utiliser. 99% des cas d'utilisations étaient très complexes afin de faire en sorte que les 1% soient plus simple.
C'est ce design-pattern que je pense être répété dans systemd

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

C'est le genre d'argumentation qui a le don de m'énerver. Un bon GC est meilleure qu'un mauvais programmeur : ho la bonne surprise. Je vais te la faire à l'envers : un mauvais GC est pire qu'un bon programmeur ! Et on a bien fait avancer le bouzin.

Tout à fait, et un bon GC, il mark and sweep, mais c'est un bon GC, tandis qu'un mauvais GC… il mark and sweep mais c'est un mauvais GC…

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Sur github, tu trouves pas mal de projets sympas, comme https://mahsu.github.io/mariocaml/

En mode ultra-beginner, tu as ça : https://try.ocamlpro.com/

Je suis aussi tombé sur un squelette pour nouveau projet, je sais pas ce que ça vaut, mais ça peut être pas mal : https://github.com/wickedchicken/ocaml_skeleton

Quand tu es débutant, je te conseil d'installer Opam et d'installer Utop avec, utop étant un REPL très sympa, avec complétions, couleurs, rappel de commandes, etc…
Tu peux ainsi coder pas à pas, regarder ce que ça donne, modifier, rejoier etc..

Sous utop, la commande #trace mafonction;; pourra t'aider à comprendre ce qui se passe.
Sur opam, avec opam search, ou sur github, tu trouveras plein de libs pour toutes sorte de choses.

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Par expérience, un logiciel de gestion Électronique de Document que j'ai écrit en OCaml (25KLOC) avait très peu de bugs une fois que le compilateur était d'accord pour compiler.
J'ai surtout eu des bugs avec des chaines mappés sur toutes sorte de champs de base de données. Une fois utilisé des types fantômes pour les discriminer, j'avais essentiellement des bugs d'algo.

Le compilateur chiant est un outil génial pour les fainéant

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Beaucoup d'étudiant étaient perdus, et plutôt que de leur donner envie d'en savoir davantage, je pense qu'ils garderont en souvenir un langage compliqué. C'est dommage, car les personnes qui sont formées aujourd'hui sont celles qui décideront des langages dominants pendant les 15 (20 ?) prochaines années.

C'est exactement ce que je remarque en discutant avec des gens qui ont fait du OCaml durant leur études : un vieux prof chiant les en a dégouté avec un sujet on ne peu plus chiant..

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Si je reprend ton excellente analyse de Il était une fois, que j'applique au problème de Nicolas, cela donnerai :

• Faire des personnages identifiables. Le personnage qui transporte le paquet, celui qui le réceptionne. On a les personnages Héros (comme Pierre, Marie, Le Gros, Maestro), et on a le quidam (le quidam globule rouge, le quidam globule blanc, etc…)
• Met du texte, comme indiqué par Liorel
• Met une intrigue minimale : Madame Michu envoie un email à Madame truc

Mes $0,002

Belle initiative en tout cas !

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Je plussoie activement que qu'a dit Nicolas.

Framapad est un espace permettant à plusieurs personnes de travailler sur un texte en commun, avec gestion de l'historique
Framadate permet à un équipe de gérer des rendez-vous.

Pour le formulaire de contact, vous avez un hébergement ?

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Pour ce qui est des lampes, bien sur que c'est cool les lampes, on rêve tous de chauffer notre studio avec un VOX AC30 ou une tète Orange, hein ?

Autant j'adore l'AC30 pour le son clair, mais en overdrive, c'est juste horrible, mais bon, les goûts et les couleurs…

Note que si tu t'es jamais branché dans un Roland Jazz Chorus (JC30 & 60) tu peux pas dire du mal des transistors.

C'est vrai que j'ai déjà entendu parlé de ces fameux amplis, faudrait que j'essaye…
C'est sur que ça donne envie, mais ça manque d'un je ne sais quoi de chantant dans le son, je trouve…
Mais faudra que j'essaye en vrai

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Je salue franchement un aussi beau boulot : avoir une MXR phase 90 sans avoir à débourser le pavé (et le transfo), c'est cool.

Malgré tout, bien que je sois quand même pas mal geek, j'avoue que déjà que mettre un transistor entre ma guitare et mon ampli (à lampe bien sûr), j'ai du mal (allez, au germanium, ça passe encore), mais alors mettre du numérique, là je peux pas :p
(bon pour la pédale de loop, j'ai pas pu faire autrement, mais en 24 bits, c'est supportable)

Donc je resterai sur ma Blackstar à lampe (ahhhhh), ma MXR phase 90 en série avant l'ampli :-)

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Attention Zenitram, tu viens de dire un truc de gôôôôche !!
Si tu commences à reconnaître que les pauvres vont plus en prison que les autres, tu risques de finir avec un livre de Bourdieu entre les mains..

Ton construction mentale qui justifie la domination par le "mérite" risquerai d'en prendre un coup ;-)

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Hollande et le PS sont à droite, maintenant c'est clair :

• "Mon ennemi c'est la finance"

Pendant ce temps là, Macron allait expliquer à la City que non non, c'est juste des conneries pour gagner des voix. Explication d'un banquier ici

• La séparation des banques de dépôt et des banques d'affaires qui a abouti à… rien

• La fameuse négociation avec l'Allemagne promise par Hollande qui abouti à se coucher une fois plus devant la névrose allemande sur l'inflation (je n'ai aucun problème avec leur névrose, mais qu'ils se l'appliquent, mais pas chez moi)

• Le droit du travail retaillé sur-mesure pour le MEDEF, alors que le problème, c'est la disparition programmée de l'emploi…

• Le soutien au TAFTA

Et plein d'autres exemples que j'oublie.

Charles Sannat, pas soupçonnable d'être un gauchiste, a bien résumé la situation

La réalité aujourd'hui, c'est qu'on est en train de constituer un système Communiste privé.
J'en veux pour preuve l'étude de Stefania Vitali, James B. Glattfelder, et Stefano Battiston de l'Institut fédéral Suisse de technologie à Zurich qui ont mathématiquement démontré que 147 société transnationales, qui s’appartiennent les unes aux autres, dans le cadre d’un réseau dense de prises de participation mutuelles dans leur capital-action les unes des autres, constituent de fait une SUPER ENTITÉ ÉCONOMIQUE qui possède de loin la plus grande part de la richesse de la planète :

Alors oui, je te concède qu'il y a un bien un clivage gauche-droite : pour ou contre les pédés.

Mais, notre ami Hollande, qui soutient ce néocapitalisme totalitaire (avec la non séparation des banques, le soutien à la mise au pas de la Grèce, etc..) mène une politique bien néo-libérale, l'autre nom du Darwinisme Social

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Disons que je sens monter un parfum d'antisémitisme latent autour de moi (minoritairement heureusement), et j'ai l'impression que ce qui chiffonne le français égalitariste, c'est le fait que les 0,8% de français de confession juives (je préfère ce terme) sont surreprésentés au sein de l'élite.

Ça, ça passe mal…

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker

Je ne vois pas bien la différence entre un type fantôme et un type (mais te fatigue pas je pense qu'il faudrait que je manipule tout ça pour commencer à comprendre ^_).

Je te propose un exemple simple (celui avec lequel j'avais compris le concept).

Imagine que tu ais deux tables :

create table T1(idt1 text, lbl1 text);
create table T2(idt2 text, lbl2 text);

Tu veux faire un mapping sur ces deux tables, avec chacune une structure

type t1 = {
idt1 : string;
lbl1 : string;
}

type t2 = {
idt2 : string;
lbl2 : string;
}

Le genre de problème qui m'est arrivé, c'est quand tu vas chercher une ligne de ta table, avec un select, tes données pour hydrater ta structure : tu est fatigué, tu fais pas attention et tu intervertis idt1 et lbl1.
Erreur d'étourderie classique qui arrive à tout le monde.
Comme c'est deux chaînes, tu te retrouves avec un bug 4 kilomètres plus loin, et tu cherches longtemps avant de trouver.
<troll>Et là, tu te retrouves au moyen-âge, comme quand tu faisais du java</troll>

La solution, c'est d'utiliser un phantom type :

Si tout était simple, on pourrait faire ça, car c'est l'idée

type id
type lbl
type 'a champBase = string

Mais le compilateur reconnait que les id champBase et lbl champBase, c'est la même chose
Donc, on le force :

module T : sig
(*on défini nos types spécialisés*)
    type id
    type lbl
    (*on devra passer par ces fonctions pour créer les chaines typées. *)
    val makeid    : string -> id 
    val makelbl : string -> lbl 
    val fromid    : id -> string
    val fromlbl : lbl -> string
end = struct
    (*Nous sommes dans l'implémentation du module, on défini que nos types particuliers sont des chaînes*)
    type id = string
    type lbl = string
    (*la définition de type dans la signature nous garantie que l'on renvoi bien un type T, alors que l'implémentation est une bête fonction identité*)
    let makeid    s = s
    let makelbl s = s
    let fromid s = s
    let fromlbl    s = s
end;;

Du coup tu définis tes deux types avec

type t1 = {
idt1 : T.id ;
lbl1 : T.lbl;
}

type t2 = {
idt2 : T.id ;
lbl2 : T.lbl;
}

Tu peux définir ta structure en utilisant les phantom-type

{ idt1 = T.makeid "456s" ; lbl1 = T.makelbl "456" };;

Et voilà, tu es forcé par le compilateur de ne pas te tromper.
C'est un peu chiant et lourd, mais ça évite plain de problèmes, car chaque chaîne est à sa place

« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker