Daily Tech Feed: From the Labs

Deep dives into foundational AI and ML research papers

63: Jev and the System One Model: A New Calling Convention

TypeSafe AI came out of two years of stealth on 15 September 2026 with a model called Jev and a category name they coined for it, the System One Model, and the interesting thing they shipped is not a new kind of intelligence but a new way of calling one. Inste...

Show Notes

Episode 0063: Jev and the System One Model: A New Calling Convention

Episode 0063 | DTF:FTL | September 2026

Why it matters. TypeSafe AI came out of two years of stealth on 15 September 2026 with a model called Jev and a category name they coined for it, the System One Model, and the interesting thing they shipped is not a new kind of intelligence but a new way of calling one. Instead of chat(messages) returning a string, you get a function of state and questions returning typed values with calibrated probabilities on them: one blob of state, many isolated typed questions, one parallel pass, no strings ever. Three primitives carry it. Choice picks one of up to 255 supplied options and returns the whole probability vector plus a confidence scalar; Score returns a continuous value against labelled anchors; Noul returns a Bernoulli, with no separate confidence field because for a Bernoulli the probability is the confidence. Questions are evaluated in parallel and in isolation against the same state, so latency is roughly flat in the number of questions and question twelve cannot be contaminated by question three, and the price of that isolation is that composition moves into your code. The efficiency result is real and needs none of the marketing around it: on TypeSafe's own published workflow eval Jev scores 67.8 percent overall, exactly tied with sonnet 5 and 6.3 points behind the leader sol at 74.1, at four ten-thousandths of a dollar and four tenths of a second per case against sonnet 5's twelve cents and 78 seconds, which is 293 times cheaper and about 195 times faster at identical accuracy. The same eval contains the clean demonstration of where the thesis breaks, published voluntarily and un-headlined: Invoice Processing at 61.8 percent against 79.1, a 17.3-point gap where every other gap is two to five points, on the one workflow that is multi-hop arithmetic across three documents. Two academic literatures arrived at this interface first, and the episode walks both: grammar-constrained decoding from May 2023 through Outlines, llama.cpp grammars, OpenAI Structured Outputs and XGrammar, which had made guaranteed-valid structured output free on a laptop for three years and four months before Jev launched; and the schema-driven encoder line from GLiNER to the GLiNER bi-encoder, which published the fix for Jev's most-complained-about limit, the 255-choice ceiling, seven months earlier. An Apache-2.0 model shipped an overlapping guarantee at 74 million parameters the same afternoon and got a twenty-sixth of the attention, and somebody approximated the interface on a laptop within hours. What nobody open has shipped is the calibration training, which is the only genuinely hard-to-copy part of this, and the company named after calibration published no calibration measurement of any kind, no expected calibration error, no reliability diagram, no Brier score, no log loss. The last two chapters take the robotics reading seriously enough to read a datasheet: a twenty-dollar optical flow sensor returns delta-x, delta-y, a surface quality metric and a shutter value, is blind below 80 millimetres, drifts without bound and cannot be converted to millimetres without a rangefinder, and in every shipped vision-language-action system the slow semantic layer is buffered behind something fast and local. Jev does not supply that layer and does not claim to; TypeSafe make no robotics claim at all, and the robotics reading is ours.

Every claim in this episode inherits the evidence tag it carried in the three research dossiers, and no tag was upgraded. Jev is waitlist-gated early access: nobody on our side made an API call, so every figure about Jev itself is a figure TypeSafe published. The latency band of 70 to 500 milliseconds, the input price of $0.042 per million tokens and the 32k context window are REPORTED, not independently verified. Ethos pass against c4573.org recorded in scripts/ETHOS-PASS.md.


The launch

  • Launch post, "Introducing System One Models and Jev": https://typesafe.ai/blog/introducing-system-one-models-and-jev
  • Docs, introduction: https://docs.typesafe.ai/introduction.md
  • Docs, the System One concept: https://docs.typesafe.ai/concepts/system-one.md
  • Docs, confidence: https://docs.typesafe.ai/confidence.md
  • Docs, machine learning primer (the mode-dropping passage): https://docs.typesafe.ai/introduction/machine-learning-primer.md
  • Published workflow evals: https://evals.typesafe.ai/
  • The baseline wrapper they open-sourced, which constrains the LLM baselines to the same output contract: https://github.com/typesafe-ai/system-one-adapter-python
  • Manifesto ("Build Prod, Not God"): https://typesafe.ai/manifesto
  • Their benchmark-policy essay, "Lies, Damned Lies, and Benchmarks": https://typesafe.ai/blog/antibenchmaxxing
  • Hacker News thread, 1,609 points and 444 comments: https://news.ycombinator.com/item?id=49717558

Note for anyone covering this launch themselves: the FAQ answers on both the blog post and the homepage sit in Framer accordions that lazy-load, so they are absent from the served HTML and from every markdown or reader-mode scrape. The most candid sentences TypeSafe published on launch day — including "Jev guarantees the shape of its answers, not that every decision is correct… it can choose the wrong one" — are only visible if you click.

