最新

各位 HN 的朋友们！我一直在开发 fuse 编程语言，它是一门静态类型、纯函数式语言，支持高阶类型和特设多态。它会编译到 GRIN 全程序优化器，生成 LLVM 生成的原生代码。 Fuse 支持代数数据类型（ADT）、泛型、类型方法、特质（Traits）、模式匹配等，所有这些都以函数式风格实现，没有可变性。 我花了 5 年时间开发这门语言，代码是用 Scala 编写的。我从《类型与程序语言》（tapl）一书中实现的 System F 的基础上开始编码，然后扩展了双向类型检查和高阶多态等概念。 我的主要灵感来源于 Rust、Haskell、Scala 和 Python（在语法方面）。这一切的开端是我想要一门拥有类似 Rust 的概念（如 ADT、Traits、Impl 块语法等），但又具备纯函数式语义的语言。 我非常乐意听取大家对语言设计及其通用用法的反馈。

大家好！ **简而言之：** 我真心享受每一次指导课程，并且相信我的学员们也觉得这些课程非常有价值。然而，我仍然有一个疑问：我可能还没有意识到的指导课程的缺点是什么？ 作为一名经验丰富的软件工程师（目前仍在全职工作），我开始担任导师是为了分享我自己的经验——包括好的、坏的和人们在职业环境中可能面临的挑战。更重要的是，我帮助人们提升在组织内的影响力，从而让他们自己的工作和贡献更加显眼。 我真心热爱每一次指导课程，并感谢我的所有学员坦诚地分享他们的故事和挑战。 有一天，在结束了一次课程后，我问自己： 如果我所做的事情对我的学员和我自己都非常有价值，那么在这个阶段，我可能无法预见的指导课程的缺点是什么？ 目前，指导课程感觉就像我的第二爱好，同时也能在我的全职工作之外带来一些额外收入。我想象如果我决定成为一名全职教练，情况会截然不同。 以下是一些背景信息： * 在过去的7个月里，我共进行了32次指导课程。 * 自第一次课程以来，我的学员留存率一直稳定在82%到83%之间。 * 我主要在三个领域提供指导： * 简历审查 * 故事库建设 * 行为面试 * 我通常每节课收费12-20欧元，但经常会根据学员的具体情况调整价格。 我非常希望能听到那些以指导为职业或将指导作为全职事业的人的看法。

这是我基于自身需求开发的一款工具，因为不使用人工智能来生成需求实在是一种浪费。市面上存在像 IBM DOORS 这样的老牌工具，但它们需要购买席位许可证，而且不支持大型语言模型。 我发现需求管理大部分时间都处于混乱状态，人们在各种工具、Excel 和 Word 之间来回切换。客户无法追踪需求历史，也无法了解针对特定系统需求需要更改哪些文档。 出于这些原因，我构建了 DocuMan。它遵循军事和行业标准进行文档描述。您可以导入客户规范，并为您的硬件和软件配置项生成所有文档。只需提供您的系统分解，它将处理其余部分。 还有很多功能需要实现，但它在当前状态下已经非常有用，所以我希望与大家分享。请告诉我您的想法。

我和我的朋友们已经在 Arcad 上工作了几个月。它是一款免费的、基于浏览器的参数化 CAD 工具，面向爱好者和创客。<p>它具有可编辑的特征历史记录、由 OpenCascade 驱动的实体建模、STEP 导出以及平板电脑的触控操作，尽管它主要为 PC 使用而设计。所有功能都在浏览器中运行，您可以无需创建账户或安装任何东西即可进行尝试。<p>目前处于测试阶段，但我们觉得它已经可以正式发布了。欢迎任何反馈！<p>链接：<a href="https:&#x2F;&#x2F;app.arcad.studio" rel="nofollow">https:&#x2F;&#x2F;app.arcad.studio</a> 文档：<a href="https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs" rel="nofollow">https:&#x2F;&#x2F;www.arcad.studio&#x2F;docs</a>