Adhyayan

Wednesday, July 15, 2026

negotiating in pajamas

why you should learn RL by touching nothing but the config and watching the curve go up, and why the intelligence ceiling of a specialised open-source model now subsumes the frontier for most real tasks

Sunday, July 05, 2026

Understanding and Answering

https://paulabartabajo.substack.com/p/how-to-pass-a-technical-interview

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification

Agentic AI-based Coverage Closure for Formal Verification

NY story

After a red eye flight, our five year old was tired. We were meeting friends in the new york city during the layover of international travel.

When the city was just waking up on a holiday, our friend bought us breakfast from a food stand.As we were leaving with our food, the stand owner gave our toddler a donut. He refused money for it. Intended to make the kid happy but it made a strong impression on us. A welcome to the city!!

I have been to the city many times hauling back a suticase full of second hand books from The Strand Store, Times square visit that I rendered in a poem, but that donut!!

10 years later

Any parent with a kid needs to know, where the restrooms are!! Our fiend dropped us at an entrance. There were few levels in the building. The receptionist said that the closest restroom was at a place called Occ.. something.

We started running, from one way pointer to another. It was a miracle that so much running could be done with a full bladder. Finally, the apple store pointer helped. Later in the evening, we were being shown around the Occulus, which we had seen 10 years ago, and as we were walking through it, our eyes fell on the Apple store sign and my younger one and I gave out a big laugh of the place etched in our minds, coming full circle in many ways.