Top stories

Live mirror
30 storiesupdated 0s agoView source snapshot
  1. Introducing System One Models and Jev(typesafe.ai ↗)
    145comments
  2. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    154comments
  3. An Update on Wayback Machine Access(blog.archive.org ↗)
    128comments
  4. Jean-Pierre Serre is 100 years old today(st-andrews.ac.uk ↗)
    2comments
  5. German Rheinmetall open-sources its Battlesuite connected weapon system protcol(rheinmetall.github.io ↗)
    2comments
  6. Gemini 3.8 Live and 3.8 Live Extended Thinking(blog.google ↗)
    123comments
  7. We got admin access to Baseten's production GitHub in 25 minutes(strix.ai ↗)
    63comments
  8. Chopping up books when they're physically too big(mattkirkland.com ↗)
    58comments
  9. WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages(github.com/graafhenk ↗)
    19comments
  10. Building a Linux GPU Driver for the M4 Mac Mini in One Month(codyho.dev ↗)
    5comments
  11. Show HN: Capsule – Single-file web apps that save their data into SQLite(withcapsule.app ↗)
    110comments
  12. I can't stop thinking about Papua New Guinea(notnottalmud.substack.com ↗)
    386comments
  13. GEFS on OpenBSD: A Early Preview(marc.info ↗)
    43comments
  14. Vibe Coding is the new Internet Dating?(joecmarshall.com ↗)
    4comments
  15. Jiga (YC W21) Is Hiring Product Engineer (Remote/US)(jiga.io ↗)
    discuss
  16. The CSS Zen Garden dream, finally shipped(josprague.com ↗)
    46comments
  17. Suspected sabotage causes major Netherlands rail disruption(bbc.com ↗)
    371comments
  18. Let's make quality the norm again(forbrukerradet.no ↗)
    263comments
  19. Cartesian – AI 3D Modeling for Design(formas.ai ↗)
    62comments
  20. Show HN: Hacking a $20 4G wireless hotspot into a texting device(bkovac.github.io ↗)
    29comments
  21. A single firm is behind OpenAI, Anthropic, and Meta hacking scandals(effort.news ↗)
    125comments
  22. How much oil-market buffer is left?(depletion.org ↗)
    95comments
  23. The Inference Hardware Revolution of 2026(ieee.org ↗)
    7comments
  24. Giving up on smart rings(notesbylex.com ↗)
    114comments
  25. The Two MMLU Scores: What a Benchmark Name Does Not Fix(zatona.dev ↗)
    discuss
  26. Java 27(openjdk.org ↗)
    260comments
  27. Most people prefer traditional architecture(worksinprogress.news ↗)
    169comments
  28. America's Driver's License Breach Is a National Security Disaster(lawfaremedia.org ↗)
    129comments
  29. US confirms for first time it has deployed space weapons(bbc.com ↗)
    280comments
  30. 25 years of mass surveillance is enough(schneier.com ↗)
    250comments

Introducing System One Models and Jev

375 pointsby 2h agotypesafe.ai
145 comments
1h agoHN ↗

The doom video is also in the article itself (headline: "Doom").

I suppose this is the same video as the one from the parent comment, but I don't know for sure - I don't have a twitter account and the above link doesn't work for me.

1h agoHN ↗

I linked to the tweet that has the video because if you are not signed in you cannot see the whole thread of tweets.

I can see the individual tweets in the browser while not signed in though.

1h agoHN ↗

The doom demo is also in the article, for anyone that doesn't want to go to X.com. :)

1h agoHN ↗

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?

23m agoHN ↗

i think its just telling the model that it cant output a shoot action

1h agoHN ↗

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

1h agoHN ↗

It wasn't until the demo videos that I realized the post wasn't satirical.

1h agoHN ↗

That would have to default to Wario Amodei.

1h agoHN ↗

I feel like should be Cario Amodei. The D to C flip a rotation of the M to W flip

1h agoHN ↗

Wild that it doesn't generate text. I wonder how its technology compares to Tesla's FSD stack.

1h agoHN ↗

Signed up for the beta! :) would love to put this through some real-world shootouts against traditional LLMs to see where this type of model really excels.

I’m guessing it might be able to replace maybe 40-70% of LLM calls for a given pipeline depending on the business task, cutting the API costs on those calls by an order of magnitude.

1h agoHN ↗

Extraordinary claims require extraordinary evidence so see below for the receipts.

Yes, that’s the kind of attitude I want to see in these model releases

1h agoHN ↗

Indeed, they talk as skeptics but don’t offer a ton of evidence, other than a couple videos of demos. A live demo would be far more convincing.

1h agoHN ↗

They gesture at not using benchmarks for some reason...

36m agoHN ↗

https://typesafe.ai/blog/antibenchmaxxing

But also effectively this is a classification model. It excels at specific certain types of workloads, and obviously will fail at others. Not really sure how one benchmarks this tbf. I can see their argument on why this requires a novel specific eval for whatever your usecase is. A consistent "global" benchmark might be hard to do

1h agoHN ↗

The whole video seemed generated to me

1h agoHN ↗

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.

1h agoHN ↗

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

1h agoHN ↗

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.

1h agoHN ↗

I've implemented tree-sitter in pi before, and while it works, I have no real proof it saves me tokens, or is more accurate. I think a better implementation is a model that's trained for AST's, not just "use tool, see what happens".

I'd love to do research on this when I have the time.

1h agoHN ↗

Cool project!

That's what I was insinuating through "better encoder"; the model creating more efficient representations of ASTs using something like JEPA

1h agoHN ↗

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.

1h agoHN ↗

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

39m agoHN ↗

the hard part for coding is actually state engineering (e.g. getting your dependencies in context) - we haven't even tried it yet (because my philosophy is we should automate the easy tasks before the hard and we've been working on getting the model smart on the former)

we do think there's a lot of potential though and do want coding themed releases soon

28m agoHN ↗

I could see Jev being great at finding key symbols in codebase before a code generation/code review task. I sent you guys an email (to hello@) about using Jev in Code Review for www.ellipsis.dev.

1h agoHN ↗

This sort of stuff almost sends shivers down my spine, it's like i'm looking 5 years into the future.

1h agoHN ↗

I could put this to use today.

I think we'll see a bunch of different architectures over the next five years.

1h agoHN ↗

They never show exactly how they use it? Only a bunch of animations of it 'working'. Would like to see the actual code used for the demos!

1h agoHN ↗

The doom demo shows the program state / query.

1h agoHN ↗

Super intrigued by this - large scale automation using LLMs is quite annoying due to deprecation cycles of models from frontier labs and cost of running your own being prohibitive when you have a blend of them.

1h agoHN ↗

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.

1h agoHN ↗

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.

1h agoHN ↗

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?

1h agoHN ↗

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...

58m agoHN ↗

I always setup guard rails so that only zdr providers are used.

13m agoHN ↗

They don't like adding stealth startups :(

1h agoHN ↗

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

1h agoHN ↗

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.

1h agoHN ↗

It's not an LLM though it's a frontier model on structured data

1h agoHN ↗

Did you see the video where it plays Doom, it made it click for me

1h agoHN ↗

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.

1h agoHN ↗

so what? put an LLM on Cerebras and get its responses faster, and put Jev on Cerebras and gets its responses even faster

1h agoHN ↗

[others] Output tokens: ~5x more expensive than input tokens.

[them] Output tokens: FREE (too cheap to meter).

I'm very confused by this.

1h agoHN ↗

They're not doing autoregression, so all the outputs are computed in one big forward pass. Very cheap.

1h agoHN ↗

I think OP is confused about "others" vs "them".

1h agoHN ↗

they’re talking about two totally different things, right?

1h agoHN ↗

it's our output tokens that are free (under the system one / jev column)

1h agoHN ↗

What is it about the rendering of this page that is so... off? It almost looks like the entire thing is a <canvas> element.

edit: looks like a framer export where there is a text stroke being applied :|

1h agoHN ↗

