nsomani

Joined 7 years ago

Karma

458

Submissions

94

Member since

Jan 25

Neel Somani https://x.com/neelsomani

View on Hacker News

Recent submissions

The Birth of Development Alpha power2026.ai

1 nsomani 1 month ago 0 comments

To Build a Data Center – Intro to Diesel Generation power2026.ai

9 nsomani 2 months ago 2 comments

IndieMath – Crowdfunded automated proving for open CS/math problems indiemath.ai

1 nsomani 3 months ago 0 comments

Power 2026 – Electricity Pricing in the Age of AI power2026.ai

1 nsomani 3 months ago 0 comments

Autoformalization and the Future of Math Research neelsomaniblog.com

2 nsomani 9 months ago 0 comments

Show HN: GPT-Erdos – the results of GPT 5.2 Pro on the Erdos problems ocf.berkeley.edu

1 nsomani 9 months ago 0 comments

Comment · 9 months ago

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.

Comment · 9 months ago

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

Comment · 9 months ago

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 a sandbox. That said, the biggest risk is social engineering attacks.

Show HN: A website that auctions itself daily thedailyauction.com

43 nsomani 9 months ago 19 comments

Comment · 9 months ago

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