Digitalwaters.net

L' informatica in cialde #1

Juna — Sun, 12 Feb 2012 21:46:30 GMT

Da cosa deriva il termine “bootstrap”? Perché chiamiamo così l’insieme delle operazioni che rendono il pc operativo?

“Bootstrap” è il termine della lingua inglese che indica la linguetta posteriore delle calzature che rende più agevole indossare un paio di scarpe. E’ molto diffusa l’idea che il termine sia nato in riferimento al romanzo di Raspe “Le avventure del barone di Munchhausen” poiché nell’opera il protagonista riemergerebbe da una palude “tirandosi per la linguetta degli stivali”.

In realtà nel romanzo il barone si cava d’impaccio “tirandosi per il codino” e probabilmente il termine “bootstrap” trae la sua origine dall’espressione “to pull oneself up by one’s bootstraps” che letteralmente significa “tirarsi su per la linguetta degli stivali” ed in senso figurato “cavarsela da se”.

Questa espressione quindi farebbe riferimento alla serie di processi autonomi con i quali il computer “se la cava da solo” per avviarsi.

Il fantasy, una sera

Juna — Fri, 22 Jul 2011 20:41:51 GMT

Da sempre avrei voluto provare a cimentarmi con la creazione di uno sfondo fantasy: ieri sera (sarà stata l’atmosfera?) finalmente ho ideato qualcosa di decente! ^^

Araemita si fermò a guardare la Luna, la lunga staffa e gli stivali ben saldi a terra.
Le nubi già si addensavano a coprire la notte: non rimanevano che nere sagome per l’osservatore occasionale che si fosse sporto a sbirciare oltre le colline.

- Dicono che le stelle siano i gioielli degli dei – esordì.

(To be continued…)

Ringraziamenti:

ObsidianDawn
Cybrea-stock
Midnightstouch
Anodyne-stock

This is were it all begins

Juna — Fri, 22 Jul 2011 20:39:50 GMT

Sono sicura che è così che di notte si accende la Luna.

Qualche ringraziamento per i fantastici pennelli:

ObsidianDawn
Anodyne-stock

Cheatsheet per novelli fotografi

Juna — Wed, 06 Jul 2011 20:59:45 GMT

Girovagando qua e là per links ho trovato questo utilissimo manabile fotografico:

La domenica del gatto

Juna — Tue, 05 Jul 2011 18:27:38 GMT

Domenica pomeriggio ho finalmente trovato del tempo per pensare ad nuovo sfondo per il mio desktop.
Alla fine dei lavori è venuto fuori questo:

Credo che rimpiazzerà molto presto lo sfondo attuale!

Migrazioni senza ssh

Juna — Mon, 25 Apr 2011 16:29:37 GMT

Certo, se avessi potuto effettuare la migrazione con un bel rake db:migrate sarebbe stato tutto infinitamente più facile…però i servizi degli hosting costano (specialmente per i privati!) e quindi non è sempre possibile acquistare un accesso ssh. :P

Con un po’ di buona volontà a volte mi è facile ricreare le tabelle create dalle migrazioni generate dalle gemme con phpmyadmin (eh lo so…è un orrore infinito aggiornare anche schema_migrations a mano!), sbirciando magari nei files di migrazione; oggi però sono subentrati indici su colonne multiple il cui nome non figurava nel template e così ho dovuto trovare un’altra soluzione per tirarmi fuori dai pasticci.

Anche se il sito è online, chiaramente tutto lo sviluppo lo faccio in locale e così il db risiede anche sul mio pc, che mi mette a disposizione anche una fantastica console MySQL.
Improvvisamente mi sono ricordata che è possibile chiedere direttamente a MySQL quale sia l’istruzione per creare una determinata tabella:

show create table nometabella

E’ fantastico perché in modalità assolutamente “no-brain” si può anche fare copia-incolla direttamente nel tab SQL di phpmyadmin! :D

Ho come la sensazione che con Rails i nomi degli indici su colonne multiple vengano creati secondo uno standard a partire dai campi coinvolti. Se nel template infatti c’è scritto:

add_index :tablename, [:column1, :column2]

L’ SQL che viene generato è della forma:

[..] KEY ‘index_tablename_on_column1_and_column2’ (‘column1’,‘column2’)

RSS Syndication e Rails

Juna — Thu, 21 Apr 2011 08:45:13 GMT

Ci sono un mucchio di modi per far sapere ai propri contatti che qualcosa sul sito è cambiato: si può scrivere sul proprio account di facebook, ci si può affidare alla curiosità dei visitatori più assidui. Oppure si può mettere in piedi un piccolo sistema di syndication RSS.

