🚀 Types against slop: vibe-types

Announce
1

Sharing a skill I’ve been using with some success to help combat AI slop:

https://github.com/jpablo/vibe-types

It is a catalog of type-system techniques across Scala 3, Rust, Lean 4, TypeScript, and Python. One skill per language.

It also adds a few “Core Tenets” such as

  • Make illegal states unrepresentable
  • Keep a functional core and an imperative shell
    … and so on.

Let me know what you think!

4 Likes
2

Huh – looks quite neat! I’ve already baked some of this into our standards, but this goes into impressive detail. I’ll pass this around at work…

1 Like
3

Irrespective of the AI skills aspect, the Core Tenets section is an excellent manifesto for Designing with Types :clap: