喵喵小喵喵 – Telegram
喵喵小喵喵
1.17K subscribers
1.34K photos
31 videos
6 files
9.41K links
大喵喵和小喵喵的转发频道

投喂请前往附属群
Download Telegram
开学了!
Forwarded from xkcd
🐳1
RCPSS — Compute Reciprocal of Scalar Single Precision Floating-Point Values

https://www.felixcloutier.com/x86/rcpss
https://news.ycombinator.com/item?id=37561420
原来 gitlab shell 真的是个 shell
Forwarded from Hacker News (yahnc_bot)
Follow up to “Changing the rules of Rust” https://without.boats/blog/follow-up-to-changing-the-rules-of-rust/
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/

#开源
Forwarded from Asuna 🍓
腾讯游戏
😁7
Forwarded from Pop
你这一辈子就是被抽象数学害了,没法正经写证明。用集合论的时候,总是在想,它要能被ac就好了,就是可以从无限集合选元素那种;写反证的时候,总是在想,要是能用构造主义就好了;上课学新东西的时候,发现可以抽像到范畴论里面,你的心怦怦跳,总是在想,要是上课能用范畴论证明怎么办?教授突然想找你做题了怎么办?然后教授过来找你来了,戴着黑框大眼镜,问你题目怎么样,你说已经在认真学习范畴论来泛化上课学到的定理,他沉默了一会说我说的是你统计的题目
😁91