Month: August 2013
OCaml eclipse IDE startup guide
A tiny Windows 7, OS X on non-apple pc, and linux configs
Check out Tiny 7:
- http://www.buildpcs.com/threads/tiny-7-the-best-windows-os-for-and-old-computer.377/
Supposed to be faster, and less space consuming. - https://vec.io/posts
- http://www.hackintosh.com/
Translating from one language to the other
Profiling Python functions, preformance tips, hidden features
Some thoughts and advice and graduate school
Spaghetti with minced meat
Ingredients:
1 glass of spaghetti
300-500 gram of minced meat
0.5 cup of AnaMaria Sauce, Ketchup
1 onion
Preparation:
In a large pot, boil water. Put the spaghetti in the pot for around 7 minutes, till it is soft and tasty.
Pour some oil in a pan. Then cut the onion to small bits, and put it in the pan for around 7 minutes, till the onion gets brown. Wait and stir till you get a similar texture (brownish). Afterwards, put the meat in the put and stir – there should be no bumps and the meat should be spread out evenly across the put. Wait and stir till you get a similar texture (like it is going to be cooked out). When ready, pour the AnaMaria sauce plus some ketchup in the pan and stir. Wait for 2 minutes, then, finally, put the spaghetti inside. Stir till all ingredients are mixed well. Put a lid on the pan so that the spaghetti can absorb the flavours.
Another ranking for top cs departments
Rankings
Taken From:
Copying links from google search results
Stop getting a garbled mess every time you try to copy a link from search results. Google’s search page is a collection of links. Try to copy those links, however, and you end up with a series of seemingly random letter and numbers. Google uses these far-longer-than-necessary URLs to help track who is clicking which searches, which in turn helps make search results better, but they can be downright annoying when you need to copy and paste a link from Google for a friend. They’re ugly:
http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&ved=0CEwQFjAA&url=http%3A%2F%2Fwww.makeuseof.com%2F&ei=wSArUPj0E5Gu8QSd1IGYDg&usg=AFQjCNET_hI9VptfwU-R4oSaJjjI-f0jgA&cad=rja
And you can’t understand it. However, There are a number of good solutions. The easiest solution is to install this add-on for Firefox:
https://addons.mozilla.org/en-US/firefox/addon/google-search-link-fix/?src=cb-dl-hotness
But there are other options as well, described here:
http://webapps.stackexchange.com/questions/31028/google-copy-link-location-annoyance
http://blog.teusink.net/2009/09/greasemonkey-script-to-change-google.html
Cheers!
Solving one problem at a time 
