News for hackers. Stuff that matters.

t55

what timelines do you have in mind

Show HN: Kilroy – Knowledge base for teams using Claude Code

https://github.com/kilroy-sh/kilroy/

Hey HN — we’re a small team that uses Claude Code + Codex for basically everything in our company: coding, data analysis, marketing, ad campaigns, copywriting, design.There’s a truckload of tribal knowledge we’ve accumulated; major decisions, gotchas, user feedback driven changes. Providing this to our agents manually every time is very mundane.We built Kilroy to solve this in a simple way: we...

( Read More... | no comments | on HN )
skill issue
that's a standard feature in cursor, windsurf, etc.
Re:There Are No New Ideas in AI Only New Datasets on Monday June 30, 2025 @03:23PM (#44426906)
this is what deepmind did 10 years ago lol
For a 100k token context window; all those models are comparable though

gemini 2.5 pro shines for 200k+ tokens

i didn't say they invented everything; in science you always stand on the shoulders of giants

i still think my original statement is fair

yeah, RLVR is still nascent and hence there's lots of noise.

> How can these spurious rewards possibly work? Can we get similar gains on other models with broken rewards?

it's because in those cases, RLVR merely elicits the reasoning strategies already contained in the model through pre-training

this paper, which uses Reasoning gym, shows that you need to train for way longer than those papers you mentioned to actually uncover novel reasoning strategies: https://arxiv.org/abs/2505.24864

so you think it's fake news? another example of a paper with strong claims without much evidence?
agree, the RG evals feel like a fresh breeze
> prolonged RL training can uncover novel reasoning strategies that are inaccessible to base models, even under extensive sampling

does this mean that previous RL papers claiming the opposite were possibly bottlenecked by small datasets?

> I personally think that Gemini 2.5 Pro's superiority comes from having hundreds or thousands RL tasks (without any proof whatsoever, so rather a feeling).

Given that GDM pioneered RL, that's a reasonable assumption

Abstract:

We introduce Reasoning Gym (RG), a library of reasoning environments for reinforcement learning with verifiable rewards. It provides over 100 data generators and verifiers spanning multiple domains including algebra, arithmetic, computation, cognition, geometry, graph theory, logic, and various common games. Its key innovation is the ability to generate virtually infinite training data with adjustable complexity, unlike most previous reasoning datasets, which are typically fixed. This procedural generation approach allows for continuous evaluation across varying difficulty levels. Our experimental results demonstrate the efficacy of RG in both evaluating and reinforcement learning of reasoning models.

Re:The Bitter Lesson (2019) on Monday June 02, 2025 @05:28AM (#44157083)
it aged well!
Very cool, reminds me of https://rehearsal.so/

which sort of interviews will you support?

Older »