Develata's Space

Appearance

科技新闻 2025-12-21 ​

隐私已失效，匿名成新防线；大模型迭代加速，硬件轻量化趋势显现。从纯硅编程到AI持久记忆，技术突破重塑数据与身份边界。

Privacy doesn't mean anything anymore, anonymity does 94 ​

  • Tags: 隐私保护 架构设计 无日志策略 安全架构

  • Source: HackerNews | 阅读原文

[摘要]
真正的隐私是架构级设计，而非营销话术；Mullvad VPN 无日志政策使其在执法搜查中无法提供用户数据，体现“数据不存在即不可泄露”的技术哲学。

Big GPUs don't need big PCs 94 ​

  • Tags: Raspberry Pi PCIe switch multi-GPU LLM inference AI acceleration

  • Source: HackerNews | 阅读原文

[摘要]
Raspberry Pi 5搭配多GPU通过外部PCIe开关实现接近桌面服务器的LLM推理性能，证明在多卡协同下带宽瓶颈可被突破，效率优势显著。

LLM Year in Review 94 ​

  • Tags: 大语言模型 强化学习 模型训练 RLVR 推理能力

  • Source: HackerNews | 阅读原文

[摘要]
2025年，基于可验证奖励的强化学习（RLVR）成为大模型训练新范式，通过自动验证奖励实现长周期优化，显著提升模型推理与问题求解能力，推动算力分配向后端训练倾斜。

Mathematicians don't care about foundations (2022) 92 ​

  • Tags: 数学哲学 形式化 数学基础 直觉主义

  • Source: HackerNews | 阅读原文

[摘要]
数学的本质是基于直觉的集体编码，形式化框架只是对非正式共识的近似表达，基础危机未动摇主流数学实践。

Pure Silicon Demo Coding: No CPU, No Memory, Just 4k Gates 92 ​

  • Tags: ASIC FPGA 硬件编程 无CPU系统 低资源嵌入式 Verilog 状态机

  • Source: HackerNews | 阅读原文

[摘要]
在仅4000逻辑门的超微型ASIC中，无CPU/内存条件下实现带3D动画、阴影文本与音频的完整VGA演示，依赖纯状态机与实时像素生成。

Backing Up Spotify 92 ​

  • Tags: 音乐数据 数字保存 信息存档 开源项目 互联网档案

  • Source: HackerNews | 阅读原文

[摘要]
构建全球首个开放音乐保存档案，涵盖25600万曲目与8600万音乐文件，通过300TB种子实现全网可镜像备份，解决音乐数字遗产长期缺失问题。

What Does a Database for SSDs Look Like? 92 ​

  • Tags: 数据库架构 NVMe 事务系统 存储优化 系统设计

  • Source: HackerNews | 阅读原文

[摘要]
探讨为现代NVMe SSD与云基础设施重新设计关系型数据库的架构范式，基于I/O性能跃升重构存储引擎、缓存策略与事务模型。

MIRA – An open-source persistent AI entity with memory 87 ​

  • Tags: AI Agent Persistent Memory Self-Contained Tools Context Management Autonomous AI

  • Source: HackerNews | 阅读原文

[摘要]
Mira 是一个无需人工干预的持续性数字实体，通过类REM睡眠的异步对话处理与自适应上下文窗口管理实现记忆持久化，支持不可衰减的文档协作与自注册工具系统。

I spent a week without IPv4 (2023) 87 ​

  • Tags: IPv6 网络协议 过渡机制 NAT64 464XLAT

  • Source: HackerNews | 阅读原文

[摘要]
作者通过一周纯IPv6环境实践，深入测试IPv6过渡机制（如NAT64、464XLAT），揭示其实际效果与局限，强调应摒弃对NAT的依赖，推动全球IPv6部署。

The Deviancy Signal: Having "Nothing to Hide" Is a Threat to Us All 87 ​

  • Tags: 数字隐私 监控社会 信息伦理 隐私悖论

  • Source: HackerNews | 阅读原文

[摘要]
当“我没什么可隐藏的”者试图在日后寻求隐私时，其过往的完全透明行为反而成为被监控的信号，暴露其异常性，形成自我构建的监视靶点。