asciilifeform: so programmer only grips it if he ~really~ must
asciilifeform: the basic philosophy is to take the most dangerous knobs and attach broken glass spikes to them
asciilifeform: mircea_popescu: ada is a merciless thing. e.g., you cannot use two types interchangeably even if 'they're the same inside'; can only take pointers of items explicitly declared pointerable-to; by default, pointers only valid in the context where they were taken
asciilifeform: phf: there are some very obvious warts in the language - e.g., the compiler is one-pass and you end up having to write c-style prototypes for some functions.
asciilifeform: the 'better' is in the sense of 'less screaming idiocy in the mix'
asciilifeform: a properly constructed computer would perform ALL of the same checks, and more, IN HARDWARE
asciilifeform: PeterL: understand, ada is necessary because we are stuck with the idiot c machine.
asciilifeform: PeterL: when? by friday morning before breakfast ??
asciilifeform: has, e.g., predicated types. (which means, you can declare a variable, where, say, assigning a prime number to it is an error condition in the runtime. which means, yes, a check on EVERY assignment.)
asciilifeform: (at least when they are links to the log)
asciilifeform: ;;later tell phf i find myself agreeing with adlai, the way we have it now, the log is in fact near-unreadable EXCEPT in wwwtron. links oughta dump into the chan assbot-style☟︎
asciilifeform: the idiocy is of interest strictly to archaeologists.
asciilifeform: adlai: iirc he vanished before gpu even.
asciilifeform: (incidentally, the node/mine dichotomy is an excellent illustration of the 'protocol vs promise' principle. in that initially, they were one and the same - cpu miner was enabled. but this was 'promise' in the sense that nothing kept the two tethered together)
