Develata's Space

Appearance

科技新闻 2025-12-15 ​

本周科技动态聚焦开源生态与系统性能：JSDoc正式支持TypeScript，LLVM-mca助力处理器洞察，CentOS Kmods SIG推出NVIDIA开源GPU模块。同时，Linux 6.19在EPYC 9965上展现强劲AI/HPC性能，沙箱安全与API优先趋势凸显。

JSDoc is TypeScript 92 ​

  • Tags: TypeScript JSDoc JavaScript 类型系统 工具链

  • Source: HackerNews | 阅读原文

[摘要]
JSDoc与TypeScript本质同源，JSDoc通过类型注解实现类型检查能力，是TypeScript核心功能的轻量表达形式，二者并非对立关系。

Surface Tension of Software 92 ​

  • Tags: 函数式编程 软件架构 类型系统 约束设计 系统稳定性

  • Source: HackerNews | 阅读原文

[摘要]
软件通过约束（如纯函数、不可变性）构建内在稳定性，类似表面张力维持液态形态，使系统在变化中保持完整性与一致性。

Illuminating the processor core with LLVM-mca 87 ​

  • Tags: LLVM 优化分析 性能剖析 RISC/CISC 微操作级分析

  • Source: HackerNews | 阅读原文

[摘要]
使用llvm-mca分析Protobuf VarintSize64函数，揭示基于微操作的性能瓶颈与优化潜力，体现现代处理器执行模型对代码优化的关键影响。

Linux Sandboxes and Fil-C 87 ​

  • Tags: Linux内核 安全漏洞 内存安全 沙箱 Fil-C

  • Source: HackerNews | 阅读原文

[摘要]
通过Fil-C的内存安全特性与沙箱机制结合，实现对OpenSSH的强安全保障，兼顾内存安全与进程隔离。

CentOS Kmods SIG Providing NVIDIA Linux Open GPU Kernel Modules For RHEL/CentOS Users 85 ​

  • Tags: Linux内核 NVIDIA GPU驱动 RHEL CentOS kernel module

  • Source: Phoronix | 阅读原文

[摘要]
CentOS Kmods SIG推出NVIDIA开源GPU内核模块，支持RHEL/CentOS及Fedora风格的Enterprise Linux 8/9/10与CentOS Stream 9/10，提供多版本驱动包以适配不同需求。

Early Linux 6.19 Benchmarks On AMD EPYC 9965 2P Excelling For AI & HPC Performance 85 ​

  • Tags: Linux内核 AMD EPYC HPC AI 性能基准

  • Source: Phoronix | 阅读原文

[摘要]
Linux 6.19 在 AMD EPYC 9965 2P 平台对 HPC 与 AI 工作负载展现显著性能提升，尽管存在调度器回归问题。

Stop crawling my HTML – use the API 85 ​

  • Tags: WordPress REST API ActivityPub oEmbed Semantic Web Content Syndication

  • Source: HackerNews | 阅读原文

[摘要]
通过标准化API与多种格式的资源链接（JSON、ActivityPub、oEmbed等），实现内容可程序化访问，避免HTML爬取带来的解析难题。

Ask HN: What Are You Working On? (December 2025) 85 ​

  • Tags: 自托管 研究工具 arXiv 个性化摘要 信息过滤

  • Source: HackerNews | 阅读原文

[摘要]
自托管研究摘要服务Paperboy基于arXiv论文生成个性化每日科研简报，结合研究兴趣评分与可定制摘要，实现高效学术信息过滤。

Hashcards: A plain-text spaced repetition system 85 ​

  • Tags: Spaced Repetition Markdown Local-First FSRS Git Command-Line Tools

  • Source: HackerNews | 阅读原文

[摘要]
hashcards 是一款本地优先的闪存复习应用，以 Markdown 文件形式存储卡片，采用 FSRS 算法并基于内容哈希实现去中心化管理，支持 Git 版本控制与 Unix 工具链集成。

2002: Last.fm and Audioscrobbler Herald the Social Web 85 ​

  • Tags: 协同过滤 推荐系统 Web 2.0 音乐推荐 社交网络

  • Source: HackerNews | 阅读原文

[摘要]
2002年，Last.fm与Audioscrobbler基于协同过滤技术实现音乐推荐与用户行为共享，开创性地将社交化推荐引入在线音乐领域，预示Web 2.0时代到来。