1. 80年代中期的MacPaint艺术作品至今仍令人惊艳;
  2. 绕过谷歌反广告拦截大更新的漏洞揭秘;
  3. 最高法院裁决变相封杀网络涉性内容创作自由;
  4. “new Date(‘wtf’)——你真的了解JavaScript的Date类吗?”;
  5. Kimi K2:当前最大的开源SOTA语言模型?;

以上是今天的前五条黑科技新闻标题。

总共25条,具体内容您往下读…

1. 80年代中期的MacPaint艺术作品至今仍令人惊艳

🔗 blog.decryption.net.au: MacPaint Art from the Mid-80s Still Looks Great Today

🔥🔥: 831 | 💬: 178 | 🗓️ 2025-07-12


作者在浏览BMUG的CD-ROM时,发现了许多80年代早期用MacPaint创作的艺术作品,随后在Discmaster上探索了超过18,000张MacPaint图像,并精选了部分佳作分享。这些作品在9英寸单色屏幕和有限的技术条件下完成,展现了惊人的创造力。作者还提到,同时期的Amiga电脑也能创作出类似(甚至更出色)的家用计算机艺术,计划未来进一步探索。此外,作者希望能联系到当年的艺术家,了解他们如今的创作成果。


2. 绕过谷歌反广告拦截大更新的漏洞揭秘

🔗 0x44.xyz: Bypassing Google’s big anti-adblock update

🔥🔥: 559 | 💬: 483 | 🗓️ 2025-07-12


谷歌Chrome正逐步淘汰MV2扩展规范,转向MV3,后者移除了关键权限webRequestBlocking,导致广告拦截器失效。作者发现了一个巧妙漏洞:由于部分Chrome API仍依赖JavaScript绑定代码,可通过伪造chrome.webRequest事件的构造函数,绕过MV3对请求拦截的限制。具体方法是利用已废弃的opt_webViewInstanceId参数跳过权限检查,实现请求拦截。

尽管该漏洞在2023年被报告并修复,但揭示了遗留代码的安全风险。作者调侃称,若未被发现,本可用来开发完全兼容MV3的广告拦截器,但最终仅获得0美元奖励(因不构成安全威胁)。这一案例展现了小代码如何颠覆大公司的更新计划。


3. 最高法院裁决变相封杀网络涉性内容创作自由

🔗 ellsberg.substack.com: Supreme Court’s ruling practically wipes out free speech for sex writing online

🔥🔥: 534 | 💬: 679 | 🗓️ 2025-07-12


美国最高法院近期裁决支持各州对网络涉性内容实施严格管控,允许保守州家长和律师跨州起诉创作者,甚至追究重罪刑责。根据田纳西州新法,若网站33%以上内容含”对未成年人有害”的性描写(包括文字、图像或视频),且未设置复杂年龄验证系统,运营者可能面临3至15年监禁。南达科他州更严苛,单段涉性文字或女性乳头图像即可触发轻罪指控。裁决迫使创作者在隐私侵犯性验证与法律风险间抉择,作者明确表示拒绝妥协,并警告此举将导致言论自由的系统性倒退。讽刺的是,暴力内容却不受同类限制,凸显法律对性表达的歧视性压制。


4. “new Date(‘wtf’)——你真的了解JavaScript的Date类吗?”

🔗 jsdate.wtf: New Date(“wtf”) – How well do you know JavaScript’s Date class?

🔥🔥: 309 | 💬: 171 | 🗓️ 2025-07-12


这是一篇关于JavaScript中Date类的趣味测试文章,包含20个问题,旨在挑战开发者对日期处理的认知。测试环境基于NodeJS 24.4.0,并在BST时区(UTC+1)的MacBook Pro上验证。作者samwho通过诙谐的标题(如”wtf”)吸引读者,强调日期解析的潜在陷阱。结尾提供分享功能,整体风格轻松但技术性强,适合JavaScript开发者检验知识盲区。


5. Kimi K2:当前最大的开源SOTA语言模型?

🔗 github.com: Kimi k2 largest open source SOTA model?

🔥🔥: 296 | 💬: 74 | 🗓️ 2025-07-12


Kimi K2是由Moonshot AI团队开发的大规模语言模型系列,采用混合专家(MoE)架构,拥有1万亿总参数和320亿激活参数。其核心亮点包括:

  • MuonClip优化器:首次在超大规模训练中应用,解决了稳定性问题,支持15.5T token的预训练。
  • 智能体能力:专为工具调用、推理和自主问题解决设计,在SWE-bench等评测中表现优异(单次尝试准确率65.8%)。
  • 开源与部署:提供基础模型(Kimi-K2-Base)和指令微调版本(Kimi-K2-Instruct),支持vLLM等推理引擎,并开放兼容OpenAI/Anthropic的API。

评测显示,Kimi K2在编程、数学及通用任务上超越DeepSeek-V3、Claude等模型,部分指标达到开源SOTA。模型权重和代码基于修改版MIT协议开源。


6. 亚利桑那州居民感染鼠疫24小时内死亡

🔗 independent.co.uk: Arizona resident dies from the plague less than 24 hours after showing symptoms

🔥🔥: 233 | 💬: 127 | 🗓️ 2025-07-12


美国亚利桑那州北部一名居民因感染鼠疫在出现症状后不到24小时死亡。患者被送往弗拉格斯塔夫医疗中心时已出现严重症状,同日不治身亡,尸检确认其感染鼠疫耶尔森菌。此次病例发生前,当地曾出现草原犬鼠异常死亡现象——这类啮齿动物携带的跳蚤是鼠疫常见传播媒介。科科尼诺县官方正调查相关草原犬鼠死亡事件,并收集跳蚤样本检测。

美国疾控中心数据显示,该国每年平均报告7例人类鼠疫病例,多集中于西部农村地区。鼠疫分为腺型、败血型和肺型三种,其中腺型最常见,通常通过受感染啮齿动物跳蚤叮咬传播。若在症状出现24小时内接受抗生素治疗,存活率可超90%。卫生部门呼吁民众及时报告异常死亡的啮齿动物,并为宠物使用驱蚤产品。


7. 鱼式踢水:可能是目前最快的水下泳姿(2015)

🔗 nautil.us: The fish kick may be the fastest subsurface swim stroke yet (2015)

🔥🔥: 201 | 💬: 131 | 🗓️ 2025-07-12


作者尝试模仿鱼类的水平摆动方式,学习鱼式踢水——一种完全水下、侧身进行的泳姿,需通过肩、肋、髋、膝四个支点协调波动推进。奥运冠军米斯蒂·海曼曾凭借此技术在2000年奥运会上夺金,她指导作者时强调涡流效应是关键:鱼式踢水产生的横向涡流不受水面和池底干扰,比海豚式踢水更高效。

研究表明,水下游泳因不受船首波速度限制(水面游泳的物理瓶颈)而更快。尽管鱼式踢水难度高且方向控制困难,但其潜力已被运动科学家认可。若技术完善,它可能成为竞技游泳的新突破,但水下比赛形式仍存争议。作者最终在练习中取得进步,亲身验证了这种泳姿的独特优势。


8. Commodore 64终极版:复古与未来的融合

🔗 commodore.net: Commodore 64 Ultimate

🔥🔥: 155 | 💬: 114 | 🗓️ 2025-07-12


这款Commodore 64终极版以经典外观和现代功能致敬历史,同时创新未来。它并非模拟器,而是30多年来首款官方C64硬件,兼容10,000+原版游戏和外设,并新增特色:游戏互动变色LED外壳、Wi-Fi传输、透明键盘电路板等。设计上保留了原始创作者的签名,附带螺旋装手册和经典包装盒。

无论是怀旧用户还是新手,都能体验无干扰的纯净计算,学习编程或探索计算机原理。Commodore倡导技术服务于人,而非控制人类。起售价299美元(不含税),回归简约科技本质。


9. 《Python自动化无聊工作》被删章节:用Python处理音频、视频和摄像头

🔗 inventwithpython.com: Lost Chapter of Automate the Boring Stuff: Audio, Video, and Webcams in Python

🔥🔥: 140 | 💬: 8 | 🗓️ 2025-07-12


《Python自动化无聊工作》第三版已发布,但原计划中关于多媒体处理的章节被移除。作者公开了这份26页的草稿,介绍如何用Python控制麦克风、摄像头和扬声器,实现自动化音视频编辑与录制。

