3 ms·

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 “sy

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.

toddmorey 17d ago
I mean, it's a structured output model that (apparently) can't hallucinate. I don't mind the name.
- flyinglizard 17d ago
  It can't hallucinate, but it doesn't mean it can't make wrong decisions. Just because it adheres to a specific output format at all time, while LLMs have the output format at their mercy, then the claim of not hallucinating is made technically true. I think that this specific part is not super interesting if your harness just recovers from invalid LLM outputs. The latency and cost - yes, those are super interesting.
  - mhitza 17d ago
    You can get rigid output format from "classic" LLMs https://docs.vllm.ai/en/latest/features/structured_outputs/ https://docs.vllm.ai/en/latest/features/structured_outputs/ though model support is limited. Would like to have something like in the original post but open weights.
zenlikethat 17d ago
The model can't reason comprehensively (e.g., like Sol XHigh would to solve a complicated problem), but it's designed to be able to answer anything a human reasonably could quickly and intuitively, i.e., system one thinking: https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow
- vintermann 17d ago
  I wonder how well it can play chess, or go.
  - leo4242 15d ago
    I was wondering the same! So I asked Astra to build me https://jev-chess-master.vercel.app/ https://jev-chess-master.vercel.app/ where you play against Jev AI as chess player. You play White, and Jev plays Black. Rather than asking an LLM to generate move strings or JSON, the backend feeds all server-validated legal candidate moves into Vercel AI SDK's experimental_evaluate(). Jev picks Black's move and outputs its probability distribution across all legal candidates in a single forward pass (~300ms, ~$0.00004/move). Github link: https://github.com/qibinlou/jev-chess https://github.com/qibinlou/jev-chess Give a try and let me know your thoughts! I am having lots of fun coming up with different chess strategies for Jev to try out.
    - haute_cuisine 13d ago
      Thanks for the demo. It plays very bad and blunders pieces on every move.
wging 17d ago
I had a different initial confusion - it seems this company has no relation to the company formerly known as Typesafe https://en.wikipedia.org/wiki/Akka.io https://en.wikipedia.org/wiki/Akka.io
salicideblock 17d ago
> What even is "system one" I definitely agree it's underexplained in type safe.ai's materials. I have to assume it's a reference to the fast, heuristic, intuitive "system 1" process in humans, as opposed to the slow, procedural, reasoning "system 2". This theory is recognized, among others, in Daniel Kahneman 2002 Nobel prize on Economics.
- ostacke 17d ago
  You are correct, they state that on their website.
ArafatMu 12d ago
Struggled to understand the use case till after i came across this https://eu.36kr.com/en/p/3991165197188099 https://eu.36kr.com/en/p/3991165197188099 article, which referred to them as the "referee for agents."

toddmorey 17d ago

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

flyinglizard 17d ago
It can't hallucinate, but it doesn't mean it can't make wrong decisions. Just because it adheres to a specific output format at all time, while LLMs have the output format at their mercy, then the claim of not hallucinating is made technically true. I think that this specific part is not super interesting if your harness just recovers from invalid LLM outputs. The latency and cost - yes, those are super interesting.
- mhitza 17d ago
  You can get rigid output format from "classic" LLMs https://docs.vllm.ai/en/latest/features/structured_outputs/ https://docs.vllm.ai/en/latest/features/structured_outputs/ though model support is limited. Would like to have something like in the original post but open weights.

zenlikethat 17d ago

The model can't reason comprehensively (e.g., like Sol XHigh would to solve a complicated problem), but it's designed to be able to answer anything a human reasonably could quickly and intuitively, i.e., system one thinking: https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow https://en.wikipedia.org/wiki/Thinking,_Fast_and_Slow

vintermann 17d ago
I wonder how well it can play chess, or go.
- leo4242 15d ago
  I was wondering the same! So I asked Astra to build me https://jev-chess-master.vercel.app/ https://jev-chess-master.vercel.app/ where you play against Jev AI as chess player. You play White, and Jev plays Black. Rather than asking an LLM to generate move strings or JSON, the backend feeds all server-validated legal candidate moves into Vercel AI SDK's experimental_evaluate(). Jev picks Black's move and outputs its probability distribution across all legal candidates in a single forward pass (~300ms, ~$0.00004/move). Github link: https://github.com/qibinlou/jev-chess https://github.com/qibinlou/jev-chess Give a try and let me know your thoughts! I am having lots of fun coming up with different chess strategies for Jev to try out.
  - haute_cuisine 13d ago
    Thanks for the demo. It plays very bad and blunders pieces on every move.

wging 17d ago

I had a different initial confusion - it seems this company has no relation to the company formerly known as Typesafe https://en.wikipedia.org/wiki/Akka.io https://en.wikipedia.org/wiki/Akka.io

salicideblock 17d ago

> What even is "system one" I definitely agree it's underexplained in type safe.ai's materials. I have to assume it's a reference to the fast, heuristic, intuitive "system 1" process in humans, as opposed to the slow, procedural, reasoning "system 2". This theory is recognized, among others, in Daniel Kahneman 2002 Nobel prize on Economics.

ostacke 17d ago
You are correct, they state that on their website.

ArafatMu 12d ago

Struggled to understand the use case till after i came across this https://eu.36kr.com/en/p/3991165197188099 https://eu.36kr.com/en/p/3991165197188099 article, which referred to them as the "referee for agents."