LIVE CODING - MathAsm #1

Показать описание

THE PROJECT
MathAsm is my personal project.
It is a parsable language for building mathematical theories.

You define axioms, and then use a set of "operations" to combine them into theorems. The operations are structure in a way that guarantees that theorems follow from the axioms.

In the series, I will live-code the whole creation of that project. We will be creating the rules of MathAsm, and coding a parser that can read MathAsm and "compile" mathematical theories, reading their axioms and "calculating" their theorems. We will be investigating the rules of that parser, aka writing an software application that "implements" MathAsm.

This could take a form of a web application with a UI where the user can "read" his/her theories, or a CLI tool with direct access to the filesystem, or even both.

THE TECH STACK
As for the tech-stack, I will start with Spring-Boot & Kotlin.

For DB, I will chose an SQL database, h2 will be fine for now. I tried Mongo. No forget it. SSPL is not only morally questionable, it is very dangerous for business too. This is of course, a personal opinion based on my professional experience. In any case, I will happily stay with SQL.

If we need U.I, I am thinking about going with Svelte.
My proffessional experience lies strongly at React and a fair amount of Angular. Still, I find Svelte to be a really fascinating and promising framework, so I lose no opportunity to "keep contact" with it.