2014-05-13

How To Flirt Better Using Science

2014-05-06

Chiste de Moises y Las tablas de la Ley - Juan Carlos Monedero

Este chiste, tiene gracia seas ateo o no. De echo, hay que ser cristiano o al menos conocer el cristianismo, para verle la gracia :-)


2014-05-02

The Exceptional Performance of Lil' Exception

Reading Java Performance Tuning Newsletter no. 161 I've found this article, that deserves to be read by java programmers.


Breaking down the cost of exceptions (and reiterating the advice that you shouldn't use them for regular control flow) at http://shipilev.net/blog/2014/exceptional-performance/

The Exceptional Performance of Lil' Exception


2014-04-24

git - forever remove files or folders from history

I've found this script on David Underhill blog "dound's space on the web", it doesn't work enough for me, because a tag has the file I wan't to delete, but it could for you

The following script is for GNU/Linux of course (you can easily convert it to .bat). Read more here.

#!/bin/bash
set -o errexit
 
# Author: David Underhill
# Script to permanently delete files/folders from your git repository.  To use 
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
 
if [ $# -eq 0 ]; then
    exit 0
fi
 
# make sure we're at the root of git repo
if [ ! -d .git ]; then
    echo "Error: must run this script from the root of a git repository"
    exit 1
fi
 
# remove all paths passed as arguments from the history of the repo
files=$@
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
 
# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all &&  git gc --aggressive --prune

2014-04-10

Brand Drops



Note: this is a fools day joke.