The TSRX team has been hard at work listening to feedback, criticism, and ideas.
TSRX is now nearly fully backward-compatible with JSX. Instead of being statement-based, it’s expression-based, just like JSX.
tsrx.dev/blog/rethink...
ayyy check it!
alex & the app crew are working on the designs for this while i'm working on the permissioned data protocol
& it all meets in the middle with ✨atmospheric communities✨ ideally operating on an ecosystem standard a la "standard.site for communities"
woot! new product stuff WILL happen!
@quantabooks.org just released their first book, on the story of Lean by @kevinhartnett.bsky.social. It's a great story, about a pretty significant part of what's happening in math right now.
www.quantabooks.org/books/the-pr...