一次 FP32 SGEMM 的性能优化长征：从 naive kernel 的 306.7 GFLOPS 走到 warptiling 的 20405.1 GFLOPS，约为 cuBLAS 的 93.2%。

大三上三门课（软件测试、嵌入式系统概论、人机交互）的复习笔记入口。

在技术写作和文档管理中，Markdown 已成为事实上的标准格式。然而，将 Markdown 导出为 PDF 时，常见的工具往往引入过多额外元素——封面、目录、页眉页脚、页码——这些附加物在某些场景下是必要的，但在另一些场景下却成为干扰。 md2pdf 正是为此而生：一个极...

网上冲浪的时候总会看到各种令人忍不住重击太阳穴的逆天言论，特地做一个整理。本文所罗列的谬误分类与分级，参考自B站UP主“导数之神阿希”制作的逻辑谬误Tier表。 原视频链接：【锐评各种逻辑谬误】 偷换概念解释：在论证过程中，将同一个词或短语在不同语境下的含义进行混淆，从而...

奏与衔接作为一部以战争为背景的现实主义影片，《欢迎来龙餐馆》的叙事效率值得单独指出。全片以徐福（沈腾饰）赴中东还债开篇，以二十年后的废墟与一份菜单收束，中间经历餐馆兴衰、战乱爆发、人物离散，信息量不小，但观影过程中几乎感觉不到拖沓。 文牧野延续了《我不是药神》以来以事件推...

HankCode一个轻量级的 Coding Agent Harness，聚焦治理护栏（Guardrails），让 LLM 的编码行为受可验证的确定性代码约束。 Github GitLab 项目简介HankCode 是一个从零构建的 Agent Harness 框架，核心等...

数据来源说明本实验选取公开零售交易数据集作为分析对象，数据来源为UCI Machine Learning Repository中的Online Retail Dataset。该数据集记录了某在线零售公司的真实交易数据，包含订单、商品、客户及时间等多维度信息。 数据字段说明如...

用管程（monitor）实现哲学家进餐问题：数据结构、pickup / putdown / test 过程与一个完整解法。

一、处理器调度算法处理器调度的核心目标是提高 CPU 利用率、吞吐量，并减少等待时间和响应时间。调度算法决定了就绪队列中哪个进程获得 CPU 的使用权。 算法对比总览 算法 名称 抢占性 特点 优缺点 FCFS 先来先服务 非抢占 按请求顺序排队 实现简单；对短进...

此课程维持了南软诸多专业课的一贯的水准。理论部分底蕴悠久，一脉相承，与南软同寿 – 南软佛脚玩乐指南 课程学习路线总览 操作系统是计算机系统的核心系统软件，负责管理硬件资源、控制程序运行、为用户提供接口。整个课程围绕”资源管理“和”程序控制“两条主线展开，涵盖进程管理、...