启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
2025年12月Tiobe指数：R进入前列，SQL攀升 (techrepublic.com)
5点 由 smurda 23分钟前 | 隐藏 | 过去 | 收藏 | 1评论
muglug 0分钟前 [–]
提醒一下，这个指数将Perl、Object Pascal和Fortran排在Go和PHP之上。它毫无意义。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
关于按住版权联系我们创作者广告开发者条款隐私政策和安全性YouTube的工作原理测试新功能© 2025 Google LLC
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Rocket Lab – 'Raise and Shine' 为 JAXA 发射 [视频] (youtube.com)
6 点赞 来自 schappim 49 分钟前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
大麻和类大麻药物的治疗用途：综述 (jamanetwork.com)
9点 由 bookofjoe 2小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Mathlib：Lean 的协作数学库
Mathlib 是一个为 Lean 定理证明器维护的、形式化的数学库，包含数学内容和编程基础设施。它旨在促进数学发展*和*强大的战术的创建。
用户可以通过官方网站或直接通过 GitHub Codespaces/Gitpod 安装 Lean 和 Mathlib。关键命令包括 `lake build` 用于编译库，`lake test` 用于运行测试，以及 `lake exe cache get` 用于下载预编译文件以加快构建速度。
文档非常丰富，包括用于提问和讨论的 Zulip 聊天，以及贡献者指南。鼓励贡献者在开始重要工作之前在 Zulip 上讨论计划。
Mathlib 由一个专家团队积极开发，他们专门从事代数、拓扑、分析和范畴论等领域（原始文本中提供了完整列表）。有资源可用于从 Lean 3 过渡，并且依赖项更新通过 `lake update` 进行管理。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Lean 定理证明器 Mathlib (github.com/leanprover-community)
7 分，by downboots 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
2. 光计算构建模块 利用我们集成的非线性光学元件，我们可以制造出更复杂的设备。在数字领域，它使我们能够创建光学逻辑门；在模拟领域，我们可以创建复杂的数学运算。对于量子计算，它可以实现连续变量的全光前馈。当然，它还可以用于创建光学存储器。
一家新公司Akhetonics推出了一款“全光XPU处理系统”，在Hacker News上引发了讨论。一些人看到了潜力，但评论员对该公司的营销和缺乏具体细节表示怀疑。
一位用户指出，该演示没有涉及基本的CPU架构（如冯·诺依曼架构与哈佛架构），并质疑在没有明确数据速率的情况下使用太赫兹（THz）频率的意义——将其比作吹嘘更快的红外遥控器。
另一位用户直言他们的“怀疑指标已经深陷红区”，暗示该演示严重依赖技术术语而非可证明的技术。总体情绪倾向于希望获得清晰的事实信息，而不是营销炒作。
您的浏览器不支持框架；请升级您的浏览器软件。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Dhtml Lemmings (2004) (elizium.nu)
4 分，tetris11 发表于 3 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论
tetris11 发表于 3 小时前 [–]
2014 版本可以在这里找到：https://github.com/trufae/fxos-app-lemmings 回复
Mindless2112 发表于 18 分钟前 | 父评论 [–]
还有：
* https://github.com/tomsoftware/Lemmings.ts
* https://lldb.camanis.net/level/play/473/1/Just-dig 回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
柔术 (也称为 jj) 是一个与 Git 兼容的版本控制系统。这个仓库包含一个精选的、优秀的关于柔术的文章、教程、视频、工具或其他资源的列表。IRC：Libera Chat 上的 #jujutsu。欢迎贡献！无论是修复错别字、使列表更易读，还是添加/更新/删除链接——请随时创建一个 issue 或提交 pull request。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Awesome-Jj: 咒术相关 (github.com/necior)
5 分，由 n3t 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
自由软件基金会（FSF）宣布了2024年度自由软件奖，表彰对自由软件运动的重大贡献。**安迪·温戈**因其共同维护GNU Guile（GNU操作系统的关键扩展语言）的工作，获得了推进自由软件奖。**艾尔克斯·萨**因其对GNU图像处理程序（GIMP）的贡献，并出于回馈社区的愿望，获得了杰出新贡献者奖。 **Govdirectory**因其协作维护、事实核查的政府联系信息目录而获得了社会公益项目奖，该目录以自由许可提供，以确保可访问性和透明度。 所有获奖者都强调了协作、社区以及自由软件理念核心的四项自由的重要性。FSF将在新的一年举办活动，以进一步庆祝这些成就及其对更广泛的自由软件生态系统的影响。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
自由软件奖得主公布：Andy Wingo, Alx Sa, Govdirectory (fsf.org)
11 分，由 pseudolus 1小时前发布 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## 将电子墨水屏作为辅助显示器，使用VNC 本文详细介绍了如何将旧的安卓电子墨水平板电脑用作Linux（Arch，但可调整）上的辅助、对眼睛友好的文本编辑和阅读显示器。作者因长时间使用屏幕而感到疲劳，寻求低压力的解决方案，并发现使用VNC镜像成功了。 最初使用Deskreen的尝试受到基于浏览器的流媒体质量和输入延迟的阻碍。然而，设置TigerVNC服务器并使用Android VNC客户端（AVNC）被证明是有效的。该过程涉及安装TigerVNC、创建密码、配置用户访问权限，并使用特定参数（分辨率、帧率、共享选项）运行`x0vncserver`以镜像屏幕。 创建了一个脚本来自动化显示器配置（设置分辨率和定位显示器）并启动VNC服务器。虽然由于电子墨水平板电脑的刷新率存在延迟，但该设置提供了舒适、无干扰的体验，尤其适合阅读和写作，并且通过在Neovim等文本编辑器中使用高对比度、浅色主题来增强效果。
使用E-Ink平板电脑作为Linux显示器 (alavi.me)
16点 由 yolkedgeek 3小时前 | 隐藏 | 过去 | 收藏 | 2条评论
jwrallie 17分钟前 | 下一个 [–]
我真的很想要一个带E-Ink屏幕的Linux笔记本电脑。我非常清楚缺点。
似乎有带键盘的Android平板电脑或双屏Windows笔记本电脑，但为了适应这种屏幕的限制，拥有对操作系统界面的完全控制权是最好的。回复
bee_rider 20分钟前 | 上一个 [–]
所以基本上是在E-Ink屏幕上使用vim？
当我写很多LaTeX时，我希望有一个E-Ink显示器。LaTeX本身就需要一段时间来编译。我可能还是想在传统显示器上使用vim。回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
J 的一个实现 J 的一个实现 Roger K.W. Hui 版权所有 © 1990-2011，Jsoftware Inc. 最后更新：2000-06-23 前言 J 是 APL 的一种方言，可在各种机器上免费使用。它是被称为“字典 APL”的发展系列的最新成果。拼写方案使用 ASCII 字母表。基本概念，如数组、动词、副词和秩，是 APL\360 中思想的扩展和推广。已删除了异常情况。结果既比以前的方言更简单，又更强大。 本文档描述了 J 在 C 中的一个实现。假定读者熟悉 J 和 C。J 的规范是 J 字典，该语言的介绍可在《J 语言编程》和《J 简明手册》中找到；C 在《C 编程语言》中进行了描述。 为什么是“J”？ 它易于输入。 致谢 Ex ungue leonem. 下一页 • 上一页 • 索引 • 目录
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
J (jsoftware.com) 的一个实现
10 分，来自 ofalkaed 1 小时前 | 隐藏 | 过去的 | 收藏 | 讨论
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：