Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Introducing System One Models and Jev

typesafe.ai

Post reply on HN
Print view View original

81–90 of 512 posts

Re: Introducing System One Models and Jev

#81

Post by jacobgold »

First, congrats to the team on launching something genuinely interesting and new.

Seems like a more accurate title would be "Jev: Trading general purpose generation for fast typed inference" or something like that.

This is interesting, but the speed comparison seems misleading? A generative model that can output code in a Turing-complete language can do anything a computer can do.

Jev can only generate structured output, right? This is probably super useful for classification/routing/scoring, but it's nothing like the code generating models we're all using today for code and automation.

Also "can't hallucinate" seems wrong? Sure, it can't emit an invalid type, but it can still emit a completely wrong valid value. You can enforce structured output from an LLM too, with an appropriate harness, etc.

Assuming there's no funny business, the Doom demo is cool.

Re: Introducing System One Models and Jev

#82

Post by [deleted] »

CompleteSkeptic wrote: post #78
Gecko4072 wrote: post #48

Earlier quoted context omitted.

Can't tell if they're just having fun or if it is ai-generated. On the verge of not being able to tell. Voice sounds a little synthetic.

definitely not AI-generated - this is my real wardrobe we also thought the voice at the end was AI-ish, but apparently that's a real voice actor but slightly sped up

[deleted]

Re: Introducing System One Models and Jev

#83

Post by phenomen »

totallygeeky wrote: post #30

Woof, that page is hard to read. I don't understand what they've done to the way text is rendering but it's not great for my eyes.

If you zoom in (especially on the large title), you'll see that the text is a semi-transparent gray with a black internal outline. It seems like all the typography is SVG-rendered. Actually insane. I've never seen this before. Not even the most vibeslopped websites have that.

Re: Introducing System One Models and Jev

#84

Post by Escapado »

vatsachak wrote: post #13

It could be used for coding if you gave it an AST. If you work at TypeSafe please try this. Side note: This is probably how LLMs would perform with better encoders and next-latent prediction, so eventually those will beat this architecture out. Still amazing though.

I saw the CEO reply elsewhere in the comments to some other question. Maybe he can shed some light on it. My gut feeling is that this is non-trivial and they did not get this to work (yet?), otherwise I can’t come up with a good reason as to why they would not demo that as I assume half of the crowd here (myself included) would line up as customers.

Re: Introducing System One Models and Jev

#86

Post by Havoc »

Will need hands on to truly tell, but the doom demo seems very promising. If it can play that with text descriptions of where stuff is by distance and degrees in a 3D context then many GUI automation tasks should be easily doable

Re: Introducing System One Models and Jev

#87

Post by mokre »

adroitboss wrote: post #61

I am positive I know exactly how this works, I made something similar a few months back. But the problem is without generation you are extremely limited in the use cases. And while the model can't hallucinate, it can still be wrong. It just can't make up data.

That was the first thing that come into my head. OK I can train very simple model, that can generate json's for specific tasks, so what? How we can be sure that this "limited use cases" not just overfitting for particular outputs (or even distillation?)

Except this, this thing looks like revolution.

Re: Introducing System One Models and Jev

#89

Post by vatsachak »

Escapado wrote: post #84
vatsachak wrote: post #13

It could be used for coding if you gave it an AST. If you work at TypeSafe please try this. Side note: This is probably how LLMs would perform with better encoders and next-latent prediction, so eventually those will beat this architecture out. Still amazing though.

I saw the CEO reply elsewhere in the comments to some other question. Maybe he can shed some light on it. My gut feeling is that this is non-trivial and they did not get this to work (yet?), otherwise I can’t come up with a good reason as to why they would not demo that as I assume half of the crowd here (myself included) would line up as customers.

Yeah it would be quite trivial to try and implement an auto regressive AST generator for STLC with Jev provided that you had bounded variable names and integers.

As you said, if it worked, they would have demoed it haha

Re: Introducing System One Models and Jev

#90

Post by einpoklum »

albelfio wrote: post #2

https://x.com/completeskeptic/status/2099925682726002904?s=4... The doom demo is quite cool

But when their system is given the instruction "do not fire, simply dodge" - it doesn't "simply dodge", it actually gets close to the fleshy pink demon rather than keeping its distance. Or am I misunderstanding?
Post reply on HN