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.

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

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...

My latest session with Erik Meijer took in the usual wide range of topic rants, including criticism of my restricted choice of wire domain values for the formal verification of hardware, the world of vibe coding and the allure of mindless coding for its therapeutic value,

A great night of cocktails at our local bar Amandine with Susan, Kiran and her boyfriend (and bartender) Adam.

They're only saying what "everyone" is thinking. Our politicians are terrified of calling racists what they are, because there are a lot of them.

About two weeks ago I had a pretty terrible bicycle accident which damaged the left hand side of my body and significantly hurt my left knee. Folks in Singapore might have noticed me limping around. I'm still recovering from it, unable to walk much, and I certainly can't do my usual cycling,

I get my bike serviced once a year and usually refresh the handlebar tape. The current edition.

Do you have any questions you would like to ask our panelists on the free to attend webinar "How can AI Revolutionize Hardware Verification?" on Monday 20 October at 16:00-17:00 BST (11:00-12:00 ET, 8AM Pacific)? Registration link: www.workcast.com/register?cpa...

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 family history,

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

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 (thank you Nick Nairn). I started with a Hestan titanium pan at 200°C and seared the scored salt and pepper

When my daughter was born 22 years ago I never expected to have the following family dinner conversation with her: Kiran: <a story about getting into trouble with "git add ." at work> Dad: <Have you considered only using "git add -u ." when using . as an argument?>

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). harmonic.fun

I am very much looking forward to the Formal Methods (FM) and Artificial Intelligence (AI) workshop next week at SRI in Menlo Park. It's worth going just for the attendance list! sites.google.com/view/fmxai20...

I did some more hacking to produce a totally floorplanned 64-input sorter circuit on a Xilinx XC7A200T FPGA, on the LHS picture shown as a tight rectangular block, on the RHS a close-up that shows the butterfly wiring pattern.

A lovely Xilinx 7-series FPGA chip layout of a sorting network produced from a dependently typed DSL in Haskell. More stuff like this during my keynote talk at ICFP 2025 in October in Singapore. icfp25.sigplan.org/details/icfp...

So far I have talked to 25 companies but I've only done a full interview loop with one (8 interviews). Sadly that did not work out (much to my surprise). I also had one "ambush interview" with a company that I thought I was having a more informal chat with.

Interviewing: Contemplator vs. Thinking On Your Feet. As a contemplator rather than thinker on my feet I am doomed to keep failing the typical tech interview loop. In a whiteboard or zoom environment where I am under scrutiny and being “watched over my shoulder” my brain just freezes and

A job interview finally got me access to the swanky members only Shack15 exclusive super-trendy co-working and networking space and social club at the top of the iconic Ferry Building on San Francisco's Embarcadero. It is everything that other people think Silicon Valley is.

I've always had an irrational fear of being laid off from my job and not being able to support my family. UB40 might be an 80s band to some people, but to me it was my father's Unemployment Benefit Form 40 which was an attendance card issued to individuals claiming unemployment benefits in the UK

The staff at The French Laundry last night dissecting my feedback.

Being brilliant along one axis (e.g. programming) does not give you a license to have your bad behaviour towards others tolerated. I've been fortunate to receive critical but kind feedback from utterly brilliant engineers, delivered in a direct manner but with grace. This made me respect these

Wonderful hike with Susan and Philip at Lily Lake near Estes Park, Colorado.

Happy #kuberTENes! Check out my #FirstContribution to Kubernetes #ContribCard contribcard.clotributor.dev/satnam6502

Interview #3a this morning (I am interviewing for two separate positions at company #3, one for ML networking infrastructure and the other for ML compilers). This time I've been asked to be ready to answer in depth technical questions about projects that I have listed in my resume (CV),

Susan is refusing to let us take a Robotaxi to San Francisco this afternoon. We’re taking the train instead.

I am preparing for job interview #2 by reading my own blog post on doing whiteboard coding interviews. satnam6502.github.io/coding-inter...

First time I have been driven home in a self-driving taxi.

My first job interview is tomorrow, I already have CoderPad in Haskell mode.

So what I plan to order tomorrow is a 14-inch MacBook Pro with a M4 Pro processor, 48GB of RAM and a 1 TB disk. Considerations that made me pick the Macbook Pro rather than the Air include Thunderbolt 5 ports (e.g. for multiple high-spec monitors), built-in HDMI (I give a lot of talks),

I find myself without a laptop and I am torn between a 13" MacBook Air M4 32GB 1TB vs. 14" MacBook Pro M4 Pro 32GB 1TB. It will be my main development machine (with external monitor), running SystemVerilog simulations, theorem provers like Lean4, Agda, SVA www.apple.com/shop/buy-mac...

Girl form the North Country is a play set to Bob Dylan songs, so it was never going to be Mamma Mia! Thankfully Kiran and Kavi seemed to like it, especially for the great singing and music. Their rendition of Hurricane was my favourite. www.oldvictheatre.com/stage/girl-f...

We got front row seats for Ottolenghi’s chicken shawarma cooking demonstration at the National Geographic Food Festival in London. Susan would not let me rush to stage to help out with a bit of sous cheffing.

How it started.

I’ve found the Sweden I was looking for.

FP, LLM, Agda meetup in Gothenburg.

A fantastic meal at Salt & Sill with good friends.

Goodbye Copenhagen. Hello Sweden.

An explanation of why there is a 6502 in my handle.

Disentangling my identity and self-worth from my job is proving to be difficult.

Borgen!

Outstanding Mexican food at Sanchez in Copenhagen. Pictured: monkfish cheek Al Pastor.

Don't look back in anger. I am coming to terms with my termination with Susan with liquid therapy at Bird in Copenhagen.

Current status.

Today was my last day at Groq. I'm looking for a new job, with a preference for larger companies that require in office attendance. Thank you. www.linkedin.com/in/satnam6502/

A great chat with @avsm.amok.recoil.org.ap.brid.gy about LLMs, Claude Code, using AI to prove theorems in Agda and Lean, energy consumption of data-centers and many other hot topics at 100 t/s full duplex. Exhausting but exciting!

A lovely dinner to celebrate Kiran's graduation. Cail Bruich, Glasgow.

My mum has totally nailed how to make gluten-free rotis. This celiac son is in rapture. All I need to do is to get myself to Glasgow, Scotland to get my saag and roti. [As for maki di roti, see many previous posts.]