ShortNews.dev 2025-11-08
给软件开发者准备的优质简报,每日阅读 10分钟。
Hacker News
Valdi – A cross-platform UI framework that delivers native performance
🔼 432 | 💬 168
Valdi:Snap开源的跨平台原生性能UI框架
- 将声明式TypeScript代码直接编译为iOS、Android和macOS平台的原生视图,不依赖Web视图或JavaScript桥接,确保原生性能
- 提供即时热重载功能,开发者可在毫秒内查看UI更改而无需重新编译,显著提升开发效率
- 支持灵活的采用模式:既可将Valdi组件嵌入现有原生视图层次,也可在Valdi布局中使用平台特定视图
- 通过自动代码生成实现TypeScript与Kotlin、Objective-C、Swift间的类型安全绑定,支持深度原生API访问和双向通信
- 包含全局视图池系统实现自动视图回收、优化布局引擎和多线程JavaScript执行等性能优化特性,已在其生产应用中经过8年实战检验
AI benchmarks are a bad joke – and LLM makers are the ones laughing
🔼 226 | 💬 122
AI基准测试存在严重科学缺陷——大语言模型厂商才是赢家
- 牛津大学等机构研究发现,445个NLP和机器学习基准测试中仅16%采用严谨科学方法比较模型性能
- 约半数基准测试声称测量”推理”或”无害性”等抽象概念,但未提供明确定义和具体测量方法
- 27%的基准测试采用便利抽样法,测试数据基于方便性而非随机或分层抽样等科学方法
- 研究指出基准测试存在系统性缺陷:激励错位、结构效度问题、未知盲点及结果操纵现象
- OpenAI与微软内部将创造1000亿美元利润作为AGI达成标准,显示商业利益主导评估体系
VLC's Jean-Baptiste Kempf Receives the European SFS Award 2025
🔼 405 | 💬 84
让-巴蒂斯特·肯普夫因推动VLC与自由软件获2025年欧洲SFS奖
- 让-巴蒂斯特·肯普夫因对自由软件运动的持续贡献及长期领导VLC项目,获欧洲自由软件基金会(FSFE)与波尔扎诺Linux用户组(LUGBZ)联合颁发的2025年欧洲SFS奖
- VLC媒体播放器始于1996年的学生项目,现已发展为全球数十亿用户使用的全能媒体播放器,支持几乎所有音视频格式
- 肯普夫在学生时期加入VLC,在原开发者毕业后项目濒临中止时接管并重组代码,吸引新贡献者共同将其发展为世界级软件
- 他多次拒绝商业收购与利润诱惑,成立非营利组织VideoLAN确保软件归属社区,并创立VideoLabs支持技术开发而不背离自由软件理念
- VLC以橙色交通锥为标志,象征创意、协作与幽默,是非自由操作系统用户常安装的首款自由软件,也帮助自由软件用户避免依赖专有系统
- 肯普夫2018年获法国国家功绩骑士勋章,成为首位获此荣誉的自由软件开发者,被FSFE称为”软件自由的真骑士”
Always Be Ready to Leave (Even If You Never Do)
🔼 83 | 💬 46
随时做好离开的准备(即使你从不离开)
- 提前一年与决策者(主管和人力资源)坦诚沟通不满,以专业方式解决问题而非抱怨同事,建立透明关系并避免离职冲突
- 持续详细记录工作流程和知识,不仅便于交接,更减轻日常压力、提升团队效率并加速新成员融入
- 战略性选择能提升专业技能和推动职业发展的任务,避免无效劳动消耗精力,将有限能量投入高价值工作
- 这些习惯本身改善了工作状态:清晰沟通使部分问题得到解决,完善文档降低焦虑,能量管理让工作更有意义
- 最终离职过程平稳:遵循法律条款和公司流程,协助团队过渡并表达真诚感谢,体现职业操守和完整性
Making Democracy Work: Fixing and Simplifying Egalitarian Paxos
🔼 132 | 💬 39
修复与简化平等主义Paxos协议
- 提出EPaxos*作为平等主义Paxos更简单且正确的变体,解决原协议复杂、规范模糊和存在错误的问题
- 核心技术创新是设计更简化的故障恢复算法,并已严格证明其正确性
- 扩展协议适用范围至满足n ≥ max{2e+f−1, 2f+1}的故障阈值f和e,并证明所需进程数的最优性
- 采用无领导架构避免单点故障,降低远离领导节点的客户端延迟
- 允许最多f个进程故障时维持非零吞吐量,在不超过e个进程故障且命令可交换时实现2消息延迟的快速执行
52 Year old data tape could contain Unix history
🔼 91 | 💬 24
52年历史磁带或存Unix第四版完整副本
- 磁带标签为“UNIX Original From Bell Labs V4”,由犹他大学工作人员在储藏室发现,据信是1973年贝尔实验室的Unix第四版原始副本
- 这是首个用C语言重写内核和核心工具的Unix版本,此前全球未发现任何完整副本,仅存少量源代码片段和手册页
- 磁带由已故教授Jay Lepreau亲笔标注,后经考证由计算机图形学“犹他茶壶”发明者Martin Newell从AT&T接收
- 磁带将通过专人驾车运送至计算机历史博物馆,由资深软件管理员Al Kossow采用多通道高速模数转换和定制分析软件优先恢复
- 磁带为1970年代1200英尺9轨规格,博物馆表示其成功恢复的可能性较高
Cloudflare Scrubs Aisuru Botnet from Top Domains List
🔼 76 | 💬 24
Cloudflare从顶级域名榜单移除Aisuru僵尸网络域名
- Aisuru僵尸网络相关域名多次在Cloudflare公共热门网站排名中超越亚马逊、苹果、谷歌和微软,甚至一度占据榜首和第三位
- Cloudflare首席执行官称,Aisuru操纵者通过生成海量DNS查询,既恶意提升其域名排名,又攻击公司DNS服务,其他大型公共DNS服务也报告类似攻击激增
- Aisuru由数十万台被入侵的物联网设备构成,自2024年出现以来规模和攻击能力显著增强,可发起接近每秒30太比特的分布式拒绝服务(DDoS)攻击
- 该僵尸网络于10月初将其DNS查询从谷歌服务器(8.8.8.8)转向Cloudflare的1.1.1.1,导致其控制域名出现在排行榜前列,部分域名模仿主流云服务商
- Cloudflare采取部分或完全屏蔽恶意域名、添加榜单警告说明等措施,承认排名算法仅基于DNS查询量且存在缺陷,正改进算法以排除非人工流量
- 专家指出,Aisuru主要使用.su顶级域名(原苏联国家代码),多数控制服务器注册于此,且超50%的查询流量源自美国,主要来自AT&T、Comcast和Verizon等运营商
Apple is crossing a Steve Jobs red line
🔼 502 | 💬 408
苹果正跨越史蒂夫·乔布斯坚守的用户体验红线
- 史蒂夫·乔布斯视用户体验为不可妥协的核心原则,曾断然拒绝在Mac系统软件中植入广告的提案,即便该方案提供付费无广告版和免费广告版两种选择。
- 近期报道指出,苹果计划在Apple Maps中引入广告,延续了2015年App Store首次出现广告及2021年扩大广告位的做法。
- 作者亲身参与了1999年乔布斯否决广告提案的会议,乔布斯认为广告会污染Mac纯粹优雅的界面,坚持保护用户体验比短期收益更重要。
- 蒂姆·库克领导下的苹果逐渐模糊了这一红线,被批评为“出售灵魂换取轻松利润”,体现出公司价值观的转变。
- 乔布斯当年拒绝的广告形式包括开机播放品牌视频(如耐克)和在系统通知中嵌入情境广告(如墨水不足时推荐供应商)。
Why is Zig so cool?
🔼 456 | 💬 392
Zig 编程语言的独特优势与核心特性
- Zig 编译器原生支持 C 代码编译和跨平台编译,可直接生成针对不同架构的可执行文件,无需额外配置
- 变量声明支持类型推断,仅需
var或const关键字加变量名,类型由初始化表达式自动推导 - 内置测试块功能(test block)允许直接编译和执行模块测试,无需生成独立可执行文件,提升调试效率
- 支持任意位宽的整数类型(如 u9)和位字段操作,能够高效处理底层数据表示和位运算
- 具备编译时执行能力,可在编译阶段处理字面量、变量列表和复杂表达式,提升运行时性能
YouTube Removes Windows 11 Bypass Tutorials, Claims 'Risk of Physical Harm'
🔼 829 | 💬 360
YouTube以“人身伤害风险”为由删除Windows 11绕过教程引发争议
- YouTube删除CyberCPU Tech频道的两个Windows 11教程视频,分别演示本地账户安装和硬件要求绕过方法
- 平台声称这些内容“鼓励可能导致严重人身伤害或死亡的危险或非法活动”
- 两次申诉均被快速拒绝(首次45分钟,第二次仅5分钟),但视频后续被恢复
- YouTube澄清处理“并非自动化审核结果”,却未解释为何判定教程存在致命风险
- 事件暴露自动化审核系统缺乏上下文判断力,误判无害内容的同时漏过真实违规
GitHub Trending
umami-software / umami
⭐ 32187 | 🔀 5789 | TypeScript 97.4%, JavaScript 1.9%
Umami:简单、快速且注重隐私的网站分析工具
- Umami是Google Analytics的一个简单、快速且注重隐私的替代方案
- 支持从源代码安装,要求Node.js 18.18+和PostgreSQL(最低v12.14)数据库
- 提供Docker安装方式,可通过docker compose快速部署
- 首次安装时会自动创建数据库表,并生成默认管理员账户(用户名admin,密码umami)
- 项目采用MIT许可证开源,提供GitHub、Twitter、LinkedIn和Discord等多种支持渠道
TodePond / GulfOfMexico
⭐ 12940 | 🔀 449
Gulf of Mexico 编程语言核心特性
- 所有语句必须以感叹号结尾,支持多个感叹号增强语气,问号结尾可输出调试信息,否定运算符使用分号
- 提供四种变量声明方式:const const(完全不可变)、const var(可编辑不可重赋值)、var const(可重赋值不可编辑)、var var(完全可变)
- 数组索引从 -1 开始,支持浮点数索引插入元素,布尔值采用三值逻辑(true/false/maybe)
- 支持时间旅行操作:previous 查看变量过去值,next 获取未来值,current 获取当前值
- 无传统循环结构,异步函数通过交替执行实现并发,支持 noop 占位控制执行顺序
penpot / penpot
⭐ 41222 | 🔀 2276 | Clojure 79.2%, JavaScript 7.1%, SCSS 6.1%, Rust 4.4%, HTML 1.5%
Penpot:开源设计与代码协作平台
- Penpot 是首个开源的设计与代码协作工具,采用 SVG、CSS、HTML 和 JSON 等开放标准,支持浏览器访问或自托管部署,完全免费。
- 提供原生设计令牌作为单一事实来源,并具备 CSS 网格布局、全新界面设计和组件系统等 2.0 版本重大更新。
- 支持插件扩展和与其他应用集成,提供检查模式直接生成 SVG、CSS 和 HTML 代码,简化开发流程。
- 允许自托管实例,团队可完全掌控协作设计环境,并支持通过 Webhooks 和 API 接入开发工具链。
- 拥有活跃社区,鼓励用户通过共享资源、反馈问题、参与翻译或代码贡献等方式参与改进,并需遵守行为准则。
public-apis / public-apis
⭐ 376973 | 🔀 39912 | Python 96.8%, Shell 3.2%
公共API资源库:免费获取多样化接口服务
- 由社区成员与APILayer共同维护,涵盖60多个领域的海量API目录,包括动物、区块链、天气等分类
- 集成APILayer核心服务(如IP地理定位、股票数据、天气接口),支持快速API集成
- 每个API提供详细技术参数,包括认证方式、HTTPS支持及跨域访问配置
- 提供Discord社区交流、贡献指南和开源协议(MIT),支持开发者协作共建
thinking-machines-lab / tinker-cookbook
⭐ 1521 | 🔀 120 | Python 100.0%
Tinker Cookbook:语言模型微调工具与示例库
- 提供两个核心库:
tinker作为训练 SDK 支持通过 API 请求处理分布式训练,tinker-cookbook基于 Tinker API 提供实际微调示例与通用抽象接口 - 安装需通过等待列表注册账户,在控制台创建 API 密钥并设为环境变量,使用 pip 安装客户端,推荐在虚拟环境中安装 cookbook 以运行示例
- Tinker 基础组件包括 ServiceClient、LoRA 训练客户端与采样客户端,支持前向传播、反向传播、优化器更新、状态保存加载及模型采样功能
- Cookbook 包含六大高级示例:对话监督学习、数学推理强化学习、三阶段偏好学习(RLHF)、工具使用优化、提示蒸馏与多智能体对抗训练
- 集成实用工具:renderers 实现令牌与结构化消息转换,hyperparam_utils 计算适配 LoRA 的超参数,evaluation 模块提供模型评估框架并与 InspectAI 集成
- 项目支持社区协作开发(私有测试结束后开放 PR),使用需引用 Thinking Machines Lab 2025 年的官方 BibTeX 或文本引用格式
jamwithai / arxiv-paper-curator
⭐ 1329 | 🔀 421 | Python 52.8%, Jupyter Notebook 46.1%
人工智能之母项目:arXiv论文策展系统——生产级RAG实战指南
- 项目采用六周递进式学习路径,完整构建具备自动抓取、解析学术论文并基于混合检索技术回答研究问题的AI研究助手系统
- 强调“关键词搜索优先”的专业开发理念:先掌握BM25算法与OpenSearch实战,再进阶至向量嵌入与RRF融合的混合检索架构
- 集成本地Ollama LLM实现数据完全本地化,响应速度通过提示词优化和流式输出从120秒大幅提升至15–20秒
- 生产环境集成Langfuse全链路追踪与Redis缓存,实测缓存命中率超60%,重复查询响应速度提升150–400倍
- 提供Gradio交互界面与双API端点(标准JSON与Server-Sent Events流式响应),支持实时问答与深度调试
666ghj / BettaFish
⭐ 22963 | 🔀 4405 | Python 93.2%, HTML 5.7%
微舆:多智能体舆情分析系统核心特性
- 系统从零构建,用户通过自然对话提出需求,即可自动分析国内外30+主流社交媒体及数百万条评论,旨在破除信息茧房、还原舆情真相并辅助决策
- 具备强大的多模态解析能力,可深度分析抖音、快手等平台的短视频内容,并精准提取搜索引擎中的结构化信息卡片(如天气、股票数据)
- 采用复合分析引擎,融合5类专业Agent与微调模型、统计模型,通过独特的“论坛”协作机制进行多轮辩论,避免单一模型思维局限
- 支持公私域数据无缝集成,提供高安全性接口,允许用户将内部业务数据与舆情数据结合,实现“外部趋势+内部洞察”的深度分析
- 基于纯Python模块化设计,轻量化且易于扩展,开发者可快速集成自定义模型与业务逻辑,适配金融、市场等多种垂直场景
airweave-ai / airweave
⭐ 4734 | 🔀 574 | Python 67.8%, TypeScript 26.7%, MDX 4.4%
Airweave:跨应用与数据库的AI智能体上下文检索层
- 完全开源的上下文检索层,可将应用、生产力工具、数据库和文档存储的内容转换为可搜索知识库,为AI智能体提供标准化接口
- 通过REST API或MCP接口提供语义搜索能力,支持构建语义可搜索的MCP服务器,自动处理认证、提取、嵌入和服务全流程
- 支持30多种集成源,包括Airtable、Asana、GitHub、Notion、PostgreSQL、Slack、Stripe等常用应用与数据库
- 提供自托管部署(通过Docker Compose快速启动)和云端托管服务(Airweave Cloud)两种部署方式
- 具备数据同步、实体提取、多租户架构、增量更新、语义搜索和版本控制等核心功能
- 支持多种搜索模式,包括语义搜索、混合搜索(语义+关键词)、查询扩展、重排序、时效性偏置和AI生成答案
Indie Hacker
After two failed products, this founder dogfooded his way to $10k/mo
经历两次失败后,创始人通过自用产品实现月入1万美元
- 创始人 Yasha Boroumand 在两次失败后开发了 AI 智能体构建工具 FlowHunt,现月收入达1万美元(订阅收入6000美元,一次性积分收入4000美元)
- 早期失败项目包括大规模网站变更监控爬虫和多功能 WordPress SEO 插件,均因技术实现难度过高而未能成功
- FlowHunt 采用混合商业模式:分层订阅套餐包含固定积分额度,高阶用户可额外购买积分,当前订阅与积分收入比例约为60:40
- 通过自用产品实现全自动化SEO运营,自动生成并优化数千个多语言页面,目前获得超4万自然流量,覆盖6000多个关键词
- 创始人亲自处理客户支持,通过直接沟通精准识别用户体验缺陷,这些发现成为改善用户留存和促进升级的关键切入点
- 团队坚持快速部署策略,每日研究最新AI技术并整合进产品,计划通过在中欧举办活动推广生产级Vibe编程应用
Growing a tool to 1.2M registered users with almost zero marketing
零营销实现120万注册用户的在线编程工具增长策略
- 创始人Gokul Chandrasekaran在印度乡村成长,因个人经历于2013年以20美元启动JDoodle,旨在为缺乏计算机访问权限的人群提供简易编程环境
- 产品从单页Java执行器起步,根据用户请求逐步添加语言和功能,初期仅通过少量论坛发帖和个人博客引流,完全依赖有机增长和口碑传播
- 目前拥有120万注册用户,累计服务超2000万人,年收入达六位数,初期通过广告覆盖成本,现已转为免费增值订阅模式
- 关键经验包括:基于投资回报率验证功能需求、保持技术实操能力、专注解决真实问题(验证10个创意中仅1个成功)
- 未来重点发展JDoodle.ai人工智能代理平台,目标覆盖5亿技术与非技术用户并实现八位数收入,目前正启动社交媒体和付费广告营销
Sunsetting two businesses, exiting another, and joining a 5-figure-MRR business as cofounder IH+ Subscribers Only After a SaaS exit, Igor Debatur decided to focus on the industry he loves most — ext...
伊戈尔·德巴图尔的创业聚焦与成功之路
- 因同时运营三家成功企业导致注意力过于分散,伊戈尔·德巴图尔决定关停两项业务,将全部精力专注于内容管理与分发平台Uploadcare。
- 专注于Uploadcare后,团队从3人发展到34人,年经常性收入(ARR)达到数百万美元,服务客户包括Zapier、PandaDoc、红杉资本和SoundCloud等数千家公司。
- Uploadcare于2024年被Tiugo Technologies收购,团队和产品基因得以完整保留,并融入了拥有更多资源和重要合作伙伴的更大架构。
- 目前,他作为联合创始人正致力于户外地图应用Outmap的开发,该应用已实现月经常性收入(MRR)超过1万美元。
- 他分享的核心经验是:专注胜过自我(ego),在组建团队时应寻找“传教士”(使命驱动)而非“雇佣兵”(利益驱动)的合作伙伴。
Blssd Vybz Christian PWA: BLSSD VYBZ - Your Faith. Your Vibe
Blssd Vybz:数字时代年轻基督徒的灵性成长平台
- 专为年轻基督徒设计的渐进式网页应用(PWA),帮助用户在数字环境中实现灵性成长
- 核心定位“你的信仰,你的氛围”,致力于将信仰与个人生活方式相融合
- 提供AI驱动的灵性伴侣功能、引导式反思工具和活跃的信仰社区支持
- 区别于传统仅注重祷告或读经的应用,注重全面灵性指导和可关联的导师陪伴
- 目前月收入1美元,通过官方网站、Twitter和Facebook进行推广
BreatheRevive: In the Era of AI/ ML/ Quantum Computing, I am trying to learn and scale my static website to 50K MAU
BreatheRevive:通过免费呼吸练习网站实现有机增长
- 由深信正念呼吸力量的开发者创建,旨在提供免费、便捷的健康资源
- 网站为静态页面,无需注册即可使用,专注于提供呼吸练习功能
- 创始人目标是完全通过有机方式将月活跃用户(MAU)增长至5万,不投入任何广告或购买外链
- 该项目目前尚未产生收入,属于个人创业尝试与学习产品增长的实践
- 创始人作为软件工程师,具备开发多种应用的能力,希望通过此项目积累从零开始推广产品的经验
Don't miss what's next. Subscribe to shortnews.dev: