netvarun

6 ms·

1.
High school students use AI to solve an open problem in mathematics(twitter.com)
2 points by netvarun 4d ago|0 comments
2.
by netvarun 1mo ago
https://archive.is/zElcb
3.
by netvarun 1mo ago
Still not loading
4.
by netvarun 1mo ago
Wow, this was really fun to play around with! Amazing execution and launch! Quick feedback: it’d be great if the page updated when the URL changes, so you can explore different positions without reloading. Right now, if I change the URL&#x2
5.
by netvarun 2mo ago
https://x.com/Qiaoqiao2001/status/2080003441821163958 While there was a bunch of human effort - it is not that hard to imagine this whole pipeline becoming fully autonomous in the coming months.
6.
by netvarun 2mo ago
I posted a similar comment when the winners were leaked: https://news.ycombinator.com/item?id=48906573 i’d like to revise my earlier comment: 2022 may have been the last time we had pure humans win a Fields Medal. I’m fairl
7.
by netvarun 2mo ago
https://news.ycombinator.com/item?id=48986943
8.
by netvarun 2mo ago
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
9.
by netvarun 2mo ago
“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
10.
by netvarun 6mo ago
This is an amazing project - thank you for building/sharing it!
11.
by netvarun 1y ago
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 shi
12.
by netvarun 1y ago
s/x84/x86/
13.
by netvarun 1y ago
Hey Shawn!
14.
by netvarun 1y ago
Hi - we should chat :)
15.
by netvarun 1y ago
I think they refer to: IB - investment banking PE - private equity HF - hedge funds or High Frequency trading (?)
16.
by netvarun 1y ago
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.
17.
by netvarun 1y ago
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 strategi
18.
by netvarun 1y ago
https://archive.is/kVsvc
19.
by netvarun 1y ago
Dagger ( https://dagger.io ) recently seems to have reinvented/rebranded itself as some llm agent platform.
20.
by netvarun 2y ago
@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-...
21.
by netvarun 2y ago
Agree - that’s what we use too.
22.
by netvarun 2y ago
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 f
23.
by netvarun 2y ago
This looks cool - will give it a try (hah!) Curious on why you picked starlark instead of cel for the conditional scripting part?
24.
by netvarun 2y ago
Congrats to the team. IIRC their CTO was the creator of RocksDB.
25.
by netvarun 2y ago
Very slick interface and implementation! This is why I love coming to HN!
26.
by netvarun 2y ago
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!
27.
by netvarun 2y ago
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 c
28.
by netvarun 2y ago
"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.ycom
29.
by netvarun 2y ago
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
30.
by netvarun 3y ago
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.

More ›