On Thu, Mar 15, 2018 at 07:48:45AM +0000, Maurice McCarthy wrote: > On 15/03/18 01:38, Stuart Henderson wrote: > > On 2018-03-15, jungle boogie <[email protected]> wrote: > > > > > it doesn't say which December. > > > > (and I don't really see why 14/3/2018 would be "pi day"...) > > > > > > Pi = 3.14 ...
Pi =~ 3.14 > > Personally I think it should be 22nd July, in Britain. > > Pi =~ 22/7 Actually, 22/7 is closer to Pi than 3.14, by about 3e-4. > > :) > > Since Sweden joined the EU it has become a mess about date formats here. Before that the ISO 8601 was winning, now we have 3 different date markings on food depending which type of food it is or whatnot. So I celebrate both Pi dates, just to be sure :-) -- / Raimo Niskanen, Erlang/OTP, Ericsson AB
