Usare le entità HTML

Dettaglio di una tabella di caratteri speciali e relative entità, dall'ottimo sito Toptal Designers [0].

0

Prima o poi, s'incontra questo tipo di problema e si cercano soluzioni nella rete estesa.
Quando si scrive un post oppure una pagina-web in linguaggio HTML e si vogliono inserire nel testo che verrà visualizzato i caratteri riservati, è indispensabile usare le entità HTML ( in lingua inglese : HTML entities ) ovvero delle espressioni alfanumeriche non fraintendibili, altrimenti l'internet browser interpreterà il carattere come parte della sintassi del listato e causerà involontariamente uno o più errori nell'esecuzione del codice, restituendo un risultato insoddisfacente a schermo.

1 – Ortografia

Ogni entità può essere scritta usando diverse espressioni racchiuse tra il carattere iniziale “&” – la “e commerciale” – e quello finale “;” – il comune punto-e-virgola :

● nome HTML;
● numero seriale HTML ( decimale );
● numero esadecimale corrispondente al codice Unicode.

Attenzione : i nomi sono case sensitive, ovvero le lettere minuscole sono processate diversamente da quelle maiuscole.
Schematizzando i tre metodi :

&nome;

&#numero10;

&#xnumero16;

Tre esempi :

&

&

&

&

&

&

Soluzione banale per un problema grosso

Lo schema delle funzionalità del Redmi Note 8 ( vista del retro ) [0]; il bottone che mi ha dato problemi è evidenziato in rosso.

0

Uso con soddisfazione un Redmi Note 8 [1] da 4+ anni, ed ancora oggi è performante e soddisfa un range di necessità : funzioni telefoniche, varie chat, navigazione con browser web, riproduzione file audio e video, scatto e gestione delle foto, vari cloud e servizi basati sul cloud ... meteo e altre app installabili.
Con gli accessori ( pellicola in vetro temperato, custodia ) mi costò solo 150 € : ottimo rapporto prezzo/prestazioni, e prezzo/longevità.
Quando avrò necessità di cambiarlo, credo che punterò ad un altro dispositivo della stessa marca e famiglia.
Tuttavia, anche questo telefono portatile è soggetto a piccoli problemi di sporco e usura nel corso del tempo.

1

E' capitato ieri pomeriggio.
Sentivo un vibracall in azione periodica, ma non ci facevo caso perché ho disattivato quel tipo di segnalazione delle chiamate in entrata su entrambi gli smartphone che uso.
Sembrava lontano.
Pensavo fosse un dispositivo nell'appartamento dei vicini di casa.

Dopo ore, quando ho afferrato il mio Note 8 per fare qualcosa ... ho appreso con orrore che era proprio lui, l'origine del rumore !
E del problema.

☹