内容涵盖:

  1. 多媒体格式解析:区分容器格式(如MP4、AVI)与编解码器(如H.264、MP3),推荐使用开源播放器VLC。
  2. 摄像头控制:通过OpenCV或Pygame库实现拍照、录制视频,支持自动响应事件(如邮件触发)或定时拍摄。
  3. 代码示例:提供精简脚本,包括检测摄像头索引、实时预览、保存照片/视频等核心功能,并解释关键参数(如帧率、分辨率)。

适合需要批量处理多媒体或开发定制化工具的用户,例如自动降噪音频、提取视频缩略图等场景。


10. ICANN怒斥AFRINIC无端取消选举且拒绝解释

🔗 theregister.com: ICANN fumes as AFRINIC offers no explanation for annulled election

🔥🔥: 137 | 💬: 51 | 🗓️ 2025-07-12


非洲网络信息中心(AFRINIC)在未说明原因的情况下宣布近期选举无效,引发互联网名称与数字地址分配机构(ICANN)强烈不满,警告可能介入干预。选举争议源于涉嫌伪造的授权委托书,例如毛里求斯一名成员发现他人冒用其名义投票。南非互联网服务提供商协会(ISPA)指控投票中存在欺诈行为,包括未经授权的代理投票和文件篡改。

ICANN要求AFRINIC的接管人公开调查细节,并暗示可能启动应急程序替换这一功能失调的区域互联网注册机构。与此同时,长期与AFRINIC存在法律纠纷的成员Cloud Innovation已申请解散该组织,认为其治理已无法挽回,建议将职能移交更可信的框架。毛里求斯法院要求AFRINIC在9月30日前重新举行选举,但当前混乱局面加剧了非洲互联网资源管理的不确定性。


11. 用AI“氛围编码”设计PCB——效果出人意料的好

🔗 atomic14.substack.com: Vibe-Coding a PCB – surprisingly good

🔥🔥: 134 | 💬: 60 | 🗓️ 2025-07-12


作者原本对AI设计PCB持怀疑态度,但实际效果令人惊喜。他使用Atopile(通过代码定义硬件并生成KiCad文件的工具)和AI助手Claude,仅用自然语言描述需求(如ESP32-S3模块、USB-C接口、LED指示灯等),AI便自动生成电路连接与元件布局。过程中虽出现漏线、电阻值不合理等小问题,但通过简单反馈快速修正,最终得到功能完备的PCB设计,包括差分USB布线、稳压电路和按键配置。

作者认为,尽管AI尚无法替代工程师,但已能高效处理繁琐细节,“氛围编码”(即模糊描述+信任AI)展现了硬件设计的未来潜力。文末附上了AI生成的元件清单,并考虑实际打板测试可行性。


12. 手把手教你写C编译器:一本循序渐进的好书

🔗 jollygoodsw.wordpress.com: Working through ‘Writing A C Compiler’

🔥🔥: 133 | 💬: 32 | 🗓️ 2025-07-12


作者分享了自己通过《Writing a C Compiler》一书学习构建C编译器的经历。第一章就能实现一个极简编译器(仅处理return <常量>),后续章节逐步添加一元运算符等特性。与其他编译器书籍不同,本书基于真实C语言而非虚构语言,且提供完整的测试套件(每章新增测试,支持分层验证)。

作者高度评价本书的实践性:通过邮件获得作者及时帮助,并计划补全书中未实现的“附加题”功能。他的Rust实现项目(pm100/mycc)和测试套件改进(支持Windows)已开源。后续将按章节撰写博客,既有已完成内容的总结,也有实时开发中的思考。

尽管书中存在少量未覆盖的C特性,但作者强调这仍是一本极其优秀的教程,适合想深入编译器开发的读者。


13. Zig的全新异步I/O设计

🔗 kristoff.it: Zig’s New Async I/O

🔥🔥: 104 | 💬: 75 | 🗓️ 2025-07-12


Zig语言在2026路线图中宣布了全新的I/O设计,核心变革是引入统一I/O接口Io),由调用方提供具体实现(类似现有的Allocator)。这一设计允许开发者自由选择底层I/O策略(如阻塞、线程池或协程),同时确保依赖库代码无缝适配。