Lineage one — constrained decoding

  • Grammar-Constrained Decoding for Structured NLP Tasks without Finetuning — Geng, Josifoski, Peyrard & West, 23 May 2023: https://arxiv.org/abs/2305.13971
  • Efficient Guided Generation for Large Language Models (the Outlines paper) — Willard & Louf, 19 July 2023: https://arxiv.org/abs/2307.09702
  • llama.cpp, "llama : add grammar-based sampling" — PR #1773 by ejones, opened 9 June 2023, merged 24 July 2023: https://github.com/ggerganov/llama.cpp/pull/1773
  • Guiding LLMs The Right Way (DOMINO) — Beurer-Kellner, Fischer & Vechev, 7 February 2024. Cut from the script for time; it belongs here because it demonstrates constrained decoding with "virtually no overhead and in some cases even almost 2× speedup", and warns that naive implementations "significantly impair task accuracy" when sub-word vocabularies are misaligned with the constraints: https://arxiv.org/abs/2403.06988
  • OpenAI Structured Outputs, GA 6 August 2024 on gpt-4o-2024-08-06: https://openai.com/index/introducing-structured-outputs-in-the-api/
  • XGrammar — Dong, Ruan, Cai, Lai, Xu, Zhao & Chen, 22 November 2024: https://arxiv.org/abs/2411.15100
  • XGrammar-2, January 2026 — structural switching mid-request, substructure reuse, adaptive token-mask caching: https://arxiv.org/abs/2601.04426
  • Trie Automata for Constrained Decoding over Large Finite Sets, August 2026 — directly the high-cardinality problem that Jev's 255-option ceiling is about: https://arxiv.org/abs/2608.12574
  • Let Me Speak Freely? A Study on the Impact of Format Restrictions on Performance of Large Language Models — Tam, Wu, Tsai, Lin, Lee & Chen, 5 August 2024: https://arxiv.org/abs/2408.02442

Lineage two — schema-driven encoders, and what "calibrated" means

  • GLiNER2 (the lineage, and the repo behind the 61-point Hacker News submission): https://github.com/fastino-ai/GLiNER2
  • GLiNER bi-encoder / GLiNKER — Stepanov et al., February 2026. Decoupling the label encoder from the context encoder gives "up to a 130 times throughput improvement at 1024 labels" and "simultaneous recognition of thousands, and potentially millions, of entity types": https://arxiv.org/abs/2602.18487
  • GLiNER Guard / GLiGuard, May 2026. Cut from the script for time and owed to these notes: a unified encoder doing safety classification and PII detection "in a single forward pass", 145–147M compact variants and a 209M "Omni", reaching 193 requests/sec with P99 latency below 1 s under dynamic batching on a single A100 — in always-on guardrails, which is one of TypeSafe's own named use cases: https://arxiv.org/abs/2605.05277
  • Hallucination is Inevitable: An Innate Limitation of Large Language Models — Xu, Jain & Kankanhalli, 22 January 2024. Carried on air with the caveat that the result concerns general problem solvers, while TypeSafe's positioning is narrow bounded decisions, so it is suggestive here rather than dispositive: https://arxiv.org/abs/2401.11817
  • Why Language Models Hallucinate — Kalai, Nachum, Vempala & Zhang (OpenAI), 4 September 2025. The single best citation in favour of TypeSafe, which TypeSafe did not use: https://arxiv.org/abs/2509.04664
  • Language Models (Mostly) Know What They Know — Kadavath et al. (Anthropic), 11 July 2022. Larger models are well calibrated on multiple-choice and true/false questions "when they are provided in the right format" — exactly the shape of a Choice or a Noul: https://arxiv.org/abs/2207.05221

The open alternatives

  • Introducing GLiNER2.5: Efficient Span-Free Information Extraction with Schema-Driven Interface — Mary Newhauser & Urchade Zaratiana, Fastino Labs, published 15 September 2026 at 3:41 PM UTC, roughly four hours before the Jev submission hit Hacker News. Three Apache-2.0 variants (gliner2.5-base-v1 at 0.2B, gliner2.5-multi-v1 at 0.3B, gliner2.5-small-v1 at 74 million parameters), constrained classification where outputs are "valid by construction", a declarative schema API of .single(), .multi(), .constrain(), C.implies() and C.excludes(), boundary prediction giving linear scaling with document length, and a claimed 24.75-point gain on XNLI.
  • GLiNER2's own Hacker News submission, 61 points and 14 comments: https://news.ycombinator.com/item?id=47266736
  • The replication, harshatheg/Qwen-2.5-1B-RLCD — parallel constrained decoding on a 4-bit Qwen2.5 under MLX, reported as two hours' work: https://huggingface.co/harshatheg/Qwen-2.5-1B-RLCD
  • GLiClass — raised on the launch thread as a local alternative; the comparison to Jev's tier was retracted by the commenter an hour later, and the retraction is what we aired: https://github.com/knowledgator/gliclass
  • MoritzLaurer/deberta-v3-large-zeroshot — the oldest and dullest member of the family, recommended on the thread as the thing to use while you wait on the waitlist: https://huggingface.co/MoritzLaurer/deberta-v3-large-zeroshot
  • Engine-level structured outputs, where you get the guarantee without changing models: https://docs.vllm.ai/en/latest/features/structured_outputs/

