Memo on Karpoke - Just Another Blog

Instalar Spotify en Ubuntu 16.04

Thu, 15 Dec 2016 07:58:00 +0100

Si queremos instalar el cliente de Spotify en Ubuntu Xenial Xerus, tan sólo tenemos que instalar la clave:

$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys BBEBDCB318AD50EC6865090613B00F1FD2C19886
Executing: /tmp/tmp.imoQkQ9ZVV/gpg.1.sh --keyserver
hkp://keyserver.ubuntu.com:80
--recv-keys
BBEBDCB318AD50EC6865090613B00F1FD2C19886
gpg: solicitando clave D2C19886 de hkp servidor keyserver.ubuntu.com
gpg: clave D2C19886: clave pública "Spotify Public Repository Signing Key <operations@spotify.com>" importada
gpg: Cantidad total procesada: 1
gpg: importadas: 1 (RSA: 1)

Añadimos el PPA oficial:

$ echo "deb http://repository.spotify.com stable non-free" |
sudo tee /etc/apt/sources.list.d/spotify.list

Actualizamos e instalamos:

Instalar Postgresql 9.6 en Ubuntu 16.04

Tue, 13 Dec 2016 19:24:00 +0100

La versión de Postgresql que viene en los repositorios de Ubuntu Xenial Xerus es la 9.5. Si queremos instalar la 9.6, podemos recurrrir al PPA oficial.

Importamos la clave:

$ wget --quiet -O - https://www.postgresql.org/media/keys/ACCC4CF8.asc |
sudo apt-key add -

Añadimos el PPA:

$ echo "deb http://apt.postgresql.org/pub/repos/apt/ xenial-pgdg main" |
sudo tee /etc/apt/sources.list.d/postgresql.list

Actualizamos e instalamos:

$ sudo apt update
$ sudo apt install postgresql-9.6 postgresql-contrib

Referencias

» linoxide.com

Comprobar la firma de Xposed

Fri, 25 Nov 2016 22:26:00 +0100

Ayer mismo, se subió una nueva versión del framework Xposed, el cual tengo instalado en un Samsung S4.

Si queremos descargarla y comprobar mediante la firma que lo que nos hemos bajado no ha sido alterado, no tenemos más que hacer uso de gpg.

Descargamos los archivos:

$ wget http://dl-xda.xposed.info/framework/sdk23/arm/xposed-v87-sdk23-arm.zip
$ wget http://dl-xda.xposed.info/framework/sdk23/arm/xposed-v87-sdk23-arm.zip.asc

Y comprobamos la firma:

$ gpg --verify xposed-v87-sdk23-arm.zip.asc
gpg: Signature made jue 24 nov 2016 22:26:15 CET using RSA key ID 852109AA
gpg: Can’t check signature: public key not found

En este caso, la firma no está certificada por una autoridad de confianza, y tampoco la tenemos importada en nuestro sistema. Vamos a buscarla y, si nos fiamos de esa cuenta de correo, tenemos la opción de importarla:

El día negado

Thu, 14 Mar 2013 02:03:00 +0100

Leyendo el espejo lúdico, me encuentro con estas dos preguntas:

¿Hay algún día de la semana en el que nunca puede empezar un siglo? Por el contrario, ¿cuál es el día de la semana que puede ser inicio y final de un siglo?

que pueden quedar contestadas rápidamente ejecutando el siguiente comando:

$ for year in `seq 2001 100 3001`; do cal 1 $year | grep -A2 $year; done | grep --color -B2 " 1 "
Enero 2001
do lu ma mi ju vi sá
1 2 3 4 5 6
Enero 2101
do lu ma mi ju vi sá
1
Enero 2201
do lu ma mi ju vi sá
1 2 3
Enero 2301
do lu ma mi ju vi sá
1 2 3 4 5
Enero 2401
do lu ma mi ju vi sá
1 2 3 4 5 6
Enero 2501
do lu ma mi ju vi sá
1
Enero 2601
do lu ma mi ju vi sá
1 2 3
Enero 2701
do lu ma mi ju vi sá
1 2 3 4 5
Enero 2801
do lu ma mi ju vi sá
1 2 3 4 5 6
Enero 2901
do lu ma mi ju vi sá
1
Enero 3001
do lu ma mi ju vi sá
1 2 3