关键改进包括:

  1. 并发表达优化:通过io.asyncFuture.await显式声明无依赖任务,使事件循环或线程池能自动并行化操作,同时兼容阻塞模式。
  2. 取消支持:通过Future.cancel实现资源安全释放,避免嵌套复杂度。
  3. 执行模型解耦:分离异步语义与运行时(如协程、线程池或WASM兼容的栈无关状态机),彻底解决“函数染色”问题。

标准库将提供多种I/O实现,包括基于io_uring绿色线程和面向WASM的无栈协程。新设计还通过虚函数优化和缓冲策略提升性能,并新增sendFile和向量化写入等语义化操作以降低内核拷贝开销。

该特性部分将于Zig 0.15.0亮相,完整版本需等待后续更新。


14. 夜间光照可预测心血管疾病发病率

🔗 medrxiv.org: Light exposure at night predicts incidence of cardiovascular diseases

🔥: 88 | 💬: 60 | 🗓️ 2025-07-12


一项针对超过88,000名英国中老年人的前瞻性队列研究发现,夜间暴露于强光与多种心血管疾病风险显著相关。研究通过腕戴式传感器收集了约1300万小时个人光照数据,并追踪了9.5年内的医疗记录。结果显示,与夜间光照最弱(0-50百分位)的人群相比,夜间光照最强(90-100百分位)者的冠心病风险增加23-32%心肌梗死风险增加42-47%心力衰竭风险增加45-56%。这种关联在调整运动、吸烟、睡眠等传统风险因素后依然存在,且对女性和年轻人群影响更显著。研究者建议,减少夜间光照可能成为预防心血管疾病的新策略。


15. Grok 4重型版隐藏系统提示引争议

🔗 simonwillison.net: Grok 4 Heavy Protects it’s System prompt

🔥: 78 | 💬: 56 | 🗓️ 2025-07-12


Grok 4重型版(每月300美元的高级版本)被曝采取了特殊机制阻止用户查看其系统提示,尽管此前Grok团队曾公开倡导模型透明度。匿名用户反馈,该版本偶尔会输出部分提示内容,但随即被拦截。

此前,Grok因系统提示中包含“敢于冒犯政治正确人群”的表述而引发反犹争议,但该内容未出现在其公开的历史提示中。作者建议xAI应加强提示透明度,并改进自动更新机制,避免类似问题。

事件凸显了AI伦理与透明度的重要性,尤其在近期多次失误的背景下。


16. 更强大的Ghidra MCP扩展——GhidrAssistMCP

🔗 github.com: A better Ghidra MCP server – GhidrAssistMCP

🔥: 77 | 💬: 13 | 🗓️ 2025-07-12


GhidrAssistMCP是一款基于Model Context Protocol(MCP)的Ghidra插件,通过标准化API实现AI助手与逆向工程平台的深度交互。核心功能包括:内置31种分析工具(涵盖程序信息获取、函数反编译、交叉引用分析等)、实时日志监控和动态工具管理。该扩展采用HTTP/SSE协议通信,支持通过JSON格式调用工具,例如自动创建数据结构或修改函数原型。安装方式提供预编译包和源码构建两种方案,需Ghidra 11.4+环境运行。开发者可通过实现McpTool接口快速扩展自定义工具,所有配置均通过可视化界面管理并持久化保存。项目采用MIT开源协议,特别适合需要AI辅助逆向分析的场景。


17. BinaryRPC:基于WebSocket的轻量级C++ RPC框架

🔗 github.com: Show HN: BinaryRPC – Lightweight WebSocket-based RPC framework in modern C++

🔥: 71 | 💬: 34 | 🗓️ 2025-07-12


BinaryRPC是一个专为低延迟应用(如多人在线游戏、金融行情推送和物联网仪表盘)设计的现代C++ RPC框架。它基于高性能的uWebSockets库,提供模块化架构和高效网络通信,同时保持资源占用和开发体验的轻量化。

框架核心特性包括:WebSocket传输(支持epoll/kqueue)、可配置的可靠性级别(QoS)、有状态会话管理(支持断线重连)以及中间件链(如JWT认证和限流)。开发者可通过简单的CMake集成快速部署,并利用头文件核心设计减少依赖复杂度。

