Ironclad OS project popping out Unix-like kernel in a unique mix of languages

Ironclad – formally verified, real-time capable, Unix-like OS kernel

Amazon is Testing an AI Tool That Automatically Translates Books Into Other Languages

Amazon is testing an AI tool that automatically translates books into other languages