该合集包含 31 个互动实验，灵感源自 20 世纪 70 年代至 2000 年代的经典计算技术、演示场景（Demoscene）美学以及开创性的图形技术。这些演示利用 WebGL 和 2D 画布，重现了从早期的线框地形、光线投射（Raycaster）和 CRT 示波器模拟，到流体动力学及“犹他茶壶”、“ASCII 环面”等程序化几何图形的标志性视觉风格。 该网站专为开发者设计，提供了一系列基于浏览器的轻量级实验目录。所有内容均采用 CC0 1.0 协议授权，用户可轻松复制并将代码集成到自己的项目中。无论是探索光线列渲染等基础技术，还是调色板火焰等艺术表现形式，该仓库都充当了复古计算机图形历史的功能性存档。该合集可通过直接浏览器交互、JSON API 和 llms.txt 进行访问，使源代码能够便捷地用于创意实现。
每日HackerNews RSS
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
Show HN：一个 CC0 复古 3D 特效博物馆，可直接粘贴到页面中使用
(
3d-retro.com
)
6 分
由
SouthWestAtlas
3 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
SouthWestAtlas
3 小时前
[–]
可复制粘贴的单文件演示。包括 ASCII 圆环、Amiga Boing、德军总部、调色板火焰效果（约 27 个 WebGL 1 / Canvas 2D 实验）。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
这篇文章探讨了 Rust 中“解析，而非验证”（Parse, don't validate）的惯用法。该方法提倡利用类型系统来强制执行数据不变性，而非依赖重复的运行时检查。 当程序只是在“验证”数据（例如检查一个 `Vec` 是否为空）时，类型系统并不知道这一事实，这迫使开发者必须处理不可能出现的边缘情况，或使用 `unreachable!` 宏。通过将数据“解析”为更具体的类型（如 `NonEmpty<T>` 结构体或 `NonZero<usize>`），不变性便被正式固化在类型之中。一旦转换完成，编译器即能保证数据有效，从而消除冗余检查并防止逻辑错误。 作者提供了几个实用的 Rust 示例： * **`NonEmpty<T>`**：确保集合至少包含一个元素。 * **`AbsPathBuf`**：将标准路径细化为绝对路径，防止在文件系统操作中进行重复验证。 * **`NonZero`**：利用类型系统防止除以零，同时为 `Option` 启用内存优化。 * **`serde`**：在反序列化过程中自动强制执行复杂的架构约束。 总之，这种方法将验证的负担从易错的手动运行时逻辑转移到了编译器，从而产出更清晰、更安全且性能更高的代码。
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
关于“解析，而非验证”的 Rust 思考
(
thegreenplace.net
)
17 点
由
ingve
发布于 5 小时前
|
隐藏
|
过往
|
收藏
|
2 条评论
帮助
tjadfsaj
0 分钟前
|
下一条
[–]
非空类型包装器清楚地提醒我们，我们错过了精细类型（refinement types）。
回复
jph
26 分钟前
|
上一条
[–]
关于 Rust 类型优势的好文章。如果你喜欢这篇文章，你可能会好奇如何构建自己的解析功能。我喜欢 Rust 的 Winnow 和 Nom 库，以及 From 和 Into trait。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系方式
搜索：
出于“修理胜于更换”的愿望，一位电子产品新手成功修复了两个用了十年的自行车灯。在原装电池无法充电后，作者前往当地的一家酷儿创客空间（queer makerspace）进行了首次 DIY 维修尝试。
整个过程包括：切开硅胶外壳、拆除旧组件，并在人工智能和同伴的帮助下识别出正确的电池型号（LIR2477）。在速卖通（AliExpress）上花费约 20 加元购买替换零件后，作者焊入新电池，克服了一些外观上的小瑕疵并重新组装，最后用硅胶封好。
尽管经验不足且出现了一些小挫折（如弄丢了几颗螺丝），但该项目最终圆满成功。这些自行车灯现已完全恢复功能，证明了即使是初学者，只要在支持性的社区空间内，也能完成基础维修。作者强调了学习新技能以及延长电子产品寿命、而非将其丢弃的价值。
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
更换可充电自行车灯的旧电池
(
jvns.ca
)
8 分
由
surprisetalk
发布于 1 小时前
|
隐藏
|
过往
|
收藏
|
1 条评论
帮助
esquire_900
1 分钟前
[–]
在荷兰，许多人使用这类可拆卸的自行车灯。在我更换过电池的十几个自行车灯里，从未见过焊接电池的情况。虽然不一定更便宜，但直接扔掉整个东西感觉太浪费了。
干得好！
回复
准则
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
**Fakecloud** 是一款功能强大的测试工具，允许开发人员通过本地环境使用标准 AWS SDK 来验证基于 AWS 的应用程序。它无需依赖复杂的轮询或私有测试钩子，通过直接的 API 调用即可实现对应用程序效果的无缝验证。 **主要功能包括：** * **全面的 SDK 支持：** 为 TypeScript、Python、Go、PHP、Java 和 Rust 提供的原生客户端，支持对重置、断言和异步处理器进行完全控制。 * **广泛的覆盖范围：** 支持 105 种 AWS 服务，包括 S3、Lambda、DynamoDB、EventBridge 和 Bedrock。 * **经验证的一致性：** 每次提交都会经过严格测试，基于官方 Smithy 模型实现的近 4,000 个 API 操作均保持 100% 的一致性。 * **真实场景集成：** 与模拟工具（Mock）不同，Fakecloud 能够模拟真实的云服务行为，支持超过 30 种跨服务交互（如 S3 通知、SNS 扇出和 DynamoDB Streams），以确保您的基础设施逻辑表现与生产环境完全一致。 Fakecloud 弥合了本地开发与云环境之间的差距，确保您的基础设施代码可靠、可测试，并完全符合 AWS 标准。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
Fakecloud：用于集成测试的本地 AWS 云模拟器
(
fakecloud.dev
)
5 点
由
theanonymousone
发布
3 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
以色列推土机在年度收获季前毁坏巴勒斯坦橄榄树 Israeli bulldozers smash Palestinian olive trees ahead of annual harvest
4 小时前
请启用 JavaScript 并关闭所有广告拦截器
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
[已标记]
0x54MUR41
41 分钟前
|
隐藏
|
过往
|
收藏
mutty123
28 分钟前
[–]
不作死就不会死
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索:
**RapidsMPF** 是一款高性能、外存式（out-of-core）库，旨在解决分布式数据洗牌（shuffling）中固有的内存、传输和同步难题，而洗牌操作对于连接（joins）和排序等任务至关重要，且开销巨大。
从历史上看，洗牌操作非常消耗内存，因为它通常需要跨节点实例化大型数据子集。RapidsMPF 通过流式、外存式架构解决了这一问题，从而避免了“内存溢出”（OOM）错误。它通过加速传输（如 UCXX/GPUDirect RDMA）接收数据或将其溢出到主机内存，动态管理内存压力，而不是在设备和主机之间进行冗余的数据交换。
在 DGX B200 上的基准测试表明，RapidsMPF 在理想条件下可实现约 1.8 TiB/s 的全局吞吐量。即使在人为的内存压力下，该库也能保持稳定，通过智能利用主机内存来避免不必要的驱逐，从而实现平稳扩展。虽然随着带宽达到极限，性能会自然下降，但系统避免了 OOM，并为处理超过 GPU 显存的数据集提供了一条平滑且可预测的路径。RapidsMPF 同时提供 C++ 和 Python 接口，为现代 ETL 引擎和分布式数据流水线提供了坚实的基础。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
内存外加速洗牌算法
(
quasiben.github.io
)
6 点
由
quasiben
发布
3 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索：
通过 Claude Code 部署。只需一条命令即可安装。然后提问：“将此项目部署到 Light Cloud。” 如果你没有账户，Claude 会为你注册，询问两个问题，并返回一个实时 URL。同一个 MCP 服务器可在 GitHub Copilot 和 Claude Desktop 中使用；CLI 则可直接在终端中运行。 Claude Code - 输入一条命令，然后提问 $claude mcp add light-cloud -- npx @light-cloud/mcp-server
Hacker News
最新
|
过往
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
展示 HN：LightCloud – 像文件系统一样组织的云控制台
(
light-cloud.com
)
4 点积分
由
yullius
发布
1 小时前
|
隐藏
|
过往
|
收藏
|
讨论
大家好，Light Cloud 是一个以文件夹为组织单位的托管平台。一个文件夹包含了项目所需的一切：前端、API、数据库、环境变量以及每个分支的预览。
帮助
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系我们
搜索：
“作为语言模型”：聊天模板切换了大语言模型的自指语态 "As a Language Model": Chat Template Switches LLM Self-Referential Voice
6 小时前
arXivLabs 是一个允许合作者直接在我们的网站上开发和分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们关于开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于秉持这些价值观，并仅与遵守这些价值观的合作伙伴进行合作。如果您有能为 arXiv 社区增值的项目想法，请了解更多关于 arXivLabs 的信息。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
“作为语言模型”：聊天模板如何改变大语言模型的自指语态
(
arxiv.org
)
18 点
由
yu3zhou4
提交
32 分钟前
|
隐藏
|
往期
|
收藏
|
1 条评论
help
ForHackernews
0 分钟前
[–]
在我看来，这些模型绝不应该被训练去输出第一人称的“体验式”（摘自摘要）语言。人类太容易对表现出自我意识的软件产生拟人化倾向。
人工智能公司选择将大语言模型包装成友好的聊天机器人，因为他们知道这会吸引人类，但这是一种操纵。一个诚实的大语言模型界面应该听起来像《星际迷航》里的电脑那样。
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系方式
搜索：
多年来，人们一直认为“纯蓝色”玫瑰是不可能实现的，因为玫瑰缺乏产生蓝色素所需的酶，也缺少稳定蓝色素的必要“辅助色素”。尽管三得利全球创新中心的研发人员早在2004年就尝试培育蓝色玫瑰，但最终结果仅呈淡紫色。
近期，科学家们取得了一项突破，他们将来自其他蓝色花卉品种（风铃草、蝴蝶草和龙胆）的四个基因植入玫瑰中。这一改造使玫瑰能够同时产生蓝色素锦葵色素以及被称为“辅助色素”的特定无色分子。这些辅助分子能够稳定色素，从而形成一种独特的“紫蓝色”。
研究人员证实，辅助色素的含量越高，蓝色就越深。这些基因工程玫瑰表现稳定，在七年的温室测试和三年的野外生长中均保持了蓝色。目前，该团队正继续改进方法，以进一步增强蓝色的浓度。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
终于，真正的蓝色玫瑰问世了
(
sciencenews.org
)
8 分
由
bookofjoe
提交
2 小时前
|
隐藏
|
往期
|
收藏
|
讨论
帮助
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索:
TLA+（行为时序逻辑）是一种用于建模和验证分布式系统的形式化语言，通过定义合法状态和转换规则来描述系统。它将系统视为转换系统，其中“安全性”属性确保“不会发生坏事”（例如：不会同时出现两个领导者），而“活性”属性确保“好事最终会发生”（例如：最终总能选出领导者）。 TLA+ 的强大之处在于它抽象了时间和概率，转而专注于所有可能的执行路径。通过使用数学逻辑（集合与关系），它允许开发者针对预期的属性来测试这些路径。模型检查器 TLC 会遍历所有可达状态，以确认这些属性是否成立，如果出现违例，则会提供具体的反例。安全性确保系统不会崩溃，而活性（在公平性假设的支持下）则确保系统能够持续推进而非陷入停滞。总之，TLA+ 提供了一种严谨的方法来验证复杂系统的每一种行为是否都符合设计要求，从而超越了简单的测试，实现了全面的形式化验证。
Hacker News
最新
|
往日
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
互联网发现了 TLA+。接下来呢？
(
reasonable.io
)
6 点
由
matt_d
4 小时前
|
隐藏
|
往日
|
收藏
|
2 条评论
帮助
fizlebit
38 分钟前
|
下一个
[–]
是时候去发现“通信顺序进程”（CSP）了 :P
回复
usrnm
6 分钟前
|
父级
|
下一个
[–]
那东西一直被重新发现，最近的例子大概就是 Golang 了
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请 YC
|
联系
搜索: