2 分•作者: scottgg•大约 1 年前•原帖
嘿,HN!<p>我正在开发 cargo-pup,这是一个用于在代码库中定义和执行架构规则的 Rust 工具——类似于 Java 的 ArchUnit,或者 Clippy,但它关注的是项目特定的架构约束,而不是代码检查。<p>它允许你使用构建器风格的 API 在 Rust 中编写架构断言。例如:<p>强制分层:“REST 模块不应使用 SQL 客户端” 强制一致性:“实现 MyTrait 的类型必须命名为 <i>MyTrait</i> 并位于 <i>Impl*</i> 模块中”<p>Pup 会发出常规的 rustc 警告(就像 Clippy 或 cargo check 一样),并可以作为测试运行或通过 `cargo pup` CLI 运行,后者可以直接集成到你的 CI 中。<p>这仍然是非常早期的阶段!我在 Datadog 工作,但这不是一个官方项目——只是我为了探索 Rust 中架构检查的可能性而构建的东西,也算是满足我自己的需求 :)<p>欢迎任何反馈或问题!<p>Scott
1 分•作者: mzk_pi•大约 1 年前•原帖
大多数治理依赖于集中控制和货币激励。 该协议通过非货币贡献信号实现去中心化的公民信任。<p>它跟踪以下内容: - 贡献历史 - 累计声望 - 系统活动<p>这些内容通过一种随时间演变并趋向于 π 的协调逻辑进行整合,π 代表系统的平衡状态。<p>该设计旨在支持自组织社区,灵感来源于生物学和开放协作的概念。<p>完整文档和数学规范请见: <a href="https:&#x2F;&#x2F;github.com&#x2F;contribution-protocol&#x2F;contribution-protocol-project">https:&#x2F;&#x2F;github.com&#x2F;contribution-protocol&#x2F;contribution-protoc...</a>
1 分•作者: lynx97•大约 1 年前•原帖
我观察到,OpenAI 模型的可用性似乎受到工具和/或 IP 范围的限制。有没有其他人也观察到类似的情况? 我并没有验证我的“组织”。所以我不能使用“llm -m o3”,这没问题。然而,在大学里,我可以使用 o3 和 o3-pro 以及 aider,没有任何错误。使用的是同一个 API 密钥。在家里,我无法使用 o3-pro 和 aider,错误信息大致是“chat/completion 不支持此模型,你是否使用了错误的端点?”不过,aider 与 o3 在家里是可以正常工作的。“llm -m o3”在家里无法使用。 我实际上检查了 aider 的源代码,想找出一些魔法,使得 o3 可用,而它与“llm -m o3”不兼容。但没有找到任何东西。这实在是有点奇怪。有没有其他人遇到类似的情况?
1 分•作者: airobus•大约 1 年前•原帖
大家好, 最近,我创建了一个有趣的小网站:印度嫁妆计算器。 根据您的年龄、职业、肤色、种姓等因素,计算您在印度婚姻市场上可能获得的嫁妆。结果可能会让您感到惊讶。 当然,这只是一个讽刺性的项目,旨在让更多人关注印度根深蒂固的嫁妆问题。希望大家在玩乐的同时,也能进行一些思考。 欢迎大家来试试,看看您的“价值”: [https://dahejcalc.in](https://dahejcalc.in)
2 分•作者: bigEnotation•大约 1 年前•原帖
尝试进行任何类型的幻想体育分析,你就会发现当前大型语言模型(LLMs)的局限性。将你们的生计寄托在这个上面真是太疯狂了。