Neil Mitchell's Blog (Haskell etc)

Thursday, June 26, 2008

GSoC Hoogle: Week 5

›
This week I was going to tackle type searching, but then realised I'm going to spend 6 hours on Friday on a train (hence the weekly upda...
2 comments:
Sunday, June 22, 2008

GSoC Hoogle: Week 4

›
This week I've stayed in one place, and had lots of opportunity to get on with Hoogle. I've done a number of different things this w...
Wednesday, June 18, 2008

Hoogle 4 New Features

›
I'm still developing Hoogle 4, and there are many things that don't work (such as searching for types and the web version). However,...
3 comments:
Sunday, June 15, 2008

darcs over FTP

›
I'm currently unable to access SSH, and suspect this situation will persist for most of the Summer. Most of my darcs repo's are behi...
1 comment:

GSoC Hoogle: Week 3

›
This week I've travelled a further 600 miles by train, but am now starting to get settled for the Summer, and down to work on Hoogle. My...
Monday, June 09, 2008

GSoC Hoogle: Week 2

›
This week I submitted my PhD thesis, emptied my entire rented house of furniture, spent £96 on petrol, drove (or was driven) 400 miles, trav...
2 comments:
Sunday, June 01, 2008

GSoC Hoogle: Week 1

›
I started my Google Summer of Code project on Hoogle at the beginning of this week. In my initial application I promised to make my weekly...
1 comment:
Thursday, May 22, 2008

Interactive TagSoup parsing

›
I've written quite a few programs using the tagsoup library , but have never really used the library interactively. Today I was wonderin...
4 comments:
Sunday, May 18, 2008

Haskell and Performance

›
There has been lots of discussion on the Haskell mailing lists about the speed of Haskell. There are many conflicting opinions, and lots of ...
15 comments:
Saturday, May 10, 2008

Bad strictness

›
Haskell has one primitive construct for enforcing strictness, seq :: a -> b -> b . The idea is that the first argument is evaluated to...
8 comments:
Monday, April 21, 2008

Summer of Code 2008

›
This year I am going to be participating in the Google Summer of Code as a student, for the haskell.org organisation , on the Haskell API S...
Saturday, April 12, 2008

darcs Feature Request (Part II)

›
I previously requested a feature for darcs. I always pull from an http repo, and push over SSH. I have to push using --no-set-default and ...
4 comments:
Wednesday, April 09, 2008

TagSoup Parsing: Dictionary Extraction

›
I've just read issue 10 of The Monad.Reader . It's a great issue, including a tutorial on using the new GHCi debugger, and how to w...
Tuesday, April 08, 2008

Optional Parameters in Haskell

›
I use optional parameters in my TagSoup library , but it seems not to be a commonly known trick, as someone recently asked if the relevant l...
12 comments:
Tuesday, April 01, 2008

Automated Proof Reading

›
I've been spending the last few months writing papers, which requires lots and lots of proof reading. Yesterday Tom shared one trick he...
3 comments:
Sunday, March 30, 2008

Toddler's play with HTML in Haskell

›
I just read a blog article entitled Kid's play with HTML in Haskell , where the author extracts some information from an HTML document, ...
2 comments:
Tuesday, March 11, 2008

Poor Ada Error Message

›
I have been demonstrating on the York University "Algorithms and Data Structures" course for 4 years now. As part of the course, f...
1 comment:
Monday, March 10, 2008

Sorting At Speed

›
Sorting is currently a hot topic within the the Haskell community. Christopher brought it up in a recent thread on the mailing list, and t...
10 comments:
Tuesday, March 04, 2008

Lazy Evaluation: Strict vs. Speculative

›
For the last few days I have been thinking about how to write a low-level program optimiser, based on the ideas from Supero . Supero works a...
6 comments:
Friday, February 29, 2008

Hoogle 3 Security Bug

›
I recently released Hoogle 3.1 , in response to a security bug spotted by Tillmann Rendel. Checking back through my records, I found that Bo...
‹
›
Home
View web version

About Me

My photo
Neil Mitchell
View my complete profile
Powered by Blogger.