格拉斯哥大学的天文学家利用分析引力波的统计模型技术,对安提凯希拉装置(已知最古老的模拟计算机)的一个破损环上的孔数进行了推断。结果表明,该环更有可能拥有354个孔,对应于希腊阴历,而不是365个孔的埃及历。这项研究为安提凯希拉装置的日历环功能提供了新的证据,并突出了古希腊人精湛的工艺水平。
sc-im 是一款基于 ncurses 的类 VIM 电子表格计算器,支持 VIM 编辑命令、撤销/重做、CSV/TAB/XLSX 文件导入导出、单元格格式化、排序、过滤、脚本支持等功能,可通过 Patreon 或 PayPal 捐赠支持开发。
亚马逊Kindle电子书阅读器出现系统故障,导致用户无法下载新购买的书籍以及未下载到本地的任何书籍。据亚马逊客服称,服务器问题是导致此次故障的原因,预计将在48小时或更长时间内恢复正常下载功能。此次故障影响范围广泛,仅限于Kindle电子书阅读器,而Android和iOS上的亚马逊Kindle应用程序不受影响。
微软正在测试新版 Windows 11 开始菜单,将用户账户信息移至中心位置,并突出显示微软产品和服务。然而,此举隐藏了“锁定”、“注销”和“切换用户”等常用功能,用户需要额外点击才能使用,引发了用户的不满。
Ready Player Mode是一款Emacs插件,方便用户在Emacs中快速浏览媒体文件。它提供类似于图片模式的便捷操作,允许用户使用n/p键浏览前后文件,并提供播放和使用外部应用打开的按钮。此外,它还支持显示基本元数据。
本文节选自克里斯托弗·肯普的《漂浮的黄金:龙涎香的自然(和非自然)历史》,详细描述了龙涎香的起源。龙涎香源自抹香鲸的肠道,当抹香鲸吞食大量乌贼后,乌贼喙等难以消化的部分会在鲸鱼肠道内积聚,经过肠道分泌物包裹、海水浸泡、阳光照射等作用,最终形成龙涎香并被排出。龙涎香的形成过程漫长而复杂,受多种因素影响,因此十分珍贵。
文章分析了当前基于属性测试库的现状,指出多数库缺乏对状态机模型和并行测试的支持。作者认为,状态机模型的学习曲线和开源模式的局限性是造成这一现状的原因。文章以计数器、循环缓冲区、水壶谜题和进程注册表为例,展示了如何使用伪对象作为模型,简化状态机模型的编写,并通过合约测试保证伪对象的可靠性。作者认为,这种方法可以降低基于属性测试的学习曲线,并提高测试效率。
美国北卡罗来纳州立大学的研究人员开发了一种受折纸启发的机械计算机,它使用刚性互连聚合物立方体的复杂结构来存储、检索和擦除数据,而无需依赖电子元件。该系统还包括一个可逆功能,允许用户控制何时允许编辑数据以及何时应锁定数据。这种新型机械计算机的基本单元是1厘米的塑料立方体,每64个互连成立方体组成一个功能单元。这些功能单元可以组合成更复杂的元结构,用于存储更多数据或执行更复杂的计算。
Racket Plot 食谱是一个不断更新的代码示例集合,用于使用 Racket Plot 库创建各种图表。该项目欢迎开发者贡献代码、图片和简短描述,所有贡献需遵循与 Racket 相同的 MIT 或 Apache 2 许可协议。
迫于俄罗斯媒体监管机构的要求,苹果公司已从俄罗斯应用商店中下架了多款提供虚拟专用网络(VPN)服务的应用程序。被下架的VPN服务包括ProtonVPN、Red Shield VPN、NordVPN和Le VPN等领先服务。居住在俄罗斯的用户将无法再下载这些服务,而已经在其手机上安装了这些服务的的用户可以继续使用,但将无法更新。自2022年2月俄罗斯入侵乌克兰以来,克里姆林宫实施了严格的网络审查制度,并封锁了许多独立媒体和Facebook、Instagram和X等流行社交媒体应用程序。
这篇文章详细介绍了作者如何利用法国电力公司Enedis提供的智能电表“Linky”以及相关API接口获取详细用电数据,并结合法国电价的定价机制,编写Python程序分析并优化自身用电方案,从而达到省钱的目的。
本文回顾了 X 窗口系统诞生40年来的发展历程,作者分享了他参与 X11 设计和标准制定的经历,并探讨了 NeWS 虽然技术先进但最终被 X11 取代的原因。文章还分析了 X11 长期存在的原因,以及 Wayland 作为替代者所面临的挑战。
身份验证应用开发商Twilio证实,由于未经身份验证的端点漏洞,黑客获取了与Authy账户相关的数据,包括3300万用户的电话号码。Twilio表示已采取措施保护该端点,并敦促Authy用户安装最新的安全更新,以防网络钓鱼和短信诈骗攻击。
这篇文章分析了英国脱欧后的现状,指出许多关键的脱欧承诺未能兑现。文章指出,脱欧派希望通过大规模废除欧盟法规、达成更多自由贸易协定以及减少移民来重振英国经济和公共服务的愿望落空。文章认为,英国民众对脱欧的预期与现实之间存在巨大差异,而工党上台后也不太可能进行彻底的政策转变。
文章介绍了全球范围内追求更高效热泵的趋势。热泵作为一种节能环保的供暖设备,其效率近年来得到显著提升。工程师和安装人员通过优化系统设计、采用新型制冷剂和智能控制等方式,不断刷新热泵的性能记录。文章还探讨了不同类型热泵的优缺点,以及影响热泵效率的因素。
索尼音乐在美国联邦法院起诉了专门提供日本音乐的盗版网站'Hikari-no-Akari'。该网站运营超过十年,每月访问量超过百万,并拥有私密论坛和Discord频道。索尼音乐已向Cloudflare发出DMCA传票,要求其提供该网站运营者的详细信息,包括姓名、IP地址和支付信息,以便采取进一步的执法行动。
文章详细介绍了超级帆船“科曼奇”号如何打破横渡大西洋的航行记录。文章解释了“科曼奇”号的设计优势,包括其强大的船体结构和高效的航行配置,以及船员如何利用天气条件和精湛的航海技术,最终将横渡大西洋的记录缩短了一天多。
本文讲述了微软杰出工程师 Jeffrey Snover 如何克服公司内部的重重阻力,最终成功创造出 PowerShell 的故事。Jeffrey 最初的想法是让 Windows 系统管理像 Unix 系统一样可以通过命令行进行管理,但遭到了公司内部偏爱图形界面的文化的反对。但他并没有放弃,他坚持自己的理论,并最终找到了将 PowerShell 与 .NET 操作系统计划结合起来的突破口。在经历了多次重组、资金短缺以及来自 Windows 团队的敌意的困扰后,PowerShell 终于作为 Windows Vista 的一部分发布,并最终成为微软云计算战略的关键。
本文深度比较了两种流行的敏捷项目管理方法:看板和 Scrum。看板灵活可视化,适用于需要持续工作流程的项目;Scrum 强调结构化和迭代,适用于需求快速变化的项目。文章详细介绍了两种方法的定义、实践、优缺点和适用场景,并推荐了结合两种方法的平台 Leiga。
本文介绍了如何使用 Tailwind CSS 为开发者提供 UI 设计技巧,内容涵盖了字间距调整、阴影颜色运用、透明度设置、留白技巧、行高设置、渐变运用、过渡效果等方面,旨在通过一系列细微的调整提升 UI 设计的视觉效果和用户体验。
本文探讨了统计学中R平方值的一个悖论:当使用一个强线性预测因子(例如,根据所在州预测选民投票给民主党或共和党)时,R平方值可能非常低(例如1%)。作者指出,这并非计算错误,而是因为个体行为的噪音比总体行为大得多。尽管知道州信息可以很好地预测总体投票结果,但对预测个体投票结果的帮助却很小。作者对这一现象的解释是,通常我们更关注总体预测而非个体预测,因此R平方值的意义有限。
Fly.io 宣布从7月1日起,将根据地区对机器定价进行调整,包括额外内存的价格。此前,Fly.io 对所有地区都采用统一价格。但由于不同地区的底层基础设施成本差异很大,例如税收、能源成本和海关费用等,统一价格已不再适用。新的定价策略将在未来四个月内逐步实施,最终实现各地区的最终价格。
Epilogue 公司宣布将为其 Playback 应用添加新功能,允许用户将 Game Boy Camera 用作低分辨率网络摄像头。GB Operator 是一款允许用户在 PC 上通过模拟器玩 Game Boy、Game Boy Color 和 Game Boy Advance 卡带的设备。据悉,该功能尚在开发中,但 Epilogue 表示他们迫不及待地想看到人们使用它。
本文回顾了尼克·博斯特罗姆的著作《超级智能》出版十年来的影响。书中对人工智能风险的探讨在当时引发了争议,但随着人工智能技术的快速发展,特别是ChatGPT等大型语言模型的出现,人工智能安全问题已经成为社会关注的焦点。作者结合当前人工智能发展现状,指出解决人工智能控制问题和价值观对齐问题迫在眉睫,并强调创造安全的超级智能是我们面临的巨大挑战。
JogmeKeebs 是一家销售自研人体工学分离式键盘YetiS的网站。该键盘设计简约,旨在最大程度减少手腕活动,为大手提供舒适的打字体验。其特点包括QMK支持、RP2040 OLED显示屏、底部发光LED和无二极管设计。网站提供键盘布局下载,并介绍了设计理念和购买方式。
巨石阵弓箭手是指一位青铜时代男性的遗骸,于1978年在巨石阵外围的沟渠中被发现。与巨石阵地区的大多数墓葬不同,他的尸体并非埋在坟冢中,但似乎是被刻意而小心地埋葬在沟渠里。研究表明,该男子是当地人,死亡时约30岁,死亡时间约为公元前2300年。他被称为弓箭手,是因为陪葬品中有一个石头护腕和许多燧石箭头。事实上,在他骨骼中发现了几处箭头,这表明他可能是被射杀的。
本文探讨了如何利用 Jaccard 相似度和 MinHash 算法识别大型文档集合中的近似重复项。Jaccard 相似度用于度量两个集合的相似性,而 MinHash 则通过对文档特征进行哈希和比较最小哈希值来高效地估计 Jaccard 相似度。文章详细介绍了 MinHash 签名的生成过程,以及如何利用签名进行文档分组和比较,以识别近似重复项。此外,还讨论了如何通过调整参数来控制算法的灵敏度和计算成本。
这篇文章介绍了如何在 Windows 上使用 Chrome 对 WebGPU 工作负载进行 GPU 分析。由于 WebGPU 不是原生图形 API,因此 Chrome 等 WebGPU 运行时必须使用 DirectX12、Vulkan 或 Metal 等原生 API 实现后端,而这些 API 的 GPU 分析器无法直接用于 WebGPU 工作负载。文章提供了一种解决方法,即使用作者开发的一个 DLL 文件,使 AMD 的 Radeon GPU Profiler 和 Nvidia 的 Nsight 都可以用于 WebGPU 分析。文章还介绍了如何下载、安装和使用这些工具,以及如何使用命令行参数启动 Chrome 以进行分析。
Cloudflare 推出了一项新功能,旨在阻止人工智能公司抓取网站内容。该功能是其旗舰 CDN(内容交付网络)的一部分,可用于免费和付费用户。该功能使用人工智能检测自动内容提取尝试,即使在抓取工具试图避免检测的情况下也能识别。 Cloudflare 表示,他们的软件可以识别出为 LLM 训练项目抓取内容的机器人,并根据请求的可信度进行评分。
这篇文章讲述了Katharine Way和她的导师约翰·惠勒在核物理研究,特别是在核裂变方面的经历。文章首先介绍了Katharine Way作为一名女性科学家,在早期量子物理研究中所面临的困难和挑战,以及她与著名物理学家约翰·惠勒的合作关系。文章重点描述了Way在研究中使用液滴模型计算旋转原子核稳定性时,发现了模型的局限性,并将其报告给了Wheeler。尽管他们当时没有深入探究,但随着核裂变的发现,他们意识到这其中蕴藏着更深层的物理意义。作者还通过分析Wheeler的笔记和个人记录,探讨了Wheeler对当年错失核裂变理论发现机会的遗憾,以及这段经历对他后来研究黑洞等课题的影响。