La NASA a développé (pas tous seuls) un outil de vérification de modèle de logiciels en java (enfin, c'est plus vraiment du modèle checking) Java Pathfinder. Il a été utilisé pour valider (à postériori) le code des rover martiens (par contre, le code original était en C++, traduit en java par une moulinette, de mémoire) J'avais en tête qu'ils l'avaient aussi testé sur des morceaux de vrai code embarqué mais je ne retrouve plus.
Sinon certains satellites embarquent une JVM non activée en vol* qui permet de jouer des procédures de tests, principalement pour vérifier que tout est bien câblé.
Mais évidemment vu que ça existe, certains on l'idée pour de futurs programmes d'y mettre des trucs non vitaux...
* en même temps ils ne sont pas encore en vol ceux auxquels je pense, mais elle n'est pas censée être activée en vol
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Sans compter que ceux qui habitent en ville ont parfois un métro, alors que ceux qui habitent à la campagne n'en ont pas ! C'est de la discrimination !
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
C'est un concept génial la réciprocité. tant que je ne peux pas faire ça là, ils ne pourront pas le faire ici. Le problème, c'est qu'après, l'autre il dit pareil, et jamais ça n'évoluera.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
C'est évident, il y a plus d'argent (pour l'instant au moins) dans le logiciel propriétaire que dans le logiciel libre. Or tout le monde sait que s'il y a bien quelque chose que les femmes veulent, c'est bien celle-là.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Il me semble qu'on ne doit pas pouvoir changer une ampoule sur le champ. Le seul truc qui peut te donner une amende, c'est de rouler avec une ampoule grillée, et ils te laissent le loisir de te mettre en adéquation avec ça en changeant l'ampoule si tu l'as. Mais on ne peut pas te mettre une amende parce que tu n'en as pas (mais si tu n'en as pas et que tu en as une de grillée…)
Bon évidemment si maintenant il faut appeler une dépanneuse pour tirer ta voiture jusqu'au garage parce que t'as un des stops grillés, c'est pas pratique, je l'admet.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
C'est gentil de se moquer, quand on voit qu'on peut trouver dans une distribution linux plusieurs scripts dont l'en-tête de licence est plus grande que le contenu utile du fichier.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Je suis rarement entrain de me cacher tout en me promenant dans la rue. Et si tel était le cas, ben, je comprendrais qu'on m'arrête pour comportement suspect (sauf cas de paranoïa aiguë…)
Ouais ben moi je ne suis pas d'accord qu'on arrête les gens juste parce qu'ils ne veulent pas qu'on puisse les identifier dans la rue.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Ah pardon, mon commentaire n'est pas clair. Je veux parler du comportement du câble qui cingle l'air.
La chute de l'ascenseur est provoquée par le choc de la camionnette avec l'eau au niveau n-1 (ou n+1 suivant comment on compte) (bon, pour la direction, c'est à voir après)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
Bon, moi la plus grand question que le film me pose, c'est : Est-ce quand on coupe le câble d'un ascenseur situé dans un bâtiment en chute libre, il se comporte comme dans le film ?
Parce que pour moi, il ne devrait pas y avoir de tension, vu qu'il n'y a (à ce moment) aucun poids de l'ascenseur (dans le référentiel du bâtiment)
Je me trompe ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: fatche ça va être dur d'attendre vendredi
Posté par 2PetitsVerres . En réponse au journal N05 4M15 135 H4CK3R5. Évalué à 3.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: fatche ça va être dur d'attendre vendredi
Posté par 2PetitsVerres . En réponse au journal N05 4M15 135 H4CK3R5. Évalué à 6.
Sinon certains satellites embarquent une JVM non activée en vol* qui permet de jouer des procédures de tests, principalement pour vérifier que tout est bien câblé.
Mais évidemment vu que ça existe, certains on l'idée pour de futurs programmes d'y mettre des trucs non vitaux...
* en même temps ils ne sont pas encore en vol ceux auxquels je pense, mais elle n'est pas censée être activée en vol
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: fatche ça va être dur d'attendre vendredi
Posté par 2PetitsVerres . En réponse au journal N05 4M15 135 H4CK3R5. Évalué à 2.
Et pourtant, on n'en est plus très loin...
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: beau pays
Posté par 2PetitsVerres . En réponse au journal Hadopi en Suisse ? Impossible. Évalué à 3.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Tous les citoyens français ne sont pas encore sur un pied d'égalit
Posté par 2PetitsVerres . En réponse à la dépêche Honotua, le désenclavement numérique pour Tahiti. Évalué à 4.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: beau pays
Posté par 2PetitsVerres . En réponse au journal Hadopi en Suisse ? Impossible. Évalué à 2.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Internet != web
Posté par 2PetitsVerres . En réponse au journal Aux USA, les parts de marché (surf Internet) iOS plongent, celles d'Android décollent. Évalué à 3.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Mais merde à la fin
Posté par 2PetitsVerres . En réponse au journal Délit d'opinion : 1 an de prison ferme. Évalué à 2.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Ne vous inquietez pas, aucun licenciement n'est prevu
Posté par 2PetitsVerres . En réponse au journal Edge-IT en liquidation judiciaire, quel avenir pour Mandriva Linux ?. Évalué à 3.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Mouais
Posté par 2PetitsVerres . En réponse au journal OpenStreetMap, ce sont des cartes mais bien plus encore. Évalué à 5.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: licence de tcpreplay
Posté par 2PetitsVerres . En réponse à la dépêche Wireshark 1.4.0, Ostinato et TCPReplay. Évalué à 4.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# L'argent
Posté par 2PetitsVerres . En réponse à la dépêche Les femmes libres s'invitent au Forum Mondial du Libre. Évalué à 6.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: on en revient au même
Posté par 2PetitsVerres . En réponse au journal Casses automobiles. Évalué à 2.
Bon évidemment si maintenant il faut appeler une dépanneuse pour tirer ta voiture jusqu'au garage parce que t'as un des stops grillés, c'est pas pratique, je l'admet.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Pub
Posté par 2PetitsVerres . En réponse à la dépêche De l'efficacité du fichier hosts.. Évalué à 1.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: evolution dans le temps ?
Posté par 2PetitsVerres . En réponse au journal Empreinte du squelette. Évalué à 5.
Ouais ben moi je ne suis pas d'accord qu'on arrête les gens juste parce qu'ils ne veulent pas qu'on puisse les identifier dans la rue.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Moi aussi j'ai une superbe méthode !
Posté par 2PetitsVerres . En réponse au journal Empreinte du squelette. Évalué à 4.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Moi aussi j'ai une superbe méthode !
Posté par 2PetitsVerres . En réponse au journal Empreinte du squelette. Évalué à 10.
On pourrait donc utiliser une carte d'identité, ou un passeport. C'est pas beau mon idée ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Comment qu'y parle, lui !
Posté par 2PetitsVerres . En réponse au journal nVidia Optimus, bonne idée fondamentalement incompatible avec Linux.... Évalué à 10.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Raté
Posté par 2PetitsVerres . En réponse au journal Où l'on trolle sur la médaille Fields.. Évalué à 5.
Problème incomplet. Ça dépend de la loi de probabilité. Mais on peut donner une borne inférieure.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Merci pour votre méchanceté gratuite.
Posté par 2PetitsVerres . En réponse au journal Concours Alcatel. Évalué à 4.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Le blog
Posté par 2PetitsVerres . En réponse au journal France et filtrage d'Internet. Évalué à 7.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Le blog
Posté par 2PetitsVerres . En réponse au journal France et filtrage d'Internet. Évalué à 4.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: Ascenseur (révélation !)
Posté par 2PetitsVerres . En réponse à la dépêche Inception. Évalué à 1.
La chute de l'ascenseur est provoquée par le choc de la camionnette avec l'eau au niveau n-1 (ou n+1 suivant comment on compte) (bon, pour la direction, c'est à voir après)
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
# Ascenseur (révélation !)
Posté par 2PetitsVerres . En réponse à la dépêche Inception. Évalué à 7.
Parce que pour moi, il ne devrait pas y avoir de tension, vu qu'il n'y a (à ce moment) aucun poids de l'ascenseur (dans le référentiel du bâtiment)
Je me trompe ?
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.
[^] # Re: rigolo comme c'est totalement idiot cet article
Posté par 2PetitsVerres . En réponse au journal "Et l'économie créa la femme". Évalué à 6.
Tous les nombres premiers sont impairs, sauf un. Tous les nombres premiers sont impairs, sauf deux.