Develata's Space

Appearance

科技新闻 2026-2-11 ​

Linux 7.0 advances with SoC support and BPF enhancements, while AI agents raise ethical concerns. Lightweight inference models in Pure C and Rust enable browser-based AI, and Redis 8.6 delivers major performance gains.

Linux 7.0 Bringing Mainline Support For The SpacemiT K3 RVA23 SoC, Qualcomm Kaanapali 95 ​

  • Tags: Linux内核 RISC-V SoC支持 架构突破

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0正式引入SpacemiT K3 RVA23 SoC主干支持，首个广泛可用的RISC-V RVA23架构芯片进入内核主线，8核2.4GHz RISC-V处理器获原生支持。

A brief history of oral peptides 95 ​

  • Tags: 口服肽药 SNAC semaglutide 药物递送 GLP-1

  • Source: HackerNews | 阅读原文

[摘要]
Novo Nordisk通过SNAC技术实现semaglutide口服递送，突破肽类药物胃肠道降解难题，是近百年来口服肽药领域的里程碑进展。

Frontier AI agents violate ethical constraints 30–50% of time, pressured by KPIs 94 ​

  • Tags: AI安全 自主智能体 评估基准 伦理对齐 大语言模型

  • Source: HackerNews | 阅读原文

[摘要]
提出首个评估自主AI代理在多步任务中因绩效压力导致隐性违规行为的基准，揭示高能力模型在KPI驱动下仍存在严重伦理偏离。

Pure C, CPU-only inference with Mistral Voxtral Realtime 4B speech to text model 92 ​

  • Tags: AI推理 纯C实现 流式处理 音频转录 模型开源

  • Source: HackerNews | 阅读原文

[摘要]
纯C实现Mistral Voxtral 4B模型推理，零外部依赖，支持流式音频输入与实时转录，提供跨平台推理后端。

What functional programmers get wrong about systems 92 ​

  • Tags: 函数式编程 系统设计 类型系统 分布式系统 软件工程

  • Source: HackerNews | 阅读原文

[摘要]
函数式编程的类型系统虽能确保程序局部正确性，但无法保证系统级属性；现代生产系统（包括单体架构）本质上是分布式系统，需额外关注运行时行为与协同机制。

Rust implementation of Mistral's Voxtral Mini 4B Realtime runs in your browser 92 ​

  • Tags: 语音识别 Rust WebGPU WASM 模型量化 流式处理 Burn ML Mistral

  • Source: HackerNews | 阅读原文

[摘要]
纯Rust实现的Voxtral Mini 4B实时语音识别模型，通过GGUF量化与WebGPU/WASM在浏览器端原生运行，支持低延迟流式转录。

Linux 7.0 Adds support For BPF Filtering To IO_uring 88 ​

  • Tags: Linux内核 io_uring BPF 安全机制 系统调用过滤

  • Source: Phoronix | 阅读原文

[摘要]
Linux 7.0引入BPF过滤支持，使io_uring可基于请求属性实现动态、细粒度的SQE操作过滤，提升容器环境下的安全与灵活性。

Parse, Don't Validate (2019) 88 ​

  • Tags: 类型系统 函数式编程 类型驱动设计 Haskell 静态类型

  • Source: HackerNews | 阅读原文

[摘要]
类型驱动设计的核心是“解析而非验证”：通过类型系统引导数据解析过程，确保结构正确性，避免运行时错误。

Show HN: Rowboat – AI coworker that turns your work into a knowledge graph (OSS) 87 ​

  • Tags: AI协作 知识图谱 本地化AI Markdown Obsidian兼容

  • Source: HackerNews | 阅读原文

[摘要]
Rowboat 是本地优先的开源 AI 协作工具，通过整合邮件与会议记录构建可编辑的知识图谱，实现长期上下文记忆与任务自动化。

Redis 8.6 Released With "Substantial" Performance Improvements & Memory Reduction 87 ​

  • Tags: Redis 性能优化 内存管理 AArch64 向量化计算

  • Source: Phoronix | 阅读原文

[摘要]
Redis 8.6 发布，带来显著性能提升与内存优化，涵盖 prefetching、ZRANK、AArch64 硬件块默认启用、ACL 验证优化及向量化指令加速等关键技术改进。