Nicola Mometto

@British_Airways I've been trying to claim avios for an old flight, but I've been getting this error since last evening

@RoyalMailHelp I have two deliveries that have been sent to me via Royal Mail Special Delivery Guaranteed 1pm on Monday 20th, but the track and trace shows them to be still in Springfield Post Office [B11 4SH]. it's been 4 days. I paid 8£ for next day guaranteed delivery.

@vueling I paid 25£ for a Space One seat (1A), but when I checked in at the airport they gave me a ticket for 5B. I can't find anywhere on the website where to ask for a refund.

@HMRCcustomers I got two checks sent for having paid too much taxes, but the post address was wrong and I don't have access to it anymore. how can I get the checks resent to the correct address (I've updated it in the website)

@ra good talk! funny how you mentioned at the end you'd move more of the logic from the compiler to the analysis bit -- I completely understand yet I've somewhat felt the opposite instinct at times :)

@RetroGP_Store I've tried calling you and emailing you about an order I've placed 2 weeks ago, got no answer. Can somebody get in touch with me please?

I'm really touched to be part of the developers @cognitect and @nubank have decided to support for their OSS work. The #clojure community has been a massive part of my life for the last decade, thanks @richhickey @stuarthalloway @puredanger et al.

@aengelbro I''m in stitches wathing your and @derekslager's talk

@timbaldridge loved your @DefnPodcast, can't wait to read your next PLT experiments

@AndyFingerhut teach me how to be as level-headed as you are, even on twitter

I just published “Scalable Deep Symbolic Reinforcement Learning with Imandra: Part I” medium.com/imandra/scalable-… Thanks to @actionshrimp Kostya Kanishev @DenisIgnatovich @grantolney

@SpotifyCares it seems like I can't use the `discover` feature, as the featured tab either crashes or displays playlists I can't click on

Can't stop listening to this album youtu.be/cMSkqOO6pNA

My colleague @Algorhythmica1 at wrote a blog post about encoding the wolf goat and cabbage problem as financial exchange and then used our formal verification engine to solve it! You can read about it and other crazy things we do at @VerifiedbyAI at medium.com/imandra/the-wolf-…

Verifying myself: I am bronsa on Keybase.io. Ia1UfYMKnu2toyQnTwltybNnm_5f4x_4tALf / keybase.io/bronsa/sigs/Ia1Uf…

I have the privilege to work for an incredible company trying to solve very complex problems, learn what we do from this blog post by @DenisIgnatovich medium.com/imandra/machine-r…

@ra lmao your display name breaks rendering for Twitter on android

I was on the @cognicast with @timbaldridge talking about tools.analyzer, tools.decompiler and a bunch of other interesting things teapawt.net/cognicast/status/92801…

damn, looks like I'll have to suffer through >6h delay total thanks to a missed connection caused by 3h delay + next flight is delayed :(

I had a blast at #clojure_conj, finally met many old friends, easily the best and friendliest conference I've been to