知名Mac应用Bartender被神秘开发者收购

2024-06-05
知名Mac应用Bartender被神秘开发者收购

广受欢迎的Mac菜单栏自定义应用Bartender近期被不知名开发者收购,引发用户担忧。由于收购过程不透明,许多用户直到收到MacUpdater的更新提醒才意识到这一变化。虽然新开发者声称已与原开发者密切合作,并将致力于改进应用,但其在收购后保持沉默的做法引发了用户的怀疑和不信任,部分用户选择卸载该应用。

阅读更多
未分类 Mac应用 Bartender

Linux man-pages 项目维护公告

2024-09-06

Linux man-pages 项目维护者 Alejandro Colomar 近日宣布,由于个人经济原因,将暂时无限期停止对该项目的维护工作。他表示,过去四年一直以志愿者身份利用业余时间维护该项目,从未得到任何公司的赞助。如果未来有公司有意向赞助该项目的维护工作,请与其联系。

阅读更多
67
未分类 man-pages

我是如何使用 Git 工作树的

2024-07-26

文章介绍了作者如何利用 Git 工作树来管理并发任务,而不是将其作为分支的替代品。作者创建了五个工作树,分别用于查看原始代码、编写代码、审查代码、运行模糊测试以及处理其他临时任务。这种方法提高了作者的编码效率,并能更好地管理并发任务。

阅读更多
未分类 工作树

Braid-Text: 基于 Braid-HTTP 的文本同步库

2024-05-27
Braid-Text: 基于 Braid-HTTP 的文本同步库

Braid-text 是一个 JavaScript 库,用于通过 Braid-HTTP 协议实现文本的实时协同编辑。它提供了一个简单的 HTTP 路由处理器和客户端代码,支持 Braid-HTTP 协议和 Simpleton 合并类型,并具有轻量级客户端、低历史记录开销、服务器端压力控制、Diamond Types 合并支持以及快速、健壮和经过广泛模糊测试等特点。

阅读更多
89

后开源世界

2024-09-08
后开源世界

文章探讨了自由开源软件 (FOSS) 的未来发展方向。作者指出,FOSS 已经从最初追求完全替代专有软件的目标转向更务实的路线,即寻求与专有软件和商业实践共存。文章还探讨了 FOSS 理念的弱化,以及 Bruce Perens 提出的“后开源”时代概念,即用合同取代许可证,并探讨了这种模式的可行性和挑战。

阅读更多
未分类 FOSS 后开源

Dart 3.4发布,支持WebAssembly和宏

2024-05-14
Dart 3.4发布,支持WebAssembly和宏

Dart 3.4版本正式发布,该版本支持WebAssembly,可用于Flutter Web应用程序。此外,Dart 3.4还引入了宏的概念,这是一种元编程解决方案,可用于代码生成,例如简化JSON数据的序列化和反序列化。文章介绍了名为JsonCodable的新宏,它可以自动生成toJson()和fromJson()方法,从而简化开发人员的工作。未来,Dart团队计划允许社区创建自己的宏,以进一步提高Dart编程的抽象级别。

阅读更多
80
未分类

古罗马道路可视化:地铁路线图风格呈现

2024-06-06
古罗马道路可视化:地铁路线图风格呈现

芝加哥大学的Sasha Trubetskoy利用ORBIS模型、The Pelagios项目和安东尼路线,创建了一幅“以公元125年罗马帝国为基础,采用地铁路线图风格绘制的主要罗马道路示意图”。这幅地图结合了著名的历史道路(如阿皮亚大道)和鲜为人知的道路,并标注了从罗马步行到拜占庭需要两个月,而骑马只需要一个月。

阅读更多
未分类

“恐怖谷”效应:失去控制的体验

2024-06-14
“恐怖谷”效应:失去控制的体验

本文探讨了“恐怖谷”效应,认为其不仅仅是对预期偏差的反应,更是对期望落空的不安。作者指出,人们的注意力被吸引并非因为新奇,而是因为熟悉事物中出现的意外偏差,尤其是在社会互动中,对潜在威胁的担忧会放大这种不安。文章进一步解释,人们通过学习控制世界和他人来获得熟悉感,而“恐怖谷”效应体现了在面对无法预测或掌控的事物时,人们失去控制感所产生的不适。

阅读更多
未分类 恐怖谷

