RedisRaft https://github.com/RedisLabs/redisraft/blob/master/docs/Introduction.md

ACM Software System Award Given to seL4 Microkernel https://awards.acm.org/software-system

@全体成员 ApTeX作者、维护者，XeTeX维护者，马起园（知乎ID：李阿玲）前天（2023-05-06）突发急性胰腺炎在安贞医院急诊抢救，并发症较多，现在仍在昏迷。共需医疗款项人民币50,000元，目前在朋友资助后，还需人民币18,482.83元。由于马起园本人还在急诊室接受治疗，因此，如果您有捐赠计划，可以将善款通过下面的收款码进行支付（由好友张庭瑄代收并于明日下午18:00前汇款至安贞医院）。感谢社区同仁以及社会各界爱心人士的捐赠！

也可以转到这个工商银行卡里：
张庭瑄
6212250803000436922

'This rumpled fabric at the corner looks like evidence of ongoing tectonic activity.'

AMD 计划到 2026 年用开源的 openSIL 取代 AGESA 固件

2023-05-09 12:35:00 by 惊涛怪浪

在最近举行的 Open Compute Project 地区峰会上，AMD 披露用开源的 Open-Source Silicon Initialization Library (openSIL) 取代 AMD Generic Encapsulated Software Architecture (AGESA)固件的计划。新固件将经历四个阶段的开发周期到 2026 年做好投产准备。固件对现代计算机系统至关重要，在 AMD 平台上 AGESA 固件被用于初始化多个子系统，其中包括处理器核心、芯片组和内存。它需要持续更新以支持新硬件和修复 bug。但固件也可能成为网络攻击的一个薄弱环节。AMD 提议的新固件 openSIL 通过将开发、架构和验证开源以增强安全性。它旨在设计成为一种轻量级、简单、透明、安全和易扩展的开源固件。openSIL 不是为了取代 UEFI，而是与其它主机固件如 coreboot 整合，用标准工业语言编写，允许静态链接到主机固件。AMD 计划到 2026 年用 openSIL 淘汰 AGESA。

https://www.anandtech.com/show/18853/amd-opensil-planned-to-replace-agesa-firmware-in-client-and-server-in-2026

#开源

Cantonese Font with Pronunciation https://visual-fonts.com/

432-Core RISC-V European Processor Designed for Use in Space Taped Out https://www.hpcwire.com/2023/05/08/european-processor-designed-for-use-in-space-taped-out/

Linux kernel use-after-free in Netfilter, local privilege escalation https://seclists.org/oss-sec/2023/q2/133

crABI!
https://github.com/rust-lang/rust/pull/105586

See this page fetch itself, byte by byte, over TLS https://subtls.pages.dev/