Dinan Gunawardena

3.4K posts

Dinan Gunawardena banner
Dinan Gunawardena

Dinan Gunawardena

@dinang

Computers, computers everywhere but not an ALU to spare. Cambridge CompSci, exMSFT Research, Startup Vet., MBA, WSET L3, Dog Dad, Loves travel, wine & gardening

Cambridge, UK Katılım Mayıs 2009
1.9K Takip Edilen1.8K Takipçiler
Dinan Gunawardena
Dinan Gunawardena@dinang·
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
English
0
0
1
32
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy Sunday Morning! Rogue and Storm having cuddles and naps ❤️🐶
Dinan Gunawardena tweet mediaDinan Gunawardena tweet media
English
0
0
0
21
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy belated Burns’ Night ❤️🏴󠁧󠁢󠁳󠁣󠁴󠁿
Dinan Gunawardena tweet media
English
0
0
1
28
Dinan Gunawardena
Dinan Gunawardena@dinang·
Is this Rogue asking for a duvet day 🐶❤️?
Dinan Gunawardena tweet media
English
1
1
3
71
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy Sunday Morning - Sirius the snake has been vanquished and Rogue is slumbering over her prize! ❤️
Dinan Gunawardena tweet media
English
0
0
0
28
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy Sunday Morning! Rogue has had her breakfast and is now dreaming of 2nd breakfast - I’m convinced she has hobbit genes #LOTR ❤️
Dinan Gunawardena tweet media
English
0
0
1
54
Dinan Gunawardena
Dinan Gunawardena@dinang·
Pooped pups, exhausted by the cousins visiting! ❤️🐶
Dinan Gunawardena tweet media
English
0
0
0
43
Dinan Gunawardena
Dinan Gunawardena@dinang·
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! 🍎
Dinan Gunawardena tweet mediaDinan Gunawardena tweet media
English
1
0
3
75
Satnam Singh
Satnam Singh@satnam6502·
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
English
177
95
3K
240.1K
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy Sunday - Rogue has the right idea and is taking the last of the afternoon sunshine ❤️🌞🐶
Dinan Gunawardena tweet media
English
0
0
1
32
Dinan Gunawardena
Dinan Gunawardena@dinang·
Happy Saturday everyone - Rogue dreaming of eating pears in the garden ❤️🍐🐶
Dinan Gunawardena tweet media
English
0
0
2
74
Dinan Gunawardena
Dinan Gunawardena@dinang·
Brazen pup - he knows he is not allowed on the table! ❤️🐶
Dinan Gunawardena tweet media
English
0
0
1
74
Dinan Gunawardena
Dinan Gunawardena@dinang·
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
Dinan Gunawardena tweet media
English
0
0
0
61
Dinan Gunawardena
Dinan Gunawardena@dinang·
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
Dinan Gunawardena tweet media
English
0
0
0
55
Dinan Gunawardena
Dinan Gunawardena@dinang·
Oh my goodness this needs to be banned as a chemical weapon - minger by name… oh boy I need a peg for my nose!
Dinan Gunawardena tweet media
English
0
0
1
80