肌肉机器:水如何控制肌肉收缩速度

2024-07-11
肌肉机器:水如何控制肌肉收缩速度

密歇根大学的一项研究表明,肌肉纤维内的水流可能决定了肌肉收缩的速度。研究人员通过理论模型发现,肌肉纤维中水分的流动方式决定了肌肉纤维收缩的速度,并提出了一种名为“奇弹性”的新型弹性概念,解释了肌肉如何利用三维变形产生力量。研究人员将每条肌肉纤维设想成一块会自我挤压的活性海绵,认为肌肉纤维的收缩速度受限于水分在其中的流动。

阅读更多
79
未分类 肌肉 收缩速度

理查特结构

2024-07-01

理查特结构位于毛里塔尼亚撒哈拉沙漠,直径45公里,由火成岩和沉积岩组成。它是一个隆起的穹顶,经过侵蚀后暴露出原本平坦的岩层,中心岩石比外环岩石年代更久。由于气候干燥,该地区生活条件恶劣,大部分人口居住在大西洋沿岸。宇航员从太空拍摄的照片清晰地展现了这一独特地貌。

阅读更多
未分类 沙漠 太空摄影

鸽子塔:17世纪身份地位的象征,兴衰史

2024-06-03
鸽子塔:17世纪身份地位的象征,兴衰史

16、17世纪的英法两国,富人们热衷于建造华丽的鸽子塔,作为身份的象征。这些鸽子塔设计各异,规模宏大,彰显着主人的财富和地位。鸽子肉是当时冬季重要的肉食来源,但饲养鸽子的权利仅限于贵族阶层。然而,随着封建制度的瓦解和平民获得饲养权,鸽子塔的建造热潮逐渐消退。18世纪,根茎类蔬菜的引进为冬季提供了新的食物来源,鸽子肉不再是必需品,鸽子塔也逐渐退出了历史舞台。

阅读更多
未分类

人工智能正在抢走电子游戏行业的工作

2024-07-23
人工智能正在抢走电子游戏行业的工作

人工智能正在进入电子游戏行业,导致裁员和工作机会减少。 Activision Blizzard 等公司正在使用人工智能来降低成本和提高生产力,这引发了人们对工作保障和版权侵权的担忧。概念艺术家、设计师和插画师等 2D 艺术家受影响最大。虽然一些工作室禁止使用人工智能,但另一些工作室则在积极采用,这导致了行业内部的分歧。人们越来越担心人工智能会导致工作外包、工资降低以及对工会的需求增加。

阅读更多
未分类

比尔·盖茨:萨尔·汗再次引领教育创新

2024-05-22
比尔·盖茨:萨尔·汗再次引领教育创新

本文是比尔·盖茨对萨尔·汗的新书《勇敢的新词》的评论。盖茨高度评价了萨尔·汗在教育领域的创新,特别是他在人工智能教育方面的远见。盖茨认为,人工智能将彻底改变学生的学习成果和教师的教学体验,并 usher in a future where everyone has access to a world-class education。

阅读更多
未分类

瑞安·雷诺兹谈《死侍与金刚狼》惊人的票房成绩

2024-07-29
瑞安·雷诺兹谈《死侍与金刚狼》惊人的票房成绩

《死侍与金刚狼》上映首周末票房突破2亿美元,创下R级片历史记录。主演瑞安·雷诺兹将其归功于影片的广泛吸引力,称其为“首部适合所有观众的R级片”。尽管存在暴力血腥内容,但影片的幽默、动作和情感元素吸引了各个年龄段的观众,打破了R级片的票房局限。

阅读更多

地球过热,科学家测试反射太阳光线的方法

2024-04-14
地球过热,科学家测试反射太阳光线的方法

由于全球变暖加剧,科学家们正在测试一种名为“海洋云增白”的技术,以暂时冷却地球。该技术旨在通过向云层喷洒微小的海水颗粒,增加云层的反射率,从而将更多太阳光线反射回太空。文章详细介绍了该技术的原理、发展历程、潜在风险以及目前的测试进展,并强调了科学家们希望通过研究该技术来应对气候变化,但同时也希望永远不需要真正使用它。

阅读更多

打造全新超媒体系统

2024-07-20

本文介绍了作者将《超媒体系统》一书从AsciiDoc迁移到Typst的经验。作者详细阐述了AsciiDoc在生成高质量打印输出方面的局限性,以及Typst在排版、脚本功能和索引生成方面的优势。此外,作者还分享了如何使用Typst的脚本语言实现代码块注释等功能,以及如何将Typst源代码转换为HTML以发布网络版图书。

阅读更多
78

CodiumAI Cover-Agent:一款用于自动化测试生成和代码覆盖率增强的 AI 驱动工具

2024-05-22
CodiumAI Cover-Agent:一款用于自动化测试生成和代码覆盖率增强的 AI 驱动工具

CodiumAI Cover-Agent 是一款开源工具,旨在利用生成式 AI 自动化和增强测试(目前主要是单元测试)的生成,从而简化开发流程。它可以从终端运行,并计划集成到流行的 CI 平台中。Cover-Agent 通过分析代码库、生成测试提示并与大型语言模型(LLM)交互来自动创建单元测试,从而提高代码覆盖率。

阅读更多
85

GPT-4o 在 Aider LLM 排行榜上名列第一和第二

2024-05-14
GPT-4o 在 Aider LLM 排行榜上名列第一和第二

Aider是一个终端AI编程助手,它与擅长编辑代码的LLMs配合使用效果最佳。GPT-4o在Aider的代码编辑排行榜上以72.9%的得分位居榜首,在重构排行榜上以62.9%的得分位居第二,优于GPT-4 Turbo模型。GPT-4o能够使用Aider既定的“diff”编辑格式,这种格式也被其他模型使用,如Opus和原始GPT-4模型。

阅读更多
86

苹果 IIGS 的兆赫兹之谜

2024-08-17
苹果 IIGS 的兆赫兹之谜

这篇文章深入探讨了苹果 IIGS 电脑 CPU 速度背后的原因,反驳了苹果公司为了避免与 Macintosh 竞争而故意限制其速度的传言。作者通过分析 IIGS 开发历史、65C816 CPU 的技术细节以及业界相关人士的访谈和评论,指出芯片产量、技术缺陷以及市场策略等因素才是导致 IIGS 速度低于预期的主要原因。

阅读更多
未分类 IIGS

从原始 GPS 数据计算位置

2024-07-14

文章详细介绍了如何从原始 GPS 数据计算位置。首先介绍了WGS 84 ECEF坐标系、参考椭球体、大地水准面等基本概念,以及如何利用卫星轨道参数计算卫星位置。接着,文章解释了如何通过伪距测量、卫星时钟偏差校正和用户时钟偏差估计来计算用户与卫星之间的距离。文章还介绍了如何使用最小二乘法求解用户位置和时钟偏差,并通过分析位置估计的误差协方差矩阵引入了DOP的概念。最后,文章通过实验验证了算法的有效性,并讨论了电离层和对流层延迟对GPS信号传播的影响。

阅读更多
未分类 定位

pyNES:用 Python 编程 NES 游戏

2024-07-03
pyNES:用 Python 编程 NES 游戏

pyNES是一个使用 Python 为 NES 开发游戏的项目,它包含一个汇编器和一个将 Python 代码转换为 6502 汇编代码的编译器。文章介绍了 pyNES 项目的起源、目标以及 0.1.x 和 0.2.x 版本的功能和改进。

阅读更多
74
未分类

领英为何如此抗拒外部链接?

2024-07-23
领英为何如此抗拒外部链接?

本文探讨了领英平台对于外部链接的“抗拒”现象。作者指出,领英算法刻意降低了外部链接的权重,迫使用户将内容直接发布在平台上,以增加用户粘性和平台内容量。作者将这种做法比作电信领域的“零评级”,认为这是一种损害互联网开放性的行为,并呼吁监管机构关注。

阅读更多
76
未分类 外部链接

WordGrinder:一款简洁高效的控制台文字处理器

2024-08-02
WordGrinder:一款简洁高效的控制台文字处理器

WordGrinder 是一款基于控制台的文字处理器,支持 Unicode,旨在提供简洁高效的写作体验。它支持基本的段落和字符样式、屏幕标记、菜单界面、HTML 导入导出以及其他实用功能。WordGrinder 不依赖 GUI,可以在终端中运行,但也提供适用于 Unix、Windows 和 OSX 的 GUI 版本。

阅读更多
67
未分类 控制台
1 2 15 16 17 19 21 22 23 1084 1085