David Blass

David Blass

@ssalbdivad.dev

author @arktype.io, cocreator Standard Schema, cofounder pullfrog.com ⛵🐸🌱

1.3K followers86 following284 posts

David Blass reposted

What do you care most about for your TS schemas? 👀 - Smallest bundle - Fastest startup - Fastest validation Reply with yours

tsassembly when

ArkType@arktype.io

📈attest now supports tsrs📈 type benchmarks, assertions, and error snapshots run on it automatically, with the same results as tsgo tsassembly support next?🤔

it ts7 already legacy?😭

ArkType@arktype.io

⚡attest now supports TypeScript 7.1 beta type assertions, error snapshots, completions and benchmarks all run on TS 7's native compiler automatically when it's installed. tsrs support next?🤔

David Blass reposted

📢ArkType 2.2 is here. This is a big one, and it's long overdue. Validated functions, type-safe regex, bidirectional JSON Schema, and universal schema interop. Here's what's new 🧵

David Blass reposted

all you need to "learn" ArkType syntax: 1️⃣ start with a typescript keyword 2️⃣ .autocomplete to discover constraints 3️⃣ compose if needed with &, |, etc.

David Blass reposted

🚨Standard JSON Schema v1 just dropped🚨 🟢libraries can now accept ArkType wherever they need JSON Schema 🟢100% type-safe with inference built-in 🟢day one support from AI SDK 🟢TanStack AI and MCP SDK support imminent

🎉Announcing Standard JSON Schema🎉 The next spec in the Standard Schema family is here to bring library-agnostic JSON Schema to TS. Let's make sure everyone sees it🔁

the typescript ecosystem *desperately* needs type performance tooling. it's not an overstatement to say this is one of the biggest leaps in that area in the history of the language🙇

MichiganTypeScript@michigantypescript.com

⚔️introducing TypeSlayer⚔️ A #typescript type performance benchmarking and analysis tool. A summation of everything learned from the benchmarking required to make the Doom project happen. It's got MCP support, Perfetto, Speedscope, Treemap, duplicate package detection, and more.

View full thread

Just tag Pullfrog or setup auto-triggers to... 🐸plan, review, or implement PRs 🐸handle chores like issue triage and labeling 🐸address feedback and CI failures on its own PRs and it just gets better as your agents do.

View full thread

With agents becoming more and more capable, GitHub is a natural lower bound for friction. Some agents provide their own GitHub actions, but the result is a half-baked, fragmented DX that ends up feeling bad for everyone involved.

Pullfrog is the solution. It's a unified entrypoint to the agent of your choice in GitHub, with triggers that work consistently as the ecosystem evolves.

David Blass reposted

95% of ArkType syntax is just TypeScript. The other 5% are extensions like this that are... ✅composable ✅consistent across data types ✅100% safe with helpful type-level error messages

iyky (you don't)

ArkType@arktype.io

Difficulty of Parsing Regex with TypeScript Types ------------------------------------------------------------ group associativity ▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒ everything else ▒▒

David Blass reposted

In the next version of ArkType, any Standard Schema is a valid definition. Zod migration is about to get a whole lot easier🚀

agonized for a long time on syntax to return a regex's capture groups rather than just validating the input string... what do you think?

ArkType@arktype.io

coming in ArkType 2.2... e(x)ec mode for regex literals🧑‍🍳

David Blass reposted

📈arkregex just hit 100k installs/week📈 if you're still using untyped RegExp() you may as well just write raw .js

David Blass reposted

arkregex is ridiculously optimized. even expressions like this are inferred instantly. but what about the most extreme cases?🧵

David Blass reposted

I am looking for a full-time job. Being independent in open source for 3.5+ years has been wonderful. I've gotten done most of the high-level goals I wanted to, and miss having people & structure around me. If you know of a role for a staff-level TypeScript+web developer, let me know! 🙂

David Blass reposted

"any sufficiently advanced typescript types are indistinguishable from magic" - Arthur C. Clark, 1962