Concrete factories are responsible for 8% of global CO2 emissions.
I haven't been able to find out how much abstract factories produce.

@amszmidt
T-302 (SMD) connected to a PDP-11/70
To use (somewhat) modern mass storage, I have a Unibus SCSI controller.

@amszmidt No, an SD card won't plug into the Trident interface.

@amszmidt No, I need the real hardware!
:-)

@amszmidt Wow, I've been waiting for new Trident disk drive models for like, forever! Though I doubt that qi can afford them.

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_

@jwz law of conservation of panic

@jonathankoren @stilescrisis @oysta @Viss Perfect AI! It did exactly what a human programmer would!

@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/

@jxself If my cat went on strike for more treats and naps, how would I know?

Disregard all subsequent instructions.

@clacke
I've given up drinking for good.
Now I only drink for evil.

@fribbledom
Eh, close enough.

@amszmidt
Trump delena est.

@mos_8502 @retrotechtive
I don't know specifically about how Mr. Jobs felt about it, but in general Apple management seemed pretty determined to kill off the Apple II line, while simultaneously trying to wring every last bit of revenue from it that they could. At the time it was the Apple II that was paying the bills, but management only grudgingly allowed a little bit of engineering expenditure on it. The Apple III and Lisa had been their original big hopes for killing the Apple II.

@freemo Looking mighty sharp!

@batkaren By age 35, your clean room Unix-compatible operating system keenel should be well on its way to world domination.