2 分•作者: danielskogly•大约 1 年前
返回首页
最新
2 分•作者: w3abhishek•大约 1 年前
2 分•作者: havanidea•大约 1 年前
2 分•作者: scottgg•大约 1 年前
嗨,HN!
我一直在开发 cargo-pup,这是一个 Rust 工具,用于在你的代码库中定义和执行架构规则——就像 Java 的 ArchUnit,或者 Clippy,但用于项目特定的架构约束,而不是代码检查。
它允许你使用构建器风格的 API 在 Rust 中编写架构断言。例如:
强制分层:“REST 模块不应该使用 SQL 客户端”
强制一致性:“实现 MyTrait 的类型必须命名为 <i>MyTrait 并且位于 </i>Impl* 模块中”
Pup 会像 Clippy 或 cargo check 一样发出常规的 rustc lint,并作为测试运行,或者通过 `cargo pup` CLI 运行,后者你可以将其集成到你的 CI 中。
这还处于非常早期的阶段!我在 Datadog 工作,但这并不是一个官方项目——只是我为了探索 Rust 中架构 linting 可能是什么样子,以及为了满足我自己的需求而构建的东西 :)
欢迎任何反馈或问题!
Scott
2 分•作者: handfuloflight•大约 1 年前
1 分•作者: ankitg12•大约 1 年前
1 分•作者: hez2000•大约 1 年前
1 分•作者: mzk_pi•大约 1 年前
大多数治理依赖于中心化控制和货币激励。
该协议使用非货币贡献信号来实现去中心化的公民信任。它追踪:
- 贡献历史
- 累积声望
- 系统活动
这些数据通过一个随时间演进并趋向于π的协调逻辑进行整合,π代表系统平衡。
该协议旨在支持自组织社区,其概念灵感来源于生物学和开放协作。
完整文档和数学规范见:
[https://github.com/contribution-protocol/contribution-protocol-project](https://github.com/contribution-protocol/contribution-protocol-project)
1 分•作者: decimalenough•大约 1 年前
15 分•作者: rennysocially•大约 1 年前
2 分•作者: Bogdanp•大约 1 年前
8 分•作者: edent•大约 1 年前
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”一起使用。什么也没找到。这相当奇怪。其他人也遇到类似的情况吗?
2 分•作者: fofoz•大约 1 年前
1 分•作者: fogzen•大约 1 年前
1 分•作者: airobus•大约 1 年前
大家好,<p>最近,我创建了一个有趣的小网站:印度嫁妆计算器。<p>根据您的年龄、职业、肤色、种姓等,计算您在印度婚姻市场中能获得多少嫁妆。结果可能会让您大吃一惊。<p>当然,这只是一个讽刺性项目,旨在让更多人关注印度根深蒂固的嫁妆问题。我希望大家在玩得开心的同时,也能有所思考。<p>欢迎来试试,看看您的“身价”:
[<a href="https://dahejcalc.in" rel="nofollow">https://dahejcalc.in</a>](<a href="https://dahejcalc.in" rel="nofollow">https://dahejcalc.in</a>)
1 分•作者: 90s_dev•大约 1 年前
1 分•作者: ilt•大约 1 年前
2 分•作者: bigEnotation•大约 1 年前
试着做任何类型的梦幻体育分析,你就会看到当前大语言模型(LLM)状态的谬误所在。<p>把你们的生计押注在这个上面,真是太疯狂了。
1 分•作者: Garbage•大约 1 年前