Foldocs：将共享的Google Drive或Nextcloud文件夹转换为网站
Foldocs是一个开源的Python引擎，可以将Google Drive或Nextcloud中的文档文件夹转换为静态HTML页面，支持三种主题、深色模式和RSS订阅。用户可以通过创建预览来尝试Foldocs，预览保留7天，文件大小有限制，且需手动同步。
#教程/实践
#教程/实践
今日 0 条Show HNAI 评分3535 Show HNAI 评分3535 Statespace – 通过构建小型已验证语言学习形式方法
Claude 为一位后端工程师构建了一门优化课程，旨在学习形式方法。课程内容包括构建一个通过 Z3 查找错误的已验证应用程序语言，使用 Lean 进行证明，在 TLA+ 中建模并发/分布式系统行为，并将其连接到 PostgreSQL。这是一个通过 GitHub Pages 托管的静态网站，主要用于获取专家的反馈和建议。
Show HNAI 评分3535 AI Compute Footprint：能耗、空间、水和二氧化碳的日常计算足迹
本文分析了生成日常AI任务所需的能耗、空间、水和二氧化碳的日常计算足迹，并与现有AI应用进行了比较。作者通过GitHub收集数据，并分析了基础设施和电网等因素对计算足迹的影响。
Show HNAI 评分55 DiagoChess：一种独特的国际象棋变体
DiagoChess 是一种国际象棋变体，采用标准 8x8 象棋盘，白方在右下角开局，黑方在左上角开局。棋子移动规则与标准国际象棋相同，但兵的移动和捕获规则有所不同，兵可以朝任何方向移动一格至空位，但只能斜线捕获。
Show HNAI 评分3535 Claude Code 工程师团队开发的 LCARS 星际迷航控制台
Claude Code 工程师团队开发的 LCARS 星际迷航控制台，基于 SQLite 文件、C 语言 HTTP 服务器，提供网页控制台和 3D 控制台，支持用户自定义功能，如媒体管理、聊天、导航等。该系统无需安装，通过浏览器即可体验，支持多种配置设置，可通过 systemd 服务运行。
Show HNAI 评分4040 TeamOnly：使用 Claude Code 和 Cursor 构建内部工具的私有托管平台
TeamOnly 允许用户使用 Claude Code 或 Cursor 构建内部工具，一键部署后生成私有链接，仅限同事访问。平台提供数据库、文件存储和密钥管理，无需额外配置。支持 Claude Code 和 Cursor 工具，简化内部应用开发流程。
Ask HNAI 评分55 Codex Desktop App 使用体验分享
用户尝试使用 Codex Desktop App，发现相较于 Codex TUI，新应用存在诸多不便，引发对两种界面选择的使用讨论。
Ask HNAI 评分55 "QoL 提升：软件工程师在 'agentic' SWEngineering 中如何改进工作流程？"
"软件工程师探讨在 'agentic' SWEngineering 中提升工作效率的方法，包括使用编码智能体等工具，以优化工作流程和技能。"
Ask HNAI 评分55 Ask HN：如何获得首个10位客户？
在 Ask HN 论坛上，一位开发者分享了他们的客户获取经验，强调展示所建产品及其分发方式的重要性。
36氪AI 评分3535 WISE2026「世界咖啡」技术方招募开启：AI应用与具身智能方案对接
WISE2026商业之王大会即将举行，其中「世界咖啡·产业对接」环节将围绕真实业务需求，安排需求方和技术方面对面洽谈。技术方需提交AI应用或具身智能方案，经审核后与需求方进行匹配，现场交流并可能获得合作机会。
Show HNAI 评分3535 PrettyUp – 在浏览器中免费编辑照片和视频的肖像编辑工具
PrettyUp 是一款免费的在线肖像编辑工具，支持照片和视频的编辑，包括面部和身体调整、化妆编辑、皮肤修容等功能。用户可以通过预设或自定义调整来优化面部特征、身体比例和皮肤质感，同时提供视频编辑功能，支持上传自己的服装参考图片，实现换装效果。该工具无需安装，提供每日免费AI信用额度，支持高清下载且无水印。
Show HNAI 评分55 Minebender – Minesweeper in Bend2 带有辅助功能的 Bend2 版扫雷游戏
开发者通过 Bend2 平台开发了一款带有辅助功能的扫雷游戏 Minebender，旨在解决传统扫雷游戏中需要猜测的情况，增加了辅助模式以帮助玩家。
Show HNAI 评分4545 Hatamoto：Go 语言开发的电池式 CMS
Hatamoto 是一款基于 Go 语言的开源 CMS，集成了页面构建、SEO、缓存、表单、重定向、AI 分析和 MCP 服务器等功能。它以单个 Go 二进制文件的形式运行，无需 PHP、Node 或插件，支持 Postgres 数据库。
Show HNAI 评分2020 OddsLine – 足球投注分析市场独立模型
OddsLine 使用市场独立模型提供足球比赛预测，包括比赛结果概率和赔率比较，旨在为用户提供信息参考，并鼓励负责任投注。
Show HNAI 评分11 马耳他大学 LaTeX 论文模板展示，易于适配
马耳他大学发布 LaTeX 论文模板，适用于不同学科，易于适配和修改。
Show HNAI 评分4545 Tyrtulia 论坛：现代 BBJ 的无界面 API 论坛
Tyrtulia 是一个针对小型多用户服务器的无界面论坛，基于 BBJ 的理念，采用现代标准，增加了通知、实时、编辑历史、搜索和审核等功能。它支持无密码认证、Markdown 格式、全文搜索和实时通知，适用于 Linux 或 BSD 系统，使用 Python 3.14 和 SQLite 3。
Show HNAI 评分3535 Whitehirst：10分钟内快速搭建AMD EPYC Windows工作站
Whitehirst项目可在约10分钟内搭建一个配备Visual Studio 2026、VS Code等开发工具的AMD EPYC Windows工作站，支持8或24小时使用，价格为12英镑或25英镑，目前提供8 AMD EPYC vCPUs、32GB ECC RAM等配置。
Show HNAI 评分3535 SQL增量语义解析器和执行器（带WASM游戏场）项目进展
开发者自述其自去年12月开始的SQL增量语义解析器和执行器项目，目前处于早期阶段，存在许多待修复的bug。该项目旨在支持开发者更依赖大语言模型（LLMs）进行语言解释时，增量解析可能成为重要方式。开发者承认，尽管架构是手工设计的，但自学期开始以来，他大量依赖Claude来扩展支持的SQL子集。
爱范儿AI 评分4545 Rokid Glasses 2 发布体验：AI 眼镜新升级，拍照、会议纪要功能亮眼
Rokid发布新一代AI眼镜Rokid Glasses 2，配备1200万像素摄像头，支持HDR和RAW 14格式，续航能力提升25%。新增AI会议纪要功能，可生成图文版会议记录。售价3699元起。
Ask HNAI 评分3535 Ask HN：如何应对日益发展的智能编码带来的AI dystopia
开发者们在过去几个月里逐渐意识到智能编码（Agentic Coding）的快速发展，担心其将导致软件工程师职业的终结。文章呼吁社区提出应对策略，以减缓这一趋势。
IT之家AI 评分4545 南非女作家珂拉尔·哈特利用AI创作371本书，年收入超百万美元引争议
南非女作家珂拉尔·哈特在约20个月内利用AI创作了371本书，累计销量超过100万册，年收入超百万美元。她的创作方式引发争议，部分人认为AI辅助作品可能降低出版行业内容质量标准。哈特回应称，作品是否受欢迎应参考实际销售表现，并开展培训业务，向作者传授相关技巧。
少数派AI 评分4040 Apple Sports：打造个性化体育赛事应用，专注比赛本身
Apple Sports 应用正式上线国区 App Store，提供丰富的体育赛事内容，支持关注球队和联赛，提供比赛结果、技术统计、实时战况等功能。应用支持 iOS 18 或更新版本，完全免费。
IT之家AI 评分3535 微信输入法4.0.0版新增AI录音笔功能，实时转写并生成网页
微信输入法4.0.0版新增AI录音笔功能，支持手机和电脑端使用，可实时将语音内容转写为网页，自动提炼重点、梳理逻辑，并生成图表和交互页面。
36氪AI 评分4545 DeepSeek面试争议：华为“天才少年”李博杰吐槽面试经历
华为“天才少年”李博杰在DeepSeek面试中因被怀疑抄袭而终止面试，并对面试流程和面试官的质疑表示不满。DeepSeek随后启动了公司史上最大规模的一轮招聘，引发业界对大厂招聘流程和工程师文化的讨论。
36氪AI 评分4545 ProphetLab AI预测公司：结合AI与人类经验，预测世界杯胜率超70%
ProphetLab，一家AI预测公司，结合AI与人类专家经验，成功预测了本届世界杯的四强、冠军及决赛比分，预测胜率超过70%。公司正在开发面向金融预测的benchmark，并分析AI行业人物预测，以提升预测准确性。
开源中国AI 评分3030 openKylin 社区与山东大学软件学院共探开源贡献与实践
openKylin 社区于10月23日参与开源中国“AI新生派”活动，与山东大学软件学院师生交流，探讨操作系统技术、AI应用及开源贡献实践，旨在推广国产开源操作系统并吸引学生参与社区建设。
Ask HNAI 评分3535 软件工程师求职困境：AI时代技能如何转型
一位软件工程师在求职过程中感到困惑，尽管拥有丰富的经验和优秀的简历，但面对AI时代的招聘流程，他感到无助。他认为自己的技能在AI时代变得不再重要，并寻求如何将自身能力转化为公司所需技能的方法。
量子位AI 评分4545 商汤大装置SenseCore包揽近半中国Neocloud市场
商汤科技旗下的AI基础设施平台商汤大装置SenseCore，在Neocloud赛道中占据近半市场份额。该平台通过异构混推和算电协同等技术，实现了高效能的算力服务，并已为多家外部基础模型厂商提供服务。
Show HNAI 评分3535 ESP-Watchtower - $3 ESP8266 家庭网络哨兵和蜜罐
ESP-Watchtower 是一款基于 ESP8266 微控制器的家庭网络哨兵和蜜罐，售价仅 $3，无需订阅。它能够保护家庭网络免受入侵，监控互联网连接健康，并在 Discord 上立即通知可疑活动。该系统提供模拟计算机终端、路由器管理网关和 IP 安全摄像头等功能，同时具备网络健康跟踪、停电警报、远程唤醒开关和每日报告等功能。
Show HNAI 评分3535 Places.js：超越React的HTML-first JavaScript框架
Places.js是一个HTML-first的JavaScript框架，支持HTML-first模板化组件创建，无需构建步骤，可直接从CDN下载使用。该框架支持动态渲染API端点数据，并具有渲染无关的存储，可与其他框架集成。
IT之家AI 评分2525 华为鸿蒙HarmonyOS 7.0.0.111版本升级：Mate 80系列、Pura X等机型游戏助手新增弹幕通知、防误触等功能
华为最新鸿蒙HarmonyOS 7.0.0.111版本为Mate 80系列、Pura X等机型更新游戏助手，新增Mate 90同款弹幕通知、防误触范围自定义等功能，提升游戏体验。
少数派AI 评分3535 NAS作为UPS总控，实现局域网多设备断电自动关机
威联通NAS可作为局域网UPS总控，通过USB连接UPS并开启NUT网络UPS服务，局域网内支持NUT协议的设备可读取UPS状态，断电后依次优雅关机。以WinNUT-Client为例，Windows系统可通过该开源软件读取NAS NUT主控的UPS数据，实现市电断开后的安全自动关机。
Ask HNAI 评分55 AI 编码时代：软件稳定性提升了吗？
AI 编码时代开始后，用户普遍感觉软件稳定性有所提升，日常使用的软件更加稳定和可靠。
IT之家AI 评分3535 黑客利用 AI 发现 PS5 高危漏洞，索尼奖励 5 万美元
黑客乔迪利用 AI 发现 PS5 高危漏洞，通过索尼安全上报计划获得 5 万美元奖励，该漏洞原本可运行 Linux 系统。
TechCrunch · AIAI 评分4545 OpenAI 推出 dots，深度学习模型背后的始终在线个人助理
OpenAI 在其开发者日上发布了 dots，一款始终在线的个人助理。该助理可在 ChatGPT 桌面和移动应用程序中为 Pro 级别或更高订阅者提供，价格为每月 100 美元起。
Show HNAI 评分55 Midnight-Molad Calendar：一个结合了春分决定闰月的阴阳历
Midnight-Molad Calendar 是一个结合了希伯来阴历年、罗马公历日和中国平均月规则的简化计算型阴阳历。该历法以新月为月份的开始，以公历午夜为一天的开始，并使用365.242374天的平均春分年。该历法还包括一个日期转换器和年份检查器工具，以JavaScript编写，无需依赖项。
Show HNAI 评分4545 Torsher – 一款基于容器的自托管、以电视为中心的媒体中心
Torsher 是一款开源的自托管媒体中心，由一位开发者构建，支持在电视上直接观看电影和电视剧。它集成了 torrent 客户端、媒体服务器、系列和电影管理器等功能，并支持 LG TV 和其他设备的浏览器访问。Torsher 不包含任何内容，用户需要自行连接 Torznab 指数器等来源。
Show HNAI 评分55 Rethink 模拟囚徒困境锦标赛：用普通英语参与
Rethink 模拟囚徒困境锦标赛允许用户用普通英语或 Python 编写策略，系统将自动编码并与其他策略进行比赛。比赛结果将包括排名、得分、每场比赛详情以及最佳和最差对手。比赛基于 Robert Axelrod 的第二次锦标赛策略，包括 AI 模型编写的策略。
Show HNAI 评分3535 WHIP：改善视频会议屏幕共享质量的开放标准
WHIP 是一个开放标准，允许使用 WebRTC 将实时视频发送到服务。它支持 OBS 和 FFmpeg 等工具直接进入视频会议，并允许用户自定义分辨率、帧率、比特率和编解码器，从而改善屏幕共享质量。目前，WHIP 支持的流媒体服务有限，用户需要联系服务提供商以支持 WHIP。
Show HNAI 评分3535 Better Design：Claude Design 的替代品，为任何编码智能体提供设计系统
Better Design 是一款为 AI 编码智能体提供设计系统的工具，旨在提升应用设计质量，支持自动更新和多种设计系统选择，免费提供每月 300 次工具调用。