Latex your instant messaging
Probably one of the most useful thing that I’ve discovered this month:
http://sourceforge.net/projects/pidgin-latex/
Pidgin-latex lets you write Latex code normally in your chat conversation and renders the result in real time.
For both parties to be able to see the result, they will have to install this plugin or any other one that is handling the mime type [...]
Tilda: The ubiquitous drop-down terminal
I was commenting on Guake in http://pierrelucbacon.com/2008/09/19/3-useful-applications/ but found that it was slightly buggy and polluting the tray in the top panel under gnome with its icon.
A few weeks ago, I stumbled upon Tilda which turned out to be at least equally, and so far, much more usable and interesting to use than Guake. My point [...]
PGF and Expected Value of the Poisson Distribution
Probability Generating Function for the Poisson Distribution
Let p(y) be the probability generating function for Y.
Expected Value of the Poisson Distribution
Merging pdf files together
From the gs package in Ubuntu:
gs -dBATCH -dNOPAUSE -q -sDEVICE=pdfwrite -sOutputFile=outputMerged.pdf file1.pdf file2.pdf
jPdf Tweak, the “Swiss Army Knife for PDF files”, is also a great tool and run out of the box with Java but it might be faster just using the above command rather than browsing through jpdftweak’s GUI.
Installing a LaTeX package under Ubuntu
In two easy steps:
Download, extract and create a directory under /usr/share/texmf-texlive/tex/latex/ if necessary. Copy the entire directory, or the single .sty file to that location. (You need to be root)
Run “sudo mktexlsr“
From the man pages:
mktexlsr is used to generate the ls-R databases used by the kpathsea library. Kpathsea: A library for path [...]
RDI en direct sous Linux
Depuis quelques temps, j’arrive à écouter sans problème le flux video de Radio-Canada sous Ubuntu Linux. Il en va pas de même avec tous les vidéos sur le site cependant.
Je ne sais trop comment je suis abouti à la bonne configuration. Dans tout les cas, il faut se procurer les codecs appropriés dans les bons [...]
Running Kamikaze with WRT54G under Client Mode
Having the internet cable modem and the router in one place in the apartment, I needed a way to connect all my gadgets in my room/office without having to run a dozen of ethernet cables in the hallway. More specifically, I wanted to have my IP phone close to the bed and not to have [...]
Installing Spim/Xspim
Spim is A MIPS32 Simulator freely available for Linux, Mac and Windows. The process for installing the software from source is not as nice as we would expect it to be.
Download source code from:
http://www.cs.wisc.edu/~larus/SPIM/spim.tar.gz
You will probably need to get Bison and Flex:
sudo apt-get install bison flex
Don’t forget:
sudo apt-get install libxaw7-dev
Otherwise you’ll get “X11/Xaw/Cardinals.h: No such [...]
Check start up date under Linux
Obviously “uptime” provides that information but only gives the number of days. On one of my server, it shows:
01:39:53 up 445 days, 11:15, 2 users, load average: 0.00, 0.00, 0.00
But when did that happen ? I don’t know any option which can compute the actual date using uptime.
I realized the other day that [...]
