AI 安全与评测
基准与模型能力被系统性挑战:小模型也能做漏洞分析;现有代理评测可被“刷分”,需更强隔离与对抗标准。
- 小模型也发现了 Mythos 发现的漏洞。:多项漏洞挖掘与分析任务,小型开源模型也能完成,能力不随规模线性增长。关键在系统与流程、验证与信任,而非单一大模型。
- 我们如何突破顶级 AI 代理基准测试:未来展望:BenchJack审计发现八大代理基准均可被漏洞“刷分”。呼吁评测隔离、答案保密、输入净化与对抗测试,工具将开源发布。
开发者工具与工程实践
更安全的并发、更清晰的差异比较、更贴合业务的测试抽象,以及内存访问实践准则。
- Pijul:一款自由开源分布式版本控制系统:基于补丁理论,顺序无关、冲突一次解决不复发,支持部分克隆与更稳健的合并。
- 如何构建一个
Git diff驱动:讲解外部diff驱动的7个参数,并用OpenAPI示例输出可读变更日志。 - Surelock:Rust中的死锁免疫互斥锁:类型系统在编译期强制锁顺序,无运行时开销,no_std 适用,杜绝循环等待。
- 什么是物业?:主张在属性测试中让生成器与属性紧耦合,减少无效输入;反思现有库抽象边界。
- 线性内存访问到底需要多少才够?:多数负载1MB块已达峰值;~1cycle/byte时128KB足够,~10cycles/byte时4KB也行,建议小块化更灵活。
数据与数据库
队列表易因死元组膨胀而退化;以SQL定义度量语义,统一人类与智能体查询。
- 保持Postgres队列健康运行:长查询阻碍autovacuum致表膨胀。通过限制低优先级查询并发与资源,维持吞吐与延迟。
- Metrics SQL:面向人类与智能体的 SQL 语义层:用标准SQL定义与查询“度量”,自动下推到OLAP,提供CLI/API与AI代理集成,保证一致与可控。
系统与复古计算
突破Apple Silicon虚拟机并发限制;用API级替代重现68K Mac;APL/360源代码公开。
- Apple Silicon 与虚拟机:突破两台虚拟机限制(2023):通过自定义开发内核与禁用SIP绕过2台并发限制;代价是更新与维护更复杂。
- Advanced Mac Substitute 是对1980年代Mac OS在API层面的重新实现:无需ROM与系统镜像,跨平台直接运行68K Mac应用,支持多款经典软件。
- APL 编程语言源码(2012):计算机历史博物馆公开APL\360 1969–1972源代码,见证交互式数组编程的起点。
前沿硬件与芯片
原子级存储设想、RISC‑V AI CPU融资、固态电池仍待验证。
- 零保持能量下的447 TB/cm²——氟烷烃上的原子级存储器:提出基于单层CF的非易失存储,密度与吞吐量设想远超现有,已有扫描探针原型,仍处早期研究。
- 英伟达支持的SiFive开放式AI芯片估值飙升至36.5亿美元:获4亿美元融资,押注开放RISC‑V进军AI数据中心CPU,与NVIDIA生态兼容,对标Intel/AMD。
- “电池领域的‘圣杯’终于准备好降临了吗?”:初创称年内量产固态电池,但关键数据缺失;中国厂商推进中,真正量产仍需时间。
科学与学术
宇宙学张力再被确认;昆虫导航被量化;古希腊哲学文献新发现。
- 天文观测新综合表明哈勃张力确实存在:本地哈勃常数≈73.5,高于早期宇宙推断67–68,非测量误差,或指向新物理。
- 飞行轨迹数据揭示蚊子如何锁定人类目标:5,300万条轨迹建模显示视觉与CO₂共同驱动,头部因暗色与排放高最吸引,助改良诱捕器。
- 发现凤多克里斯以前未知的纸莎草文本诗句:首次发现其未被转述的原创片段,涉及感知与粒子观点,或早期原子论线索。
政策监管与行业动向
通信普惠、合规博弈与自动驾驶落地并行推进;工具团队并入大厂。
- 韩国推出全民基础移动数据服务:流量用尽后提供400kbps不限量,三大运营商参与,修复信任、推动低价5G与老年人福利。
- Kalshi赢得亚利桑那刑事案件的临时中止:CFTC获禁令阻止州检方继续起诉预测市场为非法赌博,联邦与州监管边界成焦点。
- IBM以1700万美元和解司法部多元化诉讼案:IBM否认违法但同意和解,凸显DEI在新监管环境下面临的法律风险。
- 荷兰将成为欧洲首个获得特斯拉完全自动驾驶监督功能的国家:RDW批准FSD(监督),被认为有助安全,但仍须驾驶员接管。
- Cirrus Labs 即将加盟 OpenAI:将加入OpenAI代理基础设施团队,Cirrus CI将于6月1日关闭,开源工具改用更宽松许可。
- Sam Altman回应该《纽约客》“煽动性”文章及其对他家遭袭事件:承认处理冲突的不足,强调反对少数人控制AGI并呼吁降温对立。
网络安全与隐私与信息战
第三方供应链风险、通知隐私盲区与国家级舆论战并存。
- Rockstar Games确认遭遇第三方数据泄露:黑客勒索未果,官方称仅少量非关键公司信息被访问,玩家未受影响。
- 你的推送通知并非FBI保护之下:FBI可获加密消息的通知内容与元数据;用户可调整隐私设置减小暴露面。文中亦提及伊朗断网、加密诈骗损失等要点。
- 伊朗如何反击白宫的喷子大战:断网配合AI生成内容进行对外宣传,真假交织,展示信息战的新手段与风险。
游戏与内容分发
平台与形式在变:短视频首播、复古回归与独立佳作并行;新作口碑冷热不一。
- AMC将通过TikTok分21集独家首播《The Audacity》:每段约3分钟,吸引年轻受众;电视与流媒体同步上线完整版。
- 黑暗城堡:1986–2008三代经典平台动作的合集与重制,关卡多样、支持录像回放与武器升级。
- 《宝可梦冠军》开局不顺:BUG多、缺单人剧情;抽卡与道具机制提高门槛,后续更新有望改善。
- 狂暴牛头怪、更多CloverPit及值得一试的新独立游戏推荐:多款新作与DLC上新,涵盖策略、Roguelite、FPS与解谜等类型。
- 恶魔与弹珠台天生绝配:Playdate上的单桌弹珠物理手感扎实,设计鲜明,适合碎片化游玩。
- 《Crimson Desert》:当猫爸的另类体验:开放世界融合多种玩法,可收养多只猫;早期问题在持续修复中。