Practal has its first monthly sponsor, many thanks to purebounce! 🎉
For background information on Practal and its vision, please check out practal.com.
Currently, only me is working on Practal. Hopefully that will change eventually! Before that can happen, I first need to firmly establish the roots of the project. Early research prototypes have been implemented in Swift, but in order to make Practal as widely available as possible, all development has been shifted to TypeScript.
My goals for Practal have shifted throughout 2023/2024. I've made good progress with the theoretical side of Practal, Abstraction Logic, and I am working on a book about Abstraction Logic to document that.
The Practal.com cloud app is the long-term and ultimate goal. Its purpose is to be a bicycle for your mathematical mind.
If that sounds too vague for you, imagine instead something of a fusion of interactive theorem proving systems like Isabelle, with systems like SageMath, word processing technologies inspired by LaTeX, Markdown and Obsidian, and AI capabilities inspired by systems such as ChatGPT.
Practal Desktop is planned to be a version of Practal that runs locally on your desktop, independently from any cloud.
Practal Core is planned to be an open-source library implementing fundamental algorithms and data structures of Practal, for inclusion in your own software so that it can enjoy the same strong foundation as Practal does.
If Abstraction Logic is the best logic possible, would not a programming language based on it be the best programming language possible? Practalium is a project to find this out! If successful, Practalium code will make its way into building Practal alongside TypeScript.
The Practal.com cloud app will be published under a Freemium business model based on subscriptions.
The hope is that this enables sustained development and availability of resources, such that Practal can eventually become everyday infrastructure.
To ensure that this infrastructure can be used without worrying about lock-in, core components of Practal are published as open-source projects. Please consider sponsoring them!