La prima cosa da fare se si vuole mettere a disposizione un feed delle notizie con Ruby on Rails è…estrarre le notizie. Sembra banale ma è proprio così, è necessario generare un controller che esponga un metodo atto a restituire un oggetto che rappresenta la lista di notizie da condividere:

class FeedController < ApplicationController

def posts
    @posts = Post.find(:all,
      :order => "updated_at DESC, created_at DESC",
      :limit => 10)
    response.headers['Content-type'] = "application/rss+xml"
    respond_to do |format|
      format.xml  { render :layout => false}
    end
  end

end

E’ facile osservare che per generare un feed RSS non c’è bisogno di includere anche il layout della pagina che finirebbe per malformare il suo contenuto.

L’ XML vero e proprio del feed può essere generato in vari modi, uno dei quali coinvolge l’utilizzo di XML Builder e di un template rxml: questo template in particolare deve proprio avere il nome del metodo che fornisce le notizie e deve trovarsi nella cartella della vista associata al controller dei feeds (quindi ad esempio in questo caso si avrebbe “../views/feed/posts.rxml”).

xml.instruct!
xml.rss "version" => "2.0",
  "xmlns:dc" => "http://purl.org/dc/elements/1.1/" do
  xml.channel do
    xml.title 'Digitalwaters.net'
    xml.link url_for(:only_path => false,
      :controller => 'posts' ,
      :action => 'index' )
    xml.pubDate CGI.rfc1123_date(@posts.first.updated_at)
    xml.description h("A blog about coding and creativity.")
    @posts.each do |post|
      xml.item do
        xml.title post.title
        xml.link url_for(:only_path => false,
          :controller => 'posts' ,
          :action => 'show' ,
          :id => post)
        xml.description(RedCloth.new(post.content).to_html)
        xml.pubDate CGI.rfc1123_date(post.updated_at)
        xml.guid url_for(:only_path => false,
          :controller => 'post' ,
          :action => ' show' ,
          :id => post)
        xml.author h(User.find(post.user_id).username)
      end
    end
  end
end

L’oggetto xml che viene messo a disposizione provvede a generare i tag xml conformemente ai parametri che gli vengono forniti.
E’ possibile permettere al browser di riconoscere che si mette a disposizione un feed aggiungendo nel tag del template dell’applicazione la direttiva:

<%= auto_discovery_link_tag(:rss, {:controller => 'feed' , :action => 'posts' }) %>

Due bachi con un solo forum

Juna — Thu, 21 Apr 2011 08:17:28 GMT

Succede sempre.

C’è sempre qualche browser che non è d’accordo.

In questi giorni mi sono offerta di fare il restyling del forum di una gilda di World of Warcraft ed è stata veramente una bella impresa; un po’ perché gli hosting che offrono servizi alle gilde per avere un set di servizi decenti propongono delle tariffe che per una gilda startup sono troppo alte e trovarne una economica ha richiesto una intera giornata di ricerche; un po’ perché l’hosting generalmente dà solo la possibilità di modificare il css di alcuni template già preinstallati sul CMS che offre; un po’ perché quando non sei tu a mettere i div in una pagina le cose sono sempre un po’ più complicate di quello che sembrano (e ogni tanto sei costretto/a a vedere degli ibridi div/table da far accapponare la pelle, per non parlare del codice di stile inline).

C’è da fare una premessa: il layout a cui mi riferisco consta sostanzialmente di una tabella a tre colonne che contiene a sua volta i div per i vari moduli che vengono mostrati all’interno del CMS e per il corpo dei posts. I browser con cui ho provato le visualizzazioni sono Chrome 10, Firefox 4, Internet Explorer 8.

I problemi sono iniziati quando ho deciso di racchiudere la tabella in un grande quadrato con i bordi arrotondati utilizzando la direttiva del CSS3:

border-radius

Chiaramente i bordi apparivano arrotondati solo su Chrome e Firefox ma non su IE.

Siccome raramente decido di mettermi nei pasticci con le mie mani usando direttive che so essere poco digeribili per qualche browser, decido di fare qualche ricerca in rete e scopro che in realtà per assicurare una corretta intercompatibilità di visualizzazione tra Internet Explorer, Firefox e browser che si basano su web kit è necessario dichiarare una tripletta di direttive:

-moz-border-radius
-webkit-border-radius
border-radius

