AI, matematica, insegnamento, e quelle cose lì
Sono momenti di grande fermento, nella comunità matematica. L'annuncio che un'AI (Artificial Intelligence) avrebbe risolto un importante problema matematico relativo alle equazioni di Navier-Stokes ha scatenato fiumi di parole (cit.) e guerre di opinione sulle possibili ricadute di una tale ingerenza artificiale in ambiti tradizionalmente riservati al pensiero umano. Non voglio farla lunga, ci sono dozzine di testi pronti all'uso, per supportare o confutare qualsiasi opinione personale. Mi limito qui ad un modello banalissimo, ma altrettanto concreto: l'insegnamento. Anzi: l'insegnamento che da alcuni anni tengo al primo anno della laurea triennale in matematica. Ho studiato decine di libri, ne ho scritti tre, e umilmente sento di avere ormai una visione abbastanza concreta della materia che insegno. Quest'anno ho voluto fare un esperimento: ho selezionato qualche libro e qualche articolo particolarmente pertinente con il programma del mio corso, ho scelto una...
Prima di installare qualcosa bisognerebbe leggere la documentazione. Mint debian è un esperimento della comunità mint... in sostanza un porting su debian. Ed è specificato che non è un prodotto stabile, anzi... infatti, oltre ai loro pacchetti alpha, la base è debian testing! Debian stable è "rather stable", quella testing invece no :-D
RispondiElimina"For this reason, LMDE requires a deeper knowledge and experience with Linux, dpkg and APT".
I 600 mega di aggiornamento sono dovuti al fatto che è una rolling, quindi cambia molto col tempo rispetto alla iso iniziale.
Se vuoi maggiore stabilità, prova mint basata su ubuntu, o ubuntu stessa. O debian stable.
Per finire, dissento da "Linux is for users who know... ".
Quando faccio esperimenti, non leggo mai la documentazione. Tanto si tratta di esperimenti senza conseguenze, posso cancellare tutto come se on fosse successo niente. Debian testing e' considerata piuttosto stabile dalla comunita', mentre Debian stable e' considerata piu' o meno una cariatide da museo. Ad essere sincero, non voglio ne' stabilita' ne' Ubuntu. Diciamo che mi diverto a constatare che Debian non fa per me. :-)
RispondiEliminaInfine, io sono un utente linux estremamente elitario: tutto quello che e' popolare diventa inevitabilmente di basso livello. Ci sono eccezioni, ma pochissime. Vorrei che linux fosse ancora un sistema per smanettoni, con poche concessioni alla popolarita'. Per questo scelgo Slackware o Arch, dove tutto si fa ancora con i file di testo e con la saggezza del "trial and error". E' come costruire a mano la casetta per gli uccellini, non c'e' paragone con quelle che vendono al supermercato.
Per questo scelgo Slackware o Arch, dove tutto si fa ancora con i file di testo e con la saggezza del “trial and error”. E’ come costruire a mano la casetta per gli uccellini, non c’e’ paragone con quelle che vendono al supermercato.
RispondiEliminaE se io ti dicessi... Gentoo Linux?
Con gentoo ho avuto brutte esperienze in fase di aggiornamento. Diciamo che per un server è molto buona, ma per un desktop la curva per raggiungere un sistema pronto da usare è troppo piatta. Gentoo va bene se compili i sorgenti, ma non voglio aspettare due giorni per lanciare Firefox :-)
RispondiElimina