netvarun
Joined 17 years ago
Karma
2,802
Submissions
371
Member since
Sep 11
Recent submissions
Comment · 11 days ago
I think the pingcap hack might be the biggest of them all, somehow it has gone under the radar.
Comment · 26 days ago
Curious now that SOL is cheaper than k3 - is k3 still your primary workhorse?
Comment · 1 month ago
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.
Comment · 1 month ago
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
Comment · 2 months ago
Comment · 2 months ago
Still not loading
Comment · 2 months 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/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]
Comment · 3 months 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.
Comment · 3 months 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 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..
Comment · 3 months ago
Comment · 3 months 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 announced.
The next batch’s winners are all going to have llms as coauthors.
Comment · 3 months 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
Comment · 7 months ago
This is an amazing project - thank you for building/sharing it!
Comment · 1 year 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 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].
Founder, Keygraph https://keygraph.io/ We build AI pentesting software.
Check out our open source AI pentester, Shannon (47k+ stars): https://github.com/KeygraphHQ/shannon