The local Asian grocery store, KRK, sold huge bricks of it at very low prices.

melting butter transports me to that small flat in Glasgow and a feeling of security and love.

An enduring childhood memory is of my mother making a vast vat of ghee, slowly melting 35lbs of butter and skimming off the impurities to yield liquid gold. It filled our apartment with an overwhelmingly comforting nutty sweet aroma, and even today the smell of

Sadly I have been prescribed Ivermectin in the past.

Wagyu beef with Le Gavroche Béarnaise sauce was the Valentine dinner I cooked for Susan, served with a very fancy bottle of BV.

Sadly I am bracing myself for about 20 Reform seats in the Scottish parliment.

The magnolia tree at the end of our block is doing well.

I don't know, probably not.

I am giving a talk about automatic formal verification of computer hardware using Harmonic's Aristotle system at the University of Cambridge at their CS department on Thursday 26 February 2026 at 2PM in room FW26. The talk is open to the public.
talks.cam.ac.uk/talk/index/2...

At Harmonic we've just announced $1,000,000 of sponsorship for Principal Investigators and Rising Mathematicians. Significant O($100K) funding for high-impact projects. Early access to next-generation Aristotle models. Please apply! aristotle.harmonic.fun/sponsorships

and as someone who grew up with the excitement of a teenage 6502 hacker this is the first time I have felt that same level of energy and revolution again. I'm not in this game to be a spectator, so if you want to shape the future please join us.

Can A.I. Generate New Ideas?

2026 is the year that will see tremendous progress at the intersection of AI x mathematics x software verification etc. www.nytimes.com/2026/01/14/t...

I'm not in this game to be a spectator, so if you want to shape the future please join us.

On my way to #POPL2026.

Harmonic - AI for Formal Mathematical Reasoning AI for Formal Mathematical Reasoning

If you’re passionate about formal methods, automated reasoning, or the future of AI, I’d love to connect. We are growing fast and looking for brilliant minds to join us! #POPL2026
Explore open roles: jobs.ashbyhq.com/Harmonic

Harmonic - AI for Formal Mathematical Reasoning AI for Formal Mathematical Reasoning

I’m thrilled to share that I’ll be attending POPL 2026, and even more excited that Harmonic is officially a sponsor this year. At Harmonic we are leveraging the power of the Lean 4 theorem prover to push the boundaries of AI and formal verification.
Learn more about our mission: harmonic.fun

I've completed five weeks of work at my new company Harmonic. It's intense, fast paced, highly engaging and I love being back at the whiteboard. If we succeed in our mission "Theorems For Free" will have a new meaning.

I made chanterelle risotto tonight, which is just what we needed on a chilly night.

Absolutely no need to worry about me! I am fine!

This is your routine reminder that "program" and "algorithm" are not synonyms. A program *goes*; an algorithm *works*.

They try to pull a fast one on you by overdignifying shit programs as "algorithms". They don't work. They're not algorithms. They're wrong, not you.

Thank you kindly for asking. Mixed. Some great aspects. Some utterly terrible aspects.

Taking the train to Palo Alto for my first day of work at Harmonic. Looking forward to machine learning, interactive theorem proving with Lean and formal verification of hardware.

person camaraderie again. I'm spending a few days at my happy place before starting work on Monday. Hello from Lake Tahoe.

dissolved by pixels, and the underlying humour and wind-up aspect is scrambled by UDP/TCP. I do have some concerns about how I will adapt to being back in the office five days a week, I am sure it is going to be shock and take some adjustment. But I very much look forward to the in

suspect the worst of others rather than best of others. For me the pleasure of working on a problem with someone at a whiteboard (expecting interviews) is a life affirming experience. My trademark stoic unconvinced face and raised eyebrow at ideas that don't make sense to me is

environment, which I think acts as a significant drag on velocity. Without the bonds that are created by in person interactions over coffee, lunch or a hallway chat about that new restaurant in Menlo Park the tendency, when the stress is high and the pressure is on and something is broken, is to

On Monday for the first time in four years I will start to work in an office five days a week, like I have done for all of my career until COVID-19. I've been looking forward to this day, having never liked working from home and having seen all the problems and issues that occur in a remote first

Corum Property | 1/2 11 Barrington Drive, Woodlands, G4 9DS

We are selling Kiran's flat in the west end of Glasgow. It is a lovely two bedroom flat on Barrington Drive, just along from Brett and opposite St. Mary's church. Please let anyone know who is looking for a flat. Offers over £269,000. corumproperty.co.uk/property/bar...

the madness of Python, and embedding core Bluespec semantics into Lean. I think everyone in Blue Bottle Palo Alto University Avenue was relieved when we left after our two hour session.

=e-bikes (Rivian and BMW), electric cars (his BMW i3, our new BMW i4), cycling routes to Palo Alto (for when my knee eventually heals from my recent cycle crash), rants about paper reviewing for academic conferences (I'm reviewing EuroSys 2026 papers right now),