Los años divisibles por 100 no son bisiestos, a no ser que sean divisible por 400:

Carcasa en madera de contrachapado para Raspberry Pi

Fri, 27 Jul 2012 11:06:00 +0100

Por ahora, la Raspberry Pi viene sin carcasa, por lo que no sólo hay opciones comerciales, sino que la comunidad ha tenido ideas muy creativas: [1], [2] y [3].

Entre todas las opciones, la de imprimir tu propia carcasa me ha llamado la atención. Es sencilla, rápida de hacer y, sobre todo, incluye un plano.

Utilizando este plano como base, hemos fabricado una carcasa en madera de contrachapado de 3mm. Las dimensiones del plano encajan en la Raspberry Pi como anillo al dedo. Lo único que hemos tenido que tener en cuenta es el grosor de la madera para las piezas laterales:

#ComparteCultura

Wed, 11 Jan 2012 01:33:00 +0100

La recopilación de la lista original de #ComparteCultura es obra de @kurioso y está en #ComparteCultura.

En 1980 la industria discográfica británica realizó una campaña antipiratería con el slogan “Home Taping Is Killing Music”. 30 años más tarde la música está más viva que nunca y lo que está muriendo es la industria, que reclama el ’lucro cesante’ de un negocio de intermediación descaradamente obsoleto. Hay que meterse en la cabeza: Compartir no es delito. Descargar no es delito. Copiar no es robar. La industria quiere meterte miedo. ¿Cómo podemos ejercer nuestros derechos? Comparte, descarga y copia la siguiente lista de recursos culturales.

La red resiste

Fri, 02 Dec 2011 12:02:00 +0100

La red resiste.

Hace exactamente dos años tuvimos conocimiento del anteproyecto de Ley Sinde. Gran parte de la ciudadanía señaló de inmediato su rechazo en las redes a través del #manifiesto por los derechos fundamentales en Internet. En estos 24 meses el debate social sobre esta iniciativa ha sido intenso y ha aglutinado a ciudadanos y organizaciones preocupados por la merma de derechos y libertades. Ahora, pocos días después de haber sido deslegitimado por las urnas, un gobierno moribundo pretende aprobar el reglamento que desarrolla esta ley en abierta connivencia con el gobierno entrante.

Yo #soy15m

Sat, 18 Jun 2011 18:53:00 +0100

Como parte del #15m me declaro una persona pacífica y condeno radicalmente todo tipo de violencia: la de los violentos infiltrados en nuestras manifestaciones, y la del Estado, que ha causado más dolor y heridos. Además, condeno la manipulación mediática que enfatiza la información sesgada, parcial o errónea con el propósito de demonizar a los ciudadanos.

Si me manifiesto en la calle es porque:

-Mi participación como ciudadano se ha reducido a votar a listas cerradas cada cuatro años para ver cómo los representantes de los ciudadanos no respetan lo prometido en su programa.

0.999...=1

Wed, 18 May 2011 14:21:00 +0100

$$ \begin{align*} \frac{1}{3} &= 0.\stackrel{\frown}{3} \\ \frac{1}{3} &= 0.333\dots \\ 3 \cdot \frac{1}{3} &= 3 \cdot 0.333\dots \\ 1 &= 0.999\dots \\ 1 &= 0.\stackrel{\frown}{9} \end{align*} $$

0!=1!

Wed, 18 May 2011 14:07:00 +0100

$$ \begin{align*} n! &= n \cdot (n-1) \cdot (n-2) \cdots 3 \cdot 2 \cdot 1 \\ n! &= n \cdot (n-1)! \\ (n-1)! &= \frac{n!}{n} \end{align*} $$

