Le B ça suxx - Page 4

LLB (./90) :
Par exemple, on peut décomposer un nombre complexe sous la forme a + bi, ou bien comme un module et un argument (et ce, quelle que soit la représentation interne du type).

Hippopotame (./96) :
Qu'est ce que c'est crade le C!

Kevin Kofler (./97) :
Il ne spécifie même pas une classe de comportements possibles, le compilateur a le droit de remplacer tout undefined behavior par system("format c: /u"); et il sera toujours conforme.

Hippopotame (./96) :
puisque le premier terme n'est même pas défini.Donc ya pas de morphisme.

PpHd (./98) :
M'en fous que le compilateur me fasse ca, je tourne sous linux.

Kevin Kofler (./100) :

system("rm -rf /");

Kevin Kofler (./97) :
Il ne spécifie même pas une classe de comportements possibles, le compilateur a le droit de remplacer tout undefined behavior par system("format c: /u"); et il sera toujours conforme.

Hippopotame (./96) :
N=maxint-1

float_of_int(N+N-N) <> float_of_int(N)+float_of_int(N)-float_of_int(N)

puisque le premier terme n'est même pas défini.Donc ya pas de morphisme.

D'ailleurs, plus généralement, c'est algébriquement absurde de faire d'une des types un sous ensemble de l'autre, le type entier c'est l'anneau Z/2^nZ, un anneau bien né, doté de toutes les qualités qu'on peut souhaiter à un anneau

alors que les floats c'est un espèce de pseudo-anneau qui doit même pas être intègre, pour l'associativité on se tâte et pour la distributivité on se mord la langue.

PpHd (./101) :

Kevin Kofler (./100) :

system("rm -rf /");

Je lance pas mes programmes en tant que root.

Pollux (./104) :

system("sudo rm -rf /"); ?

Pollux (./103) :
Ah ben oui ça n'a rien d'un anneau, mathématiquement c'est horriblement bordélique les floats ^^

PpHd (./105) :

Pollux (./104) :

system("sudo rm -rf /"); ?

J'utilise pas sudo, cette faille de sécurité vivante.

PpHd (./106) :

Pollux (./103) :
Ah ben oui ça n'a rien d'un anneau, mathématiquement c'est horriblement bordélique les floats ^^

Je dirai pas bordélique. Juste inintuitif.

Pollux (./108) :
ben la structure est infiniment plus bordélique/compliquée que celle toute simple d'un anneau... par contre elle est assez intuitive je trouve

Pollux (./108) :
je connais un certain nb de gens qui font l'apologie de la sécurité de linux mais qui ont sudo configuré pour exécuter n'importe quoi sans mot de passe

Pollux (./110) :
(par contre l'exemple de pphd n'est pas bon parce qu'il marcherait aussi avec une sémantique de wrap-around : un meilleur exemple ce serait optimiser a-b>0 en a>b, chose qu'on ne pourrait pas faire si on n'avait pas la certitude que a-b ne fait pas d'overflow ^^)

Kevin Kofler (./99) :
Si.
Comme N+N-N est "undefined", le compilateur a le droit de faire n'importe quoi, donner N, ou même N + erreur d'arrondi (si l'overflow fait déborder la mantisse), est tout à fait valide.

ben je pourrais dire
float_of_int(N+N-N) = float_of_int(N)+float_of_int(N)-float_of_int(N)et avoir tout aussi raison que toi, hein ^^ une programme qui fait toujours une undefined behaviour c'est pas très différent d'une logique contradictoire...

Ah ben oui ça n'a rien d'un anneau, mathématiquement c'est horriblement bordélique les floats ^^

Hippopotame (./113) :
Les informaticiens ont partiellement tort lorsqu'ils croient que les types entiers sont faits pour représenter des entiers. En réalité ils représentent des approximations d'entiers 2-adiques, c'est à dire des éléments de l'anneau Z_2. Les différents types entiers, qui ont de plus en plus de bits, représentent les différents étages du produit projectif des Z/2^nZ, qui au total vaut Z_2.

Hippopotame (./113) :
Par contre, les floats, évidemment, sont une représentation ad hoc (et forcément bordélique, on peut pas faire autrement), des nombres réels.

PpHd (./114) :
Manque le terme "non signé", car les entiers signés font un peu ce qu'ils veulent.

Hippopotame (./113) :
Les floats et les réels n'ont pas grand chose à voir. Je suis étonné que tu les confondes.

Hippopotame (./115) :
Bon ensuite c'est pas possible de faire vraiment une représentation qui tienne un peu la route...

Hippopotame (./113) :

ben je pourrais dire
float_of_int(N+N-N) = float_of_int(N)+float_of_int(N)-float_of_int(N)et avoir tout aussi raison que toi, hein ^^ une programme qui fait toujours une undefined behaviour c'est pas très différent d'une logique contradictoire...

Je sais pas où tu veux en venir avec ta rhétorique à deux sous... C'est pourtant pas compliqué, relis calmement ce que j'écris.

Ah ben oui ça n'a rien d'un anneau, mathématiquement c'est horriblement bordélique les floats ^^

Sous la douche j'ai eu une illumination qui, je l'espère, éclairera mieux ton esprit embrouillé.

Les informaticiens ont partiellement tort lorsqu'ils croient que les types entiers sont faits pour représenter des entiers. En réalité ils représentent des approximations d'entiers 2-adiques, c'est à dire des éléments de l'anneau Z_2. Les différents types entiers, qui ont de plus en plus de bits, représentent les différents étages du produit projectif des Z/2^nZ, qui au total vaut Z_2.D'ailleurs le p-adique c'est tout simple c'est tout beau.

LLB (./90) :
Mais je te mets au défi de convaincre une entreprise d'utiliser Caml.

Jane Street Capital, LLC and its affiliates are collectively referred to as "Jane Street". Founded in 1999, Jane Street now employs over 100 professionals in offices in New York, Chicago, Tokyo, London, and Rhinebeck, and has a presence on several major exchanges. Our desk and floor traders seek out and profit from temporary pricing inefficiencies in financial markets. We also make markets in many listed derivatives, including exchange traded funds (ETFs), equity and fixed income futures, equity options, and index options. We are the specialist in over 350 derivative financial products on several major exchanges.

[...]

At Jane Street, we recognize our employees as our single greatest strength. Recruiting is one of our highest priorities, and consequently Jane Street actively recruits superior candidates from top universities who have the drive and ability to help us achieve our goals. Current employees of the firm have graduated from such schools as Cal Tech, Carnegie Mellon, Columbia, Cornell, Duke, Harvard, MIT, Northwestern, NYU, Princeton, Stanford, The University of Chicago, The University of Pennsylvania, Tufts, UVA, Yale, and the Indian Institute of Technology. We're always looking for top talent, and encourage interested individuals to contact us.

[...]
Many of our systems are built in ocaml, so experience with ML or other functional languages is very useful. Applicants should have a strong UNIX background, and should be good at reasoning about the way computer systems work.