#cas
Symbolics.jl: A Modern Computer Algebra System for a Modern Language(discourse.julialang.org)
2021-3-7 12:54
Juliasymbolics组织的路线图我们需要新的计算机代数系统（CAS），用于这个新的计算时代。 我们需要一个CAS以我们思考的多种方式调度。 我们需要一个符合我们的问题的CAS。 我们需要一个与我们的包生态系统集成的CA，让人们扩展零件并用一种语言返回核心库。 我们需要现代语言的现代cas。 symbolics......
Around 293 intermediate CAs to be revoked within 7 days(www.mail-archive.com)
2020-7-6 20:20我已经创建了一批新的证书，这些证书违反了BRS的4.9.9，这是在ASA必须满足的基准要求的第一个版本中引入的。这是https://misissued.com/batch/138/。
在受影响的CA中快速检查包括以下O个字段：Quovadis、GlobalSign、Digicert、HARICA、Certinomis......