set 08, 2021
set 07, 2021
O que antes era marketing massivo, agora é personalização massiva. As marcas que mais rapidamente entenderem isso, vão se sobressair. É uma corrida em que a tecnologia te ajuda a entender melhor o cliente e suas nuances. - Paulo Camargo
ago 25, 2021
After a long time, I've finally complete the migration of this site to Pelican.
In the end, I decided to remove old posts that had no value anymore and converted the remaining to the new format. Hopefully, this will help me write more. :-D
jan 23, 2019
From time to time, I have to identify which physical server I'm connected to.
That usually involves reading the manufacturer serial number of the server.
That information is provided to Linux by the device tree, which is exported
via procfs at
However, the file that hosts the serial number of your server may vary
according to the virtualization mechanism in place, e.g. bare-metal and
LPARs use the file
system-id, while KVM guests use the file
With that said, we can read the serial number of our server with the following command:
find /proc/device-tree/ -name host-serial -o -name system-id | xargs cat; echo
dez 01, 2018
A while ago, David Flaherty wrote a nice tutorial about writing optimized libraries for Linux on Power. As time passed, parts of the tutorial became obsolete and needed some love.
Earlier in November
I completed this update
and removed all the obsolete parts, added new sections mentioning glibc's
getauxval() and GCC's
__builtin_cpu_is() and attribute ifunc.