The only advantage of this is that it is harder to guess the username?

Sounds like a nice way to disable your system remotely :)

How does the machine boot after a power outage?

Fortunately gcc has support for the expected style (using the -gnatyy flag).

with ada.text_iO;
use ada.text_io;

procedure hello is
begin
        put_line("hello world");
end hello;

fails with

hello.adb:1:06: (style) bad casing of "Ada" declared at ada.ads:16
hello.adb:1:10: (style) bad casing of "Text_IO" declared at a-textio.ads:48
hello.adb:2:05: (style) bad casing of "Ada" declared at ada.ads:16
hello.adb:2:09: (style) bad casing of "Text_IO" declared at a-textio.ads:48
hello.adb:6:05: (style) bad indentation
hello.adb:6:05: (style) bad casing of "Put_Line" declared at a-textio.ads:263

I've spent two years porting Ada code from VMS to Linux. Overall it was a nice experience but compile times were horrible on our VMS system. Getting a syntax error after 15 minutes of waiting is kind of frustrating :)

GDB support for Ada tasks was also pretty bad. I filed several bugs like http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37245 .

Windows? More like C.

If you read the report carefully you notice that libreoffice generates invalid XML. I think that's pretty clearly a bug in libreoffice.

Apparently it has better support for docx. https://bugs.freedesktop.org/show_bug.cgi?id=55820

At least for me "lli" works much more reliably than "lli -force-interpreter" (that disables the JIT).

In openmoko circles it's know as WSOD (white screen of death) and occurs sometimes when resume fails :)

At least in Debian it's only for amd64 i386 kfreebsd-amd64 powerpc

Sadly it seems the only way to see the video is to use the adobe flash plugin which is not open source. Is there some alternative trick that can be used to see the video with open source software?

xpra does what you want.

As far as I can see divxfinland uses the CC-NC-SA 3.0 license. This is does not allow commercial usage.

The point of nand2tetris is that you can understand all parts of the system. With circuits.io you can't even see the source code let alone have time to read through all of it. Last time I checked they did not let you to export your designs either (gerber export does not count, it's not something you'd want to modify).

Afaik it also adds stuff that Debian considers non-free (GFDL docs with invariant sections).