每日HackerNews RSS

近一个世纪以来,物理学优先发展强大的数学模型来*描述*实验结果,而非确立对潜在现实的根本*理解*。这始于最初的量子革命(1900-1928)确立了波粒二象性、离散原子态等核心概念,但随后在追求更深层的本体论承诺方面停滞不前。 量子力学中持续的“诠释”争论——哥本哈根诠释、多世界诠释等——并非真正的科学分歧,而是将量子力学视为纯粹的计算工具而非物理理论的症状。所有诠释都产生相同的预测,这突显了问题不在于计算失败,而在于缺乏对这些计算*为何*有效 的解释。 自1928年以来,物理学成功地将标准模型扩展到新的粒子和相互作用,但其基础框架基本未变。最近的成功(希格斯玻色子、引力波)证实了基于早期本体论突破的预测。然而,试图*超越*标准模型的尝试未能产生确定的预测,这表明存在方法论上的局限性。 作者认为,优先进行数学拟合而非本体论探究导致了停滞。需要回归“本体论优先”的方法——优先考虑物理理解,并从中推导出数学形式主义——以克服量子引力、基本常数起源等领域的当前僵局。

对不起。

请启用 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上。它们只在这里……

对不起。

一套设计精美的组件,你可以自定义、扩展和构建。从这里开始,然后打造你自己的。开源。开放代码。使用它来构建你自己的组件库。访问 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 许可。

对不起。

更多

联系我们 contact @ memedata.com