ZoltanAK2

4 ms·

1.
by ZoltanAK2 2y ago
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 designer has no PhD in type theory, so it ma
2.
by ZoltanAK2 3y ago
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 methods by constructing a hyperreal field, req
3.
by ZoltanAK2 3y ago
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 free errors, garbage collection, or any runtime overhea
4.
by ZoltanAK2 3y ago
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 the program doesn't experience a trapped overflow, and t
5.
by ZoltanAK2 3y ago
In accordance with the 'scuttle the ship' philosophy, Austral programs abort immediately when trapping arithmetic overflows, with the message "Overflow in trappingOpname (TypeName)".
6.
by ZoltanAK2 3y ago
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. So we're talking about a language that's, for mo
7.
by ZoltanAK2 3y ago
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 dedicated to peer review are not the issue: something s
8.
by ZoltanAK2 3y ago
> 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 are unpaid volunteers -- as the Guardian article
9.
by ZoltanAK2 5y ago
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 to have the same structure as the Cantor set, a highly disco
10.
by ZoltanAK2 5y ago
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. About 6 months later, an article appeared on arXiv, and poi