The robotics chapters

  • PixArt PMW3901MB-TXQT product datasheet, v1.00, 20 March 2017 — the complete motion register list, 80 mm to infinity working range, 42° viewing angle, 7.4 rad/s, 110 lux typical, 9 mA run mode. Mirrored at: https://github.com/tstellanova/pmw3901-ehal
  • Bitcraze crazyflie-firmware — the flow driver whose units are commented [pixels], the ~100 Hz poll, the EKF enqueue and the explicit stdFlow noise model; also the rate constants (1000 Hz main loop, 500 Hz attitude, 100 Hz position, 25 Hz supervisor): https://github.com/bitcraze/crazyflie-firmware
  • Feedback MPC for Torque-Controlled Legged Robots — Grandia et al. ANYmal walks with its whole-body optimiser at 15 Hz, and each update emits a local feedback policy rather than a command: https://arxiv.org/abs/1905.06144
  • RT-2 — PaLI-X 55B at 1–3 Hz, served from a multi-TPU cloud service queried over the network: https://arxiv.org/abs/2307.15818
  • Gemini Robotics — cloud backbone under 160 ms, ~250 ms observation to action chunk, decoder onboard, 50 Hz effective: https://arxiv.org/abs/2503.20020
  • π₀ — inference every 0.8 s, 16-action chunks executed open-loop, up to 50 Hz delivered: https://arxiv.org/abs/2410.24164
  • Figure Helix — S2 at 7–9 Hz (7B VLM) over S1 at 200 Hz (80M transformer), 35-DoF upper body, entirely onboard: https://www.figure.ai/news/helix
  • KnowNo — Robots That Ask For Help: Uncertainty Alignment for Large Language Model Planners, Ren et al., CoRL 2023 Oral. Conformal prediction for "statistical guarantees on task completion while minimizing human help" — almost word for word TypeSafe's own framing about the 5 percent: https://arxiv.org/abs/2307.01928
  • Event-based Vision: A Survey — Gallego et al. Cut from the script for time and owed to these notes: microsecond temporal resolution, 140 dB dynamic range against 60 for a conventional camera, kilohertz pixel bandwidth. The honest alternative for a fast reactive channel, except that an asynchronous stream of position-time-polarity tuples is even less like a description of the world than optical flow, and accumulating it into frames throws away the temporal resolution you paid for: https://arxiv.org/abs/1904.08405

What we could not verify, stated as gaps

  • Jev's architecture, parameter count, base model and the RLCD objective are all explicitly undisclosed. The company's whole disclosure is "Jev is neither small nor an LLM" and "architecture is close to the chest for now, but we have talked about writing a paper."
  • No calibration measurement of any kind has been published — no expected calibration error, no reliability diagram, no Brier score, no log loss.
  • The context window (32k) is repeated consistently by commenters and never confirmed from an official docs page.
  • The near-field PAA5100JE's 15–35 mm band is reseller product copy, consistent across three retailers; the manufacturer datasheet could not be obtained.
  • The widely-quoted "121 FPS" figure for the PMW3901 is not in the datasheet — the words "frame", "fps" and "rate" do not appear in that sense anywhere in the document. It comes from reseller pages and hobbyist write-ups.
  • Event-camera pricing was not obtained and is not quoted.
  • Reddit returned HTTP 403 to both research runs, so there is no verified Reddit reception in this episode and none is claimed. Reception material is Hacker News, quoted as commenters' words and never as established fact.
  • We did not use the homepage's "193.6x faster, 444.6x cheaper" multipliers: the comparators appear to differ between the two figures. The 293× / ~195× figures used on air are arithmetic on two published per-case numbers against the model Jev ties with.

The ethos we follow

  • c4573.org blog: https://c4573.org/blog/
  • "Software Was Never the Endpoint": https://c4573.org/blog/software-was-never-the-endpoint.html
  • "Three Companies Control Commoditized Intelligence": https://c4573.org/blog/three-companies.html

Credits

Written and produced by Daily Tech Feed. Voices rendered with Qwen3-TTS. Fry is stephen_fry; Bob is aiden on the "sharp" profile. Disclosure: the script was written by a Claude model made by Anthropic, and two models on the eval board discussed in chapter two are Anthropic's — the episode says so on air. Not affiliated with TypeSafe AI, Fastino Labs, or any researcher or company discussed.