typesafe's jev is fun! live demo you can play with:

This is cool! And lol at $2 budget. But don’t you think it could be just a little bit…faster??

matt holden!!!!

if you ever demo something cool and very fast, but not quite fast enough, i’ll be here silently lurking

your tweets are seriously underrated, this is super cool

thanks!! if you have twitter tips, i'm all ears. i'd like to be correctly-rated. or even overrated!

correctly rated 😭😭

Great demo!

This is awesome. Who do I need to beg to get off the waitlist?

i just joined the waitlist like a normal pleb, so try that?

Me too. My guess is that they know you're not actually a normal pleb!

Kinda like ours!

i wish they gave out more invites :c

Wow this is brilliant, thanks

It's cool

What's that running on for backend? Is there any sort of processing step for defining new type defs?

I wonder what it would look like in terms of audio

jev's hard test is preserving useful errors when runtime values violate inferred types

Really interesting

Oh, also trustworthiness, score on perceived trustworthiness and whether they may be lying or trying to deceive. How much legitimate evidence is there to back what they are saying

You're broke.

thanks for posting this is literally the first time i got to use the model! really cool but yeah it's not completely magic

Does typing a-z make it an llm.?

Steve .. you chose the labels so the demo was cool .. Much of what we deal with across domains are open world discriminators where LLMs/RLHF can lend a hand

16 judgments per keystroke is wild

Could add political leaning. Reasoning ability. Complexity (to understand).

Yes/No demo, ask Jev anything, with web search grounding so it has fresh data:

Would it be alright if I shared this on You can submit it yourself if you want full ownership.

Super cool stuff. I always wanted to build something which teaches me writing skills in real time. Tried with llms but they were slow amd I got bored quickly. Recently tried jev and its super cool

Thank you for sharing

Also humour screening? sarcasm, parody, irony, absurdism, wit, hyperbole, cringe, etc