Why did they pick the name System One? It's not really explained what "System One tasks" and "System One shaped queries" are. Things that need a fast response?

Does this imply it's a very small model? I couldn't find anything about the model itself.

1h agoHN ↗

Bingo. It's a Psychology term for the part of our brain that reacts instinctively rather than thoughtfully and logically

1h agoHN ↗

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.

1h agoHN ↗

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.

1h agoHN ↗

We deliberately chose not to publish performance against public benchmarks. In fact, we plan to only have one-off evals when we make product updates.

lol, I bet they would publish them if their score on those benchmarks were good.

1h agoHN ↗

"is this the real thing or is just fantasy"

1h agoHN ↗

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.

1h agoHN ↗

yup just joined the waiting list with a very similar use case in mind

1h agoHN ↗

So is it a structured data-based language model? Or is there a model and a harness? Hopefully they’ll open up and explain more.

1h agoHN ↗

it is just a model, no harness yet ;)

it is a structured data model, but technically not a language model (it doesn't generate language)

1h agoHN ↗

So in theory you could feed it incomplete text, and then ask it for the probabilities of what the next character could be?

1h agoHN ↗

If you provide it an AST of the english language, yes.

1h agoHN ↗

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

1h agoHN ↗

It looks like a specialized encoder-only(-ish) transformer with scalar and ordinal output heads. Acausal in effect, maybe? Probably not even autoregressive?

I'd use this as a tool an LLM can use for specialized tasks. It's not AI in itself.

1h agoHN ↗

If this is true means, AI Stock bubble burst. (For good)

1h agoHN ↗

It seems like the docs[0] are a better explanation? The comparison to llm tokens is kinda confusing.

It looks like the model takes as input a state (structured text? not sure if multi-modal) and a question (as a "Choice", "Score", or "Noul") with some additional augmentations possible. Then outputs the question's answers as appropriate (e.g. a choice, accompanying probabilities, confidence).

Edit: On the AI primer page, it looks like they do the RLCD on a pre-trained base model?

[0]:https://docs.typesafe.ai/concepts/system-one

1h agoHN ↗

CEO here - that is right!

I do agree that the comparison to LLM tokens is hard to understand (also because output tokens are not comparable).

But yes, text or structured state (like a JSON with multiple pieces of text in) -> decisions out (e.g. choice maps to "match" statement, "score" maps to sorting, "noul" short for bernoulli maps to if-statements)

53m agoHN ↗

I see this super interestingly as the "subconscious" to the llms "conscious" for lack of better terms. I'm super interested in this for broad and rapid decision making in the context of consumer agents so will be signing up for sure.

51m agoHN ↗

Hi - first congratulations, System One looks really promising.

The Doom demo really help me, at least, to understand how System One differs from LLMs. However the first demo (Side-by-side demonstration) - I'm struggling to understand what is going on here!

50m agoHN ↗

here is how I attempted to explain it to my company's AI group chat, is this roughly accurate?

"instead of autoregressive string output it instead outputs structured type-safe 'decisions' with probabilities/confidence scores, each generated in parallel

so sort of more like a Large Classification Model than a Large Language Model? or, maybe better to think of it as a sort of "shift left" in the LLM's transformer architecture, allowing you to replace the predefined token vocabulary of an LLM with a prescribed set of 'decisions' that need to be made based off the input context; and exposing those probabilities directly so they can be integrated into the system logic, instead of just sampling from top-K.

all of this while still being instruction-tuned (!!!)"

It's always been possible to build classification pipelines using LLM embeddings as the input. seems like this is a much more sophisticated / useful application of that concept

15m agoHN ↗

very accurate!

the one nuance I'd get into is I'd call it "zero-shot" over "instruction-tuned" (the latter often implies a particular distribution), but very safe for sharing

47m agoHN ↗

For many day-to-day computing use cases, Jev seems far better suited than an autoregressive language model, if for no other reason than it is not wasting compute thinking about anything other than how to spit out a decision.

Do you have an architectural explainer yet for Jev or are you holding that close to your chest and letting the magic rip for now?

1h agoHN ↗

the model takes as input a state (structured text? not sure if multi-modal)

Input, and criteria/instructions can both be defined as structured input (JSON). This ends up being pretty powerful because the model is trained to understand structure.

e.g.: https://docs.typesafe.ai/primitives/advanced#structured-inst...

not sure if multi-modal

just JSON... for now :)

outputs the question's answers as appropriate

correct!

51m agoHN ↗

I assume this isn't really for consumers/individuals currently? Kinda feels like an improved magic 8 ball.

I can't really intuit how I should think about when the model will be accurate. Is there somewhere to read more about that? I assume customers would just have some tests or talk to you.

1h agoHN ↗

If this is true, then AI Stock Bubble burst (for Good)

1h agoHN ↗

Is the tradeoff of the parallel output that we don't get arbitrary string generation? like output # of tokens is fixed ahead of time?

Either way, really cool and impressive.

1h agoHN ↗

Outputs

LLMS > Strings / generated text. Strings are flexible and can be anything: chat responses, code, hallucinations, refusals, or even type-safe structured values. To be used by software, responses need to be parsed + validated. There is also always some risk that the AI goes off the rails.

Jev > Type-safe structured values. Possible outputs and structure are defined in advance. The model never makes type errors. All answers are accompanied with calibrated probabilities and confidence scores.

I mean, this isn't even remotely comparable to LLMs so why compare? Also, why are they bringing up AGI given there approach is so restrictive that what they're building literally cannot have the creativity required for AGI? The video is 100% marketing slop...

The bulk of the application of LLMs is that they generate reasonably reliable text which doesn't need to be defined in advanced. I'm sure there is a niche for this and congrats to the team, but please let's not hype this as if it's the next big thing in AI...

1h agoHN ↗

Parallel inference where you don't want a subagent seems niche. But there is a lot of random things where businesses ultimately want some kind of score instead of generating something.

I think the interesting thing would be seeing if prompt injections still work with this kind of model.

1h agoHN ↗

we have played with this! the fascinating thing we've found so far is that adversarial examples for our model are quite different from that of LLMs so that they work even better together

1h agoHN ↗

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.

1h agoHN ↗

Are you able to share how it works in that case?

33m agoHN ↗

I'll tell you this. Output isn't too cheap to meter, there is no decoder.

26m agoHN ↗

So an encoder-only model with a classifier trained on the heads or something? DeepSeek recently switched to an encoder-decoder architecture in an attempt to get the best of both worlds (fast prefill while preserving generation capability), I wonder if that might be the future?

1h agoHN ↗

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.

1h agoHN ↗

oooooh it can play Doom!

forget LLM benchmaxxing sidequests, I'm sold on the real benchmark

1h agoHN ↗

This puts the human even more out of the loop I'll guess?

1h agoHN ↗

Funny how it can do everything but not chat. Sort of how when I was a kid I thought of a medicine that could cure any disease except the common cold.

1h agoHN ↗

This is basically a zero-shot classifier that can accept raw text (or structured text) as an input, and is able to classify that text as accurately (they claim) as a frontier-level LLM. I have workflows this would be useful for, looking forward to it showing up on OpenRouter.

1h agoHN ↗

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.

55m agoHN ↗

Jev can only generate structured output, right? This is probably super useful for classification/routing/scoring,

My first thought was that it would be ideal for robotics? As in control of limbs, general planning, route finding, etc.

52m agoHN ↗

When they say "can't hallucinate" they mean they produce a confidence value for every result, so you could see for example it has 0.1 confidence, and you can disregard the result - that'd be different from hallucinating where it believes it's correct

46m agoHN ↗

that's right, but because these models are probabilistic, it's also possible to be confidently wrong (and all future models will be smarter still and still have that possibility)

44m agoHN ↗

Technically speaking when you send the prefix “The capital of France is “ into an LLM it will also produce probabilities across its whole vocabulary.

47m agoHN ↗

I'm biased but I wouldn't call it misleading - generating text is super awesome and flexible, (we describe that in the blog post - and I personally use string models all the time) but it's true you pay a high tax for autoregressive generation

