Autore: Marco Bonfiglio

GNAT e LLVM: un nuovo compilatore alternativo per Ada a GCC

Ada è un linguaggio ad alto livello nato alla fine degli anni ’70 per il DoD (Department of Defense – Dipartimento della Difesa) americano. Date le sue caratteristiche di sicurezza e la flessibilità di uso, non è mai stato del tutto abbandonato, ma è rimasto confinato ad applicazioni in campo militare e/o aerospaziale. Nei primi…
Read more

Proposto un nuovo gestore di memoria per Linux che la riduce

SLAB ha delle pagine di memoria (ovvero delle porzioni continue) assegnate dal kernel; quando al kernel arriva una richiesta di uso della memoria stessa, a seconda della dimensione dell’oggetto da gestire SLAB sceglie quale pagina usare, in modo che oggetti di dimensione simile siano memoriazzati nella stessa pagina – magari riusando uno slot liberato da…
Read more

Per il 2020 Microsoft raddoppia gli schermi e propone Android

Ci stiamo avvicinando al periodo natalizio, e alcune aziende presentano i loro prodotti ora sperando diventino regali di Natale. Una di queste è Microsoft, che ha presentato la nuova linea Surface. Queste 3 versioni saranno disponibili fra breve: Surface Pro 7 schermo da 12.3″ processori Intel (i3/i5/i7) Surface Pro X schermo da 13″ processore personalizzato…
Read more

Il kernel potrà generare entropia al boot

L’elenco delle modifiche e aggiunte per il prossimo kernel (5.4) è piuttosto lungo: come al solito, il blog Phoronix ne offre un riassunto.Oltre alla funzione di lockdown, un’altra innovazione può essere interessante: la nuova versione del kernel avrà delle procedure interne per generare l’entropia necessaria al boot. Talvolta, per crittografia o simulazioni, è richiesta la…
Read more

ZFS on Linux si aggiorna: fix a pioggia

ZFS on Linux (ZoL) è un progetto particolarmente attivo. Le mire di Ubuntu di integrarlo tra i filesystem offerti e usabili in fase di installazione potrebbero far pensare ad un sistema maturo, ma sia la numerazione delle versioni (0.x, tradizionalmente associate a codice sperimentale), sia l’elenco di fix e nuove feature effettuati ad ogni rilascio…
Read more

BLS e sd-boot: Poettering ci spiega il bootloader

Abbiamo raccontato da poco di systemd-homed (e della difficoltà nel trovarne un senso) e nella chiusura dello stesso articolo abbiamo nominato systemd-boot (che scriveremo in seguito sd-boot). Ora è il momento di raccontarvene di più. Durante “All Systems Go” – la stessa conferenza in cui annunciava systemd-homed – Lennart Poettering ha presentato lo stato di…
Read more

init in Debian: ne rimarrà uno solo?

Quando Debian, con la release Jessie (dell’aprile 2015), decise di usare come init primario systemd, creò molto malcontento: favorevoli e contrari si schierano tutt’ora uno contro l’altro in una vera e propria guerra. Tanto che è nata (almeno) una distribuzione Debian systemd-free: Devuan (di cui abbiamo spesso parlato). In realtà il passaggio non è mai…
Read more

Una distribuzione vuole incarnare il principio KISS

Da qualche mese è disponibile una distribuzione che porta nel nome la il principio stesso con cui è creata: KISS.L’acronimo fa leva sulla semplicità, tanto che viene espanso in vari modi; ecco degli esempi: Keep it Simple and Stupid (Fallo semplice e stupido) Keep it Simple and Straightforward (Fallo semplice e diretto) Keep it Small…
Read more

Microsoft libera un altro pezzo: la STL

Eccoci ad una nuova puntata della serie “Microsoft ama l’open-source” una serie che da qualche anno, e in particolare dall’acquisizione di GitHub, ci sta entusismando, principalmente per l’enorme numero di progetti pubblicati.L’ultima novità risulta particolarmente interessante – sebbene non direttamente usabile: la pubblicazione della libreria standard di C++ usata da Visual Studio, chiamata STL (da…
Read more

Presentato il PCB di Purism Librem 5

Eravamo rimasti alla presentazione delle caratteristiche di base, del prezzo, e della data prevista per le prime consegne: settembre.Siamo parecchio vicini a quella data, ma Purism continua a sembrare in ritardo per poter rispettare la scadenza: sebbene nel preordine dello smartphone si faccia riferimento ancora al Q3 del 2019 – e il prezzo sia salito,…
Read more