Si riavviava ripetutamente prima di finire il boot del sistema ( prima che comparisse l'animazione del logo MIUI ).
Ero molto stanco e stizzito, e non ho preso subito seriamente in esame il problema.
L'ho estratto dalla custodia, ho premuto qualche volta il bottone di accensione ( prima normalmente, poi a lungo ), ma nulla.
Allora, l'ho lasciato scaricare del tutto la batteria. Ma non ho dormito bene.

☹

Win – Disattivare il touchpad

​

Le manopole per cambiare lo status del touchpad.

0

Se usate un computer portatile ( laptop, notebook, tablet-pc ... ) quasi certamente è accessoriato con un touchpad [1][2] di fabbrica, cioè una superficie sensibile al tocco che interfaccia l'utente alla macchina, ed è utile per muovere il cursore sullo schermo ed eseguire alcune operazioni di visualizzazione ed altre con i movimenti di una, due, o tre dita.
Tuttavia, se preferite usare il mouse potreste essere impicciati dal touchpad, e sicuramente siete incappati qualche volta nell'imprevisto di toccarlo involontariamente mentre muovevate le mani sulla tastiera, ottenendo così alcune operazioni a schermo che non era vostra intenzione fare.

Disattivare il touchpad è molto semplice nei sistemi Microsoft Windows ( almeno dall'8.1 in avanti ), e vado a dare un rapido ragguaglio su come fare.

1 – Win 8.1

Comincio da Windows 8.1 che, sebbene il supporto della casa madre sia terminato da tempo [3], continua ad essere efficiente e rapido nell'uso pratico quotidiano.

Innanzitutto, bisogna andare alla barra di ricerca del sistema – la si può aprire premendo la combinazione di tasti [Win] + [q] – e digitare ''impostazioni'' + [Invio] : questa è una procedura di base che è comune negli ultimi sistemi Windows.
Nel menu a sinistra, bisogna cliccare su PC e dispositivi :

To Google Translate

Il menu contestuale del componente aggiuntivo.

1

Non parlo né scrivo fluentemente la lingua inglese, tuttavia sono in grado di comprendere la prosa semplice cioè quella degli articoli di giornale e dei post tecnici nella rete estesa.
E' il caso di due articoli linkati nelle note del post precedente [1].
Talvolta, m'è necessario usare uno strumento per la traduzione di un testo nella mia lingua nativa che è quella italiana, e uno degli strumenti più popolari è senz'altro il servizio online Google Traduttore ( Google Translate in lingua inglese )[2].
C'è un add-on ( componente aggiuntivo, estensione ) per il browser Mozilla Firefox che velocizza intuitivamente la procedura della traduzione con un paio di click destro-sinistro del mouse, e che consiglio agli utenti di qualsiasi livello linguistico.

2

To Google Translate è uno strumento gratuito programmato da Juan Escobar [3], che è scaricabile dalla sezione Add-ons del sito di Firefox [4] e il progetto è disponibile in chiaro su GitHub [5].
Come si vede nell'immagine di apertura, le opzioni disponibili sono 3 :

1	Traduci (auto/it)	traduzione del testo selezionato
2	Ascolta (en-US)	ascolto del testo selezionato
3	Traduci questa pagina (auto/it)	traduzione dell'intera pagina-web

Se non si è selezionata alcuna parte del testo nella pagina-web, sarà disponibile solo l'opzione della traduzione dell'intera pagina.

I parametri esplicitati tra le parentesi sono quelli settati di default al momento dell'installazione del componente nel mio sistema.
Per cambiarli, occorre andare in :

Gestione estensioni → To Google Translate → Opzioni

Queste sono le opzioni settabili :




Il pannello delle opzioni del componente aggiuntivo.

Download impossibile usando Chrome ?

La chiave di registro da correggere.

1

Un giorno, mi è capitato di non riuscire più a scaricare documenti e immagini dal browser Google Chrome.
Ogni volta, ricevevo questo messaggio nella barra dei download :

Operazione non riuscita. Scansione virus non riuscita.

Ho pertanto controllato le impostazioni del browser, di Windows Defender, e altro nel Pannello di Controllo del sistema operativo ... senza risolvere il problema.
Sono ricorso all'assistenza di Google e ho trovato un ticket con la soluzione [1].
Consiglio questo video [2] che è fatto meglio e più simpatico di quello linkato nella pagina di aiuto.

2

Riporto la risoluzione del problema passo-passo sul mio pc.

2.1

Bisogna aprire il Registro di Sistema [3] che si trova nella cartella Windows nel disco di sistema, tipicamente l'unità C:
Il percorso è questo :

C:\Windows\regedit.exe

Si può aprire per via breve, con la combinazione di tasti [ Win + r ] e OK :

Come scaricare foto e video da Instagram

Il menu contestuale che viene aperto con un click – tasto destro del mouse – sulle immagini di Instagram, usando il browser Mozilla Firefox.



La semplice interfaccia-utente di SaveInsta.

[ ... ]

1

Se vi piacciono alcune foto pubblicate su Instagram [1] e volete scaricarle sulla vostra memoria di massa locale oppure remota, incapperete nell'impossibilità di farlo direttamente dal sito-web : cliccando sulle foto con il tasto destro del mouse, nel menu contestuale non troverete le solite opzioni “Apri immagine in nuova scheda”, “Salva immagine con nome”, e altre operazioni → vedi prima immagine sopra.
Tuttavia, esiste un comodo tool on-line che risolve il problema.

Midjourney

Logo – immagine di pubblico dominio [1].



Una colomba meccanica generata da Midjourney su input di Rupert Breheny – immagine di pubblico dominio [2].

1

Si è parlato moltissimo delle IA generative di testi ed immagini nel corso dei mesi – spesso demonizzandoli – e con calma scrivo i primi appunti su questa categoria di software.

Parto da Midjourney.
E' il nome di un programma generativo di immagini che è basato su intelligenza artificiale, di un servizio online messo a disposizione degli utenti della rete con vari piani di sottoscrizione [3], e della società fondata da David Holz nel 2021 ( Midjourney Inc. ) e basata a San Francisco ( California, USA ) che gestisce laboratorio e servizio [4].
L'intelligenza artificiale – il motore – è stata nutrita con i miliardi di immagini caricate nella rete informatica, e dal lancio si nutre delle fantasie espresse dagli stessi utenti e professionisti che la usano quotidianamente.
Al momento in cui scrivo, pare che le immagini caricate nella rete siano 750+ miliardi [5].

Come scaricare i documenti da Issuu

Screenshot della pagina home del sito.

[ ... ]

1

Una funzione molto comoda di Issuu [1] è lo scarico implementato dei documenti che si vuole salvare sulle proprie memorie di massa.
Nella barra dei comandi all'interno del lettore è a disposizione dell'utente un bottone per il download, di colore chiaro se attivo oppure scuro se la funzione non è disponibile :




La barra dei comandi dell'utente, con il bottone per il download ( grigio, cioè non usabile ) evidenziato in rosso.

Se reputate di avere legalmente diritto allo scarico di un documento indisponibile per via breve, potete usare un comodo strumento onine : ISSUU PDF Downloader [2].

Sincronizzare la galleria delle immagini di Android con Google Foto

L'icona di Google Foto dal 2020 [0].

0 – Antefatto

Un'amica mi ha detto di non vedere le foto che scatta con lo smartphone Android nell'album di Google Foto.
Le ho consigliato di eseguire questa prima, semplice verifica in 6 passi : forse il problema sta nella sincronizzazione del dispositivo con il servizio online. Un problema banale – diranno gli utenti smaliziati – tuttavia bisogna sapere il punto esatto dove mettere le mani.

1 – Premessa

Oltre alla fruizione del servizio con il browser [1], nei sistemi operativi più usati è installabile un applicativo ma in alcuni casi ( Linux, Mac ) è necessario usare un software di terza parte [2]:

Dᴏᴡɴʟᴏᴀᴅ ᴅɪ Gᴏᴏɢʟᴇ Fᴏᴛᴏ
OS	produttore	diretto	altro
Android	Google → vv	■	□
iOS	Apple	■	□
Linux	vv	□	■
Mac	Apple	□	■
Windows	Microsoft	■	□

Come già anticipato, in questo tutorial mi occuperò della procedura standard da eseguire sui cellulari con il robottino.

Come disattivare i messaggi emergenziali di IT-Alert

La cronologia degli avvisi su Redmi Note 8, e il dettaglio dell'avviso che ho ricevuto male.

[ ... ]

0

Alle ore 12 di lunedì scorso ho ricevuto il messaggio di prova di IT-Alert [1] ma non l'ho potuto aprire, presumo a causa di una incompatibilità con la versione di Android implementata sul mio smartphone.
Solo l'avviso acustico.

Bene.

Ma è possibile disattivare quest'ennesimo meccanismo di terrorismo e controllo ?

Proviamoci.

1

Innanzitutto, la funzione è esplicitata all'interno delle impostazioni di Android.
Il percorso per arrivare alla manopola è :

Impostazioni → Password e sicurezza → Avvisi di emergenza

Trovare la data e l'ora di pubblicazione dei video su YouTube

0

La prassi di nascondere la data di pubblicazione dei contenuti-web m'è fastidiosa, e talvolta priva l'utente di un elemento fondamentale nella valutazione del contenuto stesso.
In questo post, tratto la soluzione del problema sul popolare sito di video sharing YouTube, ch'è stato sollevato recentemente dall'amico UUIC [0].

1

Da qualche tempo, l'impaginazione di YouTube [1] non palesa esplicitamente la data di pubblicazione dei video, ma abbozza rozzamente il tempo approssimativo trascorso da quel momento [2]:





Da browser su pc è abbastanza semplice ottenere la data precisa, è sufficiente sviluppare la descrizione del video cliccando su Mostra altro.
La descrizione viene sviluppata con tutte le informazioni, ed anche la data nel formato GG-mese-AAAA:

File immagine spezzato o mancante

La prima icona rappresentativa del file immagine spezzato o mancante, disegnata da Marsh Chamberlain per il corredo di Netscape 0.91 ( 1994 ).



La seconda icona.

1

Con le tecnologie hardware e software odierne è un evento sempre più inusuale, tuttavia può capitare di imbattersi in una odiosa icona che attesta il fallito caricamente di un'immagine all'interno della pagina-web corrente.
Questo evento può occorrere per diversi motivi :

* il file contiene un errore;
* le dimensioni del file sono così grandi da rendere eccessivamente lento il caricamento nella pagina, e allora il browser sospende l'azione;
* il file non si trova nella cartella in cui dovrebbe essere;
* il file è stato rinominato e pertanto l'URL esplicitato nel codice è dissimile dall'indirizzo reale dell'immagine;
* il formato del file non è rappresentabile dal browser;
* ...

Infatti, a me è capitato di verificare che Vivaldi non visualizza le immagini AVIF e così ho ottenuto l'icona [1]:

Convertitori di file online e gratuiti

La pagina home del sito CloudConvert [1].

0

Specifico che preferisco convertire i file in locale, usando strumenti software datati e dall'affidabilità comprovata, installati sulle mie macchine, piuttosto che affidarmi alle dichiarazioni di buona fede e difesa della mia privacy da parte di chi è proprietario del codice che processa i miei dati personali altrove.
Ma se per necessità contingenti e immediate ( ad esempio, convertire un file al volo sullo smartphone ) oppure per vostra preferenza verso le soluzioni nel cloud accessibili da qualsiasi OS e dispositivo necessitate di un convertitore online, vi posso consigliare un paio di siti-web che eseguono bene tale mansione.

1 – CloudConvert

Come convertitore universale, evidenzio CloudConvert [1]: un sito-web tedesco prodotto dalla software house Lunaweb di Monaco di Baviera ( Germania ) e online dal 2012.

AVIF

Immagini in formato AVIF tratte da una directory pubblica accessibile nel dominio di Netflix [1].

[ ... ]

1

L'AVIF ( AV1 Image File Format ) è un formato di file grafico raster ( griglia bidimensionale di punti a schermo detti pixel )[2] basato sulla compressione delle immagini video AV1 ( AOMedia Video 1 )[3] e il formato contenitore HEIF ( High Efficiency Image File Format )[4].
E' uno standard royalty free ed è stato sviluppato dal consorzio Alliance for Open Media [5] come alternativa al JPEG [6].
La AOMedia è partecipata da svariate aziende leader del settore digitale ed è stata fondata dalle seguenti [7]:

* Amazon;
* Apple;
* Cisco;
* Facebook → Meta;
* Google → Alphabet;
* Huawei;
* Intel;
* Microsoft;
* Mozilla;
* Netflix;
* Nvidia;
* Samsung;
* Tencent.

Come vedete, ci sono dentro i GAFAM ( Google → Alphabet, Amazon, Facebook → Meta, Apple, Microsoft )[8][9] al completo, i Big Five di Big Tech che ultimamente stanno accusando qualche piccola crisi [10].

1.1

Il formato AVIF supporta queste funzionalità [11]:

* spazio dei colori multiplo, tra cui :

** HDR ( PQ, HLG, BT.2020 );
** SDR ( sRGB, BT.709, BT.601, wide color gamut );
** segnalazione dello spazio colore tramite CICP o profili ICC.

* compressione lossless e compressione lossy;
* profondità di colore a 8, 10 e 12 bit;
* monocromatico (alfa, profondità) o multicomponente;
* sottocampionamento cromatico 4:2:0, 4:2:2, 4:4:4 e RGB;
* grana della pellicola;
* sequenze di immagini ( animazione ).




Netflix ha deciso di puntare sul formato AVIF per le immagini pubblicate nella rete [12].

1.2

Nel confronto con i formati JPEG e WebP ( di cui ho parlato nel precedente post )[13] eseguito dallo sviluppatore Google Jake Archibald [14], l'AVIF palesa una migliore accuratezza e resa dei colori, a fronte di una significativa riduzione del peso dei file : il 75% meno del JPEG e quasi il 60% meno del WebP [15].

Mentre JPEG ha una profondità del colore a 8 bit, AVIF usa 8, 10, e 12 bit per canale.

JPEG non supporta le animazioni e la trasparenza ( il cosiddetto canale alfa ), AVIF sì.

WebP

Una foto di Benjamin Gimmel [1] usata da Google come esempio di formato WebP [2] e riprodotta con licenza CC BY-SA 3.0 [3].
→ Sul problema riscontrato nella pubblicazione di quest'immagine, leggi i paragrafi 2.2 e 2023–06–05.

0

Se scaricate immagini dalla rete estesa, vi sarà capitato di trovare nella cartella di download i file webp.
E di avere qualche problema nel trattarli con i programmi che usate abitualmente.
Questo post è dedicato a questo tipo di file.

1

Il WebP è un formato di file grafico raster ( griglia bidimensionale di punti a schermo detti pixel )[4][5] annunciato dalla multinazionale Google nel settembre del 2010, basato su codice sviluppato dall'azienda On2 Technologies ( NYC, USA ) acquisita qualche mese prima, ed è un progetto parente dello standard video WebM [6].
La descrizione tecnica del contenitore [7]:

Specifica del contenitore WebP Introduzione WebP è un formato di immagine che utilizza (i) la codifica del fotogramma chiave VP8 per comprimere i dati di immagine in modo non valido o (ii) la codifica senza perdita di dati WebP. Questi schemi di codifica dovrebbero renderlo più efficiente dei formati precedenti come JPEG, GIF e PNG. È ottimizzata per il trasferimento rapido delle immagini in rete (ad esempio per i siti web). Il formato WebP ha parità di caratteristiche (profilo colore, metadati, animazione e così via) con altri formati. Questo documento descrive la struttura di un file WebP. Il container WebP (ossia il container RIFF per WebP) consente il supporto delle funzionalità oltre al caso d'uso di base di WebP (ovvero un file contenente una singola immagine codificata come frame chiave VP8). Il container WebP fornisce ulteriore supporto per: ● Compressione senza perdita di dati. Un'immagine può essere compressa senza perdita di dati utilizzando il formato Lossless di WebP. ● Metadati. Un'immagine potrebbe avere metadati archiviati nei formati Exif o XMP. ● Trasparenza. Un'immagine potrebbe avere trasparenza, ovvero un canale alpha. ● Profilo colore. Un'immagine potrebbe avere un profilo ICC incorporato come descritto dall'International Color Consortium. ● Animazione. Un'immagine potrebbe avere più frame con pause tra questi, che la rende un'animazione. [ ... ]. Denominazione Consigliamo di utilizzare i seguenti tipi quando fai riferimento al container WebP: Nome formato contenitore WebP Estensione nome file .webp Tipo MIME immagine/webp Identificatore di tipo uniforme org.webmprogetto.webp Terminologia e nozioni di base Un file WebP contiene un'immagine statica (ovvero una matrice codificata di pixel) o un'animazione. Facoltativamente, può contenere informazioni sulla trasparenza, profilo di colore e metadati. La matrice di pixel è la tela dell'immagine. [ ... ].

Google for Developers

Il risparmio di spazio su disco dichiarato rispetto al popolare formato JPEG è all'incirca del 30% [8].