DeVault: Announcing the Hare programming language

DeVault: Announcing the Hare programming language

> Binaries are unreviewable by most people, so it is better to start from smaller binaries to reduce the chance of them containing backdoors.

Great! Tell me how you plan to exclude huge binaries written in Verilog and VHDL (and then backed in ASICs you actually use) and then you would have a point.

The truth is: from practical POV bootstrapability is just a gimmick which buys you nothing since free hardware doesn't exist (please don't bring a FS's joke which certifies a hardware which includes megabytes of binary code which handles the storage, that is: precisely the part which you, somehow, need to trust to run anything at all).

Today so much proprietary code is executed before and after the first bytes of code you may actually control is executed that the whole excercise is mostly pointless.