- 哈佛回应联邦政府要求整改的信件;
- 用单表SQLite和定时任务打造可定制的AI管家;
- DeepSeek 推理引擎开源之路;
- 谷歌AI助力破解海豚语言:DolphinGemma项目突破;
- 英特尔以87.5亿美元估值出售Altera 51%股权给私募银湖资本;
以上是今天的前五条黑科技新闻标题。
总共25条,具体内容您往下读…
1. 哈佛回应联邦政府要求整改的信件
🔗 harvard.edu: Harvard’s response to federal government letter demanding changes
🔥🔥: 1017 | 💬: 918 | 🗓️ 2025-04-14 |
哈佛大学校长艾伦·加伯致信师生,回应联邦政府近期以反犹主义为由威胁终止与高校的合作关系。信中强调,联邦政府的最新要求越权干涉学术自由,包括强制审核师生观点、削弱特定群体的影响力等,哈佛已明确拒绝。校方重申将坚持宪法第一修正案权利,维护独立办学原则,同时承诺继续打击反犹行为,但反对政府以行政手段管控教学内容与招生政策。哈佛强调,追求真理与开放探究的价值观是学术机构的核心,不应受政治干预。
2. 用单表SQLite和定时任务打造可定制的AI管家
🔗 geoffreylitt.com: A hackable AI assistant using a single SQLite table and a handful of cron jobs
🔥🔥: 558 | 💬: 137 | 🗓️ 2025-04-14 |
作者分享了一个名为Stevens的极简AI助手,仅依赖单个SQLite表存储记忆数据,配合少量定时任务实现功能。该助手每天通过Telegram发送包含日程、天气、快递提醒的晨报,支持邮件/聊天交互。核心架构托管在Val.town平台,通过Google日历API、天气API等数据源自动更新记忆表,调用Claude生成自然语言报告。项目强调轻量启动(无需复杂RAG技术)、开放扩展(任意文本记忆+可增数据源)和趣味设计(管家语气/游戏化界面),代码已开源供改造复用。
3. DeepSeek 推理引擎开源之路
🔗 github.com: The path to open-sourcing the DeepSeek inference engine
🔥🔥: 426 | 💬: 39 | 🗓️ 2025-04-14 |
DeepSeek 团队在开源周期间开源了多个库,获得社区积极反馈,因此决定进一步开源内部推理引擎。该引擎基于 vLLM 并针对 DeepSeek 模型深度优化,但因代码分支差异、基础设施依赖和维护资源有限,团队选择以更可持续的方式回馈社区:贡献独立模块和优化方案至现有开源项目。团队强调对开源生态的感激,并承诺未来在模型发布时同步推理工程进展,推动 AGI 技术普惠发展。
4. 谷歌AI助力破解海豚语言:DolphinGemma项目突破
🔗 blog.google: DolphinGemma: How Google AI is helping decode dolphin communication
🔥🔥: 272 | 💬: 103 | 🗓️ 2025-04-14 |
谷歌与佐治亚理工学院、野海豚项目(WDP)合作开发了DolphinGemma——一个基于AI的音频模型,通过分析大西洋斑点海豚40年的声学数据,学习其发声规律并生成类海豚声音序列。该模型结合Pixel手机的实时处理能力,帮助研究者识别叫声中的潜在模式,甚至建立人豚交互词汇库(如通过CHAT系统关联合成哨音与物体)。项目计划开源模型,推动全球鲸豚类研究。这一跨物种沟通探索标志着AI技术与海洋科学的深度融合。
5. 英特尔以87.5亿美元估值出售Altera 51%股权给私募银湖资本
🔗 newsroom.intel.com: Intel sells 51% stake in Altera to private equity firm on a $8.75B valuation
🔥🔥: 241 | 💬: 173 | 🗓️ 2025-04-14 |
英特尔宣布将Altera 51%的股份出售给科技投资巨头银湖资本,交易估值达87.5亿美元,使Altera成为独立运营的FPGA(现场可编程门阵列)领域龙头企业。英特尔保留49%股权,继续参与其未来发展。新任CEO Raghib Hussain将接替Sandra Rivera,推动Altera在AI、边缘计算等新兴市场的创新。交易预计2025年下半年完成,Altera 2024年营收15.4亿美元,非GAAP运营利润3500万美元。银湖资本称此为“一代人一次的投资机会”,将助力Altera巩固技术领先地位。
6. 熵到底是什么?
🔗 jasonfantl.com: What Is Entropy?
🔥🔥: 179 | 💬: 68 | 🗓️ 2025-04-14 |
熵常被描述为不确定性的度量,最初由信息论创始人克劳德·香农提出。其核心公式为 香农熵:系统所有可能状态的信息量($-log_2(p_i)$)的期望值。例如,公平骰子的熵高于偏态骰子,因前者结果更不确定。在统计力学中,熵反映宏观状态对应的微观状态数量——微观状态越多,熵越高。熵增解释了时间箭头:系统倾向于向更可能(高熵)的宏观状态演化。
7. Zig语言新版LinkedList API解析:掌握@fieldParentPtr
🔗 openmymind.net: Zig’s new LinkedList API (it’s time to learn fieldParentPtr)
🔥🔥: 170 | 💬: 139 | 🗓️ 2025-04-14 |
Zig最新提交的SinglyLinkedList
和DoublyLinkedList
改用侵入式链表设计,节点直接嵌入用户数据结构中,减少内存分配。新API移除了泛型,通过@fieldParentPtr
内置函数从节点指针反向获取父结构(如User
)。虽然该API性能更优,但需熟悉内存偏移计算和字段布局。示例演示了如何通过@offsetOf
安全定位字段,并强调开发者需适应这种底层操作模式。
8. 如何骑自行车横穿全国
🔗 brooks.team: How to bike across the country
🔥🔥: 167 | 💬: 86 | 🗓️ 2025-04-14 |
本文介绍了长途骑行的必备要点,包括路线规划、装备选择和体能训练。强调提前了解天气和地形,携带足够补给,并保持循序渐进的骑行节奏,确保安全与可持续性。适合骑行爱好者挑战自我,探索沿途风景。
9. Omnom:支持可搜索可视化快照的自托管书签工具
🔗 omnom.zone: Omnom: Self-hosted bookmarking with searchable, wysiwyg snapshots
🔥🔥: 149 | 💬: 47 | 🗓️ 2025-04-14 |
这是一个只读演示版本,用户可通过GitHub获取完整信息。Omnom是一款自托管书签管理工具,特色功能包括可视化快照保存(WYSIWYG)和全文搜索,方便用户高效归档与检索网页内容。项目开源,适合注重隐私与定制化的用户。
10. Meilisearch:AI驱动的混合搜索引擎API
🔗 github.com: Meilisearch – search engine API bringing AI-powered hybrid search
🔥🔥: 139 | 💬: 56 | 🗓️ 2025-04-14 |
Meilisearch是一款闪电般快速的搜索引擎API,为网站和应用提供AI驱动的混合搜索(结合语义与全文搜索)。支持即时搜索、错字容错、多语言优化及地理搜索等功能,50毫秒内返回结果。提供RESTful API、多租户管理和丰富SDK,开箱即用且易于部署。开源MIT许可,社区活跃,适合电商、影视等场景。
11. 联邦政府致函哈佛大学要求整改
🔗 harvard.edu: Federal Government’s letter to Harvard demanding changes [pdf]
🔥🔥: 132 | 💬: 50 | 🗓️ 2025-04-14 |
该PDF文件为联邦政府向哈佛大学发出的正式信函,要求其针对某些问题进行调整。内容涉及政策合规性、学术管理以及资金使用等关键领域。信中未明确具体细节,但强调了整改的紧迫性,并可能涉及联邦资助项目的审查。文件格式为加密PDF,无法直接提取完整文本,但标题和部分内容表明这是一份严肃的行政文件。
12. 巴勒斯坦活动家赴公民面试遭ICE逮捕
🔗 cbc.ca: Palestinian activist arrested by ICE while expecting U.S. citizenship interview
🔥🔥: 130 | 💬: 14 | 🗓️ 2025-04-14 |
莫森·马赫达维(Mohsen Mahdawi)是哥伦比亚大学巴勒斯坦学生联盟联合创始人,持美国绿卡多年,近期在佛蒙特州移民局参加公民面试时被ICE拘留。其律师指控逮捕是因其声援加沙的抗议活动,属政治报复。联邦法院已受理禁止驱逐的请愿。佛蒙特州国会代表团谴责此举”不道德且违法”,要求立即释放。马赫达维的同伴称他始终遵守法律,被捕时仍以和平手势回应。此前,另一名巴勒斯坦学生马哈茂德·哈利勒也因类似原因被列为”国家安全威胁”面临驱逐。
13. 《黑客实战C语言:C编程实用指南》
🔗 github.com: Hacktical C: practical hacker’s guide to the C programming language
🔥🔥: 128 | 💬: 118 | 🗓️ 2025-04-14 |
这是一本面向黑客的C语言实用指南,强调实战技巧而非基础语法。作者作为资深开发者,分享多年积累的高效编程方法,包括宏、固定点数运算、侵入式双向链表等高级主题。书中探讨了C语言的独特优势——自由与责任并存,并对比现代语言的局限性。项目开源,支持捐赠,推荐在Linux环境下使用GNU扩展功能。适合已掌握基础、渴望深入C语言核心的开发者。
14. Podman Quadlets:轻量级容器管理的系统化方案
🔗 podman-desktop.io: Podman Quadlets with Podman Desktop
🔥🔥: 126 | 💬: 45 | 🗓️ 2025-04-14 |
本文介绍了Podman Quadlets——一种通过systemd声明式管理容器的方案,适用于单机或开发场景,避免Kubernetes的臃肿。Quadlet配置文件(如.container
)可自动生成systemd单元文件,实现容器自启、故障恢复等功能。配合Podman Desktop扩展,用户能可视化创建、编辑Quadlet,并集成日志查看(journalctl
),简化跨平台管理。示例展示了如何为Nginx生成Quadlet,凸显其易用性与系统深度整合的优势。
15. AudioX:全能扩散Transformer模型实现任意模态到音频生成
🔗 zeyuet.github.io: AudioX: Diffusion Transformer for Anything-to-Audio Generation
🔥🔥: 124 | 💬: 13 | 🗓️ 2025-04-14 |
现有音频生成模型存在跨模态能力割裂、高质量多模态数据稀缺和输入整合困难三大瓶颈。本文提出AudioX——基于扩散Transformer的统一框架,支持文本、视频、图像等多模态输入,可同时生成高质量普通音频与音乐,并实现自然语言灵活控制。其核心创新是多模态掩码训练策略,通过随机遮蔽不同模态输入迫使模型学习鲁棒的跨模态表征。为解决数据不足,团队构建了包含19万条音频描述的VGGSound-Caps和600万条音乐描述的V2M-Caps数据集。实验表明,AudioX不仅性能媲美专用模型,更在统一架构中展现出卓越的多任务适应性。
16. 古墓引擎:开源自制《古墓丽影》游戏工具
🔗 tombengine.com: Tomb Engine
🔥🔥: 115 | 💬: 21 | 🗓️ 2025-04-14 |
Tomb Engine 1.8.1 是一款开源引擎,专为《古墓丽影》粉丝打造自定义冒险游戏而设计。该项目由社区自发维护,与官方无关联,代码免费公开以促进学习和协作,但禁止商用或非法用途。开发团队强调,所有维护工作均由志愿者利用业余时间完成,不提供任何担保。支持平台包括GitHub、Discord等,欢迎爱好者参与贡献。
17. 用Python给Python包加关税?这个恶搞库有点意思!
🔗 pypi.org: Tariff: A Python package that imposes tariffs on Python imports
🔥🔥: 112 | 💬: 12 | 🗓️ 2025-04-14 |
Tariff 是一个恶搞性质的Python包,宣称要”让导入再次伟大”。它通过模拟关税机制,让指定第三方库的导入速度变慢——比如对numpy
加征50%的”关税”,其导入时间就会延长50%。
该库采用猴子补丁技术修改导入行为,并会输出夸张的提示信息(例如”美国包正在赢!”)。作者以政治 parody 的形式调侃技术生态,明确标注”高风险娱乐项目”,采用MIT协议,仅支持Python 3.6+。安装只需pip install tariff
,但建议不要在生产环境使用这种故意降低性能的玩具库。
18. OpenAI正成为科技行业的系统性风险
🔗 wheresyoured.at: OpenAI is a systemic risk to the tech industry
🔥🔥: 110 | 💬: 104 | 🗓️ 2025-04-14 |
OpenAI近期以3000亿美元估值融资400亿美元(实际到账仅100亿),但面临严重财务压力:2024年收入40亿美元却亏损50亿,2025年预计支出280亿美元(含130亿微软算力费用和19亿Stargate超算项目投入)。其商业模式依赖高成本订阅和API,但每用户均亏损,且软银承诺的300亿资金存在变数。核心问题在于算力成本飙升(如CoreWeave合约每年需支付2.38亿),而收入增长依赖尚未成熟的“AI代理”产品。若资金链断裂,可能引发行业震荡。
19. 零代码生成:直接从Protobuf推断TypeScript类型
🔗 github.com: Show HN: Zero-codegen, no-compile TypeScript type inference from Protobufs
🔥🔥: 106 | 💬: 46 | 🗓️ 2025-04-14 |
该项目protobuf-ts-types 实现了无需代码生成或编译,即可从Protobuf的message
定义中推断出TypeScript类型。用户只需安装npm包并导入.proto
文件(或直接内联字符串),即可通过pbt.infer
自动映射出类型结构,例如将string name
转换为name: string
。
关键特性包括:
- 无代码生成:直接通过类型推断实现,减少工具链依赖。
- 支持基础类型:如字符串、数字、可选字段等,但暂不支持
oneof
和map
等高级特性。 - 开发友好:提供即时类型检查,若数据结构不匹配会触发TypeScript报错。
目前仅为概念验证版本,生产环境需注意限制(如不支持服务定义和文件导入)。示例代码演示了如何为Person
和Group
消息生成类型并实现类型安全的函数调用。
20. 被爬虫盯上的代价:LLM机器人与Vercel图片API的昂贵账单
🔗 metacast.app: The Cost of Being Crawled: LLM Bots and Vercel Image API Pricing
🔥: 96 | 💬: 78 | 🗓️ 2025-04-14 |
2025年2月,播客科技初创公司Metacast因LLM机器人(如Amazonbot、ClaudeBot等)疯狂爬取网站图片,触发了Vercel的图片优化API计费(每千次请求5美元),险些造成7000美元损失。问题根源在于配置错误:未限制外部图片优化,且未针对性屏蔽机器人流量。团队紧急禁用API、更新防火墙规则并优化robots.txt,同时反思云服务的成本风险。事件引发社交媒体热议,最终Vercel调整了定价,但团队仍选择自建图片优化方案。
21. 多伦多女子在Lyft车内聊天后收到对话转录短信
🔗 cbc.ca: She was chatting with friends in a Lyft. Then someone texted her what they said
🔥: 94 | 💬: 81 | 🗓️ 2025-04-14 |
一名多伦多女性在Lyft乘车期间与室友的私人对话被录音并转录为短信发送至其手机,引发隐私担忧。Lyft公司起初称此为美国试点项目,后改口称司机未经同意擅自录音并已对其采取行动。加拿大隐私专家指出,此举违反《个人信息保护与电子文件法》,强调企业必须明确告知并获用户同意才能收集数据。事件暴露了网约车场景下的隐私风险,涉事女性呼吁Lyft加强对用户数据的保护责任。
22. 欧盟向赴美工作人员发放一次性手机 防范间谍活动
🔗 ft.com: EU issues US-bound staff with burner phones over spying fears
🔥: 78 | 💬: 41 | 🗓️ 2025-04-14 |
欧盟因担心间谍风险,向即将前往美国的官员发放一次性手机,以防止敏感信息被监听。此举反映出欧美在数据安全领域的紧张关系升级。报道还提及英国《金融时报》提供的多项订阅服务,包括政治分析和贸易战追踪等内容。
23. 简易网页服务器
🔗 simplewebserver.org: Simple Web Server
🔥: 77 | 💬: 52 | 🗓️ 2025-04-14 |
这款工具配置简单,只需点击几下即可修改服务器选项。支持同时运行多个服务器,即使关闭应用也能在后台持续工作。特别针对单页应用(SPA)提供一键式URL重写功能。由@terreng和@ethanaobrien基于@kzahel的”Web Server for Chrome”改进开发,操作便捷且功能实用。
24. 白宫证实特朗普正研究”驱逐”美国公民的途径
🔗 huffpost.com: White House Confirms Trump Is Exploring Ways to ‘Deport’ U.S. Citizens
🔥: 74 | 💬: 31 | 🗓️ 2025-04-14 |
白宫发言人卡洛琳·莱维特表示,特朗普政府正在探索将犯有严重罪行的美国公民”驱逐”至萨尔瓦多的法律途径,该国监狱以侵犯人权著称。尽管政府声称仅针对暴力惯犯,但特朗普曾暗示可能扩大至轻罪者。此举缺乏明确法律依据,并可能违宪。此前政府已利用《1798年外敌法案》将移民强制送往萨尔瓦多,但公民驱逐计划面临法律挑战。批评者指出该政策剥夺了正当程序权利。
25. 我因税务软件错误多缴1.2万美元,最终从IRS成功追回!
🔗 mikekasberg.com: I Fought the IRS for Over $12K and won
🔥: 49 | 💬: 91 | 🗓️ 2025-04-14 |
软件工程师Mike Kasberg因使用TurboTax申报2021年税务时,系统重复计算了激励性股票期权(ISOs)收入,导致多缴1.2万美元。尽管他及时提交了修正税表,但IRS因处理延迟和系统漏洞(修正税表未包含关键表格6251)拖延三年。通过多次联系IRS、调取税务记录并发现TurboTax的软件缺陷后,他终于在2025年追回全额退款及利息。事件暴露了税务软件的交互设计问题和IRS的低效流程。