Eukleides linguaggio appositamente creato per descrivere una figura usando un linguaggio di programmazione.

Molti programmi gratuiti permettono di giocare con la geometria euclidea dinamica al computer. E’ un gioco entusiasmante disegnare ad esempio un triangolo equilatero su un segmento e poi, trascinando con il mouse uno dei due vertici, vedere come la figura cambia orientamento e dimensione. Il programma con cui gioco spesso e volentieri è ZuL, che mi ha anche insegnato che “der Zirkel” è il compasso in tedesco, e che la parola per riga inizia con la L. Lingua affascinante.
Un approccio completamente diverso, sicuramente più geek, è quello di descrivere una figura usando un linguaggio di programmazione. Un linguaggio appositamente creato per questo scopo è Eukleides, di Christian Obrecht, che con il motto “ciò che intendi è ciò che ottieni” vuole prestarsi alla creazione di immagini geometriche partendo da una loro descrizione sintetica. L’immagine creata è un eps che può direttamente essere incorporato in un testo LaTeX, ma può anche essere convertito in jpg. Chi lavora in ambiente Linux, per queste cose, è molto avvantaggiato, ma non tutti sono così fortunati.

Download.

Re Ubuntu: i 10 articoli più letti nel mese di Giugno 2014.

Guida introduttiva di Chrome: impostazioni.
Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink. Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013. Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare
Guida introduttiva di Chrome: Sincronizzazione di schede tra dispositivi.
Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink. Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013. Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare
Guida introduttiva a  Chrome: protezione dei dati sincronizzati.
Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink. Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013. Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare
Aggiornamenti di sicurezza importanti per Xubuntu 14.04 "Trusty Tahr": Evince visualizzatore di documenti multi-pagina, Firefox e Gestore di energia.
Sappiamo tutti quanto sia importante mantenere aggiornato il proprio sistema operativo, ma è parimenti esperienza comune che spesso siano proprio gli aggiornamenti a introdurre nuovi bug.  Xubuntu segue delle linee guida ben precise per gestire questa situazione. La chiave di volta dell’intero discorso è che, una volta rilasciata la release, gli aggiornamenti non si fanno affatto, a meno che
Aggiornamenti di sicurezza importanti per Xubuntu 14.04 "Trusty Tahr": Firefox, Adobe Flash Plugin Installer e componenti di base per Xubuntu.
Sappiamo tutti quanto sia importante mantenere aggiornato il proprio sistema operativo, ma è parimenti esperienza comune che spesso siano proprio gli aggiornamenti a introdurre nuovi bug.  Xubuntu segue delle linee guida ben precise per gestire questa situazione. La chiave di volta dell’intero discorso è che, una volta rilasciata la release, gli aggiornamenti non si fanno affatto, a meno che
Re Ubuntu: i 10 articoli più letti nel mese di Maggio 2014.
1.- Guida a JGraph, programma per tracciare grafici e diagrammi strutturati: Curve di Bézier. Si possono generare delle linee curve con Jgraph se si interpretano alcuni dei punti indicati come punti di controllo per una curva di Bézier. Nella sezione 6.13 vengono indicati dei possibili spunti di approfondimento sulla questione, ma si consideri che per definire una curva di Bézier con Jgraph
Guida a JGraph, programma per tracciare grafici e diagrammi strutturati: Curve di Bézier.
Si possono generare delle linee curve con Jgraph se si interpretano alcuni dei punti indicati come punti di controllo per una curva di Bézier. Nella sezione 6.13 vengono indicati dei possibili spunti di approfondimento sulla questione, ma si consideri che per definire una curva di Bézier con Jgraph servono almeno quattro punti, e in generale è possibile tracciare una curva di Bézier mediante 3
Guida a JGraph, programma per tracciare grafici e diagrammi strutturati: gestione delle etichette di tacca e dei grafici a barre.
Analogamente al caso delle legende è possibile modificare l'insieme delle etichette di tacca di un asse, come unità complessiva, mediante l'attributo hash_labels: ad esempio, per cambiare le etichette di tacca in figura 6.9 in maniera tale che la fonte sia Times-Italic e la dimensione della fonte sia 16, si può scrivere hash_labels font Times-Italic fontsize 16, e analogamente per l'asse delle
Guida a JGraph, programma per tracciare grafici e diagrammi strutturati: stringhe, etichette e legende.
La gestione delle stringhe in Jgraph avviene mediante la parola chiave newstring. Gli attributi delle stringhe sono la posizione, la fonte, la dimensione della fonte, il colore, la rotazione, l'allineamento e il testo. La posizione si imposta mediante x posizione_x y posizione_y. La fonte dev'assere una fonte PostScript. Le fonti standard sono Times-Roman, Times-Italic,Times-Bold, Helvetica, 
Guida a JGraph, programma per tracciare grafici e diagrammi strutturati: esempi, dettagli e gestione degli assi e curve.
Jgraph è un programma che serve a tracciare grafici e diagrammi strutturati. Diversamente da altri strumenti per il disegno, Jgraph è un programma non interattivo: legge un file di input (il sorgente) e produce un file di output (la presentazione) in formato PostScript oppure EPS. L'output può in seguito essere quindi visualizzato, stampato, incorporato in un altro file per ulteriori
Se ti è piaciuto l'articolo , iscriviti al feed cliccando sull'immagine sottostante per tenerti sempre aggiornato sui nuovi contenuti del blog:

