netvarun

https://news.ycombinator.com/item?id=48986943

First of all congrats to the winners.

Second, fitting that codex enters the picture.

The last time the fields medals were announced llms were still very nascent :)

And I am convinced this is the last time pure human fields medalists will be announced.

The next batch’s winners are all going to have llms as coauthors.

“The Anthropic team for their incredible coding models (Fable-5 wrote every line of code in this project), and the Claude Code harness.” Source: the repo

This is an amazing project - thank you for building/sharing it!

Shameless plug: We're building this. Our goal is to provide AI pentesting agents that run continuously, because the reality is that companies (eg: those doing SOC 2) typically get a point-in-time pentest once a year while furiously shipping code via Cursor/Claude Code and changing infrastructure daily.

I like how Terence Tao framed this [0]: blue teams (builders aka 'vibe-coders') and red teams (attackers) are dual to each other. AI is often better suited for the red team role, critiquing, probing, and surfacing weaknesses, rather than just generating code (In this case, I feel hallucinations are more of a feature than a bug).

We have an early version and are looking for companies to try it out. If you'd like to chat, I'm at varun@keygraph.io.

[0] https://mathstodon.xyz/@tao/114915606467203078

s/x84/x86/

Hey Shawn!

Hi - we should chat :)

I think they refer to: IB - investment banking PE - private equity HF - hedge funds or High Frequency trading (?)

Tangent: Did Windsurf actually get acquired by OpenAI? I would have imagined some sort of announcement from OpenAI at the very least? Bloomberg was the one to break that news too, but haven't seen any follow up.

Does anyone have insight into Neon's financials - specifically their revenue, COGS, and gross margins? I'm trying to understand what made Databricks value them at $1B. Was it strong unit economics, rapid growth, or mostly strategic/tech value?

https://archive.is/kVsvc

Dagger (https://dagger.io) recently seems to have reinvented/rebranded itself as some llm agent platform.

@dang: The original URL (from Step Security, the company that discovered this flaw) is a better source for this:

https://www.stepsecurity.io/blog/harden-runner-detection-tj-...

Agree - that’s what we use too.

Wow that had been quite a journey - thanks for the detailed response. We’ve been using cel internally in a golang codebase and been pretty happy with it. I’ve only know about starlark in the Bazel context - I’ve learned a couple of things from your post. Thanks :)

This looks cool - will give it a try (hah!) Curious on why you picked starlark instead of cel for the conditional scripting part?

Congrats to the team. IIRC their CTO was the creator of RocksDB.

Very slick interface and implementation! This is why I love coming to HN!

Thanks for the detailed answer - please turn it into a blog post! Excited to see competition and different architectural approaches to tackle durable execution. Wishing you all the very best!

Feedback: everybody’s question is going to be on why this over temporal? I’ve noticed you answered a little bit of that below. My advice would be to write a detailed blog post maybe on how both the systems compare from installation to use cases and administration, etc - I’ve been following your blog and while I think y’all are doing interesting stuff I still haven’t wrapped my head around how exactly is restate different from temporal which is a lot more funded, has almost every unicorn using them and are fully permissively licensed.

"Be kind. Don't be snarky. Converse curiously; don't cross-examine. Edit out swipes."

"Please don't fulminate. Please don't sneer, including at the rest of the community."

https://news.ycombinator.com/newsguidelines.html

I agree - and flagged it as a result. It is clearly a hit piece and has promptly even made it to Prabhakar's wikipedia page: https://en.wikipedia.org/wiki/Prabhakar_Raghavan

100% agree! Bartosz Ciechanowski along with Amit Patel are national treasures. Their expository writing coupled with ChatGPT do dig into some of the more salient points has been a complete game charger for my self learning.

https://news.ycombinator.com/item?id=37237240

I think you were referring to this thread: https://news.ycombinator.com/item?id=36897010

https://news.ycombinator.com/item?id=36839446

And I believe this strategy was how Sundar Pichai became CEO of Google. He oversaw the chrome project in the early days and its incredible success catapulted him up the management ladder at Google.

The iconiq report link is broken.

[offtopic] Could you share what tool you used to generate the demo gif/video? Very nicely done!