每日HackerNews RSS

启用 JavaScript 和 Cookie 以继续。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 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 | 联系 搜索:

更多

联系我们 contact @ memedata.com