Momenti di scarsa lucidità

Freddie

2010-01-25T15:27:00.002+01:00

Qualsiasi cosa tu faccia... falla con stile

F. Mercury

Yoda

2010-01-25T15:26:00.003+01:00

Non esiste provare, esiste fare o non fare...

Yoda

La perfezione

2010-01-25T15:25:00.001+01:00

La perfezione si ottiene non quando non c’è nient’altro da aggiungere, bensì quando non c’è più niente da togliere

Antoine de Saint-Exupéry

Macchine

2010-01-25T15:24:00.001+01:00

Non esiste macchina così intelligente da poter essere usata da uno stupido

Confucio

Sulla felicità

2010-01-25T15:23:00.002+01:00

La nostra felicità non dipende soltanto dalle gioie attuali ma anche dalle nostre speranze e dai nostri ricordi. Il presente si arricchisce del passato e del futuro.

Châtelet, Émilie du Discorso sulla felicità, Sellerio editore, Palermo, 1992 p. 51.

Ballo

2010-01-25T15:23:00.001+01:00

Nella vita balliamo tutti in circolo e ci divertiamo, ma non conosciamo il segreto che vi è nel centro

Robert Frost

Gilberto Gil e gli hacker

2010-01-25T15:19:00.005+01:00

Gli hacker creano, innovano, ricercano e destinano le conoscenze attraverso un atteggiamento radicalmente nuovo e altruistico in cui la forza di propulsione non è il denaro. Ciò che cercano gli hacker è il 'commons', il bene comune. Ecco perché io, cittadino brasiliano, cittadino del mondo, ministro della cultura del governo brasiliano e musicista, lavoro al ministero e, nel mio campo e in tutte le dimensioni della mia esistenza, mi ispiro all'etica degli hacker

Gilberto Gil

Bene e male

2010-01-25T15:19:00.004+01:00

Tutto ciò che è necessario per il trionfo del male, è che gli uomini di bene non facciano nulla

Edmund Burke

Browser

2010-01-25T15:18:00.001+01:00

Passiamo più tempo dentro il browser che non a casa nostra

JOHN LILLY, CEO di Mozilla

Tacito

2010-01-25T15:17:00.001+01:00

Una morte onorevole è migliore di una vita vergognosa

Tacito

Hackintosh

2009-05-10T15:38:00.003+02:00

Case: Codegen ms-32-c9
Motherboard+CPU: Intel D945GCLF2 + Intel Atom 330
Scheda Video: Intel GMA 950 integrata
RAM: 2GB DDRII Kingston
DVD-ROM: Sony DDU1621
HD: Maxtor 6Y120M0 120 GB SATA
WIFI: 3Com OfficeConnect Wireless 54 Mbps 11g Compact USB Adapter (3CRUSB10075 - ZD1211 chipset)
OS: Mac Os X 10.5.6 Retail

tutte le istruzioni qui e qui.

Quando Front Row esce mentre si cerca di accedere ai video

2009-04-03T15:47:00.003+02:00

Se accedendo alla sezione Video di Front Row nel nostro Mac il programma si blocca o esce, il problema è da ricercare nella presenza di file con estensioni particolari (ad esempio .divx) nella cartella Filmati (Movies) dell'utente in esecuzione. E' sufficiente rinominarli o spostarli e ricomincieremo ad accedere alla sezione Filmati.

Steve Jobs, Stanford, 12 giugno 2006

2009-04-03T15:45:00.001+02:00

Abbiate il coraggio di seguire il vostro cuore e la vostra intuizione. Il vostro tempo è limitato, per cui non lo sprecate vivendo la vita di qualcun altro. Non fatevi intrappolare dai dogmi, cioè vivere seguendo i risultati del pensiero di altre persone. Non lasciate che il rumore delle opinioni altrui offuschi la vostra voce interiore. E, cosa più importante di tutte, abbiate il coraggio di seguire il vostro cuore e la vostra intuizione.
In qualche modo loro sanno che cosa realmente volete diventare. Tutto il resto è secondario.

Scrittura lenta? Il nuovo MacMini ha la grafia 5 volte più veloce

2009-04-03T15:41:00.002+02:00

