Project Status: It's been nearly a year since the last post. The project has passed 2000 stars, 10 external contributions and 200 checker tests. It's not production-ready yet but has made great progress.

• New Web-based Playground: A new web-based playground is available for trying the checker. It shows some favorite features like triangle number constant calculation, tracking a value across a closure, and Object.entries. Note that it's work in progress and identifier sharing uses a sequential index.
• Test Suite: A new collection of type-checking tests has been started. The checker now passes 235 tests and there are many improvements in TypeScript features like complex subtyping, mapped types, and extends annotations. There are still many features to finish such as inference, narrowing, more collection logic, generators, for-of, recursion, queuing/non-synchronous calls and promises, and improving type storage. The hope is that the checker will be ready for simple projects at around 300 passing tests and larger projects at around 500 passing tests.
• New Additions from Contributors: Thanks to various contributors for adding default value checking, checking for the type of catch variables, checking the edge case for destructuring with this, adding excess property checking and setters, adding import.meta, and making internal improvements like adding positions to events, adding export type parsing, improving the clippy configuration, adding fuzzing tests for the parser, adding parsing for try-catch-finally, and adding CJS support for the JS library and type definition generation.