Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 07-12-2013 10:39:59

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian Stretch/Sid/Rc-Buggy
Noyau : Linux (≥ 4.3)
(G)UI : i3-wm (≥ 4.11)
Inscription : 07-07-2008
Site Web

dr captnfab et dr Marie-Lou

Salut la foule,

Je crée un sujet pour éviter la bernacle de http://debian-facile.org/viewtopic.php?id=7126

Voilà, ça y est enfin, depuis vendredi soir, je suis docteur… en informatique smile

Et comme dit Thuban, « Maintenant, faut réaliser. » tongue

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#2 07-12-2013 10:42:13

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : dr captnfab et dr Marie-Lou

Bravoooooo  !!!!!   cool

En route vers l'habilitation. tongue

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#3 07-12-2013 11:08:22

luxer
Membre
Distrib. : jessie/testing/sid--siduction
Noyau : 3.12-x-686-pae GCC4.8 (i686-linux-gnu)
(G)UI : xfce-4.10.0-5
Inscription : 12-02-2010

Re : dr captnfab et dr Marie-Lou

Mes sincères félicitations !

Si Beethoven vivait encore il utiliserait lmms sur Debian

Hors ligne

#4 07-12-2013 11:13:11

kao
Modérateur
Distrib. : Testing
Noyau : Linux 4.quelquechose
(G)UI : Gnome 3
Inscription : 28-09-2012
Site Web

Re : dr captnfab et dr Marie-Lou

Toutes nos félicitations Captnfab!!!!

Hors ligne

#5 07-12-2013 11:27:23

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian Stretch/Sid/Rc-Buggy
Noyau : Linux (≥ 4.3)
(G)UI : i3-wm (≥ 4.11)
Inscription : 07-07-2008
Site Web

Re : dr captnfab et dr Marie-Lou

Merci \o/ smile

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#6 07-12-2013 11:32:54

nono47
Membre
Lieu : dans l'engrenage ...
Distrib. : sid
Noyau : Linux 4.8.0-1-amd64
(G)UI : gnome-shell
Inscription : 09-05-2012

Re : dr captnfab et dr Marie-Lou

Salut,

Bravo ! La classe !  cool

Une thèse en rapport avec le libre ?

Dernière modification par nono47 (07-12-2013 11:34:28)

Hors ligne

#7 07-12-2013 11:47:57

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian Stretch/Sid/Rc-Buggy
Noyau : Linux (≥ 4.3)
(G)UI : i3-wm (≥ 4.11)
Inscription : 07-07-2008
Site Web

Re : dr captnfab et dr Marie-Lou

Non, une thèse en informatique théorique, liée à la calculabilité, le manuscrit (français) et les transparents (anglais) sont disponibles ici, à la ligne« Towards a fine structure of computabilities ».

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#8 07-12-2013 13:10:57

bendia
Admin stagiaire
Distrib. : Jessie
Noyau : 3.16.0-4-amd64
(G)UI : Gnome + XFCE + Console
Inscription : 20-03-2012
Site Web

Re : dr captnfab et dr Marie-Lou

Felicitation smile

Je n'aurais qu'une question :

C'est grave docteur? lol

Ben
___________________
La seule question bête, c'est celle qu'on ne pose pas.
file-Re06858991f6f328b4907296ac5cea283

Hors ligne

#9 07-12-2013 13:30:35

sogal
Black Metal Modo
Distrib. : Debian Testing
Noyau : 4.7
(G)UI : Gnome
Inscription : 09-05-2013
Site Web

Re : dr captnfab et dr Marie-Lou

Félicitations smile

Machine perso : Thinkpad x230 Debian Stretch | Machine pro : Thinpad T450 openSUSE Leap 42.2

Hors ligne

#10 07-12-2013 13:35:45

enicar
Membre
Lieu : Grenoble
Distrib. : debian/sid
Noyau : Linux 4.8.10
(G)UI : openbox
Inscription : 26-08-2010

Re : dr captnfab et dr Marie-Lou

Et tu trouves que l'informatique théorique,c'est philosophique ? (dixit  ton CV : « I'm a Doctor of Philosophy in Computer Science ») tongue

La machine, c'est dépassé ! On va tout remplacer par des humains big_smile

Hors ligne

#11 07-12-2013 13:36:37

Lunatic
Membre
Lieu : Lyon
Distrib. : Fedora 24
Noyau : Linux 4.6.5-300.fc24.x86_64
(G)UI : Gnome
Inscription : 03-08-2013
Site Web

Re : dr captnfab et dr Marie-Lou

Félicitations Dr. Captnfab !

Permets-tu que je squatte ton topic pour annoncer la même chose de mon côté ? Mais en socio, pas en informatique !
On pourra fêter nos anniversaires de doctorat ensemble wink

Je suis aussi sur Twitter et nouvellement sur Diaspora*
Mon blog de geekeries : HAL-9000

(J'applique la règle de proximité)

Hors ligne

#12 07-12-2013 13:45:49

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian Stretch/Sid/Rc-Buggy
Noyau : Linux (≥ 4.3)
(G)UI : i3-wm (≥ 4.11)
Inscription : 07-07-2008
Site Web

Re : dr captnfab et dr Marie-Lou

Merci à tous  !

@Marie-Lou: je t'en prie, et si la police de la bernacle débarque, on lui pique son point choco !

Félicitations à toi aussi donc smile

@bendia: oui tongue

@enicar: c'est ce que veut dire PhD en fait, un doctorat de connaissance en informatique wink

captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#13 07-12-2013 13:48:47

enicar
Membre
Lieu : Grenoble
Distrib. : debian/sid
Noyau : Linux 4.8.10
(G)UI : openbox
Inscription : 26-08-2010

Re : dr captnfab et dr Marie-Lou

Ah ! Je me doutais bien qu'il y avait anguille sous roche wink
En tous cas, félicitations \o/

La machine, c'est dépassé ! On va tout remplacer par des humains big_smile

Hors ligne

#14 07-12-2013 15:03:52

Invité-1
Invité

Re : dr captnfab et dr Marie-Lou

Immenses bravos à tous les deux... smile


à plus,

Invité-1

Dernière modification par Invité-1 (07-12-2013 15:04:08)

#15 07-12-2013 15:24:17

vv222
Membre
Lieu : Bretagne
Distrib. : GNU/Linux Debian « Sid »
Noyau : >= Linux 4.5.0 (amd64)
(G)UI : Openbox + ROX
Inscription : 18-11-2013
Site Web

Re : dr captnfab et dr Marie-Lou

C'est la direction dans laquelle je m'oriente avec mes études, ça te dirait de nous causer un peu de ton parcours ?
Je suis assez curieux de savoir comment ça évolue au fil des longues années entre l'entrée en université et la soutenance…

Jouer sous Debian ? Facile !

Hors ligne

#16 07-12-2013 15:40:57

smolski
administrateur quasi...modo
Lieu : AIN
Distrib. : 8 (jessie) 64 bits + backports
Noyau : 4.6.0-0.bpo.1-amd64
(G)UI : gnome 3.14.1
Inscription : 21-10-2008

Re : dr captnfab et dr Marie-Lou

Pin pon pin pon...
Ici la Police des bernacles, rendez-vous Marie-lou et captnfab, vous êtes cernés !

Pion poin pion poin...
, ah voici mes amis les hommes en blancs qui viennent me quérir .
Oui tout de suite messsieurs, je suis à vous pour la piqûre de rappel dans un instant !


'acré vous deux tout de même les fortiches ! big_smile

Dernière modification par smolski (07-12-2013 15:41:56)


"Définition d'eric besson : S'il fallait en chier des tonnes pour devenir ministre, il aurait 2 trous du cul." - JP Douillon
"L'utopie ne signifie pas l'irréalisable, mais l'irréalisée." - T Monod (source :  La zone de Siné)
"Je peux rire de tout mais pas avec n'importe qui." - P Desproges
"saque eud dun" (patois chtimi : fonce dedans)

En ligne

#17 08-12-2013 02:53:35

david96
Invité

Re : dr captnfab et dr Marie-Lou

Bravo à vous deux… C'est heavy metal à donf ! ! \m/ (>_<) \m/

#18 08-12-2013 03:27:24

MaTTuX_
La Paillasse !!!
Lieu : Zoubidou-Land
Distrib. : 75 serveurs
Noyau : 3.2.0-4-amd64
(G)UI : tty et ... pas gnome en tout cas....
Inscription : 28-05-2007
Site Web

Re : dr captnfab et dr Marie-Lou

Congratulation mon ami, que du bon \o/ et congratulation a Marie-Lou aussi faite pas de betise hein lol

\o/ Le closedSource c'est tabou on a viendra tous à bout \o/

Hors ligne

#19 08-12-2013 11:25:26

nono47
Membre
Lieu : dans l'engrenage ...
Distrib. : sid
Noyau : Linux 4.8.0-1-amd64
(G)UI : gnome-shell
Inscription : 09-05-2012

Re : dr captnfab et dr Marie-Lou

@captnfab : rien compris au premier chapitre de ta thèse, 1386494540.gif

Alors question au docteur Fab : 1386494264.gif ( pi ) c'est calculable ou pas ? ,  parce que ça parait métaphysique comme nombre réel ! - Réel ou pas, c'est la question !

En direct de ma yourte ! 

Je -> []

Dernière modification par nono47 (08-12-2013 11:27:19)

Hors ligne

#20 08-12-2013 11:39:19

smolski
administrateur quasi...modo
Lieu : AIN
Distrib. : 8 (jessie) 64 bits + backports
Noyau : 4.6.0-0.bpo.1-amd64
(G)UI : gnome 3.14.1
Inscription : 21-10-2008

Re : dr captnfab et dr Marie-Lou

jojo sur ce coup-là :
file-R0d7653d12cc7c8bdf988f2811eb70273.png

"Définition d'eric besson : S'il fallait en chier des tonnes pour devenir ministre, il aurait 2 trous du cul." - JP Douillon
"L'utopie ne signifie pas l'irréalisable, mais l'irréalisée." - T Monod (source :  La zone de Siné)
"Je peux rire de tout mais pas avec n'importe qui." - P Desproges
"saque eud dun" (patois chtimi : fonce dedans)

En ligne

#21 08-12-2013 12:46:06

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian Stretch/Sid/Rc-Buggy
Noyau : Linux (≥ 4.3)
(G)UI : i3-wm (≥ 4.11)
Inscription : 07-07-2008
Site Web

Re : dr captnfab et dr Marie-Lou

nono47 a écrit :

@captnfab : rien compris au premier chapitre de ta thèse, http://pix.toile-libre.org/upload/img/1386494540.gif


Oui, cela nécessite un niveau M1 informatique incluant un cours de calculabilité.

nono47 a écrit :

Alors question au docteur Fab : ( pi ) c'est calculable ou pas ?



On dit qu'un nombre réel est calculable si quelle que soit la décimale que tu souhaites obtenir, tu peux l'obtenir via un programme.
C'est le cas pour ? puisqu'on peut le calculer avec une précision arbitraire.

Un exemple de nombre pas calculable est par exemple un réel qu'on appellerait V et dont la i-ème décimale serait 1 si le programme i (un programme est un fichier, donc une suite de 0 et de 1, donc un nombre entier) est un virus, et 0 sinon.

Même chose avec un nombre B relatif à l'existence de bug dans un programme.


captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#22 08-12-2013 19:40:53

deuchdeb
Moderato ma non troppo
Lieu : Pays de Cocagne
Distrib. : Jessie 8 + backports
Noyau : linux-image-3.16
(G)UI : KDE4.14 - Mate
Inscription : 13-01-2010

Re : dr captnfab et dr Marie-Lou

Bravo à tous les deux. smile cool

Hors ligne

#23 08-12-2013 22:09:29

Lætitia
Modette
Lieu : Normandie du Nord
Distrib. : Stretch
Noyau : 4.6.0-1-amd64
(G)UI : Xfce4
Inscription : 14-04-2010
Site Web

Re : dr captnfab et dr Marie-Lou

Bravo les gars. \o/
Des gros :-* à tous les deux. smile

<titia> pas assez cuit; µonde  -> explosion
<captnfab> ^^
<captnfab> s/µ/bl/ wink

Hors ligne

#24 08-12-2013 22:20:07

Thuban
Modérateur
Distrib. : OpenBSD
Noyau : current
(G)UI : xfce ou dwm
Inscription : 09-01-2009
Site Web

Re : dr captnfab et dr Marie-Lou

Félicitations wink
Voilà une bonne chose de faîte smile

YA3HGA-H

Hors ligne

#25 09-12-2013 00:21:39

Lætitia
Modette
Lieu : Normandie du Nord
Distrib. : Stretch
Noyau : 4.6.0-1-amd64
(G)UI : Xfce4
Inscription : 14-04-2010
Site Web

Re : dr captnfab et dr Marie-Lou

smile

file-R544d996c1c4578ebfb0a1b250769a760.png

Désolée Marie-Lou, j'ai eu la flemme de te faire une couverture aussi.

<titia> pas assez cuit; µonde  -> explosion
<captnfab> ^^
<captnfab> s/µ/bl/ wink

Hors ligne

Pied de page des forums