ehsanu1

10 ms·

31.
by ehsanu1 11mo ago
This seems like a good template to generate synthetic data, with positive/negative examples, allowing an embedding model to be aligned more semantically to underlying concepts. Anyways, I'd hope reranking models do better, have yo
32.
by ehsanu1 11mo ago
Do you assign different responsibilities to different LSP servers when there multiple I suppose?
33.
by ehsanu1 11mo ago
Using Research->Plan->Implement flow is orthogonal, though I notice parts of those do exist as skills too. But you sometimes need to do other things too, e.g. debugging in the course of implementing or specific techniquws to improve b
34.
by ehsanu1 1y ago
Seeing some stats would be fun. I wonder what the amount of data is here. And the distribution would be interesting too, especially since some pages are archived at multiple points in time, and pages have been getting heavier these days.
35.
by ehsanu1 1y ago
I see no conflict between AGPL and SaaS: https://opensource.stackexchange.com/a/12988
36.
by ehsanu1 1y ago
Are these actually different models vs just different names from the open weights releases?
37.
by ehsanu1 1y ago
I'm reading: the difference is that this is an agent as a judge rather than an LLM as a judge, paired with more structured judging parameters. Is that right? Is the agent just a loop over each criterium, or is it also reflecting someho
38.
by ehsanu1 1y ago
I believe that's exactly the point: it's too easy to violate constraints like not allowing multiple mutable references. Unsafe is meant for cases where the validity of the code is difficult to prove with rust's lifetime analy
39.
by ehsanu1 1y ago
It's hard to attribute PR merge rate with higher tool quality here. Another likely reason is level of complexity of task. Just looking at the first PR I saw from the github search for codex PRs, it was this one-line change that any too
40.
by ehsanu1 1y ago
Where I work, our legal department requires making use of LLMs only through our own contractual relationships with model providers. Given that, BYOK is table stakes for me at least. Litellm is what we use internally, so we can support any L
41.
by ehsanu1 1y ago
gVisor
42.
by ehsanu1 1y ago
There seems to be a couple of field-specific journals of negative results for similar purposes. It seems like there should be value in citing negative results to inform current research. Perhaps if there were more journals dedicated to this
43.
by ehsanu1 2y ago
It's the other way around on their new SWE-Lancer benchmark, which is pretty interesting: GPT-4.5 scores 32.6%, while o3-mini scores 10.8%.
44.
by ehsanu1 2y ago
IMO just a rolling message history works for only the simplest of AI tools. Useful agents will tend towards much more complex state that extends into specific verticals/domains.
45.
by ehsanu1 2y ago
Essentially, you don't need to think about time and space. You just write more or less normal looking code, using the Temporal SDK. Except it actually can resume from arbitrarily long pauses, waiting as long as it needs to for some sig
46.
by ehsanu1 2y ago
Temporal makes this easy and works great for such use cases. It's what I'm using for my own AI agents.
47.
by ehsanu1 2y ago
What does Jetstream lack wrt queues/persistence?
48.
by ehsanu1 2y ago
That was my initial position too, but I think there is a search efficiency story here as well. CoT comes in many flavors and improves when tailored to the problem domain. If the LLM can instead figure out the right strategy to use to proble
49.
by ehsanu1 2y ago
It's due to how the RLHF and instruction tuning was done. IIRC, even the builtin system prompt works this way in ChatGPT.
50.
by ehsanu1 2y ago
How much extra state and computation is it per token exactly? Can we account for the improvement in just those terms?
51.
by ehsanu1 2y ago
I've only read the abstract, but also find this strange. I wonder if this is just tapping into the computational chains that are already available when tokens are further away, due to the positional encodings being trained that way. If
52.
by ehsanu1 3y ago
I've used usearch successfully for a small project: https://github.com/unum-cloud/usearch/
53.
by ehsanu1 3y ago
What kind of best case are you imagining? I don't quite understand why the very best case would be dystopian.
54.
by ehsanu1 3y ago
Has the title of the paper changed from what it was initially? It says "Have we built machines that think like people?" now, whereas the HN title is "Large language models lack deep insights or a theory of mind".
55.
by ehsanu1 3y ago
If it works, and it's a one-off script, why do I care?
56.
by ehsanu1 3y ago
I've had it fail to get a basic regex right, but simultaneously, found it able to model my custom problem using the z3 constraint solcing framework, which I'd have struggled to do myself. Regular expressions are probably harder fo
57.
by ehsanu1 3y ago
That seems tied to Vite though?
58.
by ehsanu1 3y ago
Play is every child's way to learn about the world after all, and it works amazingly well.
59.
by ehsanu1 3y ago
Source? I do see this note in the link: > Please note that it is advised to avoid using the Hugging Face fast tokenizer for now, as we’ve observed that the auto-converted fast tokenizer sometimes gives incorrect tokenizations. If you
60.
by ehsanu1 3y ago
Sounds like you want something like tree of thoughts: https://arxiv.org/abs/2305.10601

More ›