Dinan Gunawardena

New community to celebrate Dogs, Cats and our other fur babies. All welcome! x.com/i/communities/…

Transvision Vamp - Pop Art - This is as good as I remember as a kid! Happy Sunday Morning! #vinyl #records

Sad to hear the passing of Sir Tony Hoare. I had the privilege of working with him at @MSFTResearch. So generous with his time & credit. I once wrote code examples for his talk & he gave me credit in front of thousands of developers. A true gentleman. RIP en.wikipedia.org/wiki/Tony_Hoare

Valentine’s Day concert in Leeds: Dea Matrona supporting The Beaches ❤️ @DeaMatronaBand @thebeaches

Happy Sunday Morning! Rogue and Storm having cuddles and naps ❤️🐶

Happy belated Burns’ Night ❤️🏴󠁧󠁢󠁳󠁣󠁴󠁿

Is this Rogue asking for a duvet day 🐶❤️?

Happy Sunday Morning - Sirius the snake has been vanquished and Rogue is slumbering over her prize! ❤️

Happy Sunday Morning! Rogue has had her breakfast and is now dreaming of 2nd breakfast - I’m convinced she has hobbit genes #LOTR ❤️

A lazy Sunday! ❤️

It’s a dogs life! ❤️🐶

Pooped pups, exhausted by the cousins visiting! ❤️🐶

Harvested the remaining garden apples before the high winds - Falstaff and Spartan varieties. Some for eating now, the rest in the dehydrator for winter snacks! 🍎

@satnam6502 Congrats! ❤️

I have landed my dream job. I’ve just accepted a position at Harmonic, a Palo Alto startup applying AI to formal mathematical reasoning. Harmonic’s Aristotle formal reasoning model achieved Gold Medal level performance at this year’s International Mathematical Olympiad (IMO). I will work on exploring applications of Aristotle to the formal verification of hardware. This job is a perfect intersection of hardware design and verification, functional programming, formal methods and machine learning, bringing together several threads of my career so far. The beauty of asking an AI to generate a proof for a lemma (e.g. a formal property about a circuit) is that it can be checked by an external interactive theorem prover (like Lean) to establish whether the AI’s output is actually correct. This is an awesome superpower! harmonic.fun @HarmonicMath

Happy Sunday - Rogue has the right idea and is taking the last of the afternoon sunshine ❤️🌞🐶

Happy Saturday everyone - Rogue dreaming of eating pears in the garden ❤️🍐🐶

Brazen pup - he knows he is not allowed on the table! ❤️🐶

Medium ruby red m intensity cherry, plum, hint of vanilla Dry, m alc, m+ flavour intensity, m acidity, soft integrated tannins, m+ finish, just ripe cherry, tobacco leaf, red currant, ripe plum Nice balance of flavour int & acidity, not very complex, moderately long finish 3.5+/5

Storm gazing longingly out of the window waiting for a pear to drop from the tree or a pigeon to chase - he’s not picky! ❤️🪶🍐🐶 #happyhumpday

Oh my goodness this needs to be banned as a chemical weapon - minger by name… oh boy I need a peg for my nose!