Il finder si riavvia di continuo dopo l'aggiornamento a Quicktime 7.6 su Mac OS X 10.4.11

2009-02-02T12:24:00.003+01:00

Il problema è dovuto a alcuni pannelli di terze parti (quelli sotto la voce Accessori) su Preferenze di Sistema come Default Folder, Stuffit AVR o altri.

La prima cosa da fare è stoppare Stuffit AVR che potreste avere in preferenze di Sistema. Se non risolvete provate a disattivare uno ad uno i pannelli nella categoria Accessori di Preferenze di Sistema.

[fonte]

Allora è vero?

2009-01-06T16:45:00.001+01:00

fonte

2008-11-02T21:29:00.001+01:00

Pisa, ottobre 2008

2008-10-21T21:48:00.001+02:00

Festa protesta, voce che contesta!
Sarà la finanziaria o sarà la riforma a tagliarci le gambe?
Mobilitazione di massa!

perchè il linguaggio java si chiama così

2008-09-04T01:13:00.001+02:00

J. Gosling e A. Van Hoof (considerati gli autori del linguaggio Java) si trovavano spesso ad un caffè presso il quale discutevano del linguaggio stesso. E così il linguaggio prese il nome da tale abitudine (Java è una qualità di caffè dell'omonima isola dell'Indonesia), tanto che il magic number che identifica un file .class (byte code ottenuto dalla compilazione di un file .java) è 0xCAFEBABE (probabilmente riferendosi alla cameriera che li serviva).

fonte

Modella le tue capacità...

2008-08-29T12:14:00.000+02:00

Modella le tue capacità sulle tue idee, mai il contrario
William Bernbach

Se abbiamo un animale in casa...

2008-08-29T12:12:00.001+02:00

Se abbiamo un animale in casa, è più intelligente di qualunque computer
Steve Wozniak

Problema iPod: Cercasi Soluzione

2008-08-29T11:44:00.002+02:00

Ho un ipod touch (mai jailbrekato) 8gb di circa 8 mesi. Fino ad un paio di giorni fa usavo normalmente il mio ipod aggiornato alla 2.0.2, poi in seguito al blocco di una delle applicazioni di terze parti e riavvio automatico dell'ipod ho risocontrato due problemi:
- il primo è che la libreria (video, musica, ecc.) è vuota se consultata sull'ipod, mentre ad ipod collegato, su itunes è data presente sull'ipod
- le applicazioni di appstore -TUTTE- adesso stanno aperte circa due secondi e poi si chiudono
Ho provato prima a spegnere tenendo premuti il tasto home e quello in alto come indicato sul sito apple senza risultato, poi ho ripristinato l'ipod da iTunes ma dopo circa 10 minuti che lo usavo si è ribloccato su una delle applicazioni dell'appstore, auto-riavviato e mi sono trovato nella solita situazione.
Ho poi rientato un'altra volta questi passaggi ma senza soluzione. Specifico che l'applicazione che bloccava l'ipod non era sempre la stessa anche perchè è stata volta volta eliminata prima di ripristinare e non erano tutte applicazioni che usavano l'accellerometro.
Qualcuno mi può aiutare? (Prima di portarlo a riparare in garanzia)

edit: Ho provato anche col dfu mode e sono andato avanti per una giornata, poi il problema si è ripresentato...

Appunti di Metodologie di programmazione (3): Lo stato

2008-08-27T18:35:00.002+02:00

Ambiente delle classi ρ: contiene le classi dichiarate prima dell’inizio dell’esecuzione

 ρ è una funzione da identificatori di classe a descrizioni di classe
 ρ : Cenv = Id -> Cdescr

Cdescr = Id * Frame * Menv * Frame * Menv
Descrizione di classe: superclasse * variabili statiche * metodi statici * variabili istanza * metodi istanza

NB: il costruttore (sequenza di assegnamenti) viene aggiunto ai metodi istanza

Class_decl := class Id extends Id {
Static_var_decl_list
Static_meth_decl_list
Inst_var_decl_list
Inst_meth_decl_list
Costruttore }

Frame ϕ