reeder

Guida introduttiva di Chrome: impostazioni.

Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink.

Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013.

Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare la funzionalità del proprio browser.

Si basa sul browser open source Chromium, di cui implementa le stesse funzionalità. La parte realizzata da Google, che ha differenziato il logo, è rilasciata sotto licenza BSD, mentre le altre parti sono soggette a una varietà di licenze open source.

Il browser progettato del team di Mountain View già dalla prima versione si dimostrò appetibile. La ricetta di Google Chrome è: velocità, sicurezza e manualità. Nei paragrafi seguenti sono approfonditi gli argomenti.




Guida introduttiva di Chrome: Sincronizzazione di schede tra dispositivi.

Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink.

Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013.

Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare la funzionalità del proprio browser.

Si basa sul browser open source Chromium, di cui implementa le stesse funzionalità. La parte realizzata da Google, che ha differenziato il logo, è rilasciata sotto licenza BSD, mentre le altre parti sono soggette a una varietà di licenze open source.

Il browser progettato del team di Mountain View già dalla prima versione si dimostrò appetibile. La ricetta di Google Chrome è: velocità, sicurezza e manualità. Nei paragrafi seguenti sono approfonditi gli argomenti.




Guida introduttiva a Chrome: protezione dei dati sincronizzati.

Google Chrome (detto anche semplicemente Chrome) è un browser basato su WebKit sviluppato da Google. Dalla versione 28 è basato sul motore di rendering Blink.

Basato sul browser Chromium, Chrome nel corso degli anni è cresciuto a tal punto da diventare il browser più usato al mondo nell'ottobre 2013.

Google ha messo a punto anche una nuova iniziativa: Chrome Experiments, con lo scopo di testare la funzionalità del proprio browser.

Si basa sul browser open source Chromium, di cui implementa le stesse funzionalità. La parte realizzata da Google, che ha differenziato il logo, è rilasciata sotto licenza BSD, mentre le altre parti sono soggette a una varietà di licenze open source.

Il browser progettato del team di Mountain View già dalla prima versione si dimostrò appetibile. La ricetta di Google Chrome è: velocità, sicurezza e manualità. Nei paragrafi seguenti sono approfonditi gli argomenti.




Aggiornamenti di sicurezza importanti per Xubuntu 14.04 "Trusty Tahr": Evince visualizzatore di documenti multi-pagina, Firefox e Gestore di energia.

Sappiamo tutti quanto sia importante mantenere aggiornato il proprio sistema operativo, ma è parimenti esperienza comune che spesso siano proprio gli aggiornamenti a introdurre nuovi bug. 

Xubuntu segue delle linee guida ben precise per gestire questa situazione.

La chiave di volta dell’intero discorso è che, una volta rilasciata la release, gli aggiornamenti non si fanno affatto, a meno che non riguardino vulnerabilità di sicurezza o bug particolarmente significativi.

Addirittura, nell’ottica di stabilizzare la release, già durante le ultime fasi di sviluppo l’ingresso di nuovi pacchetti dei vari software è sottoposto ad un controllo particolarmente rigido (una fase nota agli sviluppatori come “Feature Freeze”, appunto).

Gli aggiornamenti proposti a continuazione fanno parte del bollettino di sicurezza settimanale rilasciato da Canonical e riguardano in particolare i primi aggiornamenti importanti sulla sicurezza riguardanti la neonata Xubuntu 14.04 "Trusty Tahr".

In particolare gli aggiornamenti riguardano:


Aggiornamenti di sicurezza importanti per Xubuntu 14.04 "Trusty Tahr": Firefox, Adobe Flash Plugin Installer e componenti di base per Xubuntu.

Sappiamo tutti quanto sia importante mantenere aggiornato il proprio sistema operativo, ma è parimenti esperienza comune che spesso siano proprio gli aggiornamenti a introdurre nuovi bug. 

Xubuntu segue delle linee guida ben precise per gestire questa situazione.

La chiave di volta dell’intero discorso è che, una volta rilasciata la release, gli aggiornamenti non si fanno affatto, a meno che non riguardino vulnerabilità di sicurezza o bug particolarmente significativi.

Addirittura, nell’ottica di stabilizzare la release, già durante le ultime fasi di sviluppo l’ingresso di nuovi pacchetti dei vari software è sottoposto ad un controllo particolarmente rigido (una fase nota agli sviluppatori come “Feature Freeze”, appunto).

Gli aggiornamenti proposti a continuazione fanno parte del bollettino di sicurezza settimanale rilasciato da Canonical e riguardano in particolare i primi aggiornamenti importanti sulla sicurezza riguardanti la neonata Xubuntu 14.04 "Trusty Tahr".

In particolare gli aggiornamenti riguardano:


Random Posts

I miei preferiti in Instagram

Archivio