Di seguito tutti gli interventi pubblicati sul sito, in ordine cronologico.
 
 

Pian piano stiamo entrando in una nuova generazione (non so di preciso il numero quinta, sesta) di gadget elettronici pieni di sensori. Le vecchie tastiere dei telefonini andranno man mano a scomparire lasciando il posto ai touch screen. Le console poi, prima Nintendo che fin dal 1986 (mi pare) cerca di rendere interattivi i videogame: pistola zapper, nintendo glover (che c'era anche nel film il piccolo grande mago dei videogame [The Wizard]) e accessori tra cui tappetini e addirittura un robot (mi pare), poi col nintendo DS e il WII (in cui in pratica si sperimentano in continuazione nuove diavolerie; qualcuno ha detto WII Feet?). Ora anche la Playstation portatile inizia a sopperire a tale mancanza inserendo dei sensori di movimento per giochi tipo Locoroco (cioè si muove la console per far rotolare la pallina nella giusta direzione). E pensare che manco 15 anni fa facevo la fila al bar per poter giocare a Final Fight.....

Main Theme composto da Franco Micalizzi, cantata da D.Meakin (cantante dei Rocking Horse/Superobots), film diretto da E.B. Clucher (aka Enzo Barboni, aka lo chiamavano trinità) e poi Bud e Terence , . La cosa che non capisco è perché questi cose sono apprezzate più all'estero che in Italia. Una cosa è certa fino a 20 anni fa l'Italia spaccava ora siamo in decadenza, peccato!!!!

Questa è una cosa sorprendente in pratica la ballerina gira sia in senso orario che in senso antiorario. Questo sembrerebbe un modo per dire quale parte del cervello usiamo di più: orario la sinistra, antiorario la destra. Original news: qui

La logica proposizionale è una cosa che mi appassiona tantissimo, tant'è che i grandi problemi NP quindi tutte le cose fighissime sulla crittografia derivano da quest'ultima. Tuttavia, la regola dell'implicazione se applicata a interpretazioni della vita di tutti i giorni presenta dei tranelli. Se ad esempio so che "se c'è il sole rimango a casa a giocare" e "se c'è il sole chiudo la finestra" posso dedurre che "se c'è il sole rimango a casa a giocare e chiudo la finestra". La formula A->B e A->C seesolose A->(B e C) si dice "valida" nella logica proposizionale (poiché è sempre soddisfatta qualunque siano i valori di A e B). Ora però "se ho 200 euro compro la PSP" e "se ho 200 euro compro la DS" implicherebbe una cosa fighissima che posso usare 200 euro per comprare un mondo di oggetti che costano meno di 20o euro. Per risolvere problemi come questi esiste la linear logic ma è meglio sognare nella logica proposizionale .

Erano anni che desideravo possedere una muta da sub (per apnea) per poter vincere i limiti fisici imposti dal buon Signore sulla mia persona . Finalmente ho avuto l'occasione di comprarne una come si deve, con tutte le migliori caratteristiche su mercato. Trattasi di muta di 3mm a 2pz, rivestita internamente per consentire un solo cambio di acqua, senza cerniera e fatta su misura.

è uno spettacolo

guanti seac sub, nonostante siano spessi garantiscono una sensibilità assurda.

Che dire, se si desidera una cosa la si deve fare bene. Inoltre vorrei ringraziare ancora una volta gli amici di Matino che grazie al loro buono/regalo di laurea mi hanno permesso di comprarla :). Le suddette persone sono (in ordine di coppia) : matteo & italy, marco & olimpia, marco & livio, luigi & francesco (ora felice possessore di una ps3 60gb) ed antonio.

parola di comix

Possedere un antivirus decente ora come ora sembra una cosa indispensabile per qualunque PC con sopra installato Windows. Se poi ci mettiamo il fatto che ogni antivirus necessita di una regolare licenza per aggiornarsi 3-4 volte al giorno, possiamo dedurre che adesso è un buon periodo per chi produce antivirus. Prendiamo NAV per esempio è classificata come l'applicazione che maggiormente rallenta Windows ed è installato con una licenza di 6 mesi su praticamente ogni nuovo portatile (secondo me lo usano, il NAV, per fare benchmark delle nuove macchine). A parte questo la gente non si chiede come mai un antivirus ha bisogno di aggiornarsi 3 volte al giorno? La colpa è di windows che dopo il SP2, dal pannello di controllo e la voce sicurezza, controlla che l'antivirus sia aggiornato senno da un errore all'utente. Quindi in pratica ognuna di quelle 3 volte al giorno che l'antivirus si connette al server per scaricare aggiornamenti in realtà non fa altro che chiedere il permesso di notificare Windows che l'antivirus è aggiornato, pur non scaricando niente. Quindi ricapitoliamo
Windows è contento se si installa un antivirus => chi produce antivirus è contento che le licenze le vende per forza => Microsft è contenta di "validare" case produttrici dii "antivirus" è presto ne produrrà uno suo.

Bene bene! Immaginiamo di voler scrivere una funzione ricorsiva senza avere a disposizione alcun costrutto per dichiarare il nome della funzione. Se la funzione non ha nome, come facciamo a riferirci ad essa?. Un linguaggio senza binding per i nomi di funzione è ugualmente espressivo (cioè riesco a scriverci il fattoriale ricorsivo). Bhe si e no. Si se non siamo in un linguaggio con i tipi perché abbiamo bisogno di una cosa fighissima chiamata l'operatore di punto fisso Y. Chi come me ha seguito uno dei corsi del professor Asperti sicuramente si ricorda queste parole "il fattoriale è il punto fisso del funzionale fattoriale" anche se da quanto ho visto in giro spulciando i vari appunti di Mattia Crivellini e Roberto Sottile non deve essere tanto chiara come affermazione. Negli appunti di Mattia c'è un bel TODO . Il funzionale in questione comunque è il seguente:

---

F = function (f)
      return function (n)
               if n == 0 then return 1
               else return n*f(n-1) end
             end
    end

---

F prende in input una funzione ed un intero e ritorna mimando a grandi linee la definizione del fattoriale. Notasi che la definizione della F è giusto per convenienza e non strettamente necessaria. A questo punto immaginiamo  di voler calcolare il fattoriale di 3 come si fa? Applicando l'operatore di punto fisso Y alla F e passandogli l'argomento desiderato: (Y F) 3 magicamente produce 6. Se qualcuno è curioso di provarsi il funzionamento di questa roba LUA è il linguaggio perfetto per farlo. E' la bellezza di queste cose che mi spinge a fare la ricerca spero di esserne all'altezza.

Ho iniziato a fare qualche esperimento con il manuale di anatomia, il risultato sarebbe sicuramente migliore se il caldo estivo non mi avesse completamente sciolto la mia bellissima gomma pane.