最新

我想要一个我能真正拥有的操作系统。大多数现代系统已经变成了服务器控制的客户端，充斥着各种依赖（Gtk4/Qt/Rust/Wayland）以及集中在 GitHub 上的源代码控制。如果你无法审计依赖树，并且大公司控制着源代码，那它就不再是真正的开源了。 我构建 OneManBSD 就是为了解决这个问题。它是一个基于 OpenBSD 的系统，运行在一台 2012 年的 ThinkPad L430 上。 项目视频：https://www.youtube.com/watch?v=2wHaoQhXOYY 项目页面：https://bialamusic.com/onemanBSD/

大家的“宏伟而大胆的目标”（Big Hairy Audacious Goal）是什么？

各位 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欧元，但经常会根据学员的具体情况调整价格。 我非常希望能听到那些以指导为职业或将指导作为全职事业的人的看法。