systems-programming

技術志向のPDFコレクション（論文、仕様書、デック、マニュアルなど）— tpn.github.io/pdfsで閲覧・検索可能。

2.78兆パラメータのKimi K3を単一CPU上で8.24 GBのRAMで推論実行。ポータブルC99: BLAS、フレームワーク、GPUなし。

.NET ネイティブの事前コンパイル技術を使用した、システムプログラミングにおける C# の可能性を示すデモ

Valeプログラミング言語用コンパイラ - http://vale.dev/

安全で堅牢なシステムソフトウェアの開発に関する無料の書籍

実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。