in tsz (https://tsz.dev) I am Codex-Maxxing with this:

Give each Codex an AgentName and ask them to mark their PR/issue/comments with those. Have one or two "managers" that manage PRs and overall project direction. I write the project directions and make long lasting issues. Each Codex session has an almost unachievable `/goal` but they are asked to achieve the goal by landing changes in `main` via PRs

I am running about 14 Codex sessions on 4 machines right now for about two weeks since OpenAI 10x'ed my 20x account and I simply can not run out of tokens fast enough.

Side note: I have multiple Claude accounts too but the new Claude Code `/goal` command is seriously broken. It waits long pauses between iterations and sometimes prematurely stops.

▲

satvikpendem 4 hours ago | parent | next [-]

Do you know about Perry, a TypeScript to native binary compiler also in Rust? That might be interesting to collaborate on.

https://old.reddit.com/r/typescript/comments/1rjxo8z/what_if...

https://perryts.com/

▲

mohsen1 4 hours ago | parent [-]

Yes I'm aware of that. Perry is a different project. Folks at Oxi tools are also doing something similar (a ts checker) but that's also not 100% compatible with tsc. My goal with tsz is a superset of tsc that's stricter (for now it's called Sound Mode). But matching more than a decade of work that TypeScript has put in has been a long journey already. None of the existing TypeScript rewrites are matching the original tsc yet. tsgo is the closest but that also has bugs that needs to be addressed before TS 7 is released.

I think my architecture can be faster than tsgo albeit a much more painful codebase to work on. But I'm not claiming any sort of achievement yet.

Ultimately users have to decide and I have to show a very strong case that someone should use a nonofficial rewrite over Microsoft's own code.

Will tsz be a success? I am not sure. Am I learning and having fun? for sure!

	▲	satvikpendem 3 hours ago \| parent [-]
		Yeah I didn't mean subsuming one project into another, just that maybe both could be integrated so that a user can type check strongly and soundly with tsz and then compile with Perry. Turning TypeScript into a true sound statically typed language with AOT compilation would be amazing.

▲

loeg 3 hours ago | parent | prev [-]

I haven't run into /goal pausing or prematurely stopping, though I haven't used it more than a handful of times.