“Researcher Vinay Deolalikar from HP Labs claims proof that P != NP. The 100-page paper has apparently not been peer-reviewed yet, so feel free to dig in and find some flaws. However, the attempt seems to be quite genuine, and Deolalikar has published papers in the same field in the past. So this may be the real thing. Given that $1M from the Millennium Prize is involved, it will certainly get enough scrutiny. Greg Baker broke the story on his blog, including the email Deolalikar sent around.”

If this is true, we have one of the most incredible and revolutionary discoveries of the last decennia.

Potete seguire il feed RSS all’indirizzo qui sotto.
http://nexus.thenexus.it/wordpress/podcast/feed/

In alternativa potete fare riferimento al sito di blip.tv, al seguente indirizzo.
http://intothenexus.blip.tv

Speechless.

Facendo una citazione forse inappropriata: “ed ora, per qualcosa di completamente diverso…”

Ecco a voi la prima intervista di “Into the NeXuS”. Ospite odierno mr. Valentino Berto, bassista eccezionale dei “Silenzio è sexy” e “Le cellule dormienti”, nonchè amico di lungo corso del sottoscritto.
Insieme a Valentino scopriremo i “Silenzio è Sexy”, ripercorreremo la sua carriera artistica e faremo quattro chiacchiere davanti ad una birra virtuale sulla distribuzione commerciale della musica al giorno d’oggi.

Con questa puntata introduco anche una nuova forma di scaletta, spero più chiara della precedente: gli argomenti trattati sono marcati da punti, mentre i brani musicali sono numerati progressivamente.

• Intro

1. Rein – Il deserto di Piero

• Intervista – Parte Prima

2. Silenzio ̬ sexy РCi vuole pazienza

• Intervista – Parte Seconda

3. Silenzio ̬ sexy РNostalgia goodbye

Audio only: Download MP3

Into The NeXuS – 02×01 – Live!

Scarica il file video in formato Flash.

Scarica l’MP3 della trasmissione.

NOTA: L’audio del video (lo so, che giro di parole) e’ ancora quello orginale, molto basso. A presto un nuovo video con audio rimsterizzato (come fa fico!).

Io sto con Emergency.

Ho incominciato a scrivere questo artiocolo (il titolo, per l’esattezza) il giorno del mio compleanno, il 7 Aprile. Oggi e’ il 15 e sto scrivendo le prime parole. Il post sara’ comunque datato al 7, potenza della tecnologia.

Ebbene si’, e’ l’anno 2010 e come tutti i nati nel 1980 (che anno!) oggi compio 30 anni. 30 anni e non sentirli, a volte, o sentirli troppo tal’altre. 30 anni che sono passati in fretta, troppo in fretta, tanto in fretta che faccio fatica a ricordare i momenti migliori. E’ buffo come la mente umana si fossilizzi, tranne in rari fortunatissimi casi, sui ricordi piu’ brutti, su quelle cose che lasciano i segni piu’ profondi, solo per poi arrivare alla fine della via e domandarsi: “Ma chi me l’ha fatto fare di rovinarmi la vita da solo?”.

Dato che anche io faccio parte della schiera dei non-fortunati, e che per tradizione genetica-familiare son tendente alla depressione, mi costa uno sforzo infinito guardare avanti invece che indietro, concentrarmi su cio’ che di bello ho, invece su ciò che di (più) bello vorrei avere.

Eppure questi trent’anni sono stati segnati da un evento felice: sono infatti uomo accasato da 20 Febbraio di quest’anno. E’ stata una scelta ragionata, ma, come tutte le grandi scelte della vita, non senza qualche dubbio, che tutt’ora permane. Tutto stara’ alla mia capacita’ di pensare in positivo e guardare avanti.

Se poi proprio dovessi dirla tutta avevo pensato di iniziare questo post parlando dei fiori di ciliegio (l’albero, sakura in giapponese, qui si chiama 벚나무 [beotnamu], il bocciolo/fiore 벚꽃 [beotgot]) che ho avuto la fortuna di vedere per la terza volta. Non me ne rendo neanche conto, ma sono già passati tre anni da quando sono approdato in questa buffa terra, quasi per sbaglio, con la sensazione che il Giappone fosse così vicino ed invece…

Ed i fiori di ciliegio, sbocciati da appena una settimana o poco più, sono già caduchi, bellezze di breve vita come le farfalle. Ma sboccerano nuovamente l’anno prossimo e quello seguente ancora, ed io forse avrò modo di conoscere di persona tutte quelli che, come fiori di ciliegio, hanno visitato questo blog e mi hanno scritto per chiedermi qualcosa a proposito della Corea e della mia esperienza in questo paese (di cui noi italiani sappiamo così poco) per poi sparire nel nulla.

Dopo i due lunghi stop forzati, dovuti prima alla rottura di uno dei super-magneti (se non ricordo male) e poi del sistema di raffreddamento (complice un pezzettino di pane lasciato forse cadere da un uccello di passaggio), finalmente LHC è stato in grado di portare i flussi a 3.5 TeV (tera elettron-volt) ciascuno, allinearli, ed osservare numerosi e costanti fenomeni dovuti alle collisioni delle particelle ivi contenute.

Anche questa volta non tutto è andato perfettamente liscio, ma per fortuna si è trattato solo di un piccolo intoppo: circa un’ora di stop e si è ripreso. In un primo momento, infatti, a causa dell’accoppiamento elettro-magnetico che si è venuto a creare tra il sistema di generazione ed immissione dei flussi ed il circuito dell’acceleratore vero e proprio, i flussi non sono riusciti a raggiungere i 3.5 TeV previsti.

Via ByoBlu

Mi sono quindi lasciato tentare da un acquisto su eBay: un Intel SS4200-E con 4 dischi Seagate da 750 GiB per la ragionevolissima cifra di 250$ (usato meno di un anno). Trattasi di un NAS progettato e realizzato su stardard aperti (è di fatto un PC) con un case molto più ingombrante e pesante dei “normali” NAS SOHO, ma che da anche una notevolissima sensazione di solidità.

<

I supporti per dischi, sorprendentemente con apertura 'ad ala'.

Nonostante manchi la comoda funzione di hotswap dei drive (la sostituzione è comunque semplice e totalmente tool-less), il sistema è davvero notevole: scheda madre con socket LGA 775, processore Celeron M 420 a 1.6 GHz (core Yonah a 32-bit), 512 MiB di RAM DDR2-667, scheda di rete Gigabit, 4 porte USB (2 frontali e due posteriori), 2 porte e-sata sul posteriore. Inoltre le prestazioni sono di tutto rilievo, come riportato in diverse recensioni e forum (sul forum di OpenFiler si parla di 60-70 MiB/sec tanto in lettura che in scrittura).

Unici veri problemi di questo sistema sono la piattaforma software fornita e la CPU, andiamo a scoprire perché.

Il software è un soluzione Linux based prodotta da EMC e chiamata Lifeline: pur non essendo affatto male, il sistema operativo risulta molto limitato per l’assenza di servizi ormai standard come la gestione integrata di torrent e diverse tecnologie di distribuzione di file multimediali su rete domestica, senza contare gli altri servizi che ho poc’anzi descritto. Inoltre il DOM (Disk-on-module) da soli 256 MiB non permette grandi spazi di manovra.

Il DOM dell'SS4200E, contenente il software EMC Lifeline.

La CPU non è certo un problema in termini di potenza di calcolo: il vero problema è rappresentato dal fatto che, nonostante sia una CPU pensata per notebook, non dispone della tecnologia di variazione dinamica della frequenza di lavoro (denominata Speedstep da Intel), il che porta l’unità a consumare molta più energia del necessario (e comunque molta di più di soluzioni a 4 dischi basate su integrati con architettura ARM, ad esempio).

Come risolvere i problemi sopra indicati? Per quanto riguarda il sistema operativo ho ordinato un DOM da 2 GiB dalla Cina, all’incirca 25 dollari, sul quale credo installerò una verisone stringata ai minimi termini di Ubuntu server a cui poi aggiungerò il necessario per mettere in piedi i servizi di cui sopra. La CPU, invece, è stata rimpiazzata con un Celeron E1500 (50k KRW), ovvero un derivato della serie Core 2 Duo (Conroe 65nm) e frequenza di 2.2 GHz. Tale CPU porta diversi vantaggi tutti insieme: non solo ha un core in più (che mi sarà molto utile per le VM) ed è un processore a 64-bit, ma supporta anche la tecnologia EIST (Enhanced Intel SpeedStep Technology) cosa che lo rende un processore estremamente efficiente sotto il profilo energetico (dissipa solo 8W a riposo).

Il modding comprende anche un adattatore da IDC-10 a DB9 per poter sfruttare la porta seriale on-board, visto che l’SS4200E è una unità headless. In realtà la macchina è dotata di uno slot PCI-Express 1x, ma lo spazio all’interno del case è ridottissimo e dovrei dotarmi di un PCI-Express extender per poter usare una scheda video all’esterno del case.

Non volendo affidare ad una sola unità i miei dati più importanti, utilizzerò uno dei dischi USB che si libereranno come backup della partizione “seria” dell NAS Intel, in modo da garantirmi un margine di sicurezza maggiore.

Ancora la modifica è un work-in progress perché non ho un cavo null-modem per l’installazione del sistema operativo, ma presto vi farò sapere come è andata a finire.

Ottimo, mi pare ovvio visto che lui non fa una benemerita fava (da intendersi come baccello, son pur sempre toscano io) dalla mattina alla sera e prende un sacco di soldi dalle tasche dei contribuenti ogni mese.

Vediamo allora se riesco a spiegare io, a questo mostro di ignoranza, che cosa vuol dire che l’Italia è una Repubblica fondata sul lavoro.

L’articolo 1 della nostra Costituzione repubblicana mette in evidenza la necessità del fatto che tutti lavorino, perché senza il lavoro dei cittadini non è possibile mantenere lo stato sociale. I cittadini, lavorando, creano ricchezza e mettono il paese in grado di competere sul piano dell’import-export. Inoltre, sempre lavorando, i cittadini guadagnano una certa quantità di denaro ogni mese sulla quale devono pagare le tasse (in prima persona o per interposta persona), tasse che confluiscono nelle casse di questa grande macchina che viene chiamata “Stato” e che garantisce (o dovrebbe garantire) servizi di prima e secondaria necessità quali: acqua, elettricità, sanità, trasporti, giustizia, “welfare”, stipendi di parlamentari e senatori, etc. Tali servizi sono forniti a tutti, in egual misura (eccettuati gli stipendi, si intende), e tutti sono liberi di usufruirne proprio perché vige il principio che tutti lavorano e partecipano al benessere del paese, inteso nel senso lato di comunità dei cittadini.

Quindi, caro minestra Brunetta (ché di ministro abbiamo proprio poco, titolo a parte), ecco spiegato il significato dell’articolo primo della Costituzione, in parole credo comprensibili anche ad uno come lei. E non è che ci voglia una laurea per arrivarci (anche se io sto prendendo un dottorato all’estero).

I have been lazily following the Go language project for a while now, when it
was suddenly discussed in this post of “Appunti Digitali” (in italian), that
pointed at this post
on Dalke Scientific.

It really got me that S.Python manages to beat Go so
badly, so I decided to run my own tests on my trusty old IBM X-41 (Pentium-M 1.5
GHz).

I compiled the Go toolchain and S.Python, then ran the
test exactly as I found them on the Dalke page. The results are following
hereby:

$ time ./8.out
100000

real 0m5.197s
user 0m1.508s
sys 0m1.352s

$ time
/usr/local/bin/python2.6 test.py
100000

real 0m3.315s
user 0m1.556s
sys 0m0.148s

