h16

look who's talking

Disons en substance que vu le but recherché, faire appel à des langages haut-niveau n'est pas aberrant. Le souci avec Coq (et aux langages de la même famille, genre OCAML ou même Haskell en plus pur) c'est le nombre de programmeurs valables sur le marché (très faible). Et si on prend dans des langages plus abordables et plus connus, genre ADA, ce n'est pas non plus la bousculade. De façon générale, si on veut avoir confiance dans les smartcontracts, il faudra qu'ils soient écrits d'une façon formelle humainement compréhensible dont on pourra dériver le code source de façon sûre et certaine. Ce qui impose d'une part la création d'un ML formel ad hoc pour ces smart-contracts. On en est encore trèèèès loin.

s'il y avait un prix du poste Facepalm, je crois que celui au-dessus serait bien placé.

Les tendres quotas de la SACEM http://h16free.com/2016/06/19/53900-les-tendres-quotas-de-la-sacem RT : https://twitter.com/_h16/status/744457646011461632

A lire : https://www.reddit.com/r/ethereum/comments/4opjov/the_bug_which_the_dao_hacker_exploited_was_not/ Ça rejoint les remarques d'autres ci-dessus (notamment Jubal et moi).

A ce sujet, et si ça peut intéresser, qq infos sur Koubbi via interview de Thinkerview : http://h16free.com/2016/06/17/53867-thinkerview-dans-les-petits-papiers-de-laffaire-kerviel-societe-generale

Pourtant, c'est plutôt bon et assez éloigné de Rand. Mais il a fait nettement mieux depuis. Ses trois tomes du cycle Baroque sont excellent, Reamde est très bon aussi (dans ce dernier, son style est plus vif que dans les précédents). Alors Neal Asher va te faire péter un cable. Lis. La notice Wikipedia est assez honnête : https://fr.wikipedia.org/wiki/Neal_Asher Tu peux reprendre la série par le premier (Gridlinked) et poursuivre ensuite. Le "Voyage of Sable Keech" est assez incroyable en terme d'idées, et dans les plus courts, Prador Moon est très sympa.

Hum tu peux toujours débaser avec étalon or (les Romains, les Grecs, les Carolingiens l'ont fait après tout), mais de nos jours, c'est tout de même plus complexe qu'à l'époque...

= "Ca va monter, ou pas."

Il doit y avoir deux types de vids : l'une qui se moque, une autre qui apporte un argument sensé opérationnel. Mais faire des vids qui démontent argument par argument, c'est à mon avis inutile (disons que ça fait plaisir à quelques uns, sans aller plus loin).

... ben oui mais à la fin, il faut bien que quelqu'un programme quelque chose quelque part. Pour le moment, les IA ne programment pas tout, et pour en revenir aux smart contracts, ce sont toujours des humains en bout de chaîne. D'ailleurs, quand on voit les classes de problèmes soulevés dans les smart-contracts (exemples ici : https://www.reddit.com/r/ethereum/comments/4omdlf/to_kickstart_the_building_safer_smart_contracts/) on se dit qu'il n'y aura pas de solution simple, élégante et rapide.

Oui bon certes, mais ce n'est pas tout à fait ce que j'ai écrit. Java résout certains problèmes, en laisse d'autres, et en crée de nouveaux (en terme de complexité, par exemple, d'accès au matériel, etc...) ; des failles de sécu dans la VM Java, y'en a régulièrement par exemple.

GVT ?

Ben oui, mais justement, il ne faut pas débunker. Il faut se moquer, ou aller droit à l'essentiel.

Augmentation "mécanique" ? Ah bon, tiens, pourquoi donc ?

... sans succès, du reste. Les failles dans les applis java, y'en a aussi pléthore. Ontologiquement, il n'existe aucune solution à ce problème.

aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaargh la couleur la police les gif animés

A 13:00 la vidéo moyenne, y'a de quoi assommer un boeuf. Des trucs de 2 à 3 minutes, punchy, rigolos, c'est dur à trouver.

Je ne sais pas ce que vaut la trad française. Je lis en vo. Ah bah pourtant Rand, c'est lourdissime à côté. Tu as lu quoi de lui ? Le style est quelconque mais efficace. Ce sont des trucs SF/action qui cognent, et surtout il y a des tonnes d'idées originales.

Dans "Pour un réseau qui se voudrait PoS", souligne le verbe au conditionnel et discutes-en avec ton voisin. Ce qui ne change rien à la remarque : en cas de fork, Ethereum perd une bonne partie de sa crédibilité de principe. Ce serait mieux qu'un fork, indubitablement. ... et réintroduire des tiers de confiance dans un système construit pour s'en passer au départ. C'est une superbe victoire.

Tout ceci est fatigant d'incohérences multiples.

Neal Stephenson. Neal Asher. Neal Asher, please, bitch. Y'a une idée par chapitre (pas une idée genre "ah oui rigolo" mais une idée sur laquelle d'autres font 1 bouquin entier). Stephenson, son style si particulier et si agréable à lire. Et enfin un auteur bien documenté quand il parle informatique.

... ce qui fut terrible puisque ça a grandement aidé à l'apparition de l'Homme.

Pour un réseau qui se voudrait PoS, c'est un peu raté oui ou le contraire... Pour le moment, on ne sait pas ce que ça va donner. Mais c'est clair que s'ils rollback, ça promet quelques jeux de jambes rigolos.