近一个世纪以来，物理学优先发展强大的数学模型来*描述*实验结果，而非确立对潜在现实的根本*理解*。这始于最初的量子革命（1900-1928）确立了波粒二象性、离散原子态等核心概念，但随后在追求更深层的本体论承诺方面停滞不前。 量子力学中持续的“诠释”争论——哥本哈根诠释、多世界诠释等——并非真正的科学分歧，而是将量子力学视为纯粹的计算工具而非物理理论的症状。所有诠释都产生相同的预测，这突显了问题不在于计算失败，而在于缺乏对这些计算*为何*有效 的解释。 自1928年以来，物理学成功地将标准模型扩展到新的粒子和相互作用，但其基础框架基本未变。最近的成功（希格斯玻色子、引力波）证实了基于早期本体论突破的预测。然而，试图*超越*标准模型的尝试未能产生确定的预测，这表明存在方法论上的局限性。 作者认为，优先进行数学拟合而非本体论探究导致了停滞。需要回归“本体论优先”的方法——优先考虑物理理解，并从中推导出数学形式主义——以克服量子引力、基本常数起源等领域的当前僵局。
每日HackerNews RSS
对不起。
请启用 JavaScript 并禁用任何广告拦截器。
## SFO 登机口探索计划：安检后区域通行 SFO 登机口探索计划提供了一个独特的机会，即使没有登机牌，也能进入旧金山国际机场的安检区域。 这让访客可以迎接或陪同旅客，探索屡获殊荣的 SFO 博物馆展览，并享受机场的购物和餐饮选择。 要参与，请提前最多 30 天在线申请（也接受当日申请），提供与您政府颁发的身份证件相符的准确个人信息。未成年人的申请需要成人陪同。 TSA 将审核每份申请，并在访问日期午夜后发送批准或拒绝通知。 如果获得批准，请在指定检查站出示您的数字或打印的登机口探索通行证 *和* 有效照片身份证件，以进行 TSA 安检并进入。 请注意，该计划可能会根据机场运营和安全需求进行更改或取消。
启用 JavaScript 和 Cookie 以继续。
对不起。
## dotcl: .NET 上的 Common Lisp dotcl 是一个基于 .NET 运行时的 Common Lisp 实现，可在 Windows、macOS 和 Linux (x86-64 & ARM64) 上实现跨平台执行，无需特定平台的移植。它将 Lisp 代码编译为 CIL (通用中间语言)，并且在很大程度上符合 ANSI Common Lisp 标准。 主要特性包括 **在 .NET 应用程序 (C#, F#, VB.NET) 中无缝嵌入 Lisp** 以及使用 `dotnet:` 包 **用 Lisp 编写 .NET 代码**，以便直接访问 .NET 类型和类。 dotcl 利用 NuGet 生态系统，并与许多 Quicklisp 库兼容。它通过使用 Roswell/SBCL 的交叉编译过程进行引导，但随后可以 **自托管** 以进行后续构建。 演示项目展示了 Lisp 与 .NET MAUI、ASP.NET Core、MonoGame 的集成，甚至通过模型上下文协议公开 Lisp REPL。该项目是开源的 (MIT 许可证)，并提供关于架构、设计决策和平台特定考虑因素的详细文档。
## Dotcl：.NET 上的 Common Lisp - 摘要
一个新的 Common Lisp 实现，**Dotcl**，基于 .NET 平台发布（github.com/dotcl）。该项目在 Hacker News 上引发了关于 Lisp 采用挑战和潜在复兴的讨论，尤其是在人工智能辅助开发兴起的情况下。
用户们讨论了性能，并与 F# 和 Rust 进行比较，同时注意到现有的 .NET Lisp 实现，如 IronScheme 和 Bike，用于互操作性。 许多评论员强调 Clojure 是一个更成功的现代 Lisp，而另一些人则对 Common Lisp 传统的、有时不太友好的界面表示沮丧。
讨论还涉及尾调用优化 (TCO) 和 AOT 编译等技术方面，并保证 Dotcl 支持 TCO 并可能支持 WASM 目标。 许多人对将 Lisp 脚本集成到 .NET 项目的可能性以及人工智能赋能个人 Lisp 开发者的潜力表示兴奋。 此外，还注意到它与 DigitalOcean CLI (doctl) 的轻微命名冲突。
```services: piruetas: image: forgejo.patilla.es/patillacode/piruetas:latest ports: - "8000:8000" volumes: - ./data:/data environment: # 生成方式：openssl rand -hex 32 SECRET_KEY: change-me-to-a-random-string ADMIN_USERNAME: admin ADMIN_PASSWORD: changeme SECURE_COOKIES: "false" # 如果通过HTTPS提供服务，设置为“true” REGISTRATION_OPEN: "false" # 设置为“true”以允许自助注册 # TRUST_PROXY: "true" # 如果在反向代理之后，取消注释 restart: unless-stopped ```
Please provide the content you want me to translate. I need the text to be able to translate it to Chinese. Just paste it here, and I will give you the Chinese translation.
对不起。
1730年代 – 1960年代 • 美国历史……并且是唯一阅读过这些报纸的人。600万个故事——并且每天都在增加——等待您去探索。从250年的美国历史中提取和整理，由我们的AI完成。您不会在谷歌上找到这些。它们不在ChatGPT上。它们只在这里……
对不起。
Shadcn/UI：一套美观且可定制的组件。
Shadcn/UI: A set of beautifully designed components that you can customize
2 天前
一套设计精美的组件，你可以自定义、扩展和构建。从这里开始，然后打造你自己的。开源。开放代码。使用它来构建你自己的组件库。访问 https://ui.shadcn.com/docs 查看文档。请阅读贡献指南。MIT 许可。
对不起。
## DAC：代码即仪表盘 摘要
DAC 是一种使用代码（具体为 YAML 和 TSX）构建和管理仪表盘的工具。它允许定义仪表盘、验证其结构，并提供具有动态元素（如图表、选项卡和条件语句）的仪表盘。其关键特性是内置的 AI 代理（通过 Codex），能够通过聊天实现仪表盘的实时更新。
DAC 通过 Bruin 支持主流数据库（Postgres、MySQL、Snowflake 等），并包含语义层，用于集中定义指标和维度，自动生成 SQL。这使其非常适合 AI 驱动的仪表盘创建，并确保可靠性和可审查性。
用户使用声明式方法定义仪表盘，可以使用 `dac init` 快速创建一个项目。示例项目展示了 YAML、TSX 和语义仪表盘的功能。
DAC 收集匿名使用遥测数据（可以选择退出），以改进该工具。它采用 React 前端和强大的后端构建，并采用 AGPL-3.0 许可。
对不起。