Top
Best
New

Posted by albelfio 13 hours ago

Introducing System One Models and Jev(typesafe.ai)
1309 points | 382 commentspage 2
skerit 13 hours ago|
So in theory you could feed it incomplete text, and then ask it for the probabilities of what the next character could be?
mckngbrd 12 hours ago||
I think the joke here is getting missed
zenlikethat 11 hours ago||
Strings trigger us
CompleteSkeptic 12 hours ago|||
you could, but it the model is not optimized for text

this is complex, but generating text is highly complicated and requires mode dropping to make long cohesive text

vatsachak 13 hours ago|||
If you provide it an AST of the english language, yes.
iforgotmypasswo 6 hours ago|||
Or a partially completed song, asking for the next note. I’m not sure if you’re joking, but using it for space constrained next token generation within a grammar sounds like a really neat use case.
copperx 4 hours ago||
Feed the generated note back into the input for the next query and you have ... autoregression?
aghilmort 8 hours ago||
was wondering same
dgellow 13 hours ago||
Side note: it took me more time than I would like to admit to realize that Diogo Almeida isn’t a satirical version of the name Dario Amodei
bogzz 13 hours ago||
That would have to default to Wario Amodei.
clayhacks 12 hours ago||
I feel like should be Cario Amodei. The D to C flip a rotation of the M to W flip
Alpha3031 11 hours ago||
Flip both, Cario Vmodei.
jakintosh 13 hours ago|||
It wasn't until the demo videos that I realized the post wasn't satirical.
jdthedisciple 2 hours ago|||
thought the same lol
Aboutplants 9 hours ago||
Well now I’m rooting for them!
mushufasa 13 hours ago||
I would love for things like this to be accessible via hubs like open router or AWS bedrock. It's hard to justify adding new model vendors directly with all the heightened concerns about privacy and security, but if bold new capabilities are added to a centralized already-vendor like AWS, technical people can adopt them without going through a whole compliance/purchasing/vendor review process. And an extra middleman tax is well worth it when the cost savings of the model itself can be one-two orders of magnitude.
varenc 8 hours ago||
I think the trouble is that Typesafe APIs don't fit into the normal OpenAI-style API that every other regular LLM provider users. You're not just providing unstructured text and getting unstructured text back. It would take a different request and response format than every other model on Open Router. Though you could shoe-horn it in some way, it'd be hacky.

But agreed it'd be very useful to see it deployed on other hubs, and it seems worth it to provide the bespoke API format. Perhaps Typesafe's API will end up becoming the standard for a new type of structured model, the way OpenAI's API did.

anshumankmr 1 hour ago||
It can be shoehorned to work with OpenAI's newer Responses format.
cheeze 13 hours ago|||
Isn't openrouter the exact opposite of caring about security and privacy?

I guess you can choose your provider still? But isn't the point that the lowest bidder is doing inference?

ajmurmann 12 hours ago|||
You can set privacy requirements and define an allow list. To me the main value prop is that I get one bill for all models and can quickly try new models without signing up anywhere or changing my code. Oh! Also you can pass an array of models and if the first provider is down it automatically falls through to the next provider. More useful than it should be...
hobofan 2 hours ago||
That's still ultimately privacy by contract (where you have to trust the inference providers to uphold their end of the deal), rather than privacy by design.
LeBit 12 hours ago|||
I always setup guard rails so that only zdr providers are used.
CompleteSkeptic 11 hours ago|||
They don't like adding stealth startups :(
oblio 13 hours ago||
The thing is, in this climate it's hard to believe such tech will remain secret for long.

So, assuming this is not vaporware, this would raise the tide for everyone because it shows what's possible.

bregmandiv 10 hours ago||
I'm trying to parse it down to what we had before vs what is new here.

We already had encoder models that skipped text generation for giving us a numerical output that could be computed as a probability. we also got no hallucinations and faster inference for free there. So we already had

1. "unstructured state in, probabilistic decisions out" 2. "orders of magnitude faster and more efficient"

What was hard there was to train the model head without ML expertise, and considerable amount of data.

This seems like this is a democratization of those encoders? The addition over existing encoders seems to be coming from being able to specify the output shape (up to a cardinality of 255). It is unclear to me if this is possible using Jev without additional labels for fine-tuning.

If so, that is still very impressive, but I think the faster inference and 0 hallucinations might come for free, from it not being generative.

techn00 2 hours ago|
I can't see how this is different from a fine tuned LFM2.5 encoder
ramon156 13 hours ago||
This sounds good but so far all claims just sound like marketing terms. I'd love to see real proof. e.g. "RLCD" and "parallel sampling" have nothing to back it up.

