**摘要：tiny-c 语言** *tiny-c* 是一种结构化编程语言，旨在为程序开发提供一个简单而强大的环境，其设计灵感源自 BASIC 和 C 语言。与 BASIC 一样，它提供了一个单一且直观的编辑与执行环境，使初学者易于上手。与 C 语言一样，它依赖于模块化和函数，而非原生输入/输出，从而有助于编写清晰、结构化的代码。 该语言通过四个关键原则强调“程序清晰度”： 1. **模块化：** 使用函数将复杂任务分解为可管理的单元。 2. **可预测的流程：** 利用复合语句（由括号分隔）来保持逻辑清晰、易于遵循的执行路径。 3. **局部变量：** 允许将变量限制在特定函数内，防止命名冲突和意外的数据修改。 4. **有意义的命名：** 鼓励为变量和函数使用描述性标签，以提高可读性。 *tiny-c* 独立于操作系统，允许用户将其与自己的硬件连接。它是一个完整的系统，包含语言本身、标准库和程序准备系统，使其成为微处理器上进行结构化编程教育和实际应用的有效工具。
每日HackerNews RSS
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
Tiny-C 参考手册摘录 (permacomputer.solarpunk.au)
11 分，由 surprisetalk 发布于 3 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
基准测试（Benchmarking）是一种关键且新兴的“数据激活”形式，即将原始领域数据转化为可衡量的任务，以指导模型优化的过程。在编程和数学等领域，由于问题具有可验证的结果，模型能够拥有明确的“攀登目标”，因此进步迅速。 在医学等复杂且混乱的领域，首要挑战不仅仅是规模化，而是首先将该领域“塑造”为模型可以可靠优化的任务。虽然诸如 MedMarks（多项选择题）或 HealthBench（医生评估）之类的基准测试很有用，但它们往往缺乏现实临床任务的保真度。目前最有前景的方法（例如 LatchBio 所采用的方法）是利用专家策划来创建“验证器”，从而让模型能够从原始数据中学习。 然而，从静态评估转向训练（将基准测试作为强化学习的奖励）引入了一场高风险的权衡：有缺陷的基准测试会产生错误的激励，迫使模型去优化错误的信号。归根结底，构建高质量、可验证的基准测试不仅是一项次要任务，更是定义模型如何将信息转化为智能的核心行为。
```Hacker News | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录
给领域设定攀登的目标：以基准测试作为数据激活 (sparsethought.com)
6 点，由 galsapir 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助
Terretta 18 分钟前 | 下一条 [–]
我本想喜欢这篇文章，也很欣赏文中试图将生成式 AI 的术语转化为不那么“AI 味”的语言，但文中对表象的描述和那些诚实的告诫又显得过于刻意，以至于无法掩盖其试图通过小写句子和用冒号替代破折号来营造“我是人类”的信号。我认同文中所描述的问题，也认同此处被折叠评论中的观点。
回复
2key 45 分钟前 | 上一条 [–]
有趣的观点
我不确定是否完全赞同，但确实很有趣。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：```
您无法访问 www.researchgate.net。网站所有者可能设置了限制，阻止您访问该网站。 Ray ID: a1739df3dae25ff0 时间戳: 2026-07-07 03:03:36 UTC 您的 IP 地址: 47.245.80.60 请求的 URL: www.researchgate.net/publication/281149909_Artificial_and_Fake_Eggs_Dance_of_Death 错误参考编号: 1020 服务器 ID: FL_410F392 用户代理: ClueHTTPClient
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
人造蛋与假蛋：死亡之舞 (researchgate.net)
6 分 | ms7892 | 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助
axus | 1 分钟前 | 下一条 [-]
2013
回复
SV_BubbleTime | 3 分钟前 | 上一条 [-]
这里有假蛋的市场需求吗？除了前段时间大规模屠宰鸡只导致的滞后影响和鸡蛋价格的明显回弹外……鸡蛋其实很便宜。
把水和脂肪裹进碳酸钙外壳里，再加上其中涉及的所有人工成本，这真的有意义吗？
是给那些只是怀念打蛋体验的素食主义者准备的吗？还是中国进口风味新奇蛋的黑市？
回复
指导原则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
恐怖片《Obsession》为人工智能（AI）的应用提供了一个现代警示故事。正如电影主角为了达成目的而利用魔法捷径，却未曾考虑后果那样，许多团队也常执着于通过 AI 自动化任务来“许愿”。其危险之处在于，人们不再思考“这是否创造价值？”，而是盲目询问“还有哪里能塞进 AI？”
当成功指标从“切实影响”转向“普及率”时，团队就会偏离真正的目标。成熟的 AI 战略需要抵制“万物皆可自动化”的本能。这不仅需要严格的治理，更需要勇气去审视：一项工作流程是否有存在的必要，或者 AI 是否真的是最佳解决方案。
归根结底，AI 只是实现愿望的工具，却无法判断这些愿望是否值得追求，这份责任在于我们。AI 成熟度的真正体现，在于决策的质量，以及在 AI 无法带来实质价值时勇于说“不”的能力。我们必须优先考虑深思熟虑且合理的流程，而非仅仅沉迷于技术实施的惯性。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
LLM 并非默认的执行引擎 (unmeshed.io)
4 分，由 jusonchan81 发布于 58 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论
帮助
tadfisher 17 分钟前 [–]
这是内容营销，而且是垃圾。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
作者克雷格·莫德（Craig Mod）回顾了他为期九周、紧张而愉快的美国之行。这段旅程中，他感受了纽约的活力，参加了阿什维尔的读书活动，并与家人共度了美好时光。在旅行间隙，他一直忙于构建“一本好书”（A Good Book，简称AGB）——这是一个以社区驱动、注重互动为特色的Goodreads替代平台，托管在他的会员网站SPECIAL PROJECTS上。
莫德分享了一份精选的近期阅读清单，重点推荐了他喜爱的厄休拉·勒古恩（Ursula K. Le Guin）的《讲述即倾听》（*Telling is Listening*）、肯·格里姆伍德（Ken Grimwood）“高知型”科幻小说《重播》（*Replay*），以及贾斯汀·托雷斯（Justin Torres）文笔利落的《我们是动物》（*We the Animals*）。他还评论了当前的电影环境，指出像《痴迷》（*Obsession*）这样低预算、创作者主导的电影，表现反而超过了那些依赖缺陷剧本的大制作影片。
在准备返回日本之际，莫德对支持他最新著作《事物成为他物》（*Things Become Other Things*）及会员社区的朋友们表达了感谢。他在文末提到，理光GR III相机在记录此次旅程中发挥了不可或缺的作用，并期待着接下来的项目，包括即将举行的会员专属董事会议。
Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 投稿 | 登录
Craig Mod 自己搭建了一个 Goodreads (craigmod.com)
6 分，natbennett 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助
lol8675309 4 分钟前 | 下一条 [–]
谁？
回复
natbennett 1 小时前 | 上一条 [–]
专门为他的私人社交媒体搭建的，作为付费订阅者的福利。用了 5 到 6 天，每天几小时，配合 Claude 完成的。
回复
指南 | 常见问题 | 榜单 | API | 安全 | 法律 | 加入 YC | 联系
搜索：
Hacker News
最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
小型人工智能模型渐受青睐，适用于网络不稳定的地区 (ieee.org)
14 积分，作者：sscaryterry，2 小时前 | 隐藏 | 往日 | 收藏 | 2 条评论
帮助
enoint 6 分钟前 | 下一条 [–]
很好奇大模型查出的伪造内容是比端侧模型更少还是更多。
回复
bombcar 20 分钟前 | 上一条 [–]
该模型 99% 的“工作”（指与计算机的连接）其实只是在转圈加载——这让我很想用 mosh shell 把它封装起来，这样我就能在不同网络间切换时保持连接。
回复
准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
野外探险规划 · iOS
无需电子表格，也无需在五个应用之间来回切换。Strata 可读取任何路线的雪崩公告、坡度、朝向以及实时天气，并以通俗易懂的语言告知您今日是否适合出行。规划路线、追踪行程，确保团队平安归来。原生 iOS 应用，支持离线地图，无广告干扰。
查看功能。现已登陆 iPhone 和 iPad · 免费规划 · Pro 会员可解锁“自动吸附路径”的路线构建工具。
Hacker News 社区对一款名为“Strata”的新应用表示了极大的担忧。该应用利用大语言模型（Claude）为滑雪旅行等户外活动提供安全指导。
批评者对其价值主张及安全性影响持高度怀疑态度。主要担忧包括：
* **责任与安全：** 该应用在营销中声称能为安全决策“拍板定案”，这引发了用户的警惕。鉴于大语言模型可能产生幻觉，评论者警告称，依赖人工智能进行生死攸关的户外决策是非常危险且在法律上难以辩护的，并敦促开发者确保其法律保障（有限责任公司结构）足够稳固。
* **缺乏实用性：** 早期评论者指出，该应用与 AllTrails 或 Gaia 等成熟工具相比缺乏明显优势，质疑其路线目录有限，且过度聚焦于雪崩风险而忽略了其他户外危害。
* **技术怀疑论：** 此次讨论凸显了对在安全关键型应用中使用大语言模型这一做法的广泛批评，因为在这些领域中，事实准确性和性能指标是不可妥协的。
总体而言，社区对该项目的评价极其负面，认为这是一种在极高风险环境下鲁莽使用人工智能的行为。
这段文字摘自 D.J. Bernstein 的博客系列，详细描述了互联网工程任务组（IETF）内部围绕在 TLS 中标准化“单一”后量子密码学（ML-KEM/ML-DSA）所展开的一场激烈且持续的冲突。 Bernstein 认为，美国国家安全局（NSA）及其合作伙伴正在积极推动采用单一的 ML-KEM，即不具备传统椭圆曲线（ECC）混合方案作为安全保障的密码学技术。他认为这是一场“安全灾难”，会导致软件漏洞并引发潜在的被利用风险。 他批评的核心在于，IETF 已经抛弃了其“粗略共识”的模式，转而采用一种受政治操纵的投票程序。他指控 IETF 领导层和 IESG 在国防承包商的深度影响下，助长了“支持性偏见”。通过强行发起多次“最后呼吁”并无视专家提出的实质性技术反对意见，他们正试图为 NSA 首选的标准背书。 Bernstein 将此过程描述为一种旨在耗尽反对者精力并损害公共利益的不公正程序。他敦促社区投票反对该草案，并指出即使此举会导致延误，也是防止因削弱全球数百万用户的密码学标准而产生灾难性长期后果所必须采取的保障措施。
此次 Hacker News 讨论聚焦于一项关于在 IETF 中集成后量子密码学（PQ）标准（特别是 ML-KEM 和 ML-DSA）的争议性提案。
辩论涉及几个核心矛盾：
* **安全风险：** 批评者指出，新的后量子算法尚未经过充分验证，且近期已出现实现层面的漏洞。各方对于“混合方案”（将后量子算法与传统椭圆曲线加密相结合）究竟是提升了安全性，还是仅仅引入了复杂的新攻击面，存在分歧。
* **IETF 流程：** 评论者批评了 IETF 的共识构建机制，认为追求“IETF 共识”可能并无必要。有人主张，由于 IANA 注册要求仅规定了公开规范，作者无需强行推动充满争议的 IETF 标准化流程即可实现目标。
* **机构不信任：** 在技术争论的背后，是对美国国家安全局（NSA）在密码学标准中影响力的深重怀疑。参与者探讨了 NSA 在增强还是削弱公共安全方面所扮演的角色，一些用户将推动这些标准的行为形容为迈向受政府影响技术的“缓慢行军”。
总体而言，该讨论反映了人们对下一代密码学协议的透明度、安全性和治理问题的深切担忧。
InstantVideos — 30秒生成AI纪录片 支付已收到 — 账户新增5个积分！ 短视频 (TikTok) 长视频 给我惊喜 生成视频 正在加载积分... 0.0秒
开发者 “pw” 推出了 **InstantVideos.org**，这是一个能在约 30 秒内生成短纪录片的项目。其流程利用 GLM-5.2 生成脚本和图像提示词，使用 Nano Banana 2 Lite 生成图像，通过 GPT-4o-mini 进行旁白配音，并使用 FFmpeg 进行视频合成。
该流程效率极高，每部视频成本约为 25 美分，其中图像生成占了大部分费用。为了处理视频合成的计算负载，该项目运行在 64-vCPU 的 EC2 实例上。
目前该项目在 Hacker News 上引起了关注，用户们对其视觉上的瑕疵（如抖动的“肯·伯恩斯”缩放效果）提出了反馈，并询问了未来功能的可能性。具体而言，用户们对能将现有内容（如 Markdown 文章）直接转换为视频格式的工具很感兴趣，而不希望仅依赖于基于提示词的生成。创作者将此项目视为展示我们在垂直领域实现完全按需 AI 视频制作方面已取得多大进展的一个范例。
作者推出了全新的四部分系列文章“首字母缩略词疲劳”（AFS），旨在探讨其对业界过度沉迷于首字母缩略词的个人质疑。
这种反感源于两个主要因素。首先，作者的人文主义学术背景更倾向于使用复杂、描述性的术语，而非英语计算机科学领域常见的缩写形式。相比之下，他们观察到英语母语者倾向于将首字母缩略词作为一种“圈内人”的身份信号。
作者认为，科技营销利用了这种心理倾向来创造归属感，往往通过发明或过度使用缩略词来推广产品。他们指出，许多技术概念之所以广为人知，并不完全是因为其本身的价值，而是因为首字母缩略词的形式使其具有高度的传播性和“粘性”。通过分析 ACID、DRY 以及各种技术二分法等具体案例，该系列旨在挑战一种固有假设：即这些无处不在的速记法，始终是传达复杂理念的最佳方式。
Hacker News
最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交
登录
首字母缩略词疲劳系列引言：为何我对缩略词保持警惕 (devz.cl)
11 点，由 DanielVZ 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助
lmpdev 12 分钟前 [–]
有一点让我非常恼火，那就是相邻领域对不同的事物采用了相同的缩略词。
LoRa（射频技术）与 LORA（人工智能优化技术）
GLM（统计学）与 GLM（人工智能模型）
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：