UWOT.EU

Nerd gonna nerd

Today officially started my summer holiday, 5 days ago I had my last exam at university and now finally I’ve the time to do all the things I can’t find the time to do the rest of the year.The majority of the people on earth awaits the summer holiday to completely stop doing what they do the entire year, pack things up and go away from home for as much as they can. …

Posted on

Major upgrade

OK, not exactly an upgrade, but still an improvement over my precedent configuration.You have to know that I used for a long time – years – a dual monitor configuration, something like 6 months ago one of the two monitors went nut and I had to replace it.Obviously it was already discontinued by some time so I had to replace both my monitors, I decided to buy a single Dell U2412M (here is the post I wrote). …

Posted on

My daily dose of anti-apple

Today I had the bad luck to have to deal with a damn Macbook Pro on which I need to install a retarded software (IBM Rational Software Architect).Despite RSA becoming one of the worst piece of crapware I’ve ever seen this time it wasn’t the problem.The Macbook was one of the latest model, a 13″ one equipped with a Core i5 Sandy Bridge CPU and an awesome “a certain amount of GB” 5400 RPM hard disk drive…everything sold at the fair price of 1200 or so €. …

Posted on

Clausify :: Prolog

For the same exam in which I had to do the LISP project I also had to write a Clausify program in Prolog. Long story short: the goal was to translate a well formed form (WFF or FBF in italian)of a first order logic language in a conjunctive normal form (CNF). congiunzione(and). disgiunzione(or). negazione(not). implicazione(implies). esiste(exist). per_ogni(every). fbf2cnf(FBF, CNFFBF):- atomic(FBF), CNFFBF = FBF, !. fbf2cnf(FBF, CNFFBF):- FBF =.. [X|ListaArgs], semplifica([X|ListaArgs], [], CNFFBF_3_p), semplifica_2(CNFFBF_3_p, [], CNFFBF_4_p), controlla_lista(CNFFBF_4_p, [], CNFFBF_2_p), CNFFBF_2_p =. …

Posted on

My new love: Python

Past Friday’s afternoon, around 3 pm, I was at university, specifically I was in one of the libraries and I was reading a book titled “Concurrency”; it’s about engineering concurrent systems using the modelling software LTSA and then write the actual program in Java.While reading I was also talking with two friends of mine about a problem another friend found on a book; to make a long story short, the problem was about balancing a predefined non-balanced random function. …

Posted on

AMD and LN2

Yesterday’s afternoon and today I had a LN2 trip with two AMD setup.I was aiming to break the 7 GHz wall with the trusty Phenom II 955 B.E. and improve my precedent results on socket 939 with the Opteron 148.I failed in reaching 7 GHz with the 955, tho I managed to improve just a little bit my Super-pi 1M score…still not satisfied with it but it is better than nothing. …

Posted on

Opteron 148 and 32M, lot of…time

What is the best way to kill time when you have close to nothing to do ?Easy, run Super-pi 32M using an CPU which takes more than 20 minutes to complete each run…so I did it and killed with easy 8+ hours trying to pull, tho without success, a sub 21 min 32M run with my trusty Opteron 148.Anyway, the result is still kinda worth to be posted here..:. SETUP:CPU:Opteron 148 cabrio @1. …

Posted on

Crucial M4, new FW released

Yesterday Crucial released a new firmware for its M4 SSD series, the new version (codename 000F) is supposed to address some issues which used to appear when using the SSD connected to certain SATA/SAS controllers and generally improve stability and reliability.Changes between version 0309 and 000F include the following changes:

Posted on