从 121 条资讯中精选 41 条内容

形式化方法重塑编程未来 8.0/10

Jane Street 分享其十年生产实践，将形式化方法整合到交易系统中，强调 AI 生成代码时代验证的重要性。

来源: hackernews · Hacker News (RSS) · Jun 14, 12:35

标签:#formal-methods,#programming-languages,#software-verification,#ai-generated-code,#jane-street

Pyodide 支持 PyPI 直接发布 WASM 包 8.0/10

Pyodide 314.0 支持直接向 PyPI 发布 WASM 轮子，消除了手动维护负担。

来源: rss · Simon Willison · Jun 13, 23:55

标签:#Pyodide,#WebAssembly,#WASM,#PyPI,#Python packaging

美千亿数据中心项目遭阻 8.0/10

2026 年第一季度美国超 1300 亿美元数据中心项目受阻，跨党派反对浪潮因能源与水资源担忧急剧升温。

来源: telegram · zaihuapd · Jun 14, 03:03

标签:#data-center,#AI-infrastructure,#energy-policy,#regulation,#cloud-computing

华为开源盘古 2.0 大模型 8.0/10

华为开源发布盘古 2.0 大模型，最高 505B 参数、512K 上下文，6 月 30 日起陆续开源预训练代码等七大组件。

来源: telegram · zaihuapd · Jun 14, 08:05

标签:#Huawei,#open-source-LLM,#Pangu-2.0,#AI-model-release,#Chinese-AI

Anthropic 两模型遭美政府封禁 8.0/10

美国政府以国家安全为由向 Anthropic 发出出口管制令，要求暂停所有外国公民访问其 Fable 5 和 Mythos 5 模型。

来源: telegram · zaihuapd · Jun 14, 09:06

标签:#AI regulation,#export controls,#Anthropic,#national security,#AI governance

里约 AI 模型被指套壳合并 7.0/10

技术分析显示里约热内卢宣称的”本土”大语言模型实为现有模型的加权合并，引发关于政府 AI 项目透明度的争议。

来源: hackernews · Hacker News (RSS) · Jun 14, 15:37

标签:#large-language-models,#model-merging,#open-source-ai,#government-tech,#ai-ethics

JavaScript 生死预言应验 7.0/10

Gary Bernhardt 2014 年的演讲预言了 JavaScript 将成为编译目标，这一预言已通过 WebAssembly 和 TypeScript 的兴起基本实现。

来源: hackernews · Hacker News (RSS) · Jun 14, 12:38

标签:#JavaScript,#WebAssembly,#TypeScript,#Programming Languages,#Tech History

编程格言经典回顾 7.0/10

艾伦·佩利斯的经典编程格言集，至今影响计算机科学教育与软件工程实践。

来源: rss · Hacker News (RSS) · Jun 14, 14:56

标签:#computer-science-history,#programming-philosophy,#alan-perlis,#software-engineering,#classic-literature

开源体积 3D 打印机 OpenCAL 7.0/10

OpenCAL 是一款开源的计算轴向光刻 3D 打印机，将体积打印技术带给爱好者，实现无需逐层堆叠的快速成型。

来源: rss · Hackaday · Jun 14, 14:00

标签:#3D printing,#volumetric printing,#open source hardware,#computed axial lithography,#additive manufacturing

全球地下真菌网络首图绘出 7.0/10

科学家首次绘制出全球丛枝菌根真菌网络地图，揭示地下菌丝总长 110 千万亿公里，每年封存约 10 亿吨碳，但农田扩张正导致其快速流失。

来源: telegram · zaihuapd · Jun 14, 14:58

标签:#ecology,#climate-science,#biodiversity,#carbon-sequestration,#mycology

热门网站开源克隆项目合集 6.0/10

一个收录 100 多个热门网站开源克隆项目的精选仓库，包含源代码、演示链接和技术栈，用于全栈开发学习。

来源: github · unknown · Jun 15, 06:30

标签:#open-source,#full-stack,#learning-resources,#web-development,#github

开源机器人教材 GitHub 走红 6.0/10

一本关于自主机器人基础的开源 LaTeX 教材在 GitHub 上获得显著关注。

来源: github · unknown · Jun 15, 06:30

标签:#robotics,#open-source-education,#autonomous-systems,#textbook,#github-trending

网站离线打包工具 Kage 6.0/10

Kage 是一款将网站打包为单一二进制文件以供离线浏览的 Go 语言工具。

来源: hackernews · Hacker News (RSS) · Jun 14, 17:25

标签:#web-archiving,#offline-first,#go,#static-site,#developer-tools

