Axioplase ıɥs∀ a écrit 3037 commentaires

Euh, les schemeurs sont des gens tres interesses par la conception de langages *et* par l'efficacite'....

Gambit-C Scheme, Larceny, Stalin, Bigloo... autant d'implantations de Scheme qui sont rudement efficaces, rapides (et qui ne font pas qu'interpreter, mais aussi qui compilent aussi).

Scheme est le langage ideal pour toutes les demarches de conception de langage, car il y est on ne peut plus simple de creer un langage par dessus, et le monde academique ne s'en prive pas, et l'industrie vient alors utiliser ces produits (je pense a Termite pour Gambit-C, un langage "a la Erlang" sur Scheme). (enfin, la, je crois qu'on est d'accord, mais je suis pas sur d'avoir bien lu ton paragraphe).

Je persiste et je signe: la simplicite' de Scheme ne s'est pas faite au detriment de l'efficacite'.

Je suis mitigé, y a quelque chose qui me déplaît fortement, surtout pour une formation universitaire.

Pour moi, l'université ne doit pas former à des outils, mais à des concepts qui permette à chacun la maîtrise des outils. Ainsi, je n'apprend pas Java, mais les paradigmes objet. Pas bash, mais la ligne de commande unix. Pas gimp, mais le traitement d'image.

Je ne conçois pas l'intérêt d'une formation "logiciel truc, logiciel machin", alors qu'il serait plus intéressant pour l'étudiant d'apprendre une fois pour toute tous ces logiciels en une fois.

Le seul point intéressant pour moi, est éventuellement la partie législtative ou le modèle financier, mais une fois encore, faire du droit ou de la finance doit fournir une formation meilleure.


Bref, l'intitulé même de la formation m'irrite, car il suppute une dépendance à un produit, ce qui est contraire aux objectifs de l'université et n'aidera pas, selon moi, l'étudiant dans son avenir professionnel.

Non, la paradis, c'est le nom de la femme du Depp.

J'utilise soundtracker (c'est son nom) depuis plusieurs années sous Linux. Assez simple et agréable, mais, allez savoir pourquoi, il supporte pas mon clavier qwerty (le DO est sur le A au lieu du Q).

Sinon, je crois que SkaleTracker (un remake de fastrackerII renommé pour des raisons légales) tourne sous linux, mais le site est en maintenance depuis longtemps.

Le chiptune, c'est hype. Écoutez-en !

se disent aussi que c'est mieux avec le lien : https://linuxfr.org//~ploum/6222.html

savent depuis plusieurs années qu'itron est l'OS le plus répandu...
Les chiffres de slashdot doivent être bien périmés depuis...

Toi, j'attend avec impatience qu'on annonce la mort de Sigfried et Roy sur dlfp....

Je pense qu'une grappe de calcul qui tourne depuis des semaines est plus que bien protégée d'internet. Sinon, le moindre gars passe par là, fait une fork bomb, et fout en l'air 3 moins de prévisions sur l'astéroide Paco Rabane...
Nan, je pense que les admins de machines critiques sont de BOFH, et qu'ils ont bien raison...

