@enkiv2 ban TTF
People make claims about the legibility of dynamically spaced vs monospace typefaces, but I've never been able to see it. Maybe I've just used well-designed monospace typefaces. (I've seen poorly-kerned barely-legible dynamically spaced types, of course. We all have.)
Monospace means words are visually consistent, at least.
@enkiv2 @natecull I'm not talking about the legibility of monospace vs. not. I mean, a poorly hinted typeface, monospace or not, will look bad at small sizes, which means it will be harder to read. I'm sure there are ways to do hinting that don't need to be Turing complete, but you don't need to jump to conclusions and say that we need to ban all typefaces you don't like.
It seems to me that 'Turing-complete' shouldn't be a HUGE problem if we can ALSO enforce resource usage limits on any jumping-type construct.
So we can know right from the start 'this can't take more than X cycles to run or use more than Y memory cells'.
Are there languages which do that?
Obviously, it could be done not-stupidly. Not aware of anybody who does.
Well, I mean at the LANGUAGE level, not the USER INTERFACE level.
Thinking something like Margaret Hamilton's Universal Systems Language, which seems to basically just put resource bounds on all recursion-type constructions. Any function call is a process and has a finite resource pool that its subfunctions inherit, etc.
Her stuff is probably optimised for missiles, not web browsers, and also maybe we did manual RAM allocation in the Mac/Amiga/DOS days and it was terrible.
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!