Difference between revisions of "Hac 2007/Attendees"
DonStewart (talk | contribs) |
(Added Category:Community) |
||
(14 intermediate revisions by 10 users not shown) | |||
Line 4: | Line 4: | ||
{| |
{| |
||
+ | ! Number |
||
! Name |
! Name |
||
! IRC nick |
! IRC nick |
||
Line 9: | Line 10: | ||
! Projects |
! Projects |
||
|- |
|- |
||
+ | | 1 |
||
| Don Stewart |
| Don Stewart |
||
| dons |
| dons |
||
Line 14: | Line 16: | ||
| hs-plugins for ghc 6.6, stream fusion bytestrings, the http package, hackage |
| hs-plugins for ghc 6.6, stream fusion bytestrings, the http package, hackage |
||
|- |
|- |
||
+ | | 2 |
||
| Duncan Coutts |
| Duncan Coutts |
||
| dcoutts |
| dcoutts |
||
Line 19: | Line 22: | ||
| |
| |
||
|- |
|- |
||
+ | | 3 |
||
| Ian Lynagh |
| Ian Lynagh |
||
| Igloo |
| Igloo |
||
Line 24: | Line 28: | ||
| GHC, Cabal, Hackage, and loads more besides |
| GHC, Cabal, Hackage, and loads more besides |
||
|- |
|- |
||
+ | | 4 |
||
| Neil Mitchell |
| Neil Mitchell |
||
| ndm |
| ndm |
||
Line 29: | Line 34: | ||
| I'd probably work on porting to Cabal, Cabal to Yhc, and the base libraries building with Cabal on Yhc. |
| I'd probably work on porting to Cabal, Cabal to Yhc, and the base libraries building with Cabal on Yhc. |
||
|- |
|- |
||
+ | | 5 |
||
| Thorkil Naur |
| Thorkil Naur |
||
| naur |
| naur |
||
Line 34: | Line 40: | ||
| Integer implementation (GMP), Porting, Factorization, Puzzles |
| Integer implementation (GMP), Porting, Factorization, Puzzles |
||
|- |
|- |
||
+ | | 6 |
||
| Pepe Iborra |
| Pepe Iborra |
||
| mnislaih |
| mnislaih |
||
Line 39: | Line 46: | ||
| GHC, the GHCi debugger, Darcs does look sexy, infrastructure & tools. |
| GHC, the GHCi debugger, Darcs does look sexy, infrastructure & tools. |
||
|- |
|- |
||
+ | | 7 |
||
| Dominic Steinitz |
| Dominic Steinitz |
||
| |
| |
||
Line 44: | Line 52: | ||
| crypto, networking |
| crypto, networking |
||
|- |
|- |
||
+ | | 8 |
||
| Ben Lippmeier |
| Ben Lippmeier |
||
| benl23 |
| benl23 |
||
Line 49: | Line 58: | ||
| GHC bug squashing. |
| GHC bug squashing. |
||
|- |
|- |
||
+ | | 9 |
||
| David Himmelstrup |
| David Himmelstrup |
||
| Lemmih |
| Lemmih |
||
| 10,11,12 |
| 10,11,12 |
||
− | | cabal-test, QuickCheck, Hackage, cabal- |
+ | | cabal-test, QuickCheck, Hackage, cabal-intall. |
|- |
|- |
||
+ | | 10 |
||
| Ross Paterson |
| Ross Paterson |
||
| |
| |
||
Line 59: | Line 70: | ||
| Hackage |
| Hackage |
||
|- |
|- |
||
+ | | 11 |
||
| Simon Marlow |
| Simon Marlow |
||
| JaffaCake |
| JaffaCake |
||
Line 64: | Line 76: | ||
| Everything |
| Everything |
||
|- |
|- |
||
+ | | 12 |
||
| Björn Bringert |
| Björn Bringert |
||
| bringert |
| bringert |
||
Line 69: | Line 82: | ||
| Hackage, libraries, QuickCheck 2, GHC |
| Hackage, libraries, QuickCheck 2, GHC |
||
|- |
|- |
||
+ | | 13 |
||
| Benedikt Schmidt |
| Benedikt Schmidt |
||
| beschmi |
| beschmi |
||
Line 74: | Line 88: | ||
| darcs, GHC-api+Emacs, crypto |
| darcs, GHC-api+Emacs, crypto |
||
|- |
|- |
||
+ | | 14 |
||
− | | Peter Nuttall |
||
− | | psnl |
||
⚫ | |||
− | | Hat, maybe cabal or ghc |
||
⚫ | |||
| Lennart Kolmodin |
| Lennart Kolmodin |
||
| kolmodin |
| kolmodin |
||
Line 84: | Line 94: | ||
| Cabal, Binary ByteStrings, tools |
| Cabal, Binary ByteStrings, tools |
||
|- |
|- |
||
+ | | 15 |
||
| Kirsten Chevalier |
| Kirsten Chevalier |
||
| Binkley |
| Binkley |
||
| 10,11,12 |
| 10,11,12 |
||
| GHC, whatever else looks interesting |
| GHC, whatever else looks interesting |
||
⚫ | |||
+ | | 16 |
||
+ | | David Waern |
||
+ | | waern |
||
⚫ | |||
+ | | Haddock-GHC |
||
+ | |- |
||
+ | | 17 |
||
+ | | Ketil Malde |
||
+ | | kzm |
||
+ | | 10,11,12 |
||
+ | | A GHC port, bio and concurrency |
||
+ | |- |
||
|} |
|} |
||
Line 105: | Line 129: | ||
! Arrival date/time |
! Arrival date/time |
||
! Flight |
! Flight |
||
+ | ! Terminal |
||
|- |
|- |
||
| kolmodin |
| kolmodin |
||
Line 110: | Line 135: | ||
| 2007-01-09 4:15pm |
| 2007-01-09 4:15pm |
||
| KL1021 |
| KL1021 |
||
+ | | |
||
|- |
|- |
||
| Binkley |
| Binkley |
||
Line 115: | Line 141: | ||
| 2007-01-10 5:55am |
| 2007-01-10 5:55am |
||
| UA958 |
| UA958 |
||
+ | | |
||
|- |
|- |
||
| dons |
| dons |
||
Line 120: | Line 147: | ||
| 2007-01-10 6:20am |
| 2007-01-10 6:20am |
||
| QF31 |
| QF31 |
||
+ | | 4 |
||
+ | | |
||
|- |
|- |
||
| bringert |
| bringert |
||
Line 125: | Line 154: | ||
| 2007-01-10 8:25am |
| 2007-01-10 8:25am |
||
| SK523 |
| SK523 |
||
+ | | 3? |
||
+ | | |
||
|} |
|} |
||
Suggested meeting place at Heathrow: |
Suggested meeting place at Heathrow: |
||
+ | |||
+ | Getting from Heathrow to Oxford can be done via bus, see the [http://www.oxfordbus.co.uk/pdfs/airlinetimesoct06.pdf timetable](pdf). |
||
+ | |||
+ | Arriving at Gatwick: |
||
+ | |||
+ | {| |
||
+ | |- |
||
+ | ! Name |
||
+ | ! Gatwick |
||
+ | ! Arrival date/time |
||
+ | ! Flight |
||
+ | |- |
||
+ | | naur |
||
+ | | Gatwick |
||
+ | | 1007-01-09 6:55pm |
||
+ | | NB433 |
||
+ | |- |
||
+ | | lemmih |
||
+ | | Gatwick |
||
+ | | 1007-01-10 01:40pm |
||
+ | | NB431 |
||
+ | |} |
||
Arriving at Stanstead: |
Arriving at Stanstead: |
||
Line 137: | Line 190: | ||
! Arrival date/time |
! Arrival date/time |
||
! Flight |
! Flight |
||
+ | |- |
||
+ | | waern |
||
+ | | Stansted |
||
+ | | 2007-01-09 11:10am |
||
+ | | 965 |
||
|- |
|- |
||
| pepe |
| pepe |
||
Line 145: | Line 203: | ||
| beschmi |
| beschmi |
||
| Stansted |
| Stansted |
||
− | | 2007-01- |
+ | | 2007-01-09 19:40 |
− | | |
+ | | 4U 2336 |
+ | |- |
||
+ | | Ketil |
||
+ | | Stansted |
||
+ | | 2007-01-09 19:30 |
||
+ | | DY1318 |
||
|- |
|- |
||
|} |
|} |
||
Line 167: | Line 230: | ||
* bringert |
* bringert |
||
* beschmi |
* beschmi |
||
+ | * naur (4 nights, 9th-13th) |
||
=== YHA === |
=== YHA === |
||
Line 179: | Line 243: | ||
* pepe |
* pepe |
||
+ | * ndm (3 nights, 10th-13th) |
||
+ | * waern (4 nights, 9th-13th) |
||
+ | * Ketil (probably - 9-12th) |
||
+ | |||
+ | === Backpackers' Hostel === |
||
+ | |||
+ | I (Binkley) am staying at the [http://www.hostels.co.uk/index.php?content=home.htm Oxford Backpackers' Hostel]. Anyone else? |
||
+ | |||
+ | * Binkley (2 nights, 10th and 11th) |
||
=== Other accomdation === |
=== Other accomdation === |
||
+ | These are full, but clicking on them gives you a list of alternatives: |
||
− | Other close by places that look good include: |
||
* [http://www.lintonlodge.activehotels.com/BBA&subid=R1543223 Linton Lodge] |
* [http://www.lintonlodge.activehotels.com/BBA&subid=R1543223 Linton Lodge] |
||
* [http://www.cotswoldlodgehotel.activehotels.com/BBA&subid=R1543223 Cotswold Lodge] |
* [http://www.cotswoldlodgehotel.activehotels.com/BBA&subid=R1543223 Cotswold Lodge] |
||
+ | |||
+ | |||
+ | [[Category:Community]] |
Latest revision as of 13:08, 17 December 2012
Attendee list
Number | Name | IRC nick | Dates | Projects |
---|---|---|---|---|
1 | Don Stewart | dons | 10,11,12 | hs-plugins for ghc 6.6, stream fusion bytestrings, the http package, hackage |
2 | Duncan Coutts | dcoutts | 10,11,12 | |
3 | Ian Lynagh | Igloo | 10,11,12 | GHC, Cabal, Hackage, and loads more besides |
4 | Neil Mitchell | ndm | 10,11,12 | I'd probably work on porting to Cabal, Cabal to Yhc, and the base libraries building with Cabal on Yhc. |
5 | Thorkil Naur | naur | 10,11,12 | Integer implementation (GMP), Porting, Factorization, Puzzles |
6 | Pepe Iborra | mnislaih | 10,11,12 | GHC, the GHCi debugger, Darcs does look sexy, infrastructure & tools. |
7 | Dominic Steinitz | 10,11,12 | crypto, networking | |
8 | Ben Lippmeier | benl23 | 10,11,12 | GHC bug squashing. |
9 | David Himmelstrup | Lemmih | 10,11,12 | cabal-test, QuickCheck, Hackage, cabal-intall. |
10 | Ross Paterson | ? | Hackage | |
11 | Simon Marlow | JaffaCake | 1 or 2 days | Everything |
12 | Björn Bringert | bringert | 10,11,12 | Hackage, libraries, QuickCheck 2, GHC |
13 | Benedikt Schmidt | beschmi | 10,11,12 | darcs, GHC-api+Emacs, crypto |
14 | Lennart Kolmodin | kolmodin | 10,11,12 | Cabal, Binary ByteStrings, tools |
15 | Kirsten Chevalier | Binkley | 10,11,12 | GHC, whatever else looks interesting |
16 | David Waern | waern | 10,11,12 | Haddock-GHC |
17 | Ketil Malde | kzm | 10,11,12 | A GHC port, bio and concurrency |
Arriving
If you are arriving via air and want to meet up for the trip up to Oxford, add you details here, so people can arrange to travel together.
Keep these sorted by airport/ arrival times.
Arriving at Heathrow:
Name | Heathrow | Arrival date/time | Flight | Terminal | |
---|---|---|---|---|---|
kolmodin | Heathrow | 2007-01-09 4:15pm | KL1021 | ||
Binkley | Heathrow | 2007-01-10 5:55am | UA958 | ||
dons | Heathrow | 2007-01-10 6:20am | QF31 | 4 | |
bringert | Heathrow | 2007-01-10 8:25am | SK523 | 3? |
Suggested meeting place at Heathrow:
Getting from Heathrow to Oxford can be done via bus, see the timetable(pdf).
Arriving at Gatwick:
Name | Gatwick | Arrival date/time | Flight |
---|---|---|---|
naur | Gatwick | 1007-01-09 6:55pm | NB433 |
lemmih | Gatwick | 1007-01-10 01:40pm | NB431 |
Arriving at Stanstead:
Name | Stansted | Arrival date/time | Flight |
---|---|---|---|
waern | Stansted | 2007-01-09 11:10am | 965 |
pepe | Stansted | 2007-01-09 6:10pm | 3840 |
beschmi | Stansted | 2007-01-09 19:40 | 4U 2336 |
Ketil | Stansted | 2007-01-09 19:30 | DY1318 |
Suggested meeting place at Stanstead:
Accomodation
A number of accomdation options are available. To organise to share, contact other attendees on irc or via email.
Eurobar
The Eurobar Cafe & Hotel. It's quite close to the center of town, and near the bus stop and train station.
People staying here:
- dons
- bringert
- beschmi
- naur (4 nights, 9th-13th)
YHA
I (pepe) will go YHA in order to save some Euros (I need to stay for four nights, due to the few Valencia-London flight choices). If anyone else will go to YHA too, we could make a joint reservation.
The hostel seems to be quite close to center and train station too.
People staying at a YHA hostel:
- pepe
- ndm (3 nights, 10th-13th)
- waern (4 nights, 9th-13th)
- Ketil (probably - 9-12th)
Backpackers' Hostel
I (Binkley) am staying at the Oxford Backpackers' Hostel. Anyone else?
- Binkley (2 nights, 10th and 11th)
Other accomdation
These are full, but clicking on them gives you a list of alternatives: