Salvo Marco, in termini generali: si molti partecipanti abituali di questa lista si interessano al tema della riproducibilità del software, sia in termini scientifici generali che più specificamente legati al software. Personalmente sono implicato nei progetti seguenti che potrebbero interessarti (e che molto probabilmente conosci già): - Reproducible Builds (progetto spesso citato in lista): https://reproducible-builds.org/ - Software Heritage (idem): https://www.softwareheritage.org --- abbiamo parlato dei casi d'uso di Software Heritage per la riproducibilità scientifica, e più in generale per la scienza aperta, sia in un Mercoledì di Nexa di molti anni fa, sia più recentemente all'ultima Biennale Tecnologia in un paio di lezioni. All'istituto Politecnico di Parigi dove lavoro abbiamo un paio di tesi+PhD in corso su Nix/Guix (ambito: empirical software engineering), ma per ovvi motivi geografici non rientrano nella tua specifica di "mondo accademico italiano" :-) A presto! On Sun, May 28, 2023 at 09:27:04PM +0200, Marco via nexa wrote:
Buonasera, sono uno studente dell'universita degli studi di Milano (UniMi), /lurker/ di Nexa, amministratore di Sistema (DevOps/SRE) e da sempre "ambasciatore" della liberta di espressione che per mia idea, si estende anche al concetto di liberta nel software (FOSS).
Negli ultimi anni mi sono avvicinato al concetto di /riproducibilita/, in particolare collegato al software (ma non sarebbe male averlo anche hardware, trusting trust problem); questo mi ha portato a conoscere alcune tecnologie, in particolare guix (https://guix.gnu.org/) e nix (https://nixos.org/).
Quindi mi (e vi) chiedo che genere di sensibilita c'e' qui sull'argomento e se qualcuno di voi ha avuto a che fare con le tecnologie da me citate, o in qualche modo con il tema della riproducibilita.
Mi interessa capire se ci sono i presupposti per dare un seguito ottimo lavoro accademico svolto dalla Francia sino ad ora sul tema, cfr.:
https://www.inria.fr/en/towards-reproducible-software-environments-hpc https://gitlab.inria.fr/guix-hpc/guix-hpc https://guix.gnu.org/en/publications/
Il fine ultimo, nel mio caso, sarebbe in qualche modo convergere verso un progetto di tesi che coinvolga in qualche misura la riproducibilita, sfruttando le tecnologie da me citate. Ma trasversalmente mi piacerebbe vedere piu attivita in generale, nel mondo accademico italiano, sulla riproducibilita.
Vi ringrazio per l'attenzione :)
_______________________________________________ nexa mailing list nexa@server-nexa.polito.it https://server-nexa.polito.it/cgi-bin/mailman/listinfo/nexa
-- Stefano Zacchiroli . zack@upsilon.cc . https://upsilon.cc/zack _. ^ ._ Full professor of Computer Science o o o \/|V|\/ Télécom Paris, Polytechnic Institute of Paris o o o </> <\> Co-founder & CTO Software Heritage o o o o /\|^|/\ https://twitter.com/zacchiro . https://mastodon.xyz/@zacchiro '" V "'