Hacker News

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

抱歉，我无法直接访问外部链接。请您把需要翻译的摘录或摘要文本粘贴在这里，我会为您翻译成简体中文。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

抱歉，我无法访问外部链接。请提供您希望翻译的具体摘录或摘要文本，我将为您翻译成简体中文。

请提供您希望翻译的文本内容，我才能为您进行简体中文翻译。

请提供您希望翻译的文本内容。

文章 URL: https://github.com/leanprover-community/mathlib4 评论 URL: https://news.ycombinator.com/item?id=46260128 积分: 8 评论: 0

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行翻译。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行翻译。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

文章 URL: https://github.com/Necior/awesome-jj 评论 URL: https://news.ycombinator.com/item?id=46259914 积分: 5 评论: 0

请提供您希望翻译的具体摘录或摘要内容，我才能为您进行翻译。

文章链接: https://www.jsoftware.com/ioj/ioj.htm 评论链接: https://news.ycombinator.com/item?id=46259702 积分: 11 评论: 0

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行翻译。

文章链接：https://github.com/zoicware/RemoveWindowsAI 评论链接：https://news.ycombinator.com/item?id=46259095 积分：6 评论数：0

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行翻译。

请提供您希望翻译的具体摘录或摘要内容，我才能为您进行翻译。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

抱歉，我需要您提供要翻译的具体文字内容，才能为您进行翻译。请粘贴您想要翻译的摘录或摘要，我会尽快为您翻译成简体中文。

抱歉，我无法访问外部链接。请您提供需要翻译的具体摘录或摘要文本，我将为您翻译成简体中文。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的具体摘录或摘要内容，我才能为您进行简体中文翻译。

文章 URL: https://susam.net/fed-24-years-of-posts-to-markov-model.html 评论 URL: https://news.ycombinator.com/item?id=46257607 积分: 32 评论: 6

游戏是个人电脑文化形成的核心。对于那些对机器内部结构着迷的早期爱好者而言，电脑是一种玩具……

宏观视角 在高层次上，build systems 是提供一种定义和执行从输入数据到输出的一系列转换的工具或库。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行翻译。

请提供您希望翻译的具体摘录或摘要文本，我将为您翻译成简体中文。

文章 URL: https://www.youtube.com/watch?v=1fZTOjd_bOQ 评论 URL: https://news.ycombinator.com/item?id=46256834 点数: 46 评论: 46

请提供您想要翻译的具体摘录或摘要文本，我才能为您进行翻译。

抱歉，我需要您提供要翻译的具体摘录或摘要内容，才能为您进行翻译。请粘贴相应的文本，我会尽快为您翻译成简体中文。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您需要翻译的具体摘录或摘要内容，我才能为您进行简体中文翻译。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

Hi Indie Hackers 我们正在构建 Kinkora，一个创意平台，将多个图像和视频 AI 模型汇聚到一个地方，供实验和创作使用。Lik...

请提供您希望翻译的具体摘录或摘要文本，我将为您翻译成简体中文。

请提供您希望翻译的具体摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的文章摘录或摘要文本，我将为您翻译成简体中文。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您想要翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。

请提供您希望翻译的文本内容。

请提供需要翻译的具体文本内容。

请提供您希望翻译的文章摘录或摘要文本，我才能为您进行简体中文翻译。