Adding design-by-contract conditions to C++ via a GCC plugin https://gavinray97.github.io/blog/adding-invariant-to-cpp-design-by-contract

LineageOS 20 发布

2023-01-02 23:29:00 by 长颈龙的完美一天

Android 社区发行版 LineageOS 释出了 v20 版本。LineageOS 是 CyanogenMod 的分支，在 Cyanogen 公司宣布停止开发 CyanogenMod 之后创建，LineageOS 20 是基于 Android 13，剥离了 Google 应用，加入了项目自己的一些应用，其中包括了新的相机应用 Aperture（基于 Google CameraX），合并了 2022 年 4 月到 12 月的安全补丁，Android TV 版本包含了一个无广告的 Android TV 启动器，等等。

https://lineageos.org/Changelog-27/

#Android

ColorOS 这咋还能下载内存（

Inside the 8086 processor's instruction prefetch circuitry https://www.righto.com/2023/01/inside-8086-processors-instruction.html

Phoronix
Thanks To Valve, HDR Beginning To Work For Linux Gaming

Thanks to Valve's incredible work on Steam Play and investing in low-level Linux graphics stack improvements, the latest milestone being achieved is HDR (High Dynamic Range) support beginning to work...

Generalized LL (GLL) Parser

This post provides a complete tour of Generalized LL (GLL) parsing along with GSS (graph structured stack) and extraction of parse trees from SPPF (shared packed parse forest). This is part of my ongoing effort to document various parsing algorithms.I am looking for feedback on structure as well as content as before.Note: Pyodide takes a little time to initialize, but it should be faster to initialize than spinning up the binder service from Jupyter (but slower to execute).This is the writeup.Comments

via vrthra@users.lobste.rs (vrthra)

https://github.com/TypeFox/monaco-languageclient
也支持 Worker 里面跑的 lang server
感觉可以玩一玩把 slang 交叉编译到 wasm 啥的（

Difference between Rust intristics and Rust lang items (with Haskell examples)

Comments

via safinaskar@users.lobste.rs (safinaskar)

深入研究了一下这个问题 https://jia.je/hardware/2023/01/05/pcie-bifurcation/

总用时 ~10h
全靠提示（

是本学期上的最开心的一门课，好耶！

PHP: Prolog Home Page https://php.energy

Production Twitter on one machine? 100Gbps NICs and NVMe are fast https://thume.ca/2023/01/02/one-machine-twitter/

Universal flu vaccine against all known subtypes takes promising first steps https://www.science.org/doi/10.1126/science.abm0271