Matteo

2,232 reputation

622

bio	website	corti.li
	location	Bern, Switzerland
	age	38
visits	member for	1 year, 9 months
	seen	3 mins ago
stats	profile views	113

I was born in Ticino (the southern part of Switzerland where people speak Italian) in 1974. I lived there until 1993 when I moved to Zürich to study computer science at the Swiss Federal Institute of Technology.

After graduation I joined the Laboratory for Software Technology under the supervision of Prof. Thomas Gross to work in the field of compiler construction. I defended my thesis Approximating the Worst-Case Execution Time of Soft Real-Time Applications in March 2005.

After working for three month as as a compiler engineer at Freescale Semiconductor in Schlieren, Zürich, Switzerland I joined in November 2005 the Information and Communication Services of the ETH Zurich.

Since May 2008 I am head of the Web Applications and Identity Management group of the Information and Communication Services of the ETH Zurich.

Since October 2010 I moved to Bern.

	2,232 reputation	bio	website	corti.li	visits	member for	1 year, 9 months
622 badges		location	Bern, Switzerland		seen	3 mins ago

summary answers questions tags badges favorites 1 bounties reputation activity

421 Actions

suggestions reviews revisions comments badges posts accepts all

Sep 26	comment	Is there any way to open an “incognito” Terminal/shell? It is the only place where the shell stores the history but if something else (e.g., a backup program) copies the history file somewhere else you will have to delete it also there.
Sep 24	answered	What directories should i backup on a Linux server?
Sep 21	revised	Make the Print dialog ask for confirmation when printing the entire document edited tags
Sep 21	comment	How can i remove <eof> characters in a text document Either you really have the string `"<eof>"` in your input (just check with an editor) or as I expect you are reaching the end of the input file and by definition there cannot be more than one end of a file (or stream).
Sep 21	answered	How can i remove <eof> characters in a text document
Sep 21	comment	How to make alias/function in .bash_profile for `curl` that takes an argument? You can put quotes around the argument `curl -C - -O "file://$1"`
Sep 20	comment	Apache 2 Permission for Download Data Read permission is enough: chmod 644. With 775 you are giving execute permission and write permission to the group (both not necessary)
Sep 19	revised	WINDIR environment variable resolves to %SystemRoot% and not C:\windows Formatting
Sep 19	suggested	suggested edit on WINDIR environment variable resolves to %SystemRoot% and not C:\windows
Sep 19	revised	WINDIR environment variable resolves to %SystemRoot% and not C:\windows edited tags
Sep 19	revised	Is there any way to open an “incognito” Terminal/shell? Formatting
Sep 19	answered	Is there any way to open an “incognito” Terminal/shell?
Sep 19	revised	How to restore data on a new HDD using image? edited tags
Sep 10	awarded	Yearling
Sep 8	revised	Where is $DYLD_LIBRARY_PATH getting Formatting
Sep 8	suggested	suggested edit on Where is $DYLD_LIBRARY_PATH getting
Sep 8	answered	Where is $DYLD_LIBRARY_PATH getting
Sep 8	revised	How do I show usernames in top? added 92 characters in body
Sep 8	answered	How do I show usernames in top?
Sep 7	comment	sed: delete all but the last X lines of a file It works as tail, but I was not able to make it work in place (as the in the original question)