EDForum

ça a l'air marrant le cop j'avais jamais entendu parler de ça

g'morning le for'

9.42
_________________

Bah c'est un système de preuve de programme, à part peut-être dans des secteurs ultra-critiques comme l'aérospatiale, je pense pas que ça serve ailleurs qu'en recherche fondamentale en informatique... Rien que prouver des trus tout simples ça prend déjà un temps fou alors j'imagine pas sur un truc un peu complexe (c'est à dire ceux sur lesquels ça peut avoir un intérêt)

Donc en n'ayant pas fait de fac d'info, rien d'étonnant à ce que tu n'en aies pas entendu parler à 10h28
_________________

bah de toutes façons, mes connaissances en info sont très... parcellaires on va dire
ya un tas de trucs que tout le monde considère comme la base et que je ne connais pas, ou juste de nom genre le c

10.30 et pourtant, l'info c'est mon métier
_________________

En même temps avec le c tu perds rien, c'est assez chiant à utiliser vu qu'en plus d'être bas niveau et pas orienté objet, l'API standard ne contient pas grand chose à 10h38...

Mais Coq c'est même pas dans cette catégorie là, c'est plutôt dans la catégorie des trucs qui dans quelques dizaines d'années seront peut-être assez évolués pour devenir utilisable en entreprise (c'est à dire quand ça fera l'essentiel de la preuve tout seul).
_________________

C'est à dire quand le Intuition te conduira souvent à Proof completed ) 11h42 ?
_________________

Oui dans ce genre là à 12h15

Quand ça décuplera pas les temps de développement en gros
_________________

Je fais un karoutcho rapide, des fissa a qui n'en veut et je repars comme je suis venue

pfffffuuuuiiiit pula
_________________

Je prends tout

14h02, l'heure de se remettre au boulot
_________________

Back in France.

A 19h12.
_________________

Welcome home Nico

Pas trop dur le retour ?

20h46
_________________

21h10. Heure de l'orage !
_________________

C'est très étrange, rien ne semble avoir changé ici. C'est plus facile que prévue, mais je risque d'avoir le blues plus tard. Pour l'instant j'essaie de me faire au décalage horaire, ça va me prendre une bonne semaine !

23h53, et pas sommeil du tout !
_________________

Welcome back

0000
_________________

bon retour nico

7.31
_________________

Ouch

Je me suis toujours demandée comment on faisait pour profiter de vacances aux Etats-Unis par exemple, si tu pars deux semaines, tu passes tous les premiers jours dans le brouillard, ça doit être bizarre...

Bref, bonjour le for, il est 14h00
_________________

Bon retour Nico \o/


Le décalage horaire je le trouve pas trop dérangeant quand on va dans le sens France -> USA, un peu crevant le premier jour (vu qu'on vit deux fois la même journée), mais le lendemain on se réveille super tôt donc on peut profiter. C'est le retour qui est souvent plus compliqué Après ca doit être très personnel la façon dont on vit le jetlag.
_________________

Merci

Et oui, comme dit Morgy. J'ai pas eu trop de mal en arrivant aux USA (puis c'était pas des vacances dans mon cas), mais je suis complètement déphasé depuis mon retour en France.

17h31
_________________

C'est mignon tous ces gens qui vont au concert de Muse ce soir, ils arborent leurs beaux t-shirt et tout et tout Ils me demandent s'ils peuvent rentrer tard parce que bon, ils vont rentrer tard tout ça tout ça

1632
_________________

Tu leur as donné la permission de minuit ? T'es sympa quand même

17h35
_________________

Ah ben minuit mais pas plus hein, faut pas déranger les autres clients

1807
_________________