Bon, il y a certainement des cas problématiques (de mise à jour, pas d'admin) mais ca se règle très facilement... avec un BSD ^^

D'ailleurs, c'est très irritant, j'ai des amis qu'il m'appelle avec le suffixe -chan, en toute sympathie pourtant. Alors je fais l'offusqué, je répond avec un langage de vieux pépé, et tout le monde rigole. Le problème, c'est qu'ils continuent à utiliser -chan ^^

Je confirme ce que dit Erwan (j'aurais du mal à dire le contraire) et j'en rajoute une couche : alors que dans les mangas, les filles disent "atashi"/"watashi" dans 99% des cas, on a des cas réels où des filles vont dire "boku", qui est plutot un truc de mecs dans l'usage.

Bref, le mieux c'est toujours de s'abstenir de mettre du japonais dans une phrase pas en japonais...

1/ Je me mets toujours en CC des emails que j'envois. Le bounce permet de renvoyer le mail comme si c'etait la premiere fois. (le forward a bien d'autres effets sur les headers... Pour t'en convaincre, envoie-toi un message, puis bounce le toi et forwarde le toi)

2/ Bouncer un message permet de ne pas l'envelopper dans les headers de l'envoyeur, et donc de passer par d'autres règles de filtrage de mail. En gros, ca permet à l'utilisateur de "se faire passer pour le dernier relai SMTP", alors que le forward est un passage de message qui passe plus explicitement par la couche application. Pour moi, ca a du sens...

L'application la plus répandue du bounce, c'est en fait les mailing-lists d'ailleurs... Heureusement que c'est pas du forward !


3/ STMP est "bidon" dans le sens où tu peux en faire à la main par telnet, et forger ton premier mail en 1 minute montre en main. Tu t'appeçois que c'est un protocol extrèment simple, et m^eme pas garanti. Y'a d'autres protocoles de messages bien plus aboutis.

4/ J'ai pas mis un "e" en trop à "moult", j'ai oublié un "s" à "moultes", n'en déplaise à certains.

"Je fais un doctorat en informatique théorique fondamentale, et j'utilise pas d'ordinateur" puis je montre un papier de sémantique dénotationelle.

Simple et efficace.

exact, ca sauve une copie chiffrée par soi-même.

Il faut savoir que les cours de crypto ou de maths disent que la crypto qssymetrique utilise une paire de clef, mais qu'en pratique, dans des cas comme le courriel, on utilise en fait aussi souvent *deux* paires.

Deux paires de clés :
C’est dans ce cas que le concept de PKI commence à prendre du sens. S’il y deux paires de clés, c’est parce que celle privée de chiffrement doit éventuellement pouvoir être recouvrée (pour que toutes les données chiffrées d’un utilisateur ne soient pas définitivement perdues suite à un oubli de mot de passe ou une altération de la clé) et donc sauvegardée sur le serveur, et que la clé privée de signature doit, elle, rester rigoureusement en possession de l’utilisateur, ce qui est incompatible.
(source: http://cryptosec.lautre.net/article.php3?id_article=1 en licence FDL)

Autre solution:

j'ouvre un terminal
je lance gpg-agent
je lance mutt.
il me demande une seule fois ma passphrase.
Quand je pars (dîner, souper, fumer...) je ferme le terminal, et l'agent est tué. Simple et efficace.

Ben, "redirect", c'est "bounce". Ca conserve tous es entetes originaux, modulos ceux que tu modifie volontairement.

Utilité: revoyer un mail a quelqu'un qui l'a pas recu pour une raison x ou y (car tu as une copie dans "sent"), faire un .foward a la volee...

Bref, tant de choses si simples a comprendre quand on utilise mutt (et où on se rend compte que le mail, c'est bidon).

Ca permet aussi, justement, de refourguer un mail sans le saloper de moulte ">" a chaque transfert...

Et aussi une reprise de Bruce Schneier, pour ceux qui connaissent la crypto... http://geekz.co.uk/schneierfacts/

C'est la un vrai problème.
Ma machine principale est en qwerty clavier japonais.
Mes laptops sont en azerty PC et azerty Mac.
Ma machine au boulot est en qwerty US.

Selon la machine d'où je fais SSH, mon mot-de-passe va mettre un temps carrément différent, en raison de l'emplacement des touches sur ces claviers. Donc, en gros, je pourrais plus jamais me logguer chez moi quoi...

Les langages comme Java, Perl, Python, Ruby permette de coder plus vite avec leur syntaxe "haut niveau".

J'utilise de plus en plus Scheme avec des macros bien senties, pour remplacer du code Perl/Python/Ruby.

En revanche, Java, hem... Pour coder vite, on a fait mieux...

C'est tout à fait ce que je me disais. Il faisait (pas forcément volontairement, à chacun sa spécialité) l'omission des paradigmes fondamentaux de la prog fonctionnelle.
Le meilleur exemple étant sans doute quand il parle de ses "équations qui s'équilibrent". J'appelle ça littéralement un point fixe.

Il faut se dire quand même que si nombre de langages pèchent par absence de sémantique, on ne peut pas vraiment dire ça des langages fonctionnels (sauf de Caml, où la sémantique, c'est le code du compilo ^^).
C'est un bel exemple d'une branche de l'info où l'on passe plus de temps sans ordi qu'avec ordi, pour développer un concept, et il n'y a pas de place pour le debuggage à chaud (comptez-donc le temps écoulé pour l'aboutissement de Scheme R6RS)...

Bref, j'ai rien codé en Lissac encore, mais j'attendrai d'avoir un peu de formalisme derrière avant de m'y lancer (ne le prend pas mal, j'ai pas lu tes publis encore non plus)

J'ai vu, lors des journées portes-ouvertes de la fac ou j'étais au Japon, un laptop muni d'un tel ecran 3D. C'est assez epoustouflant quand même, et ca laisse présager des belles choses pour l'avenir.

Ouais, enfin des types indexés, ca se fait à la main avec des "types phantomes"... (du moins dans le cas que tu cites)

J'utilise ça même assez souvent, tant en Haskell qu'en Caml...

Sin on interdit les cartes graphiques, que penser des FPGAs ?
Tu peux facilement configurer un FGPA pour optimiser et cabler un algo de crackage adapté à certains chiffrements...

Bref, rien de nouveau sous le soleil. Meme un simple brute-force sur du hardware dédié, fait maison, et youpla...

Je n'ai encore jamais scripté dans Gimp, mais quand je vois les changements apportés par le nouveau dialecte intégré, je me dis qu'ils ont bien fait de changer. C'etait vraiment dégueulasse leur précédent langage.. Une sorte de mélange Scheme/Lisp pas propre...

Ca serait bien qu'on puisse linker son propre Scheme à la place, quand même (on peut ptet, je sais pas).

J'en profite pour dire que débugger à grands coups de printf est une très mauvaise idée, surtout si tu n'utilises pas uniquement des entiers dans ton programme.
En deux mots, la raison est que les flottants n'ont pas la même précision dans les registres de ton proco et dans la mémoire. Printf rajoute des transferts CPU<->RAM et ainsi génère des Heisenbug.

Je sais pas ce que tu programmes, mais tu pourrais songer utiliser des langages de plus haut niveau, objets ou fonctionnels, pour automatiser les traces, et profiter des compilateurs sioux des langages aussi sioux qui utilisent des représentations constantes des données.

Scheme avec une macro LAMBDA pour tracer les appels, Haskell avec une monade de log pour les memes raisons...

Bref, c'est pas specialement a toi que je dis ca, mais aussi aux autres moules : laissez tomber C sauf si vous faites drivers. Utilisez des langages fonctionels, ca fait aussi bien, et plus agréablement.

> Quand on voit Google Summer of Code, on voit qu'il est possible de faire quelque chose de propre et d'utile en un temps réduit.

Et avec un mentor qui connait déjà le sujet et qui t'encadre.
Et avec de l'argent aussi.

Alors que ton projet étudiant, il est surtout là pour t'apprendre à te démerder.

Pour toutes ces raisons, je ne soutiens pas l'initiative.

Une thèse n'est pas un travail pour un cours en soi (même si elle est sanctionnée par un diplôme).
(Par ailleurs, s'ils ont fait une thèse à deux, y'à un blème je trouve).

Bref, si t'es si curieux, lis donc le règlement propre à ton école, et aussi celui "implicite" qui couvre les établissements éducatifs.

Bref, il me semble à moi aussi que tout produit développé dans une école _dans_le_cadre_d'un_cours_ est la propriété de l'école, et ne peut être vendu/breveté par l'étudiant.