探HOW CONTENT DESK

资讯与观察

AI 行业动态、工程实践、产品方法和社区故事。

芯片&算力

树莓派价格突破350美元,引发用户不满

树莓派价格已涨至350美元以上,报道称这一涨幅令人意外。原文未说明具体型号、涨价原因或时间范围。

Hacker News 最新11/81 分钟阅读站内导读

LATEST STORIES

最新内容

共 44264 篇
AI&大模型
Hacker News 最新11/8

开发者发布神经网络形式化验证资源汇总清单精选导读

一个面向神经网络形式化验证的精选资源列表在 Hacker News 的 Show HN 板块发布,汇集了工具、基准、论文和社区资源。列表按精确完备求解器、抽象解释、分支定界加速验证器、基准与竞赛、文献综述等类别组织,并收录了 Marabou、MIPVerify.jl、Reluplex 等工具。该领域用数学方法证明网络在给定输入范围内满足安全、鲁棒等性质,对自动驾驶、航空航天等安全关键场景至关重要。

15 分钟69#开发者实时流
智能汽车
IT之家11/8

四门版“糯玉米”:消息称长安 Lumin PLUS 纯电小车将于 11 月 11 日上市精选导读

IT之家 11 月 8 日消息,据易车消息,长安 Lumin PLUS 将于 11 月 11 日正式上市。 相比原版长安 Lumin,新车由两门设计改为了四门设计,长宽高分别为 3515mm(加长 222mm) × 1715mm(加宽 15mm) × 1545mm,轴距 2200mm(增加 220mm)。 ▲ 原版长安 LuminIT之家注意到,长安 Lumin PLUS 保留了原版“糯玉米”标志性的圆形大灯与圆润车身轮廓,改用非隐藏…

1 分钟64#科技资讯
云计算
CNCF Blog11/8

Lima v2.3 发布:Windows 原生运行、Linux 支持 VMnet 网络并新增菜单式 TUI精选导读

Lima v2.3 于 11 月 6 日发布,Windows 上无需额外依赖即可启动虚拟机,通过 WSL2 同款 Host Compute System 运行,不再需要 QEMU 和 Unix 工具链。Linux 主机获得与 Mac 相同的 socket_vmnet 真实 IP 地址网络。所有平台新增终端 UI,便于管理虚拟机。

27 分钟60#Kubernetes#可观测性#Blog
云计算
IT之家11/8

消息称字节跳动拟扩大巴西数据中心项目精选导读

IT之家 11 月 8 日消息,据彭博社 7 日报道,字节跳动考虑扩大在巴西东北部的数据中心项目,以进一步巩固其在拉丁美洲算力基础设施建设领域的领先地位。 知情人士透露,字节跳动正物色开发商,负责巴西塞阿拉州佩森工业港数据中心项目的二期建设。该项目可通过向境外输出数据享受税收优惠。 与此同时,智利、阿根廷等国纷纷推出优惠政策、完善基础设施,争取吸引数据中心投资,巴西也希望在这场竞争中保持优势。 知情人士称,佩森港数据中心二期的建设规模…

2 分钟65#科技资讯
AI&大模型
Hacker News 最新11/8

研究:AI agent 能找漏洞写利用代码,却仍拿不下 CTF 题目精选导读

Pwnagent 研究团队分析 pwn 类 CTF 挑战发现,AI agent 常能定位漏洞并写出利用代码,却在信息收集、利用设计、执行与验证环节出错,例如覆盖函数指针却未取得目标地址。研究指出仅凭模型能力无法判断 agent 解题水平,同等模型下结果取决于 harness 能否调用所需工具并用执行结果指导下一步尝试。

30 分钟69#开发者实时流
管理/文化
Hacker News 最新11/8

《Extropy》超人类主义期刊1988至1996年完整档案已数字化并支持搜索精选导读

《Extropy》期刊1988至1996年共17期的完整档案已完成OCR数字化,可供阅读、引用和搜索。该刊由Max More和Tom W. Bell编辑,曾发表数字货币、预测市场、智能合约、纳米技术、意识上传、延寿、多中心法律等至今仍在发酵的构想。

2 分钟69#开发者实时流
软件工程
Hacker News 最新11/8

前CTO推出appfuzz:用模糊测试替代代码审查精选导读

前CTO Stephan发布开源工具appfuzz,主张用模糊测试替代人工代码审查。该工具针对WASM模块在模拟后端上运行数千次,检测崩溃、N+1查询、XSS、SQL注入、密钥泄露及资源超支等问题,支持Spin、wasmCloud、Fastly Compute和Shopify Functions,采用MIT协议,目前处于早期阶段。

3 分钟69#开发者实时流
行业深度
Hacker News 最新11/8

洛克希德·马丁Mk21A再入飞行器完成首次试飞精选导读

洛克希德·马丁公司的Mk21A再入飞行器完成首次试飞。该飞行器用于搭载未来LGM-35A Sentinel洲际弹道导弹的W87-1弹头。此次试飞旨在验证设计性能。

1 分钟69#开发者实时流
AI&大模型
IT之家11/8

日本富士电视台将在所有真人剧集制作中使用 AI,可省七至八成特效制作工序精选导读

IT之家 11 月 8 日消息,据日经亚洲当地时间 6 日报道,富士电视台计划从 2027 年 10 月起,将生成式 AI 应用于所有真人电视剧的制作,大幅缩短制作周期。由此,富士电视台将成为日本首家全面引入 AI 参与节目制作的大型商业电视台。 富士电视台每年制作 16 部电视剧,计划使用谷歌 AI 图像生成和编辑工具 Nano Banana。AI 制作工作将交给富士电视台 9 月成立的内部实验室 AI Sandbox,主要由东京制…

2 分钟64#科技资讯