Forwarded from Hacker News (yahnc_bot)
The Maintainer of the Nvidia Open-Source “Nouveau” Linux Kernel Driver Resigns https://www.phoronix.com/news/Nouveau-Maintainer-Resigns
Phoronix
The Maintainer Of The NVIDIA Open-Source "Nouveau" Linux Kernel Driver Resigns
Hours after posting a large patch series for enabling the Nouveau kernel driver to use NVIDIA's GSP for improving the support for RTX 20/30 series hardware and finally enabling accelerated graphics support on RTX 40 'Ada Lovelace' GPUs, the Red Hat maintainer…
Forwarded from Hacker News (yahnc_bot)
GCC Preparing to Introduce “-Fhardened” Security Hardening Option https://www.phoronix.com/news/GCC-fhardened-Hardening-Option
Phoronix
GCC Preparing To Introduce "-fhardened" Security Hardening Option
Following discussions among compiler developers and other stakeholders, the GNU Compiler Collection (GCC) is preparing to add a '-fhardened' compiler option that will enable various hardening features aimed at increasing the security/robustness of the generated…
Forwarded from Solidot
OpenTF 因担心商标诉讼改名为 OpenTofu
2023-09-20 18:15 by 灵魂骑士
因 HashiCorp 更改了基础设施即代码软件 Terraform 的许可证，从 MPL 切换到了非开源的 Business Source License (v1.1)，在这一背景下 OpenTF 项目宣布创建 Terraform 的分支。但现在由于担心名字中的 TF 与 Terraform 过于相近而引起商标诉讼，OpenTF 改名为 OpenTofu。它也成为了 Linux 基金会的一部分，预计 Linux 基金会执行董事 Jim Zemlin 将在周三举行的开源欧洲峰会正式宣布这一消息。OpenTofu 项目的一位组织者 Sebastian Stadil 表示，HashiCorp 在非常激进的发送停止并终止（cease and desist）函，我们认为 TF 与 Terraform 太相似了。
https://github.com/opentofu/opentofu
https://www.theregister.com/2023/09/20/terraform_fork_opentf_opentofu/
#开源
2023-09-20 18:15 by 灵魂骑士
因 HashiCorp 更改了基础设施即代码软件 Terraform 的许可证，从 MPL 切换到了非开源的 Business Source License (v1.1)，在这一背景下 OpenTF 项目宣布创建 Terraform 的分支。但现在由于担心名字中的 TF 与 Terraform 过于相近而引起商标诉讼，OpenTF 改名为 OpenTofu。它也成为了 Linux 基金会的一部分，预计 Linux 基金会执行董事 Jim Zemlin 将在周三举行的开源欧洲峰会正式宣布这一消息。OpenTofu 项目的一位组织者 Sebastian Stadil 表示，HashiCorp 在非常激进的发送停止并终止（cease and desist）函，我们认为 TF 与 Terraform 太相似了。
https://github.com/opentofu/opentofu
https://www.theregister.com/2023/09/20/terraform_fork_opentf_opentofu/
#开源
Forwarded from Pop
你这一辈子就是被抽象数学害了，没法正经写证明。用集合论的时候，总是在想，它要能被ac就好了，就是可以从无限集合选元素那种；写反证的时候，总是在想，要是能用构造主义就好了；上课学新东西的时候，发现可以抽像到范畴论里面，你的心怦怦跳，总是在想，要是上课能用范畴论证明怎么办？教授突然想找你做题了怎么办？然后教授过来找你来了，戴着黑框大眼镜，问你题目怎么样，你说已经在认真学习范畴论来泛化上课学到的定理，他沉默了一会说我说的是你统计的题目
😁9❤1
Forwarded from Hacker News (yahnc_bot)
Lean, Coq and other proof assistants: Visualising proofs as trees https://lakesare.brick.do/lean-coq-isabel-and-their-proof-trees-yjnd2O2RgxwV
lakesare.brick.do
Lean/Coq/Isabel and Their Proof Trees
This week we (me & Anton Kovsharov) published Paperproof, a Gentzen-tree-like proof interface for Lean 4. In this post I'll review proof visualisations from ot...
Forwarded from Frontend Today (Ayaya)
Chrome Developers - Blog
From WebGL to WebGPU
From WebGL to WebGPU
Chrome for Developers
From WebGL to WebGPU | Chrome for Developers
Learn some tips for WebGL developers who are migrating to WebGPU.