iiinova — where your digital self keeps evolving

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

000

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

100

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

100

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

110

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

1150

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

corumproperty.co.uk

030

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.

060

=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),

130

Satnam Singh @satnam6502.bsky.social · 29/10/2025

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,

1130

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

070

Reposted by Satnam Singh

Conor Titania Mc Bride @pigworker.bsky.social · 26/10/2025

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.

031

neither the few glasses of wine during pub night in downtown Mountain View. The bike shop did a good job of repairing my bike, but I don't know what kind of shop can repair my still broken pride.

200

Having a mal-adjusted light which came off the handlebars earlier in the day and which I put back hastily (pointing up, not down) did not help. Having two Aperol spritz earlier in the day I am sure did me no favours,

100

swimming or three mile night walks. Beyond the physical damage, the mental damage seems even worse. The multiple factors that led up to the crash, where I was dethroned by a sandpit with a very raised wooden edge on the grounds of our childrens' elementary school swirl around my head every day.

100

Satnam Singh @satnam6502.bsky.social · 23/10/2025

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,

4110

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

0120

Satnam Singh @satnam6502.bsky.social · 17/10/2025

The panelists are Sean Safarpour (Executive Director, R&D, Synopsys, USA), Prof. Adam Chlipala (Professor of Computer Science, MIT, USA) and Kanad Basu (Rensselaer Polytechnic Institute, USA). Please either enter questions in the comments below or email me at satnam6502@gmail.com or DM. Thank you!

100

Satnam Singh @satnam6502.bsky.social · 17/10/2025

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

130

Part of me still expects to spot his ghost wondering around Little India.

060

This is my first trip to Singapore, but mentions of the place have always loomed large in our family history.

160

paving the way for my mother and I to move from India to the UK to join him (he had gone ahead). I was about one and a half at the time my mum and I made the trip. Eventually my mum and I would get British citizenship too, when I was around seven.

140

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,

3240