netvarun
netvarun on Hacker News
Curious now that SOL is cheaper than k3 - is k3 still your primary workhorse?
Technically kimi k-3 weights license is not open weight (it has a lot of restrictions). I would classify it as ‘weight open’ similar to the bsl and fsl ’source open’ licenses.
Off topic:With sol pricing drop tbh kimi k3’s value prop has not been that great. For our internal use case/testing/benchmarks sol come out with way better quality and much cheaper costs.
Kimi really needs to drop their pricing (I heard it’s set by them across all the neoclouds)
Sol is at 2/10 vs kimi’s 3/15
Posted by
netvarun on Saturday September 12, 2026 @04:23PM
from the twitter.com dept.
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/hash of the cube position (eg: incrementing by 1 https://everycube.alen.is/?view=3d#5319001606686939024
), the app doesn’t update and I have to open the new URL in a separate tab to see the new position. [Chrome 150 on Mac OS X 10.15.7]
I posted a similar comment when the winners were leaked:
https://news.ycombinator.com/item?id=48906573i’d like to revise my earlier comment: 2022 may have been the last time we had pure humans win a Fields Medal.
I’m fairly certain this batch's winners used LLMs for research, lit-revews, reviewing work, and calculations... perhaps not enough to count as a co-author, but still enough to handle a lot of the grunt work.
Who would have imagined the pace of progress in LLM-powered math..
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 [email protected].
[0] https://mathstodon.xyz/@tao/114915606467203078
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?
Dagger (
https://dagger.io) recently seems to have reinvented/rebranded itself as some llm agent platform.
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!