Il frame è una tabella (estendibile e mutabile) che mantiene associazioni fra identificatori (di variabili) e valori (interi, booleani oppure locazioni (puntatori ad oggetti))

Operazioni definite sui frame:
• un frame ϕ:Frame viene creato vuoto (newframe())
• l’operazione bind(ϕ, i, v) estende ϕ inserendo l’associazione tra i e v
• l’operazione update(ϕ, i, v) modifica in ϕ l’associazione per i (che deve esistere)
• l’operazione defined(ϕ, i) dice se ϕ contiene un’associazione per i
• per ottenere il valore di una variabile, si applica il frame all’Id

Ambiente di metodi μ

μ è una funzione da identificatori di metodo a descrizioni di metodo
μ : Menv = Id -> Mdescr

Mdescr = Idlist * Blocco * ( Loc | Id )
Descrizione di metodo: parametri formali * corpo del metodo * puntatore a oggetto o nome di classe

Method_decl := Id (Idlist) Blocco

Operazioni sugli ambienti di metodi e di classi:
• cbind((ρ:Cenv), (i:Id), (c:Cdescr)) estende ρ associando ad i il valore c
• cdefined(ρ:Cenv, i:Id) dice se ρ è definita per i
• mbind((μ:Menv), (i:Id), (m:Mdescr)) estende μ associando ad i il valore m
• mdefined(μ :Menv, i:Id) dice se μ è definita per i
• instantiate((μ:Menv), (l:Loc)) crea un nuovo ambiente μ1 diverso da μ perché tutte le descrizioni di metodi contengono l’oggetto l

Heap ζ: contiene gli oggetti (istanze di classi)

ζ è una funzione da locazioni a descrizioni di istanza (oggetto)
ζ : Heap = Loc -> Odescr

Odescr = Id * Frame * Menv
 Descrizione di istanza: classe * variabili di istanza * metodi di istanza

 Operazioni sullo heap:
• newheap() genera una heap vuota
• newloc(ζ) genera una nuova locazione in ζ
• hbind((ζ:Heap), (l:Loc), (o:Odescr)) estende ζ associando ad l il valore o

NB:
• un oggetto viene creato con l’espressione new Id
• genera il valore o:Odescr a partire dalla classe Id
• l = newloc(ζ)
• hbind((ζ:Heap), (l:Loc), (o:Odescr))
• restituisce l

Pila di attivazioni σ: per la valutazione dei metodi, simile alla pila dei record di attivazione nei linguaggi tradizionali

σ è una pila di records di attivazione di metodi
σ : Astack
Astack = Stack (Record)

Record = ( Id | Loc ) * Stack(Frame)
record di attivazione: oggetto o classe a cui il metodo appartiene * pila di frames (blocchi annidati)

