Eating a sandwich and Miss Vickie's sea salt & vinegar chips at Subway. All the chips were fine, except the last one in the bottom of the bag. What the heck is this? Definitely not going to eat it.
@codinghorror What if natural intelligence doesn't actually emerge from some really deep amazing but currently unknown physics, but instead is just a clever trick building on (mostly) known physics?
Is there any open source tool for proving assertions about machine code programs, given some minimal constraints (e.g., no self-modifyimg code, all computed branch targets identified)? Assertions like "the carry flag will always be clear when this instruction starts execution".
Open source needed because I'd want to adapt the tool for a proprietary and very unconventional processor architecture.
I've been reading the Heinlein novels in publication order. I had not previously read the juveniles, or a few of the other early novels, but I've enjoyed all of them. I've previously read most of the novels published since 1956. I've just finished reading _Time Enough for Love_, and started _The Number of the Beast_. Among my long-time favorites are: _The Puppet Masters_ _Double Star_ _The Door Into Summer_ _Glory Road_ _The Moon Is a Harsh Mistress_ to which I have now added _Starman Jones_
@alderson@not2b@tevo@mcc And originally TECO used "altmode" rather than escape. At the time, altmode and escape were octal 175 and 176, from before ASCII gained the lower case and symbols in columns 6 and 7. The models 33 and 35 Teletypes had an altmode key that sent 175, and the TOPS-10 monitor performed translations of 175 and 176 to octal 033 (Escape from the 1965 revision of the ASCII standard). 1/
At some point earlier than Monitor being renamed to TOPS-10, altmode was used directly, rather than being translated to 033 octal, because in the 1963 version of ASCII, 033 was a "S3" control. So in the early days, programs like TECO dealt directly with 175 altmode and the old 176 escape. This was the case for TECO on other early systems as well, though I'm not sure what TECO on the PDP-1 used for the console typewrite4 or add-on Flexowriters, as those weren't ASCII at all. 3/
The TOPS-10 monitor commands "SET TTY TYPE TTY33" or "SET TTY TYPE TTY35" would set various TTY options appropriately for Teletypes, which included "SET TTY ALTMODE" to enable the altmode and escape translation. 2/
microcontroller #firmware #FPGA #SDR (SW Defined Radio)#retrocomputing#nonpareil HP calculator simulation at microcode levelMaker (with John Doran) of Nixie tube RPN calculatorsCHM PDP-1 Restoration TeamDamned dirty apeCall sign N2EShe/himcis maleNot a tame programmerin #Colorado, not far from #Denver