Theor

Je m'étais un peu mis à l'hébreu l'année dernière avant un départ pour Israël, j'ai laissé tombé depuis. Il faudrait que je m'y remette...

Possible, mais après tout, tout immigré est à la base un émigré.

De ce que j'en lis, ce sont les conditions du gavage et non le gavage en lui-même qui lui valent cette mise en examen. La vidéo Youtube semble un peu raide en effet, j'ai pas eu envie de la regarder.

Ah, toutes ces fillottes qui font dans leur froc à la vue d'un morceau de pain ou de sucre... lopétisation de Liborg, j'vous dis...

Non, j'aurais plutôt dit SPARK, mais SPARK n'est pas vraiment formel, et ne possède pas non plus les paradigmes fonctionnels du LISP, Haskell, CaML ou Coq (pas de lambdas, pas de confusion syntaxe - AST ni de confusion code-données). Ca n'en reste pas moins un langage beaucoup plus prouvable que les langages procéduraux classiques, de ce que l'on en dit.

Aujourd'hui, j'ai découverts l'existence d'un langage fonctionnel encore plus formel que Haskell : Coq. Tellement formel qu'il n'en est pas complet Turing, mais qu'il a été à l'origine de la découverte du bug d'OpenSSL/TLS ! http://linuxfr.org/news/sortie-de-coq-8-5-beta-un-assistant-de-preuve-formelle

Toronto un peu naze ? Ca dépend vraiment de ce que chacun recherche. Pour quelqu'un qui fait surtout un choix par rapport à sa carrière, c'est super. Il faudrait aussi mentionner Calgary. Un peu loin des US, mais c'est une ville pleine d'opportunité, en territoire quasi libertarien.

Ah et j'oublie de mentionner que ces mêmes personnes "exploitées" qui revendiquent le salaire universel ont droit aux congés payés, congés maladie avec jours de carence, travaillent 35h par semaine, et ont souvent un CE généreux et des accords sectoriels. Ca ne les choque pas du tout quand je leurs dis que je n'ai droit à rien de tout ça étant à mon compte alors que c'est quand même moi qui leur paye tous ces avantages. Et oui, car j'avais qu'a être salarié comme tout le monde.

Tu sais, moi, au travail, c'est le délire du salaire universel / revenu de base qui revient constamment. Plus le temps passe plus ça prend de l'ampleur, et ils ont toujours selon eux "des économistes sérieux qui ont prouvé que c'est faisable", et que si on ne l'a pas, c'est parce que le "patronat" souhaite poursuivre l'esclavagisme et l'aliénation. Moi - bah mets toi à ton compte... Lui - pour me faire exploiter par mes clients au lieu de mon patron ?! Ben oui quoi, le revenu universel, c'est mieux, il suffirait de prélever les hauts salaires pour que tout le monde gagne 1000€ par mois et du coup le travail serait optionnel, ou juste un petit supplément pour gagner un peu plus. Ca montrerait aussi aux gens qu'il n'y a pas que le fric dans la vie. Bref, les victimes, j'évite de leur parler.

J'ai du louper le lien de cause à effet entre les deux...

Pourquoi tu te laisses obséder par tous ces tarés, Lancelot ? Ca ne serait pas mieux de passer à autre chose ?

Faut arrêter, c'est bon le chocolat sucré. Même le chocolat au lait, le Nutella ou les Kinders, c'est juste une question de dose. Ah, dès qu'il faut accepter un peu de douceur dans sa vie... hein Liborg.

Ah, la vision utilitariste des maths. Je vois même ça chez des ingés en informatique quand je donne des cours. "Pourquoi on fait ça, on ne va jamais s'en servir ?" Un ingé qui rechigne à faire des maths, c'est comme un footballeur qui refuse de faire des footings matinaux sous prétexte qu'il veut courir derrière un ballon. C'est un apprenti pianiste qui refuse de faire des gammes parce qu'il ne fera pas ça en concert. C'est un futur linguiste qui ne veut pas étudier le latin parce que c'est une langue morte. Les maths, c'est pas utilitariste, c'est de la fonte à neurone, ça développe la logique et le raisonnement dans l'abstrait, c'est tout et c'est énorme, ça fait toute la différence entre un cerveau entraîné et un autre une fois qu'on se retrouve devant un algo ou autre problème de profession intellectuelle.

-28°c... Ca pique pas un peu quand on sort ? A Toronto, j'ai connu un cold blast à -32°c (windchill inclus). En rentrant au chaud, la différence de température avait été suffisante pour faire craquer la monture de mes lunettes par dilatation du métal. Je me rappelle aussi de la vapeur d'eau qui tombe lentement au sol quand on respire, et le contact de l'air glacial dans les yeux et les narines. Mais je me rappelle surtout que même 2mn dehors, genre pour sortir de sa voiture et marcher jusqu'au bureau, ça paraissait très long.

Il y en a qui se soignent en allant chez le psy, d'autres en épanchant leur souffrance par écrit. Malheureusement ceux qui choisissent la deuxième option en font aussi profiter les autres...

Il faut le faire exprès !

McDo, c'est vraiment pas bien. Non seulement c'est américain, mais surtout, c'est trop riche en calories, trop riche en protéines, et pas assez en glucide. Pire, il y a plein d'additifs dangereux bien mis en rouge pour faire peur, comme le E330 dans le fromage (acide citrique pour les intimes). Et donc rien ne vaut les bons petits plats bien de chez nous, la preuve : http://www.consoglobe.com/big-mac-bombe-calorique-cg Et ne ratez surtout pas les commentaires. Bon. Du coup je vais faire un tour chez McDo.

Ok, ça me va. De toute façon, la propriété publique n'existe pas. Même au cadastre, chaque parcelle du territoire français est reconnue comme privée, même si son propriétaire est l'Etat français. "Public" ne veut jamais dire que "privé détenu par l'Etat", ce qui n'est de toute façon pas légitime pour les anarcaps.

Que la propriété publique librement consentie n'est pas du privé au sens où les autres l'entendent. Donc elle paraît bien publique.

Certains anarcaps reconnaissent la propriété publique dès lors qu'elle est librement consentie par chacun des membres, où établie sous forme de copropriété. C'est la propriété d'Etat qui n'est pas reconnue, car tout le monde ne peut être libre et volontaire dans une structure aussi vaste.

On en parle depuis hier mais les détails n'étaient pas tous connus. Outre la garantie par assurance, j'aime bien le fait que les fonds soient stockés hors-ligne et qu'ils mettent l'accent sur la sécurité. Tout ce qui développe la confiance est bon à prendre. https://www.coinbase.com/security

Merci. C'est quand même surprenant de la part de quelqu'un qui doit probablement défendre le USD en tant que monnaie "ultime". Sinon, sorti à l'instant du four : https://exchange.coinbase.com

Ray, quelle raison motive selon-toi le PDG de Bank of America d'investir dans le BTC ?

Je ne pense pas que ça joue à ce point, parce que le BTC n'est pas aussi populaire que l'USD ou CHF comme réserve de valeur, volatilité oblige. Quand le rouble s'est effondré il y a deux mois, la valeur du BTC a continué à décroître alors qu'on aurait pu s'attendre à l'inverse.