I'm currently running a lot of benchmarks in my day job, in the hope of perhaps collecting some useful data in time for an upcoming paper submission deadline - this is the "science" part of "computer science". Since getting a given benchmark suite built and running is often needlessly complex and tedious, one of my colleagues has written an ( Read more... )

Thanks to all who helped out with my ssh problem the other day. A few different approaches worked: I'm writing them up here for easy reference ( Read more... )

Today I have

• Submitted some more documentation patches for Idris.
• Written a fragment of the Unix tool cat in Idris:
  eachLine : (String -> IO ()) -> File -> IO ();
  eachLine f file = do {
  finished <- feof file;
  if finished then return II -- II is the sole element of the unit type ()
  else do {
  line <- fread file ( Read more... )

As I may have mentioned once or twice before, I'm writing up my thesis. This is an intensely slow and depressing process, and the temptation to slack off is overwhelming. Being a geek, I decided to write some code to help me. Writing code rather than writing thesis is still slacking off, obviously, but it's slacking off to a useful end. Writing ( Read more... )