PASTA project press release

Posted by igor Mon, 27 Jul 2009 12:23:00 GMT

As of today the PASTA project has issued an official press release about our new EnCore microprocessor.

Press Release: Gadgets could go greener with high-speed computer chip

CArD website facelift

Posted by igor Fri, 26 Jun 2009 12:25:00 GMT

I have just finished the facelift of our CArD – Compiler and Architecture Design Group website. The people page gives a good overview about our members and we finally have a news section as well.

EnCore Processor at Wikipedia

Posted by igor Sun, 07 Jun 2009 01:48:00 GMT

From today on we have a wikipedia page for the EnCore processor.

Also if you search for ‘pasta project’ on video.google.com we are one of the top hits. We also do very well on traditional search engines like google, yahoo, and bing – searching for ‘pasta project’ reveals us at the very top most of the time.

PASTA Research Group Video

Posted by igor Mon, 01 Jun 2009 00:18:00 GMT

I have been working on a video that portrays what our PASTA research group does. Have fun watching it and remember that none of us are professional camera men, actors, or video editors - so it is a bit shaky but hopefully still informative and fun.

Get the Flash Player to see this video.

Replace Newlines with Sed

Posted by igor Fri, 01 May 2009 13:03:00 GMT

This has bugged me for a while when useing TextMates ‘Filter Through Command…’ to replace all newlines in a selection. Somehow my mind always wants to use sed to do this although there are simpler ways to do it.

The following works with GNU sed but not with BSD sed on my Mac (although it should work given the documentation in the man page):

sed -n ':a;N;$!ba;s/\n//g;p' < infile
What this does is the following:
  • :a put label at the first position
  • N Append the next line of input to the pattern space
  • $!ba branch to label a, the ! tells it to apply the command to a non-selected pattern space and the $ addresses the last line of input
  • s/\n//g substitutes a newline with a space
  • p writes pattern space to standard output

If you can make this work with BSD sed please let me know.

PASTA Research Group

Posted by igor Fri, 13 Mar 2009 12:52:00 GMT

Our PASTA (Processor Automated Synthesis by iTerative Analysis Project) research group has a new website. The content is still quite incomplete but over the next few weeks we shall bring it all into shape. So stay tuned….

TextMate - Search in Large Projects

Posted by igor Mon, 01 Dec 2008 13:12:00 GMT

Searching in large projects (i.e. gcc repository) can be painfully slow with TextMate. If you encounter this problem have a look at the Ack TextMate Bunlde.

Get the standalone version of ack from here.

Existential Datatypes

Posted by igor Thu, 11 Sep 2008 01:38:00 GMT

A nice article by Oleg Kiselyov about Existential Datatypes. Enjoy!

foldl.com - foldr.com

Posted by igor Thu, 21 Aug 2008 21:44:00 GMT

If you are functional programmer you surely have used foldr or foldl before. By accident I found out that Oliver Steele registered the following domains:

:-)

George Orwell and Others Online

Posted by igor Mon, 11 Aug 2008 14:12:00 GMT

Under Australian copyright laws, copyright in literary works of authors, who died before 1955, has expired. These works are now within the ‘public domain’ in Australia and this is why the University of Adelaide is able to reproduce such works on the world wide web. Here go some of my favourites:

Older posts: 1 2 3 4 ... 16