For the hot pan vs. cold pan controversy I am on the side of the hot pan. Seared duck breast with a whisky soy sauce (Oban 14), on a bed of spring onions, asparagus and sugar snap peas. I started with a dry Hestan titanium pan at 200°C and seared the scored salt and pepper skin

If you've been using machine learning to help with formal hardware verification then I am keen to hear from you. Please email me: [email protected] or DM me. Thank you kindly.

A prediction about the impact of machine learning on mathematics in Nature Physics (it mentions Harmonic). Includes a link to a freely available version of the article.

Dear hardware formal verification friends, I'm looking forward to seeing some of you at the Jasper User Group 2025 meeting on Thursday 29 October at Cadence! events.cadence.com/OQ9A4O?sms=2&c… #Cadence # formalverification

We are thrilled to release Velvet: a foundational multi-modal verifier for imperative programs in Lean. It unifies execution, testing, automated and interactive proofs; and is itself proven sound. 💻 github.com/verse-lab/loom 📄 verse-lab.github.io/papers/loom-pr… 🧵 Learn more below ↓

AI has many potential advantages and challenges when applied to hardware verification, especially formal verification. Join me for a free to attend webinar where we will discuss AI and hardware verification with panelists Adam Chlipala (MIT professor, formal hardware verification

On my way to Singapore to attend ICFP Conference 2025! Please do say hi and introduce yourself if you have not met me already. I am always keen to meet new people and learn what others are working on and excited about. #ICFP2025

A picture John Hughes took of me giving my keynote talk Functional Programming for Hardware Design at #icfpsplash25. A few key quotes/messages: * I love programming languages not for what they do, I love programming languages for what they are. * I am a functional programmer not

The video recording of my ICFP 2025 keynote talk Functional Programming for Hardware Design is up on YouTube. youtube.com/watch?v=1oBOu6…

My father lived in Singapore before I was born, and I have been walking the streets wondering if I have retraced any of his steps. As an Indian he was here at the right time to apply for and get a British passport (or some similar document). This was a pivotal moment in our