Alibaba Cloud’s DNS Formal Verification Paper Selected for ACM SOSP’23

October 27, 2023 – Recently, a collaborative research paper between Alibaba Cloud (Alibaba’s cloud computing subsidiary) and Peking University titled “Automated Verification of an In-Production DNS Authoritative Engine” has been accepted for presentation at the prestigious ACM Symposium on Operating Systems Principles (SOSP) 2023. This paper introduces a groundbreaking approach to formal verification technology, which…

Read More

xAI’s Financial Gap: 13BAnnualBurnvs.500M Revenue Prediction Poses Huge Challenge

June 19, 2025 – Bloomberg reported yesterday that Elon Musk’s AI venture, xAI, is pouring substantial resources into developing cutting-edge AI models like Grok, with massive investments in server clusters and specialized chips. The company is reportedly burning through $1 billion each month to fuel its ambitious projects. Projections indicate that xAI’s annual expenditures could…

Read More