$\newcommand{\nat}{\mathbb{N}}$ $\newcommand{\nat}{\mathbb{N}}$ $\newcommand{\mca}{\mathcal{A}}$ $\newcommand{\powerset}{\mathcal{P}}$ $\newcommand{\djf}{\oplus}$ $\newcommand{\ndjf}{\oslash}$ $\newcommand{\set}[1]{\underline{#1}}$ $\newcommand{\proj}[1]{\pi_#1}$ $\newcommand{\mf}[1]{\mathsf{#1}}$ $\newcommand{\torder}[1]{{{#1}_\leq}}$ $\newcommand{\comborder}{⧀}$ $\newcommand{\fall}[3]{\forall #1 \in #2 . \, #3}$ $\newcommand{\nor}{{\downarrow}}$ $\newcommand{\xor}{\oplus}$ $\newcommand{\pair}[2]{\langle #1,#2 \rangle}$ $\newcommand{\sig}{\Sigma_{\textbf{Circ}}}$ $\newcommand{\morph}[3]{#1 : #2 \to #3}$ $\newcommand{\lub}{\sqcup}$ $\newcommand{\latleq}{\sqsubseteq}$ $\newcommand{\latgeq}{\sqsupseteq}$ $\newcommand{\overbar}{\overline}$ $\newcommand{\args}[1]{\overbar{v_#1}}$ $\newcommand{\vals}{\overbar{v}}$ $\newcommand{\ubar}[1]{\underaccent{\bar}{#1}}$ $\newcommand{\seq}{\cdot}$ $\newcommand{\tensor}{\otimes}$ $\newcommand{\bigtensor}{\bigotimes}$ $\newcommand{\fork}{\curlywedge}$ $\newcommand{\join}{\curlyvee}$ $\newcommand{\stub}{{\sim}}$ $\newcommand{\swap}[2]{\times_{#1,#2}}$ $\newcommand{\dfork}[1]{\Delta_{#1}}$ $\newcommand{\djoin}[1]{\nabla_{#1}}$ $\newcommand{\delay}{\delta}$ $\newcommand{\trace}[2]{\text{Tr}^{#1}(#2)}$ $\newcommand{\iter}[2]{\text{iter}^{#1}(#2)}$ $\newcommand{\bb}[1]{\llb #1 \rrb}$ $\newcommand{\fix}[1]{\text{fix}(#1)}$ $\newcommand{\llb}{\llbracket}$ $\newcommand{\rrb}{\rrbracket}$ $\newcommand{\mcs}{\mathcal{S}}$ $\newcommand{\mcv}{\mathcal{V}}$ $\newcommand{\ecal}{\mathcal{E}}$ $\newcommand{\vcal}{\mathcal{V}}$ $\newcommand{\edges}{E}$ $\newcommand{\vt}{V^{\mathcal{T}}}$ $\newcommand{\vs}{V^{\mathcal{S}}}$ $\newcommand{\vleft}{\lambda}$ $\newcommand{\vright}{\rho}$ $\newcommand{\vtorder}{{\leq^{\mathcal{T}}}}$ $\newcommand{\vsorder}{{\leq^{\mathcal{S}}}}$ $\newcommand{\vtordern}[1]{{\leq^{\mathcal{T}}_#1}}$ $\newcommand{\vsordern}[1]{{\leq^{\mathcal{S}}_#1}}$ $\newcommand{\einput}{\alpha}$ $\newcommand{\eoutput}{\omega}$ $\newcommand{\vconnsr}{\kappa}$ $\newcommand{\vconnsl}{\kappa^{-1}}$ $\newcommand{\lcal}{\mathcal{L}}$ $\newcommand{\labels}{\Lambda}$ $\newcommand{\hyper}{((\vt, \vtorder), (\vs, \vsorder), E, \einput, \eoutput, vleft, \vright, \vconnsr, L, \labels)}$ $\newcommand{\hypern}[1]{((\vt_#1, \vtordern{#1}), (\vs_#1, \vsordern{#1}), E_#1, \einput_#1, \eoutput_#1, \vleft_#1, \vright_#1, \vconnsr_#1, L_#1, \labels_#1)}$ $\newcommand{\esources}{\mathsf{s}}$ $\newcommand{\etargets}{\mathsf{t}}$ $\newcommand{\rename}{\pi}$ $\newcommand{\renameinv}{\rename^{-1}}$ $\newcommand{\connsr}{f_{\rightarrow}}$ $\newcommand{\connsl}{f_{\leftarrow}}$ $\newcommand{\whomo}[2]{\leadsto^{#1}_{#2}}$ $\newcommand{\hwhomo}{\approx_h}$ $\newcommand{\hequiv}{\equiv_\mathsf{h}}$ $\newcommand{\hhomo}[2]{h_{#1\to#2}}$ $\newcommand{\circtochyp}{\varphi}$ $\newcommand{\chyptocirc}{\psi}$ $\newcommand{\inport}[2]{(#1,#2)^S}$ $\newcommand{\outport}[2]{(#1,#2)^T}$ $\newcommand{\vmaps}{\mathsf{vmap}^{\mathcal{S}}}$ $\newcommand{\vmapss}{\mathsf{vmap}^{\mathcal{S*}}}$ $\newcommand{\vmapt}{\mathsf{vmap}^{\mathcal{T}}}$ $\newcommand{\vmapts}{\mathsf{vmap}^{\mathcal{T*}}}$ $\newcommand{\emap}{\mathsf{emap}}$ $\newcommand{\id}{\mathsf{id}}$ $\newcommand{\agda}[2]{\texttt{[}#1\texttt{.#2.agda]}}$ $\newcommand{\uinfix}[1]{\texttt{\_}#1\texttt{\_}}$
Adventures in Academia
Part Two
Todd has recently started his PhD, whereas I am still working hard in the final year of my MSci. Together we eat soup, visit pubs and struggle with second-year functional programming assignments. This time we set out on an excursion to the Country Girl, with the surprise addition of Owen!


Many months had passed since the last Adventure in Academia. A complex timetable mess meant that ‘t boys’ had been unable to gather in a non-soup environment! But that was all about to change, as a date was set and the boys assembled. Our destination? The Country Girl.

We met up in the Computer Science atrium, me coming from a lecture taught by Dave Parker and Todd coming from a tutorial for a module taught by Dave Parker. But suddenly a third ranger appeared - it was Owen! He had escaped the clutches of both the security lot and Ruth, and would join us on our adventure!

T boys on the canal path What have we spotted? (taken by Todd)

Rather than taking the regular path through Selly, we decided to take a scenic detour via the canal path. As we walked the topic of conversation went from life before the Aston Webb Boulevard to, of course, my plans for a light rail system connecting campus with the surrounding areas. We also used our urban planning knowledge to discuss the ‘regeneration’ of Selly Oak. Of course such intellectual talk could not be satisfactorily reproduced here.

My old home! Looking back towards campus!

After a brief spiral via The Dingle and a walk down my home road of Heeley, we arrived at our destination. As we walked in we discovered it was actually quite busy and incredibly warm! Owen suggested an outside seat but Todd wasn’t so keen - it turned out the Country Girl beer garden was fairly naff. Fortunately we could shed most of our layers and return to a more reasonable temperature - even if this did mean ripping into Owen for wearing a jumper as his bottom layer.

It was time for F N C! In a controversial and unprecedented move, all three attendants went for different dishes. Owen opted for the lunch time fixed price menu, which meant he could get cod and ice cream too for a low price! I was suspicious as I suspected the lunch time portions might be smaller, so I went for a classic plate of scampi. True to his F N C roots, Todd ordered the halloumi. Of course all meals were accompanied by an ice ‘n’ slice!

When the meals I arrived I realised that I had made a fatal error - I hadn’t read the menu properly and got garden peas rather than the clearly superior option of mushy peas! What’s more, Owen’s portion size turned out to be exactly the same size as ours - what great value! But there was something even more astonishing about the meals. As always, we were supplied with a wedge of lemon. But these were no ordinary wedges. They were legendary chargrilled wedges. Why were they chargrilled? Nobody knew! It was insane!

The lemon The lemon that caused a commotion

Alas, the meal soon concluded and we had to leave. But there was one more surprise in store… As we were packing up Ed message me asking if I wanted to watch Arsenal’s clash with the Belarusian titans BATE Borisov at the pub that evening! Surely I couldn’t go to the pub twice in one day?

(I did, Arsenal won 3-0, it was good)