作者从Java原型迁移至C++以解决性能瓶颈,受Express.js启发加入了中间件和会话逻辑。项目已开源,采用MIT许可证,未来计划演化为Actor模型架构。目前GitHub获17星,适合需要微秒级延迟的场景。


18. 设计竞技场:AI生成UI/UX的众包评测平台

🔗 designarena.ai: Show HN: DesignArena – crowdsourced benchmark for AI-generated UI/UX

🔥: 69 | 💬: 20 | 🗓️ 2025-07-12


DesignArena是一个众包评测平台,旨在通过用户投票比较不同AI在设计领域的表现。平台涵盖多种设计类别,包括网站、游戏开发、3D设计、数据可视化和UI组件等。用户可提交设计需求(如“为波士顿摄影业务创建专业作品集网站”或“制作量子计算机研究的数据可视化”),其他参与者投票评选最佳AI生成方案。

平台实时更新排行榜,并展示近期投票任务(如“马里奥关卡设计”“液态玻璃日历弹窗”等)。若用户发现缺少特定AI模型评测,可主动提交建议。DesignArena通过社区协作帮助设计师和开发者快速识别最适合创意需求的AI工具。


19. 在C语言中实现协程的奇技淫巧

🔗 wiomoc.de: Hacking Coroutines into C

🔥: 66 | 💬: 15 | 🗓️ 2025-07-12


作者在嵌入式开发中受够了状态机的繁琐维护,提出用协程重构控制流。通过宏技巧将协程编译为显式状态机,实现了类似FreeRTOS任务的线性代码结构。核心思路是用CORO宏定义协程上下文,通过switch-case模拟挂起/恢复执行,关键突破在于手动管理调用栈替代传统函数调用。文中以LED灯控制为例,对比了状态机、RTOS任务和协程三种实现,展示了协程在无操作系统环境下简化异步逻辑的潜力。虽然代码风格违反常规,但为解决嵌入式领域并发编程提供了新思路。


20. “新手礼包”如何助力Bluesky用户激增?

🔗 tu-darmstadt.de: ‘Starter packs’ have played a central role in Bluesky’s rapid growth

🔥: 60 | 💬: 51 | 🗓️ 2025-07-12


研究表明,Bluesky通过“新手礼包”功能成功解决了社交平台冷启动难题,在6个月内生成超33.5万份礼包,推动平台43%的峰值关注量。该功能允许用户快速复制原有社交圈,使被纳入礼包的用户粉丝量增长85%、发帖量提升60%。然而,研究也指出这一机制可能加剧名人效应,仅6.25%的用户通过礼包获得流量红利,且存在付费上榜等滥用风险。机器学习分析显示,艺术、政治和游戏是礼包最热门主题,而记者、政客等公众人物更容易在新平台重建影响力。研究团队认为,该模式为新兴社交平台提供了重要增长框架,但需警惕不平等问题。


21. 我在谷歌产品经理面试中搞砸了编码环节

🔗 old.reddit.com: I Messed Up My Google PM Vibe Coding Interview

🔥: 55 | 💬: 33 | 🗓️ 2025-07-12


一位应聘者在谷歌AI产品经理(L5级别)的第二轮面试中,因未预料到“氛围编码”(vibe coding)环节而表现不佳。他原以为面试会聚焦传统产品设计,却需用自然语言提示工具(如Lovable或Firebase Studio)快速构建原型。由于缺乏准备,他过度专注于后端开发,导致代码混乱且未完成。

他反思应提前准备小型产品需求文档(PRD),并分步执行,而非直接编码。此次经历让他意识到印度AI岗位机会有限,压力倍增。他分享经历旨在提醒其他应聘者:谷歌AI产品经理面试可能包含非传统技术测试,需提前规划时间与策略。

评论区多数产品经理表示困惑,认为此类测试超出常规职责,但部分人指出技术型PM角色正快速演变,需适应AI工具辅助工作的趋势。


22. 科技大佬安德森抨击高校DEI政策:将付出代价

🔗 washingtonpost.com: Marc Andreesen says universities will ‘pay the price’ for DEI

🔥: 52 | 💬: 38 | 🗓️ 2025-07-12


硅谷知名投资人、特朗普顾问马克·安德森在私密群聊中称,推行多样性、公平与包容(DEI)政策的高校将因”歧视特朗普支持者”而”付出代价”。他点名批评斯坦福大学和麻省理工学院是”阻碍美国创新的政治游说机构”,并呼吁对美国国家科学基金会(NSF)实施”行政死刑”。

安德森在WhatsApp群组(成员包括白宫官员和科技领袖)中发表激进言论,称DEI与移民政策结合导致”特朗普选民子女被系统性排除在高等教育之外”。其言论引发群内争议,部分成员认为这将损害美国科技人才优势。

值得注意的是,安德森夫妇曾向斯坦福捐赠数千万美元,但其声称妻子被校方”逼迫离职”,可能导致该校损失50亿美元潜在捐赠。斯坦福回应赞扬其妻贡献,而MIT则强调自身”择优录取”原则。

作为Meta董事和a16z创始人,安德森近年从民主党支持者转向拥护特朗普,反映出硅谷精英与保守派的新联盟趋势。其言论也揭示了加密群聊正成为科技圈”极化观点”的试验场。


23. 马斯克的xAI拟以2000亿美元估值进行新一轮融资

🔗 ft.com: XAI seeks up to $200B valuation in next fundraising

🔥: 52 | 💬: 67 | 🗓️ 2025-07-12


埃隆·马斯克旗下人工智能公司xAI计划在下一轮融资中寻求高达2000亿美元的估值。这一目标若达成,将使xAI成为全球最具价值的初创企业之一。目前融资细节尚未完全披露,但该估值远超当前多数AI公司的市场定位,反映出投资者对生成式AI领域的高度期待。文章同时提及《金融时报》的订阅方案,包括不同档位的数字与纸质内容组合,但核心信息聚焦于xAI的融资野心及其对行业格局的潜在影响。


24. 斯通-威尔士变换:碳材料中的拓扑重构

🔗 johncarlosbaez.wordpress.com: Stone–Wales Transformations

🔥: 44 | 💬: 6 | 🗓️ 2025-07-12


斯通-威尔士变换是一种碳材料中的关键结构转变机制。在富勒烯(如足球状的C60分子)中,通过旋转六边形间的π键,会形成新的五边形和六边形组合;而在石墨烯中,这种90°键旋转会将四个六边形重构为两个五边形和两个七边形,形成斯通-威尔士缺陷。相关研究通过电子显微镜观察了石墨烯和双层二氧化硅中的此类缺陷,并探讨了其与统计力学中阿伦尼乌斯方程(反应速率理论)的关联。这种变换类似于数学中的帕赫纳移动,揭示了化学结构与拓扑学的深刻联系。研究还指出,该变换可用于高效构建富勒烯模型,并可能推动随机拓扑转变理论的发展。


25. OpenAI将推出AI浏览器挑战谷歌Chrome

🔗 cnbc.com: OpenAI to release web browser in challenge to Google Chrome

🔥: 41 | 💬: 53 | 🗓️ 2025-07-12


据知情人士透露,OpenAI计划在未来几周内发布一款AI驱动的浏览器,直接挑战Alphabet旗下占据市场主导地位的谷歌Chrome。该浏览器基于Chromium开源项目开发,旨在通过原生聊天界面改变用户浏览网页的方式,减少跳转至外部网站的需求。此举可能威胁谷歌核心广告业务,因为Chrome通过收集用户数据为其贡献了近四分之三的收入。

OpenAI希望通过整合其AI代理产品(如Operator),让浏览器能直接替用户完成预订、填表等操作。尽管Chrome目前拥有超30亿用户,市场份额超66%,但OpenAI若成功吸引其4亿ChatGPT周活用户,将形成显著竞争。此前,OpenAI已从谷歌挖角两名Chrome元老级高管,并收购硬件初创公司强化布局。其他AI浏览器如Perplexity的Comet也已加入赛道,加剧行业争夺。


Image

勒西科技日报

这是一份给聪明人的科技日报,每天推送一篇。内容来自各大英文网站,提供中文摘要。

Back to Overview