What really struck me is that
the time spent in userland is roughly the same for both programs. What really
kills the Go execution time is that it spends almost as much time in kernel
mode. I wondered why…

Then I remembered that, in the Google Tech Talk,
Pike said something about the Go runtime managing threads for the user, and I
automatically thought that it would associate user threads with OS threads in
some way (as is the norm). In fact that is what gccgo does (uses NTPL).

On
the other hand, reading Stackless Python documentation, I found this page
regarding Tasklets. The page clearly states: “Tasklets are
characterized by being very lightweight and portable, and make great
alternatives to system threads or processes.”

So I am prone to believe
that S.Python Tasklets are managed by the Python VM itself, requiring no
user-to-kernel mode transitions and no other kernel interaction… because they
are not real threads (as opposed to Go goroutines).

This, with the fact
that Go is mainly intended to cut compile time (not so much running
time), makes me believe the comparison to be pretty unfair, and I think Go
provides quite a performance!

Regarding certain unsafe situations, they
are definitely a problem. Still, I believe that they will be taken care of
quickly: Go is a brand new language and rough edges are to be expected here and
there, but it has quite some room for growth.

Update:

I modified the test program so that each goroutine/Tasklet calls a second
function that loops 1000 times and cumulates the result of “sum = sum+1″.

The results are as expected: the compiled code is one order of magnitude faster
than Stackless Python interpreted code! I also replaced range with xrange, as suggested by Cesare
Di Mauro, but that did not change things much… nor did it when I tried psyco
(a JIT compiler for Python).


$time ./test2 && time /usr/local/bin/python test2.py
100000

real 0m19.567s
user 0m15.697s
sys 0m0.160s


The source code for Python is:
default=100000)

stackless.tasklet(main)()
stackless.run()


And the test code for Go is:
"fmt";
)

func main() {
flag.Parse();
leftmost := make(chan int);
var left, right chan int = nil, leftmost;
for i := 0; i < *ngoroutine; i++ {
left, right = right, make(chan int);
go f(left, right);
}
right <- 0; // bang!
x := <-leftmost; // wait for completion
fmt.Println(x); // 100000
}


EDIT: Mi sono ovviamente sbagliato con la numerazione e questo e’ l’episodio 8! Grazie Rouge!

I totally agree: a Prime Minister should have no running issues with justice and if some come to the surface he (or she) has to resign!

With new equipment to bear!

Il programma sembra molto ben fatto (purtroppo solo per Windows XP, ma chissà che giri in Wine) anche se con qualche ritocco ancora da fare (ad esempio non sono riuscito a mettere le basi in loop): ci sono perfino i tastoni per aggiungere gli effetti sonori durante la registrazione, ed è davvero simpato poter lanciare pernacchie e miagolii in diretta!

Wild Voice Studio è partito come open beta ed avrebbe dovuto diventare a pagamento una volta che fosse terminato lo sviluppo. Purtroppo gli autori non hanno trovato il riscontro dovuto (in parte, per come la vedo io, per la scarsa pubblicità che ne hanno fatto) e chiuderanno il sito tra breve. Nel frattempo, però, hanno rimosso i limiti di tempo legati alla beta ed il programma è diventato sostanzialmente freeware.

Vi consigli di dargli un’occhiata nel caso vogliate rimpiazzare PodProducer (software che non ho mai capito fino in fondo, fin troppo pieno di problemi a sinistra e a destra).

Se poi non trovaste più la pagina originale online, potete sempre fare il download da cnet.

Here are the last few lines of output.