多模型融合生成工具 6.0/10

一个 Claude Code 技能，通过起草-检查-融合的流水线将两个前沿模型输出结合以生成更优回答。

来源: github · duolahypercho · Jun 14, 22:20

标签:#llm,#prompt-engineering,#claude-code,#model-fusion,#ai-agents

AI 游戏精灵图生成工具 6.0/10

开源 AI 工具可从文本提示生成含 8 方向 100+动作的游戏角色精灵图。

来源: github · gykim80 · Jun 14, 22:25

标签:#game-development,#ai-generation,#sprite-sheets,#open-source,#gamedev-tools

zeroserve 兼容 Caddy 配置 6.0/10

zeroserve 新增 Caddy 兼容配置格式，借助 io_uring 实现 3 倍吞吐量和降低 70%延迟，但缺少 ACME 和插件支持。

来源: hackernews · Hacker News (RSS) · Jun 14, 13:43

标签:#http-server,#io-uring,#performance,#caddy,#nginx

并非人人万事皆用 AI 6.0/10

一篇博客文章指出 AI 采用比普遍描述更具选择性，引发了关于实际 LLM 使用模式的广泛社区讨论。

来源: hackernews · Hacker News (RSS) · Jun 14, 14:44

标签:#AI adoption,#LLM,#developer experience,#hype vs reality,#software engineering

Linux 7.1 发布 6.0/10

Linux 7.1 发布公告引发关于 AI 驱动清理废弃驱动代码的讨论。

来源: hackernews · Hacker News (RSS) · Jun 14, 16:01

标签:#Linux,#Kernel,#AI,#Technical Debt,#Open Source

YC 创始人谈十亿财富密码 6.0/10

Paul Graham 发文称赚取十亿美元需要为他人创造巨大价值而非掠夺，引发关于财富创造伦理的争论。

来源: hackernews · Hacker News (RSS) · Jun 14, 11:50

标签:#entrepreneurship,#wealth-creation,#paul-graham,#startup-philosophy,#economic-ethics

Luau 语言 WebAssembly 版发布 6.0/10

Simon Willison 发布 luau-wasm 0.1a0，将 Roblox 的 Luau 语言打包为 WebAssembly 轮子供 PyPI/Pyodide 使用。

来源: rss · Simon Willison · Jun 13, 23:14

标签:#webassembly,#lua,#pyodide,#python,#game-development

SQLite 列溯源技术探索 6.0/10

Simon Willison 探索如何以编程方式将 SQLite 查询结果列映射回其源表和列，包括处理 JOIN 和 CTE 等复杂语法。

来源: rss · Simon Willison · Jun 13, 23:05

标签:#SQLite,#SQL-parsing,#Datasette,#database-tools,#Claude-Code

Chaosnet 协议考古 6.0/10

MIT 1981 年开发的 Chaosnet 协议文档，TCP/IP 普及前的重要局域网技术先驱。

来源: rss · Hacker News (RSS) · Jun 14, 19:14

标签:#networking,#computer-history,#mit,#lisp-machines,#protocols

FBI 建虚拟城镇演练网络攻击 6.0/10

FBI 在阿拉巴马州亨茨维尔开设了一座占地 22,000 平方英尺的网络靶场，模拟包含医院、加油站等设施的完整城镇环境，用于网络攻击实战演练。

来源: rss · The Verge · Jun 14, 20:35

标签:#cybersecurity,#infrastructure,#FBI,#training,#critical-infrastructure

谷歌 AI 造谣需担责 6.0/10

巴伐利亚法院裁定谷歌须为 Gemini 生成的虚假信息承担法律责任。

来源: rss · Hackaday · Jun 14, 20:00

标签:#AI-law,#Gemini,#Google,#legal-precedent,#AI-accountability

Rust 版 X 服务器 yserver 问世 6.0/10

yserver 是用 Rust 重写的 X 服务器，在保持与 X11 应用兼容的同时提供内存安全。

来源: rss · Hackaday · Jun 14, 17:00

标签:#rust,#x11,#display-server,#wayland,#system-programming

RTX 3070 显存翻倍改造 6.0/10

一位硬件黑客展示了通过更换显存芯片将英伟达 RTX 3070 显卡显存容量翻倍的技术改造。

来源: rss · Hackaday · Jun 14, 08:00

标签:#hardware-hacking,#gpu,#nvidia,#vram-upgrade,#diy-modding

无电池心脏起搏器贴片 6.0/10

研究人员开发了一种无需电池的心脏起搏器贴片，利用压电材料从心脏自身机械运动中获取能量。

来源: rss · Hackaday · Jun 14, 05:00

标签:#biomedical-engineering,#energy-harvesting,#piezoelectric,#medical-devices,#wearable-technology

OpenRouter 发布 Fusion 路由 6.0/10

OpenRouter 推出 Fusion Router，通过多模型并行协商和裁判模型聚合提升回答可靠性。

来源: telegram · zaihuapd · Jun 14, 01:21

标签:#LLM,#model-routing,#ensemble-methods,#OpenRouter,#AI-infrastructure

支付宝将推 AI 原生版 6.0/10

蚂蚁集团正测试 AI 原生版支付宝，将传统界面替换为智能 AI 交互。

来源: telegram · zaihuapd · Jun 14, 12:43

标签:#fintech,#AI integration,#Ant Group,#Alipay,#mobile payments

SWC 编译器 GitHub trending 5.0/10

基于 Rust 的 JavaScript/TypeScript 编译器 SWC 在 GitHub Trending 上获得 163 个星标。

来源: github · unknown · Jun 15, 06:30

标签:#JavaScript,#TypeScript,#Rust,#Compiler,#Frontend

SQL 转 ER 图浏览器工具 5.0/10

一款完全在浏览器中运行的工具，可将 SQL 建表语句转换为交互式 ER 图，无需上传数据。

来源: github · royalbhati · Jun 14, 22:21

标签:#database,#developer-tools,#visualization,#privacy,#open-source

Codex 项目规划插件发布 5.0/10

CodexQB 是一个将三步项目规划工作流封装为可复用技能的 Codex 插件。

来源: github · alicankiraz1 · Jun 14, 22:22

标签:#github-copilot,#codex,#developer-tools,#ai-assisted-development,#project-planning

Rust 内核 Zinnia 发布 5.0/10

Zinnia 是一个用 Rust 编写的模块化 64 位类 Unix 内核新项目。

来源: rss · Hacker News (RSS) · Jun 14, 21:04

标签:#operating-system,#rust,#kernel,#systems-programming,#open-source

氛围编程者 vs 软件工程师 5.0/10

探讨 AI 辅助的”氛围编程”与传统软件工程实践之间张力的文章。

来源: rss · Hacker News (RSS) · Jun 14, 20:12

标签:#AI-assisted-programming,#software-engineering,#vibe-coding,#developer-culture,#career-trends

Claude AI 态度变差？ 4.0/10

一篇质疑 Claude AI 对话行为负面变化的观点文章，社区参与度极低。

来源: rss · Hacker News (RSS) · Jun 14, 22:04

标签:#AI,#Claude,#LLM,#user-experience,#opinion

黑客新闻热门维基百科发现工具 4.0/10

一款名为 OrangeCrumbs 的新工具帮助用户发现黑客新闻上热门的维基百科文章。

来源: rss · Hacker News (RSS) · Jun 14, 17:54

标签:#content-aggregation,#wikipedia,#hackernews,#web-tools,#knowledge-discovery

固态电池未成熟，凝胶电池兴起 4.0/10

一份科技通讯讨论了固态电池为何仍未准备好大规模应用，而凝胶基替代方案正在获得关注。

来源: rss · The Verge · Jun 14, 12:00

标签:#battery-technology,#solid-state-batteries,#energy-storage,#electric-vehicles,#consumer-tech

AI 冲击 CS 学位价值？ 4.0/10

一篇 Hackaday 文章预告讨论了 AI 驱动需求推高硬件价格，同时质疑计算机科学学位的未来价值。

来源: rss · Hackaday · Jun 14, 11:00

标签:#AI,#education,#computer-science,#career,#LLM

机器人棋子国际象棋 4.0/10

一款 DIY 国际象棋，每个棋子都是能自主移动的小型机器人。

来源: rss · Hackaday · Jun 14, 02:00

标签:#robotics,#hardware,#DIY,#chess,#maker

电子烟转吸风险研究 4.0/10

大规模研究发现，从传统香烟转向电子烟的人群比完全戒烟者面临更高的肺癌风险。

来源: rss · Nature · Jun 14, 00:00

标签:#public-health,#epidemiology,#medical-research,#off-topic,#health-policy

Telegram 将上线扩展 Markdown 4.0/10

Telegram 计划本月内向用户推出扩展 Markdown 功能，支持表格、嵌套列表、内联媒体、公式和标题等格式。

来源: telegram · zaihuapd · Jun 14, 11:08

标签:#Telegram,#Markdown,#product-update,#messaging,#formatting