Riprendo il discorso Ginger come ennesimo invito ai miei lettori ad osservare il comportamento dei plugin che si occupano della gestione dei cookie. Come scritto in un vecchio articolo, WordPress ha raggiunto il ramo 5.x, e nel momento in cui scrivo è da poco arrivato l’aggiornamento alla versione 5.2.2. Questo ha causato vari problemi con parecchi […]
Quest’anno l’Amazon Prime Day sarà una festa di due giorni. Non solo offerte non-stop, ma anche l’intrattenimento esclusivo di Taylor Swift grazie ad una prima assoluta, il concerto Prime Day. Il Prime Day inizierà il 15 luglio e durerà fino al 16 luglio. Due giornate di offerte e promozioni epiche. Per la prima volta, l’evento durerà […]
Negli USA la Food and Drug Administration (FDA) il 27/06/2019 ha avvertito consumatori e medici che Medtronic sta richiamando alcuni modelli di pompe insuliniche soggette a possibilità di hacking. Tali microinfusori non sono riparabili nè il loro software è aggiornabile per risolvere o mitigare il problema. La FDA ha sollevato numerose preoccupazioni sulla vulnerabilità di […]
KDE Neon Plasma 5.16.0 Desktop è finalmente in mezzo a noi. Durante la scorsa giornata il progetto non ufficiale basato su desktop KDE è arrivato alla versione 5.16.0 seguendo a ruota il desktop KDE Plasma stesso (a sua volta alla 5.16). Il changelog è anche questa volta da ritenersi identico a quello di KDE Plasma. […]
I repositories ufficiali di Ubuntu 18.04 LTS permettono di installare MariaDB, ma alla versione 10.1, oramai troppo vecchia. A partire dalla versione 10.2 il database server integra funzionalità avanzate, come la gestione dei json (assente nella 10.1). Ecco come procedere all’installazione della versione più recente. Come installare MariaDB su Ubuntu 18.04 o 16.04 (e loro […]