asciilifeform: mplement a more reasonable syntax and notation while keeping the same range checks, contract checks, safety checks, stack abilities, separation of concerns (type declarations, arrays vs pointers to pointers, by reference vs by value or in/out params, modules, high level threading abilities, sub modules, packages).'
asciilifeform: meanwhile, in entomology, gem , 'Ada is arguably more successful in its domain not because of its ridiculous verbosity, but because it has higher level features, separation of concerns, safety checks, development teams focused on embedded programming, aircraft specialists and programmers working on the compilers, etc. One could still take all of these same Ada experts, brainwash them, and have them (or another team with more sense) i
asciilifeform: mp_en_viaje: it's also needed for any kind of serious work on bios ( incl pci cards )
asciilifeform: i have not tried, could not get past the gag reflex last time
asciilifeform: certainly easier problem, algorithmically, than e.g. bignum
asciilifeform: there's nothing particularly high-tech about serving http
asciilifeform: http server ? fwiw adacore distributes one. ( i dun like it, for same reason as apache -- it's a megatonne of gnarl . but, it does in fact work, and benefits from the language guarantees etc )
asciilifeform: even nao they're pretty light on the algo mechanics . ( asciilifeform does not know if there's 0 complaint from readership because everybody-grasps-anyway, or because ~nobody reads... )
asciilifeform: can be broken down into the smallest logical cuts, but not smaller.
asciilifeform: mod6: let's restate the general principle. if you have two or moar trb nodes, and they are 'in communion' with one another regularly, and yet one is several 100 blox behind the other(s) -- THIS IS A BUG
asciilifeform: the ben_vulpes takes the orig fix to the logical conclusion.
asciilifeform: neither i nor anybody else with half a brain need these charts, or 'We are going to use the Kolmogorov-Smirnov test here...', or any of it, to know that 'tether' is a gox-style scam
asciilifeform: 'The author is concerned about backlash and has asked to remain pseudonymous by signing this report with a public hash of their name' << lol wai am i reading this
asciilifeform: given that the 'security pros' and academia circuses were permitted to make ME core a centerpiece of their self-aggrandizing idiocy, you can be quite certain that there is a fallback. multiple fallbacks.
asciilifeform: laplinker: not especially interesting, no. i'm more interested in whatever fallbacks are in there ~separately~ from ME core. nsa fritzchip never come in singles.
asciilifeform: ( on some boxes, shortly after reset, in fact )
asciilifeform: i.e. the bios can (and by default does) perma-lock the hdt port after boot
asciilifeform: and will not comment on it, it is worthless garbage .
asciilifeform: so i have 0 interest in xhci or any other inband debugging.
asciilifeform: but it so happens that these are the ONLY items i find interesting from hardware debug pov.
asciilifeform: winintel doesn't want people debugging the drm spyshitware in the bios; or the winblowz kernel. ergo xhci.
asciilifeform: sage probe is quite easy to find. 1) get in wot -- register with deedbot 2) make a bid in btc 3) one of the folx here will sell you a sageprobe.
