最新

亚伦·施瓦茨和我在2007年创建了Jottit，这是一个让任何人都能在几秒钟内在网上创建页面的简单方式。你只需输入内容，点击一个按钮，就能在一个秘密网址上获得一个页面。这个服务几年前就下线了。 现在我已经从头重新构建了它。基本上是同样的理念，但更加简化。访问 jottit.org，撰写Markdown，你就能拥有一个发布的页面。申请一个地址，你现在可以在 yourname.jottit.org 上查看你的页面列表。开始写作无需注册，公共页面上没有JavaScript。你可以随时导出你的作品。 Jottit是免费的，且开源。它不是一个创业公司，只是我非常希望再次存在的一个项目。

嗨，HN， 我开发了MoodPulse应用，这是一款可以帮助你在几秒钟内记录情绪并可视化情绪变化的小应用。 这个想法源于我希望有一个比大多数日记或心理健康应用更简单的工具。许多应用需要长篇的记录，或者每天维护起来感觉很繁琐。我想要的是一个只需几秒钟就能完成的记录，同时还能提供有用的见解。 它的功能包括： • 通过一次点击记录你的情绪（可选附加备注） • 通过简单的图表可视化情绪趋势 • 追踪连续记录和每周模式 • 如果愿意，可以与朋友分享可视化的情绪图表 我们的重点是速度和一致性——这是你真正会持续使用的工具。 我非常希望能得到HN社区的反馈，特别是在以下几个方面： • 这种情绪追踪是否真的有用 • 能够提升其价值的功能 • 对于这一领域应用的隐私期望 网站链接： [https://moodpulse.saposs.com/](https://moodpulse.saposs.com/) 谢谢！

嗨，HN！我开发了Levitation（https://levitation.studio）——一个开源的移动界面，可以在你离开电脑时监控和与Google的反重力代理进行交互。 对于不熟悉的人来说，反重力是Google的代理开发平台，你可以在不同的工作区中创建和协调多个异步工作的代理。问题是：这些代理在你离开后仍然在工作，但你在回到桌子前无法看到它们的状态。 Levitation弥补了这一空白。一个轻量级的客户端在本地运行，并连接到一个适合移动设备的仪表板。你可以： • 在离开键盘时启动新任务 • 查看所有正在运行任务的实时状态 • 当代理需要输入或遇到障碍时收到通知 • 从手机上批准或拒绝代理的决策 设置非常简单。只需在本地启动一个简单的进程： ``` npm install -g levitation-client levitation-client start ``` 客户端会输出一个连接代码——在https://levitation.studio输入该代码，你就连接上了。 为什么选择开源：我希望这个项目是可审计的。客户端在你的机器上运行，你控制连接。此外，这样人们可以用自己的想法或修复来改进它。 欢迎反馈，如果这个项目对其他人也有用，我会继续发布带有新功能的新版本。

抱歉，我无法直接翻译链接内容。不过，如果您能提供链接中的具体文本或内容，我将很乐意为您翻译。

嗨，HN， 我们是一家软件开发公司，客户遍布欧洲。由于我们产品的性质，许多客户需要连接到他们的VPN，以提供支持和进行维护。大多数情况下，我们无法安装自己的VPN。 这导致我们的一些开发人员需要管理超过20个不同的VPN，所有这些VPN都是与不同客户相关的（有时版本不兼容，Fortinet你在看着我），并且有不同的凭证、过期时间、令牌等。有些VPN几个月都没有使用，结果在最需要它们修复生产环境故障时才发现它们已经损坏。对我们来说，这已经变得一团糟。 所以我想问的第一个问题是：这是一个比较常见的问题，还是只有我们遇到这个问题？如果是的话，你们是如何解决的？我一直在寻找工具来简化这个过程，但还没有找到合适的。 话虽如此，我们已经探索了一个想法一段时间：基本上是在现有VPN之上建立一个控制层。一个虚拟化框架，让VPN客户端在由控制平面管理的容器中运行。用户只需安装一个客户端连接到我们的VPN层，然后选择要连接的端点。这也会开启其他可能性，比如全面的连接审计、快速的离职处理、更好的一次性密码管理、过期通知等。当然，我们会设计成零知识，以避免安全问题。 目前仍处于早期阶段，老实说，我们不确定这是否真的是一个普遍存在的问题，还是仅限于我们所见的几个环境。 欢迎告诉我这个想法愚蠢（但我希望知道原因），或者讨论我们尚未考虑的潜在问题。

长期潜水者，拥有多个账户，逐个使用，没有滥用。你好。昨天关于在 Hugging Face 上流行的开放权重模型的层重复和调整的讨论，促使我提交了这个内容。 自从 GPT ~3.5 以来，计算机能够模拟人类的能力变得显而易见，就计算机而言。所谓的“死互联网理论”实际上起源于2012年左右，但我一直难以找到验证，包括在 archive.org 上搜索。 所有这些动荡使得离线本地部署变得如此重要。 以下是当前的黑客基础设施： 1. 选择一个平台，然后决定使用哪个 Linux 内核。 2. qemu/kvm 可能是 incus，或者 docker 或 lxc/lxd，关键是：第二步要与第一步选择的平台隔离。 3. 选择使用 kvm，因为它拥有最大的开发社区。相信我：你不想被 bhyve 或 jails 的相关依赖所困扰，或者说 WSL2（或1）。 4. 主流、主线、主要，全天候。 5. 选择 libvirt，或者干脆选择简单的选项，使用 q 模拟。 6. 如果与主机内核的交互经过调整，主机操作系统可以以非常小的开销或引入的延迟来模拟虚拟机的内核。 7. 在主机上整理好一切后（使用 incus？），将一些裸金属资源传递给你的宠物，包括一些性能核心和几十个 GB 的内存，可能还有一两块 6000 系列 GPU，几个网卡，没关系，所有主机硬件都可以传递。 8. 除了虚拟机监控器。是 xen 吗？不可能，不理想，市场份额在下降。很可能是 qemu/kvm = LINUX。 9. 虚拟机监控器最佳状态已实现。局部和全局的最小最大值已测量，达到最佳全局顶点... 10. 盈利？？？

我一直在围绕一个简单的问题构建Aver： 如果人工智能将撰写更多的初稿，那么人类审阅者应该看到什么样的源代码？ Aver是一种实验性的静态类型语言及工具链，旨在处理AI编写、人工审阅的代码。 我认为源代码应该承载的不仅仅是实现。在大多数项目中，实现体现在代码中，但意图存在于文档中，决策记录在ADR（架构决策记录）或工单中，而预期行为则体现在可能与其描述不完全一致的测试中。 Aver试图将这些部分提升为一等公民： - 函数签名中的显式方法级效果 - 用于机器可读函数意图的`?`字符串 - 用于设计选择和权衡的`decision`块 - 与纯函数同处的`verify`块 - 具有确定性的记录/重放效果流 - 用于紧凑的合约级模块导出的`aver context` - 将代码编译为Rust的`aver compile` - 用于纯子集机械证明检查的Lean 4的`aver proof` 一个小的纯示例： ```rust fn charge(account: String, amount: Int) -> Result<String, String> ? "纯粹的收费验证和交易ID创建。" match amount 0 -> Result.Err("不能收取零") _ -> Result.Ok("txn-{account}-{amount}") verify charge charge("alice", 100) => Result.Ok("txn-alice-100") charge("bob", 0) => Result.Err("不能收取零") ``` 审阅者可以一目了然地看到函数的用途（`?`）以及可机器检查的预期行为示例（`verify`）。 一个具有副作用的包装函数如下所示： ```rust fn chargeAndPrint(account: String, amount: Int) -> Result<Unit, String> ? "对charge的有副作用的包装。" "成功时打印交易ID。" ! [Console.print] result = charge(account, amount) match result Result.Ok(txn) -> Console.print(txn) Result.Ok(()) Result.Err(err) -> Result.Err(err) ``` `!`使副作用成为签名的一部分，而不是隐藏在实现内部。 Aver故意采取了明确的设计理念：没有异常，没有空值，没有`if`/`else`，没有循环，没有闭包。分支通过`match`实现，失败通过`Result`处理，缺失通过`Option`表示，副作用则是显式的。 该代码库包含小示例，但也有`projects/workflow_engine`，这是我尝试构建的一个中型可审计应用核心，具有应用/领域/基础设施分离、可重放的有副作用流以及基于验证的纯逻辑。 这仍然处于早期阶段。我并不声称每个人都应该用Aver替代主流语言。 我正在测试的更具体的问题是：在源代码中使意图、决策、检查和效果边界机器可读，是否能使AI生成的代码更容易审阅、约束和信任。 我尤其希望得到反馈，看看这是否让人觉得这是一个值得存在的语言，或者同样的想法是否应该仅仅作为现有语言之上的约定和工具。