Viewing profile — nsomani

Hi HN, it seemed like there was broad interest in the previous Erdos problem that GPT 5.2 Pro solved: https://news.ycombinator.com/item?id=46664631 I recruited a team of smart unde…

Appreciate that. I didn't realize how derivative this was when I built it! I was just trying to build something cool with the Codex SDK.

They cannot edit the iFrame itself. The user is allowed to edit the contents within the iFrame.

The Codex agent is only given tools to edit the single HTML file that displays on the homepage. The page is on a separate domain, so there's no cookie sharing, and the iFrame is in…

Hi HN, I built this side project earlier this week. It executes an English auction on Solana with a reserve price of 0.1 SOL. Auction winner gets control of a Codex editor. Auction…

There are two examples provided - quote matching and bracket closing.

Hi HN, I've been exploring various applications of formal methods to ML/interpretability and I've been hoping to get more eyes on the approach. I have been working on a small inter…

Hi all - this is a small research prototype I built to explore cross-GPU reuse of transformer attention states. When inference engines like vLLM implement prefix/KV caching, it's l…

Oh really? I can't find anything about the memory model online. I'm not sure what's the best way to do this, but if there's a way for us to get in contact, I'd be interested in adj…

I think I've just spent too much time reading the word "CUDA" that I read "cu" as "koo", lol.

That instinct is right. cuTile would be easier to parse but harder to reason about formally.