Si tomamos $n=1$:

$$ \begin{align*} (1-1)! &= \frac{1!}{1} \\ 0! &= 1 \end{align*} $$

true

Tue, 19 Apr 2011 12:03:00 +0100

$ man true
NAME
true - do nothing, successfully

SYNOPSIS
true [ignored command line arguments]
true OPTION

DESCRIPTION
Exit with a status code indicating success.

 --help display this help and exit

 --version
output version information and exit

 NOTE: your shell may have its own version of true, which usually supersedes
the version described here. Please refer to your
shell's documentation for details about the options it supports.

No hay nada como hacer sólo una cosa, pero hacerla bien…

With great power comes great responsibility

Mon, 07 Mar 2011 22:40:00 +0100

Cuando ejecutamos sudo por primera vez nos dice:

We trust you have received the usual lecture from the local System
Administrator. It usually boils down to these three things:
#1) Respect the privacy of others.
#2) Think before you type.
#3) With great power comes great responsibility.

Trust… my ass:

Fuente: xkcd.com

Fuente: leprosys.info

Fuente: genbeta.com

SWI-Prolog conoce el sentido de la vida, del universo y de todo lo demas

Tue, 18 Jan 2011 12:22:00 +0100

Ejecutamos swipl, uno de los compiladores de Prolog libres:

$ swipl

Y si le interrogamos por el valor de una variable de la cual no puede inferir ningún valor…

% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 2,060 bytes
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.8.2)
Copyright (c) 1990-2009 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- K.
% ... 1,000,000 ............ 10,000,000 years later
%
% >> 42 << (last release gives the question)

The name of the game

Thu, 28 Oct 2010 19:07:00 +0100

Cuando el Imperio Galáctico entró en decadencia, Hari Seldon, miembro de la corte del Emperador Cleón I, desarrolló la ciencia de la Psicohistoria. De esta manera, predijo que cuando el Imperio terminara de derrumbarse, comenzaría una edad oscura de 30.000 años, con la galaxia sumida en el caos. Esta edad terminaría con el ascenso de un Nuevo Imperio. Usando las leyes de esta nueva ciencia, Seldon inventó un plan para reducir el interregnum de 30.000 a sólo 1.000 años, plantando las semillas de una nueva civilización.

y2k38

Wed, 27 Oct 2010 12:55:00 +0100

$ grep INT_MAX /usr/include/limits.h
# define INT_MAX 2147483647
$ date -u -d @2147483647
mar ene 19 03:14:07 UTC 2038
$ date -d @2147483647
mar ene 19 04:14:07 CET 2038
$ date -u -d @2147483648
date: fecha ``@2147483648'' inválida

Fuck yeah

Sat, 23 Oct 2010 18:33:00 +0100

keyboard cult

De aquí al 2038

Thu, 07 Oct 2010 13:27:00 +0100

Como bien dice el agente Smith, es cuestión de contrastar un poco. Octubres con 5 viernes, 5 sábados y 5 domingos, de aquí al 2038, si es que llegamos:

$ for ((i=2011; i < 2039; i++)); do cal 10 $i; done |
grep -B2 -A4 " 1 2 3"

 Octubre 2021
lu ma mi ju vi sá do
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
--
Octubre 2027
lu ma mi ju vi sá do
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
--
Octubre 2032
lu ma mi ju vi sá do
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31
--
Octubre 2038
lu ma mi ju vi sá do
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30 31

Antes de que los robots dominaran el planeta

Wed, 28 Jul 2010 12:52:00 +0100

Si Skynet no tomó conciencia de sí mismo el 29 de agosto de 1997, seguro que fue gracias a que existen desarrolladores precavidos, como los de last.fm, que añaden al robots.txt las siguientes líneas:

Disallow: /harming/humans
Disallow: /ignoring/human/orders
Disallow: /harm/to/self

» barrapunto