Viewing profile — 0xAA55

Every single application or website is a system (see the push in recent years for web assembly). The difference is that a "systems programming language" has the capability of being…

I recently went to the ends of the earth to get a 2016 manual VW sportwagen in the US -- but it was possible after going to dealerships looking at me like I was insane. Shifting ar…

Want to make a fast application on a pebble and with actual type checking? C and Ada won't complain or blur your lines... http://blog.adacore.com/make-with-ada-formal-proof-on-my-w…

"...despite the changes that it has undergone since its first published description, which was admittedly informal and incomplete ..." ~ Dennis M. Ritchie It took a decade to even …

First of all what if I am lunatic xD There are so many parts of C that are unsafe that a secondary tool is needed to have an reasonable type-checking and that tends to be devastati…

Indeed, except for all the flaws C++ decided to add from C including is cryptic syntax (i++, ++i, In fact, from that list it seems like it is finally meeting parody on key Ada 95 f…

What I meant to emphasize was that Ada was well designed in the first place, and yes GC was a problem and so were some of the restrictions and aspects of the standard libraries. Fo…

The big difference here is how additions in C++ tend to work - e.g. keeping all of the deprecated ill-defined legacy and growning features on it like tumors until there are no more…

Versus the Ada equivalent: Foo.Bar.Baz; exception when Program_Error => Put ("WHoops"); when Constraint_Error => Put ("Dang"); when Gaim_OVer_Main => Put ("??? D: "); when others =…

Vote this issue up if you have an account! https://community.spotify.com/t5/Ongoing-Issues/Major-I-O-wr...

Or you could just not worry about it and assume the language is well-defined with precise methodologies grounded on common sense like Ada. https://gcc.gnu.org/onlinedocs/gnat_rm/Va…

Ancient cruft from an arcane language and other neat thoughts about scripting languages from 2002.

This only really applies to web-developers.... but I guess that is what is meant by "modern software"