moc_formextractor.cpp
moc_mainwindow.cpp
Generating Code...
cl -c -nologo -Zm200 -Zc:wchar_t- -O2 -MD -GR -EHsc -W3 -w34100 -w34189
-DUNICODE -DWIN32 -DQT_LARGEFILE_SUPPORT -DQT_NO_DEBUG -DQT_WEBKIT_LIB -DQT_GUI_
LIB -DQT_CORE_LIB -DQT_THREAD_SUPPORT -I"..\..\..\include\QtCore" -I"..\..\..\in
clude\QtGui" -I"..\..\..\include\QtWebKit" -I"..\..\..\include" -I"..\..\..\incl
ude\ActiveQt" -I"tmp\moc\release_static" -I"." -I"." -I"..\..\..\mkspecs\win32-m
svc2008" -Fotmp\obj\release_static\ @C:\DOCUME~1\MASSIM~1.CIL\LOCALS~1\Temp\nmA2
E.tmp
qrc_formextractor.cpp
link /LIBPATH:"c:\Qt\2009.03\qt\lib" /LIBPATH:"c:\Qt\2009.03\qt\lib" /NO
LOGO /INCREMENTAL:NO /MANIFEST /MANIFESTFILE:"tmp\obj\release_static\formExtract
or.intermediate.manifest" /SUBSYSTEM:WINDOWS "/MANIFESTDEPENDENCY:type='win32' n
ame='Microsoft.Windows.Common-Controls' version='6.0.0.0' publicKeyToken='6595b6
4144ccf1df' language='*' processorArchitecture='*'" /OUT:release\formExtractor.e
xe @C:\DOCUME~1\MASSIM~1.CIL\LOCALS~1\Temp\nmA2F.tmp
NNNMMMNAAAMKKKAEEEK E::: :fff aaaftttaaaatllla leee rrrerrrrooorrrro rU
UU 111U000155508885:::8 : NMAKE : fatal error U1058: ttttteeeeerrrrrmmmmmiiiii
nnnnnaaaaattttteeeeeddddd bbbbbyyyyy uuuuussssseeeeerrrrr

SSSSStttttoooooppppp.....


I know that, when Koreans say that they are similar to Italians they, they tell the truth: Korea is land of corruption, naughty drunk people (luckily not a lot of drugs), hot temper and a president that mimics Berlusconi.

Not everything is the same as the old “Bel Paese”, though.
trains work beautifully, and there where trains do not reach there is always a bus service. Not only, but even the postal service works!

Obviously the crisis hit here as well. Yet, when the President announced his project for a canal crossing the country from est to west, and splitting Daegu in half, the public opinion started revolting (true, they want to work, but they don’t want to see their country destroyed). The President changed his mind: I am not sure about the details of the current project, but it seems like it has been resized to water regulation.

In Italy it does not work that way. Engineers from the whole world are laughing at us, yet we (and I stand among that “we”, since I am still Italian) must go on with that bridge across the “Stretto”. A construction as titanic as useless (there are no decent roads at the landing points) not to mention at very high risk (earthquake, the word alone should shake the public opinion). All of this because a little, horny man, with his both hands immersed in building affairs a little more than others (even left-handed), decided that so it has to be. Blatantly ignoring public opinion, be it national or international (if you do not agree with him he calls you a communist and refuses to answer any question).

So it is my turn to make a proposal on how to employ that money, and I do it so that nobody can tell me: “What are we going to do, otherwise? Just wait doing nothing?”.
No.
We are all going to work.
All.

And here is how. The project is the complete restoration of the Italian railway lines. Everywhere there should at least be a double line (a line dedicated to each direction), and where most needed (namely the Appennino) there should also be a line purely dedicated to goods transport. In this way not only we would employ work force for the realization of the plan, but we would also make so to free Italian roads from most of the good transfers currently using trucks, making highways a lot more secure.

So, what about truck drivers? Well, they are going to do exactly the same job. Only instead of driving for 24 hours straight in order to carry tomatoes from Pachino to Milano with a “bisonte” weighing n-tons, they would drive for shorter traits (local deliveries), using vehicles that are lighter, less expensive and “easier” to drive. Who knows, maybe we would even end up increasing the competition by the birth of local delivery companies.

But there is still something I did not manage to obtain, and I don’t know if I ever will. And this thing torments me, year after year, wears and breaks me.

I wonder if I will ever be able to grow, or if I will be forced to cry until the last of my days.

However it goes, it will have been a nice adventure.