also "70-500ms vs 3-329 seconds" are apples-to-oranges unless the LLM baseline is doing comparable work (e.g., long chain-of-thought). If Jev is skipping generation entirely for a narrow structured task, of course it's faster.

Nonetheless i want this to be true, so I'm looking forward to Jev

Edit: I really have to say that I like their manifesto https://typesafe.ai/manifesto

why_only_15 13 hours ago||
They have various benchmarks, e.g. how much time it takes them to do wikipedia page -> page games. Jev seems to take the same or fewer hops but in ~10x less time and for ~10x less money.

It's totally reasonable to compare against LLMs doing chain of thought if it gets comparable performance.

yunwal 8 hours ago|||
> If Jev is skipping generation entirely for a narrow structured task, of course it's faster

I think this is reasonable if people are actually using LLMs to solve this type of narrow structured task, which they are. The evidence is that every LLM provider has some method of forcing the output to conform to a json schema in their documentation.

CompleteSkeptic 12 hours ago|||
love that you love the manifesto! letting the first batches off the waitlist now, but we do have some early users describing their experience (https://x.com/danshipper/status/2099947471518474522)
varenc 5 hours ago||
Congrats ! Really excited for the team.
vatsachak 13 hours ago|||
It's not an LLM though it's a frontier model on structured data
BoorishBears 13 hours ago|||
Did you see the video where it plays Doom, it made it click for me
zergrush 3 hours ago|||
i've seen it play minecraft as well, what im not sure here is what is the thing that produces the JSON and keeps track of the objects

can jev play battlefield six for example

simianwords 13 hours ago|||
BTW it was not multi model playing doom, it was passing structured input and getting structured output. Its not what I thought: frames of video passed and real time game play.
yieldcrv 12 hours ago||
so what? put an LLM on Cerebras and get its responses faster, and put Jev on Cerebras and gets its responses even faster
bigglebear 8 hours ago||
> I really have to say that I like their manifesto

Their manifesto: "you only build on top of it if it's trustworthy." - the irony of this while putting out the most misleading, dishonest marketing campaign I've seen in months for their first public appearance doesn't exactly scream "trustworthy" to me.

alchemist1e9 8 hours ago||
What do you find dishonest?
padolsey 1 hour ago||
I think what this shows is how important branding and comms are. They've captured imaginations with their demos and nomenclature, despite the arguably non-novel architecture. One forward pass, read the embedding space, train some regressors on predicate structure, [??]
Otterly99 1 hour ago||
Always exciting to see people working on novel models, rather than the Nth version of the same slightly tweaked LLM.

I'm very curious how much ressources are needed to run such a model. This could be a complete game changer for local applications.

jawns 13 hours ago||
I could see this being fantastic for classification tasks. Last year I shifted from using LLMs for bulk data classification tasks (1M transcripts) to generating embeddings and categorizing based on cosine similarity. It saved a ton of costs and time, but wasn't as accurate as LLMs. This seems like it can give me Terra-level classification ability with the cost/speed I need.
copperx 4 hours ago||
This ought to work better than SpamAssassin, I'm sure
pjm331 12 hours ago||
yup just joined the waiting list with a very similar use case in mind
abeppu 10 hours ago||
I think this is a great direction -- for some kinds of users. And this makes me wonder if the 'vs' framing is misleading.

Yes, I think it's a mistake that many organizations are cramming LLMs inside of automated pipelines where the extreme generality/flexibility of the model is at odds with the fact that you're using it for a very specific task that gets repeated over and over, and needs a very specific structured output to be successful. But specifying your task carefully (as well as deciding what counts as your input state representation etc) seems like a form of programming. Something (a person or a model working in a relatively unrestricted way) will need to produce a configuration/specification for this system.

So rather than Jev vs Claude I imagine that using Claude/ChatGPT/whatever interactively to define / refine your Jev config which then runs in prod might be the happy combination?

wxw 12 hours ago|
> Input tokens: $0.042 / MTok ($42 per billion tokens).

> Output tokens: FREE (too cheap to meter).

Insane. The video demos are really compelling, in particular the speed.

> Structured outputs slot into ordinary software as fuzzy decision rules: classify, route, score, extract, or branch where hand-written logic is too brittle. The surrounding code constrains their freedom, making them easier to compose into reliable systems.

I buy this vision. A lot of LLM integration I see these days is ultimately exactly this. OpenAI-style structured outputs works decently but this would be a great improvement in cost, latency.

CompleteSkeptic 12 hours ago|
thanks a ton!

constrained decoding (OpenAI-style structured outputs) make models dumber unfortunately - the short+dense version is that simply masking logits is insufficient because if ever a model was assigning probability to an invalid token, the model is by definition confused. you'd be better off erroring IMO

More comments...