Viewing profile — ZoltanAK2

YMMV, but Austral-lang ( https://austral-lang.org/ ) comes quite close to what I want out of a smaller, simpler, safer Rust. Its syntax is inspired by Ada, and as far as I know the…

You write, "we shouldn't need the axiom of choice to define the derivative." The good news is that we don't! Only model-theoretic approaches, which justify the infinitesimal method…

Indeed, the linear type systems makes sure that you won't forget to dispose of resources. Linear types enable manual memory management without memory leaks, use-after-free, double …

There is discrepancy because things the programmer can prevent are handled differently from things the programmer cannot prevent. The programmer can always statically ensure that t…

In accordance with the 'scuttle the ship' philosophy, Austral programs abort immediately when trapping arithmetic overflows, with the message "Overflow in trappingOpname (TypeName)…

Almost certainly not, and there are good reasons for that. Work on Austral was initiated by Borretti in 2021, but its earnest development really only commenced in January this year…

Ultimately, the taxpayer funds the researchers' salaries, and the researchers spend some of their research time on peer review instead of advancing their research. But these hours …

> They also manage the review process (screen papers, find reviewers, communicate with authors and reviewers), They do not. That's the editor's job, and Elsevier journal editors ar…

Cantor space is just the space formed by infinite binary sequences, that is sequences which assumes only the values 0 or 1. Considered as a topological space, Cantor space happens …

At one point during my PhD, I proved a fairly technical theorem, which generalized a result from 1996. Both my result and the 1996 result used techniques from nonstandard analysis.…