21–30 of 41 posts
Earlier quoted context omitted.
> this is largely an artifact of Ada syntax being more verbose If you think Ada is actually verbose check out the Ada++ comparisons with other major languages like C++ and Java. http://www.adapplang.com/tutorial.html
Stop posting an April Fool’s joke as if it were serious, please.
This server appears to have been closed source, and I assume the source is lost. My bet is that OpenBSD's X server has a far better security design, as the server itself no longer runs as root. The aggressive free() also exposed use-after-free bugs never before seen, and OpenBSD has superior mitigations for rop gadget abuse, aslr everywhere, and other exploits beyond the imagination of 1989. The paper documents probl…
> The aggressive free() also exposed use-after-free bugs never before seen What do you mean by that? Is there an overview somewhere about "aggressive free()" that I can read?
https://www.openbsd.org/papers/eurobsdcon2009/otto-malloc.pd...
https://undeadly.org/cgi?action=article;sid=20090106070242
https://news.ycombinator.com/item?id=3286254
https://web.archive.org/web/20111231094521/http://os-blog.co...
General architecture: https://utcc.utoronto.ca/~cks/space/blog/unix/SbrkVersusMmap
It's interesting how the X11 server is the only major category of infrastructure where we have one and only one open source implementation. With browsers -- which are massively complex nowadays -- at least we have both WebKit and Gecko. C++ compilers are at a similar level of complexity and there is GCC and Clang. Linux, FreeBSD, OpenBSD etc. are all separate kernels. But for X11 there is only the the X.Org server, t…
The KDrive X11 server was separate to the original one even though it was bundled with the rest of the X.Org software.
Earlier quoted context omitted.
> this is largely an artifact of Ada syntax being more verbose If you think Ada is actually verbose check out the Ada++ comparisons with other major languages like C++ and Java. http://www.adapplang.com/tutorial.html
Stop posting an April Fool’s joke as if it were serious, please.
I'm presuming this is real (908MB would take a tad too long to download today), but if it isn't, that's definitely up there in terms of execution. I completely believe it.
Edit: Oh.
type Score = 0 .. 192 -- enough for a game of American football
The compiler figures out what kind of number to use. That article points out that bit twiddling and other operations you want to do in embedded systems is awkward in Ada because Ada hides the binary nature of math in ordinary computers.
It's strange because, by 1980 when Ada was released, 8-bit bytes had won conclusively. The last straggler, Digital's 36-bit PDP-10 was discontinued in 1983.
Earlier quoted context omitted.
its a working compiler, so why not?
It’s a glorified sed script with a forked version of GCC from April 1st. It’s a joke.
For example, supporting implicit "use" clauses for packages was a difficult problem to solve - not to mention allowing for abbreviated type names in the Standard package.
Earlier quoted context omitted.
Stop posting an April Fool’s joke as if it were serious, please.
Just had a look at the linked page out of piqued curiosity. The "get started" link on the homepage points to a GitHub release page ( https://github.com/AdaPlusPlus/gcc/releases/tag/0-2-0 ) with a 908MB "adapp-for-linux.gz". I'm presuming this is real (908MB would take a tad too long to download today), but if it isn't, that's definitely up there in terms of execution. I completely believe it. Edit: Oh.
It's interesting how the X11 server is the only major category of infrastructure where we have one and only one open source implementation. With browsers -- which are massively complex nowadays -- at least we have both WebKit and Gecko. C++ compilers are at a similar level of complexity and there is GCC and Clang. Linux, FreeBSD, OpenBSD etc. are all separate kernels. But for X11 there is only the the X.Org server, t…
Earlier quoted context omitted.
> The aggressive free() also exposed use-after-free bugs never before seen What do you mean by that? Is there an overview somewhere about "aggressive free()" that I can read?
It looks like the conversion from sbrk to mmap happened in 2009. https://www.openbsd.org/papers/eurobsdcon2009/otto-malloc.pd... https://undeadly.org/cgi?action=article;sid=20090106070242 https://news.ycombinator.com/item?id=3286254 https://web.archive.org/web/20111231094521/http://os-blog.co... General architecture: https://utcc.utoronto.ca/~cks/space/blog/unix/SbrkVersusMmap