xjm

[xjm @xjm]

@Place_Beauvau attention, "http://t.co/ZMks4Bbs0X" est un site non-officiel qui vole vos données. #telepoints https://t.co/yvTyAqXB9b

[xjm @xjm]

@wojtekj you gave something that is provable, yet someone cheated. Next time make a "Definitions" file https://t.co/LNgsTisfpb

[xjm @xjm]

Proof of "False, really."! #proofmarket https://t.co/TiZtgp7hKY

[xjm @xjm]

50 points on http://t.co/laOGmPdhGP Anyone has more? #regexgolf spoiler: http://t.co/rrRbp0auhN

[xjm @xjm]

@proofmarket any particular reason prices are in satoshi instead of BTC/mBTC?

[xjm @xjm]

@proofmarket Thanks! That's OK it fails way before one minute. Maybe my version of coq is bad, i'll compile http://t.co/SE9OtHzf9t and see.

[xjm @xjm]

@proofmarket Is there a time limit? I've got a long solution but it fails for an unknow reason, without mentioning "std out" and stuff.

[xjm @xjm]

@KLM Thanks again! And great service!

[xjm @xjm]

@KLM (I'm a little paranoid.)

[xjm @xjm]

@KLM Thanks! I booked the ticket and DMed you the booking code. Can you check I have 1 checked baggage on the return flight from Dublin?

[xjm @xjm]

@KLM Great! Is this for the whole trip, even the part with Aer Lingus and the return flight? (The return flights starts with Aer Lingus)

[xjm @xjm]

@KLM Sure, I haven't booked it yet (it'll depend on the allowance), but I've sent you my flight information maybe you can find it. Thanks!

[xjm @xjm]

On a flight operated by @KLM and Aer Lingus, I'm allowed 1 checked baggage with KLM (FB Ivory). Does this work on the Aer Lingus flight?