Operazioni sulle pile (record, frame):
• emptystack() genera una pila vuota
• top((π:Stack(x)) restituisce l’elemento di tipo x in testa a π
• pop((π:Stack(x)) modifica π eliminando l’elemento in testa
• push((π:Stack(x),(e:x)) modifica π inserendo l’elemento e in testa
• empty((π:Stack(x)) verifica se π è vuota

[Fonte]

Appunti di Metodologie di programmazione (2): Information-hiding

2008-08-27T18:32:00.005+02:00

Decomposizione > Astrazione

1. Linguaggi alto livello: costrutti semplici invece di linguaggio macchina
2. Astrazione attraverso parametrizzazione: parametri al posto di dati, permette di astrarre il codice dalle infinite computazioni che eseguire, eventualmente con parametri diversi
3. Astrazione attraverso specifica: si astrae dal COME e si considera solo il COSA, potendo così cambiare quest’ultimo in modo trasparente a tutto il resto; la specifica è data attraverso commenti e parole chiavi

2 e 3 permettono di definire:
• Astrazione procedurale: separazione tra definizione di un metodo e sue chiamate, permette di aggiungere nuove operazioni e descriverne proprietà
• Astrazione sui dati: permette di aggiungere nuovi tipi di dati e relative operazioni senza preoccuparsi dell’implementazione
• Iterazione astratta: permette di iterare sugli elementi di una collezione senza preoccuparsi di come sono stati ottenuti, astraendo così dal flusso dei dati
• Gerarchie di tipo: consiste nel raccogliere in famiglie e sottofamiglie i tipi che condividono operazioni astraendo le differenze

[Fonte]

Appunti di Metodologie di programmazione (1): Analisi statica

2008-08-27T18:31:00.004+02:00

Analisi statica
(a tempo di traduzione, nella fase di interpretazione)

• Localizzazione degli errori
• Controllo dei tipi
• Risoluzione dei nomi

NB: in Java controlla solo i tipi APPARENTI, i tipi EFFETTIVI sono noti solo a tempo di esecuzione; in altre parole garantisce solo che il tipo apparente sia SUPERTIPO del tipo effettivo: casting, dispatching dei metodi, ecc. sono risolti solo a run-time

[Fonte]

Pubblicità Progresso (2)

2008-08-18T15:52:00.004+02:00

Siete rimasti attoniti dalla diffusa ignoranza della classe politica italiana in tema di tecnologia?
Siete stupiti per le allucinanti idee di alcuni magistrati in materia di Internet e diritto di autore?
Guardate allucinati la trovata di Mediaset contro Youtube, o l'ennesima trovata riguardante l'abuso del diritto di autore da parte delle Major?

La ricetta è:
1- Imparate ad usare la vostra testa, questa è la più temuta disobbedienza civile
2- Usate OpenDNS, gli ip sono 208.67.222.222 e 208.67.220.220
3- Usate software opensource e contribuite come potete
4- Usate e diffondete cultura e musica sotto Creative Commons

FONTE

Pubblicità Progresso (1)

2008-08-17T20:14:00.006+02:00

Apple lancia la nuova versione di Apple Web: maccoso!

2008-08-17T16:19:00.003+02:00

Il nuovo Apple Web sta riscuotendo un grande successo nel mercato africano e un impiegato di Cupertino prevede un ragionevole aumento di ricavi. La nuova versione, denominata "Melamangio" ha già attirato l'attenzione spasmodica degli Apple Genius. Le caratteristiche principali di questo prodotto sono: comodità, design accattivante firmato da Jonathan Ive, leggerezza, disco allo stato solido (con un piccolo sovrapprezzo), controllo completo delle funzionalità e disponibile in lingua italiana e sarda.
Apple Web versione "Melamangio" è già disponibile dei negozi specializzati al modico prezzo di 19.99 £. Affrettatevi e il balcone del vostro vicino di casa sarà davvero maccoso!

Generato da iGenPost

Do the evolution

2008-08-17T16:17:00.003+02:00

La probabilità non è nient'altro che...

2008-08-17T16:04:00.006+02:00

La probabilità non è nient'altro che il grado di fiducia (speranza, timore, ..) nel fatto che qualcosa di atteso (temuto, o sperato, o indifferente) si verifichi e risulti "vero".
Bruno De Finetti

Gli hacker sono ...

2008-08-17T16:03:00.004+02:00

Gli hacker sono persone che “programmano con entusiasmo”. Essi ritengono che “la condivisione delle informazioni sia un bene positivo di formidabile efficacia, e che sia un dovere etico condividere le loro competenze, scrivendo free software e facilitando l’accesso alle informazioni e alle risorse di calcolo ogniqualvolta fosse possibile.”
dal “file di gergo” (The Jargon File) degli hacker, compilato collettivamente in Rete

La matematica è vera soltanto perchè...

2008-08-17T16:02:00.009+02:00

La matematica è vera soltanto perchè non dice nulla di sostanziale, perchè è puramente tautologica; dubitare di essa sarebbe assurdo non perchè vi sia nelle sue verità qualche virtù speciale, ma per il medesimo motivo per cui sarebbe ridicolo dubitare che gli astronomi abbiano sbagliato nello "scoprire" i nomi delle stelle.
Bruno De Finetti, 1934

Chi perde il senso del tempo quando è davanti al computer...

2008-08-17T16:02:00.008+02:00

Chi perde il senso del tempo quando è davanti al computer, sa capire perfettamente il bisogno di sognare, la necessità di realizzare i propri sogni e la tendenza a saltare i pasti.
Tim Berners-Lee