Siccome poi c’è sempre qualcuno che ha più bisogno di premure degli altri, nel caso che abbiate a che fare con IE c’è anche bisogno di procurarsi il file ie-css3.htc e di renderlo disponibile sul proprio sito per poi includerlo nel css proprio sotto la direttiva border-radius:

behavior: url(ie-css3.htc);

E qui bisogna cominciare a fare attenzione perchè il path a cui si riferisce “behavior” non è relativo alla directory corrente ma alla root del sito.

Refresh della pagina: il fantastico box con i bordi arrotondati invece di comportarsi come uno sfondo ricopre letteralmente corpo del testo e moduli come una tovaglia. Paura e delirio: sento odore di z-index.

E infatti devo proprio ricorrere allo z-index e incappo nel primo baco di IE: lo z-index viene considerato adeguatamente solo se si riferisce ad un elemento con un posizionamento relativo ad un altro elemento contenitore per il quale sia già stato specificato uno z-index.

Conoscere il problema è senza dubbio meglio che brancolare nel buio: non mi perdo d’animo e assegno alla tabella il posizionamento relativo e lo z-index, avendo cura di assegnare agli che contiene lo z-index adeguato.

Refresh della pagina: ad una prima occhiata sembra essere tutto a posto. Ed ecco che si presenta il secondo baco: la necessità di far comparire un announcement dei messaggi privati in altro a destra della pagina ha spinto l’autore del CMS a dare al div che racchiude il messaggio un posizionamento assoluto; ma ora…assoluto rispetto a cosa? Assoluto rispetto all’elemento che lo contiene visto che per esigenze particolati improvvisamente questo ha assunto un posizionamento relativo…il che significa che l’elemento è totalmente fuori posto e che l’unico modo per riposizionarlo in modo assoluto sì, ma rispetto al viewport, è dargli un posizionamento fixed.

Il peggio, nel peggio, è quando non puoi mettere mano al codice e gli stili degli elementi per giunta sono “inline”: mentre già mi disperavo ed immaginavo interminabili botta e risposta a suon di ticket con l’hosting apprendo con grande sorpresa che in realtà il problema si può aggirare aggiungendo alle direttive che si vogliono sovrascrivere il suffisso

!important

Quindi ad esempio se capita di incappare in un div come quello che segue:

<div class=”mydiv” style=”position:absolute;”></div>

Si può fare overriding della direttiva in questo modo:

mydiv {
position: fixed !important;
}

Decisamente la life-saver discovery della giornata!

San Valentino in Haskell

Juna — Thu, 21 Apr 2011 08:16:27 GMT

L’amore ha finito per ispirare poeti e letterati di ogni epoca e perché no…probabilmente anche i matematici.

In effetti già Pitagora di Samo aveva fatto distinzione, ponendo i numeri in apposite categorie, tra numeri “maschili” e numeri “femminili”: a quanto pare (poiché non lasciò nulla di scritto) egli reputava maschili i numeri dispari e femminili i numeri pari. Non basta: con un piglio che potrebbe essere definito quasi misogino, associò ai numeri femminili e pari un’ idea di infinitezza e quindi di imperfezione e a quelli maschili (nemmeno a dirlo ;)) di limitatezza e quindi di perfezione.

C’è una forma di “attrazione” reciproca che riguarda i numeri ed è quella che permette di definire i numeri fidanzati:

I numeri fidanzati sono quei numeri tali che la somma dei divisori del primo (escluso l’1 ed il numero stesso) da come risultato il secondo e viceversa.

Haskell è un linguaggio funzionale particolarmente elegante; per determinare se due numeri sono fidanzati definiamo innanzitutto una funzione che dato un intero n restituisce somma dei suoi divisori, avendo cura di escludere già dalla lista il numero 1 ed il numero stesso.

A prescindere dalla definizione di tipo della funzione,

sumdiv :: Int → Int

si possono fare due scelte per ottenere questo valore; la prima è quella che utilizza un singolo generatore in cui viene esplicitamente indicata l’esclusione di 1 ed n:

sumdiv n = sum [x | x <- [1..n], n `mod` x == 0, x /= 1, x /= n]

La seconda è quella che definisce una versione personalizzata delle funzioni init e tail, che potrebbero restituire un errore a causa di una lista vuota, e l’operatore di composizione per escludere il primo e l’ultimo elemento dalla somma dei divisori:

init’ :: [a] → [a]
init’ [] = []
init’ xs = init xs

tail’ :: [a] → [a]
tail’ [] = []
tail’ xs = tail xs

sumdiv :: Int → Int
sumdiv n = (sum . init’ . tail’) [x | x <- [1..n], n `mod` x == 0]

Definita questa funzione, il “test di fidanzamento” di due numeri n ed m si può implementare con una funzione a due parametri:

fidanzati:: Int → Int → Bool
fidanzati n m = sumdiv n == m && sumdiv m == n

o con una funzione ad un solo parametro:

fidanzati :: (Int → Int) → Bool
fidanzati (n,m) = sumdiv n == m && sumdiv m == n

La prima coppia di numeri fidanzati è (48,75): sono i cosiddetti…*promessi sposi*.
E’ possibile implementare una funzione che fornito un limite superiore l restituisca la lista delle coppie di numeri fidanzati le cui componenti siano comprese tra 1 ed l:

numfidanzati :: Int→ [(Int,Int)]
numfidanzati l = [(x,y) | x<-[1..l], y<-[1..l], fidanzati (x,y)]

Sarà il fatto che ormai il pc ha qualche annetto ma è stato interessante fare una prova con un limite pari a 1000 e constatare che ci ha messo un bel po’. :P
E’ interessante notare che anche nella matematica i numeri amici non possono essere fidanzati … ma di questo parleremo un’altra volta.

La prova che Babbo Natale esiste

Juna — Thu, 21 Apr 2011 08:06:58 GMT

Siamo ormai giunti alle porte del Natale e come ogni anno ci approntiamo a scambiare doni con amici e parenti. E allora quale miglior regalo per tutti coloro che non hanno mai rinunciato all’ idea che un ilare vecchietto vestito di rosso se ne vada a zonzo nella notte della Natività, che una prova formale dell’ esistenza di Babbo Natale?

Si consideri la seguente prova dell’esistenza di Babbo Natale:

Se questa proposizione è vera allora Babbo Natale esiste

Siano

A: “Questa proposizione è vera”

B: “Babbo Natale esiste”

Poiché la proposizione è della forma “se A allora B”, si assume A per dimostrare che segue B. Si osserva tuttavia che se si prende per buona A allora implicitamente si accetta che sia vera l’intera proposizione poiché nell’ interpretazione data “questa proposizione è vera”. Inoltre affinché una implicazione sia vera, dato l’ antecedente vero deve essere vero anche il conseguente: se A è vera allora deve esserlo anche B … quindi Babbo Natale esiste(!).

E’ stato lo stesso Curry a definire questo paradosso e a dimostrare che non solo esso si manifesta utilizzando il linguaggio naturale ma è anche possibile darne una dimostrazione formale. Infatti assumendo:

A → A

Per sostituzione si ottiene:

A → (A → B)

Da cui si deduce:

A → B

Poiché inoltre A equivale ad A → B, si dimostra:

Da cui segue

Come sciogliere allora il paradosso? Con il passare del tempo sono state fornite diverse soluzioni, tra le quali vale la pena di ricordare le più significative: il dialettismo, attraverso il quale si è ritenuto possibile considerare una proposizione contemporaneamente vera e falsa; l’idea di Tarski di stabilire una gerarchia di livelli del linguaggio ; il tentativo di discernere in quali casi alcune particolari affermazioni potessero generare paradossi oppure non costituire un problema al fine della determinazione della loro stessa verità o falsità (Kripke).

Il primo approccio non annichilisce il paradosso; il secondo non ammette l’utilizzo del predicato “vero” in enunciati di livello zero ed in livelli superiori quando non si riferisca ad enunciati di un livello inferiore. L’organizzazione gerarchica di Tarski contribuisce pertanto ad eliminare ogni forma di circolarità negli enunciati. Eppure lo fa pagando un prezzo altissimo: l’impossibilità di trovare applicazione per tutti quegli enunciati la cui verità dipende da altri enunciati e per i quali è impossibile determinare il livello di gerarchia linguistica.

Solo Kripke mise in evidenza l’impossibilità di stabilire a priori se ci si trovi o meno in presenza di un enunciato autoreferenziale. Un enunciato della forma:

“Questo enunciato è vero”

può essere definito paradossale solo se per “questo” si intende proprio l’enunciato citato e ad esempio non si fa riferire la parola “questo” ad un qualsiasi altro enunciato. Peraltro anche nel primo caso sarebbe improprio parlare di “paradossalità” e sarebbe più esatto parlare di “arbitrarietà”: è lo stesso enunciato a definire il proprio valore di verità.

E ora una domanda per il lettore: Babbo Natale esiste oppure no?