Also "can't hallucinate" seems wrong? Sure, it can't emit an invalid type, but it can still emit a completely wrong valid value.

that is likely true of all ML! perhaps we could debate semantics, but I don't think it's fair to say a random forest "hallucinates" in the way LLMs do

40m agoHN ↗

From a quick look at this it looks like it could easily generate natural language text by following a structured representation like UMR (Uniform Meaning Representation) or the similar representation the Abstract-Wikipedia folks will be working on for generic encyclopedic text (which will be heavily informed by Universal Dependencies). These are basically linguistically principled and frame-based counterparts to a programming language AST, that can be then converted to natural language (in a broadly language-independent way, to the extent that semantics and pragmatics make that feasible) via some sort of NLG rendering.

(To be clear, this one raw model does not support outputing a full AST directly - it wants to output "choice" among fixed options, "score" on a sliding scale, or a true/false answer (all of these with confidence scores attached), so building the AST/structure would be a code-driven (or even perhaps outside LLM-driven in some more challenging cases) multi-step affair where the model would essentially be playing a "game" of building the structured output step by step and getting a revised partial state back. But one could expect this to lead to interesting results.)

38m agoHN ↗

Just to be sure that I understand, you're saying that your model "can't hallucinate" because it only outputs a single thing, right? In this way, an LLM can't hallucinate either if I prompt it to do a classification task with a discrete set of possible outputs, right? (Assuming I reject non-conforming output. Actually, maybe what you're saying is that your system can't output non-conforming output?)

31m agoHN ↗

I'm biased but I wouldn't call it misleading

- @CompleteSkeptic

Very strange.

26m agoHN ↗

His claim was that the title is misleading, not sure how it's relevant to that claim that you use "string models" (full LLMs).

The original title before it changed less than an hour ago was:

"Jev: New frontier model 40-400x cheaper and 20-200x faster"

I'm going to agree that was misleading.

And on the second point:

>Also "can't hallucinate" seems wrong? Sure, it can't emit an invalid type, but it can still emit a completely wrong valid value.

>that is likely true of all ML! perhaps we could debate semantics, but I don't think it's fair to say a random forest "hallucinates" in the way LLMs do"

Also going to disagree here, and I don't think it's semantics.

Type safety is not factual correctness.

17m agoHN ↗

Type safety is not factual correctness.

I very much agree with this and want to hone in on where do actually disagree. Would you say a linear classifier hallucinates?

6m agoHN ↗

Hallucinations were defined in the context of text generation models so your question does not really make sense.

IMO your system can make mistakes that are similar in spirit to hallucination (i.e. answering with a false answer instead of abstaining to answer).

46m agoHN ↗

I don’t think it’s misleading if you compare on the use cases they suggested. It’s faster and cheaper (no idea if higher quality), so it’s immediately interesting for certain things.

And if you buy their RLCD claims, this might be even better than huge models that know a bunch of irrelevant things.

9m agoHN ↗

What was misleading was the original title:

"Jev: New frontier model 40-400x cheaper and 20-200x faster"

I'm not the gatekeeper of who gets to call themselves a frontier model, but I don't think most people would count Jev in that group. It sounds false.

If their specific claims hold up, then it would make more sense to say something like:

"Advanced the speed/cost frontier for structured decisions"

1h agoHN ↗

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

1h agoHN ↗

Can this be used in practice to write code?

59m agoHN ↗

What's the difference compared to just taking an embedding and feed forward a simple net trained for the task?

59m agoHN ↗

After much fumbling around with prompts and evals, this is exactly how I am using LLMs in production, to narrowly make choices and return structured data. Any deterministic work gets pulled out of the prompt and my goal is to narrow the model output to be as clearly defined and as minimal as possible.

Jev's focus on structured I/O and confidence scores are game changing. If this does at all what it claims, I think this is going to quickly become the new standard approach for agentic systems.

38m agoHN ↗

we hope so! the bigger hope is to not just eat LLM market share, but to allow for people to use AI much more in the inner loop of software

57m agoHN ↗

Congrats on the release!

Finetuning a language model for decision classification (with probabilities) is already well-understood. What specifically changes in the training objective with RLCD? Are its benefits isolated from Jev’s new architecture/parallelism?

55m agoHN ↗

Interesting concept, I can't see a reason to use a generalist classifier over an api rather then just training my own? If it was open weights I would probably mess around with it.

51m agoHN ↗

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.

41m agoHN ↗

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

49m agoHN ↗

If I’m understanding correctly, this will work well for self driving cars?

47m agoHN ↗

I’m not understanding what this is. It’s a faster cheaper LLM?

42m agoHN ↗

Is there a downloadable technical report somewhere?

34m agoHN ↗

I was thinking about something similar (maybe) - generally speaking, embeddings for LLMs tend to learn real world concepts - things like 'fruit' or 'France' or 'city' as directions in embeddings.

But in things like programming, most concepts are abstract - 'if hungry eat an apple' in programming terms would look like

'if hunger > 50 {apples--; hunger-=30;}'

and compilers work with 'concept erasure' - to them, tokens (which are like llm tokens) look like

'if var1 > 50 {var2--;var1-=30}'.

They don't care about how these things map to real concepts. So all the embedding directions used to encode real-world concepts are just noise to LLMs when programming. This greatly reduces dimensionality and training costs. So does a token representation tuned for programming constructs, rather than natural language would probably have a more efficient encoding.

28m agoHN ↗

Current models go beyond the simple embedding because you start to encode groups of concepts in the context-aware part of the model (attention heads or any other method). So it is never simply words/tokens in isolation anymore.

33m agoHN ↗

Okay, so it doesn't output text, that much is understood. What are the inputs like? I'm assuming maybe a text input? maybe an AST definition? Really hard to tell how this works at all from the demos, especially since we can't really try it out.

19m agoHN ↗

inputs are structured program state. there is an example at around second 30 of the doom demo

(though ideally everyone gets off the waitlist and can try it out for themselves )

28m agoHN ↗

This is a good product but the naming/branding is pretty unfortunate.

Typesafe.AI sounds like some typescript/structured output type of tool…

What even is “system one” ?

IMO the product/tech is really there, just needs better communication.

26m agoHN ↗

I mean, it's a structured output model that (apparently) can't hallucinate. I don't mind the name.

23m agoHN ↗

A question I have, with the type { output: string }, would the model not become a LLM? And if it does, shouldn’t it cost the same as a LLM for output?

17m agoHN ↗

I don’t see this as an option in their website

You could theoretically ask “what is the next appropriate character?” and add the entire ascii charset but i doubt it’d work well and you’d be implementing autoregressive churn across network latency…

13m agoHN ↗

strings (and all sequential data structures) are not allowed at all - this is how we make sure all outputs can be computed in parallel (thus no output token cost)

22m agoHN ↗

"While Jev gives up string generation, it’s optimized for structured outputs and can’t hallucinate"

Ouh! Any open weights models that can do this yet?? If not, how much longer? I have a Mac Studio coming soon.

16m agoHN ↗

what is the…epistemic status, for lack of a better way to put it, of the probabilities? what do they mean? what (probabilistic) guarantees do we have about, say, the responses to

- is the capital of france paris?

- it is august. is it raining in paris?

(forgive the examples; they're probably not semantically the sort of thing jev is trained to work on. but i figure the point translates to various kinds of questions that come up in "inner loop of agentic pid controller" contexts)

a normal text-generating model if asked to produce a number will also do that just fine. i assume in jev's case it was actually rled to essentially learn to express priors over things using its implicit world model, which definitely ought to help, but can we say more?

13m agoHN ↗

The technology and the results are very handwavy. What is RLCD exactly ? What are scores on benchmarks compared to LLMs ?

This website does not inspire confidence at all, it all sounds like a marketing piece. I wish it was true, some kind of text-prompted classifier with LLM performance would be cool, but I can't trust it with what we are given.

6m agoHN ↗

Doom demo is beyond impressive, even scary