用 Ruby 计算已知最大质数
本文讲述了作者尝试用 Ruby 计算已知最大质数 2^136279841-1 的经历。在 Ruby 3.4.0-preview2 及更早版本中,这个计算会返回 Infinity。Ruby 3.4 解决了这个问题,但实际计算需要很长时间。作者发现,需要安装 GMP(GNU 多精度算术库)才能加速计算。最终,在安装 GMP 后,作者成功在 5 秒内计算出了这个拥有 41,024,320 位数字的巨大质数。
阅读更多
本文讲述了作者尝试用 Ruby 计算已知最大质数 2^136279841-1 的经历。在 Ruby 3.4.0-preview2 及更早版本中,这个计算会返回 Infinity。Ruby 3.4 解决了这个问题,但实际计算需要很长时间。作者发现,需要安装 GMP(GNU 多精度算术库)才能加速计算。最终,在安装 GMP 后,作者成功在 5 秒内计算出了这个拥有 41,024,320 位数字的巨大质数。
阅读更多
本文介绍了SAMURAI,一种基于Segment Anything Model 2 (SAM 2) 的改进模型,用于零样本视觉追踪。SAM 2在目标分割方面表现出色,但在处理快速移动或自遮挡目标的复杂场景时面临挑战。SAMURAI通过引入运动感知记忆选择机制,有效预测目标运动并改进掩码选择,无需重新训练或微调即可实现鲁棒、准确的追踪。SAMURAI实时运行,并在多个基准数据集上展现了强大的零样本性能,在LaSOT-ext和GOT-10k上分别实现了7.1%的AUC增益和3.5%的AO增益。
阅读更多
微软发布的官方Bing壁纸应用程序被指存在类似恶意软件的行为。软件工程师Rafael Rivera分析发现,该应用会自动安装Bing Visual Search,诱导用户将Bing设为默认主页和搜索引擎,还会读取和解密Edge、Chrome和Firefox的cookies,访问地理位置API,并建议用户将Edge设为默认浏览器。文章建议用户避免使用该应用,并推荐了Lively Wallpaper、Active Desktop Plus、DynaWin、SpaceEye和Chameleon等替代方案。
阅读更多
本文介绍了从各种新旧测试设备中获取屏幕截图的方法。作者详细描述了使用不同接口(如USB闪存驱动器、USB线、以太网、RS-232串口、软盘驱动器、GPIB和并行打印机端口)以及不同硬件和软件工具(如GPIB转USB加密狗、ImageMagick、GhostPCL、hp2xx、Inkscape和HP 8753 Companion)的具体步骤和技巧。文章涵盖了多种测试设备,包括TDS 540、HP 54542A、HP Inifinium 54825A、TDS 684B、Advantest R3273频谱分析仪、HP 8753C矢量网络分析仪和Siglent SDS 2304X示波器,并针对每种设备提供了最佳的截图方法和示例代码。
阅读更多
喜多川歌麿是18世纪晚期日本最伟大的艺术大师之一,以其多产的浮世绘木版画而闻名。他与葛饰北斋和歌川广重并列为三位杰出的浮世绘艺术家,但与两位主要以风景画闻名的同僚不同,歌麿以其纤细、优雅、性感的美人画闻名于日本和国际。歌麿的美人画以其独特的构图重新定义了该类型,他专注于女性上半身的肖像,并以细致的笔触捕捉女性美的姿态和细节。他的作品对后世木版画家产生了深远的影响,也对西方艺术家,特别是印象派艺术家产生了重要影响。
阅读更多
NASA的“欧罗巴快船”探测器发射于10月14日,目前距离地球已超过2000万公里,正以每秒35公里的速度飞向木星及其卫星欧罗巴。探测器已成功部署了磁力计吊杆和雷达天线等关键仪器,目前运行状况良好。预计2025年3月,“欧罗巴快船”将抵达火星轨道进行引力辅助变轨,并利用火星进行仪器测试。之后还将于2026年12月再次借助地球引力加速,最终将于2030年抵达木星,2031年开始对欧罗巴进行一系列探测,以确定其是否具备孕育生命的条件。
阅读更多
本文深入探讨了链接器脚本的用途和工作原理。链接器脚本是底层软件开发的关键工具,它指导链接器如何组织目标文件中的代码,从而精确控制最终可执行文件的结构。文章详细解释了链接器的作用、目标文件和段的概念、链接器脚本的语法、LMA 和 VMA 的区别以及如何在链接器脚本中定义符号和内存区域。此外,文章还提供了一个简单的 C 项目示例,用于演示如何编写和测试链接器脚本,并列举了一些实际使用的链接器脚本案例,方便读者深入学习。
阅读更多
本文作者Lukáš Petr,一位来自布拉格的独立iOS应用开发者,分享了他15年来从事独立应用开发的心得体会。他强调了享受开发过程、理解自身动机、平衡风险与回报、保持乐观、寻找 niche 市场、提供独特价值、承担多重角色、克服自我怀疑、定期反思、了解自身优劣势、不断学习应用经验以及寻找合适的伙伴的重要性。他还提到了运气成分,以及如何在传统商业思维之外取得成功。
阅读更多
Neomacs是一个基于结构化编辑的计算环境,目标是成为树形结构的Emacs。目前,它是一个可用的Lisp IDE和键盘驱动的浏览器。它提供预构建的x64 Linux二进制文件、在线文档和本地构建说明。Neomacs依赖于Electron,在某些Linux发行版上可能存在权限问题,并提供了解决方法。它带有两个内置主题,并鼓励用户通过问题、讨论或PR贡献。
阅读更多
作者购买了一辆二手欧宝科萨,发现车内一个神秘的未记录开关。经过各种尝试,例如查阅手册、咨询经销商和前车主等,最终确定该开关连接一个GPS追踪器,用于车队管理,记录驾驶员行为。作者计划移除这个追踪器,并考虑从GDPR角度获取自己的驾驶数据。
阅读更多
科学家发现了一种罕见且可能致命的自身免疫性疾病——自身免疫性多内分泌腺病-念珠菌病-外胚层营养不良 (APECED) 的新病因,尤其在波多黎各人后裔中高发。该疾病由AIRE基因的新突变引起,导致异常的T细胞攻击多种组织和器官。研究人员发现了一种名为pseudoexon的遗传变异,它会干扰AIRE基因的正常运作。但他们在实验室中证实,反义寡核苷酸可以逆转这种缺陷,为开发有效疗法带来希望。
阅读更多
Nodezator是一个通用的Python节点编辑器桌面应用程序,通过可视化连接Python函数(以及可调用对象)来创建灵活的参数化行为、数据、应用程序和代码片段。它支持与第三方库(如Pillow、matplotlib和CadQuery)的无缝集成,并允许将节点布局导出为Python代码,保证了工作流程的独立性。Nodezator提供了丰富的功能,包括套接字邻近检测、可变参数、专用控件和函数式编程支持。用户可以轻松地通过定义Python函数来创建节点,并将它们组织到节点包中,以便在本地使用、与他人共享或通过PyPI发布。
阅读更多
本文探讨了通过基因工程改造睡眠的可能性。文章介绍了家族性自然短睡眠(FNSS)的案例,这些人携带DEC2基因突变,可以比常人睡更少的时间却保持精力充沛。文章分析了DEC2基因突变如何影响食欲素表达,并提出了两种复制FNSS的方法:食欲素激动剂和基因疗法。文章还讨论了FNSS的稀有性及其潜在风险,并呼吁更多研究来探索睡眠工程的可能性。
阅读更多
Ruliad 发布了 DeepThought-8B,这是一个基于 LLaMA-3.1 8B 构建的小型 AI 推理模型。该模型的特点是推理过程透明,将思考过程分解为清晰的步骤,并以 JSON 格式输出。DeepThought-8B 允许根据需要进行推理步骤,并在消费者级GPU上运行。虽然在推理、数学和编码基准测试中显示出 promising 的结果,但仍存在局限性,Ruliad 鼓励用户测试并提供反馈。
阅读更多
本文作者详细介绍了如何利用机器学习破解 4Chan 验证码的过程。首先,作者尝试从 4Chan 获取验证码及其答案,但由于网站限制和人工解答服务准确率低,效果不佳。随后,作者转向生成合成数据,通过提取验证码背景和字符集,并根据观察到的字符排列规律,生成了大量带有答案的合成验证码。利用这些数据,作者训练了一个基于 LSTM CNN 架构的模型,并在 TensorFlow.js 中实现,最终实现了超过 90% 的破解成功率。文章还记录了作者在模型训练和部署过程中遇到的问题及解决方法,例如文档理解错误、版本兼容性问题等。
阅读更多
本文探讨了贝尔实验室作为创新引擎的悠久历史及其对其他大型公司的影响。贝尔实验室将学术和工业研究的优势结合起来,其科学家拥有追求有前景研究方向的自由,不受盈利能力或投资回报率的限制。贝尔实验室的晶体管发明证明,资助“基础”科学研究可以带来改变世界的产品。受此启发,许多公司在20世纪下半叶开始效仿贝尔实验室模式建立自己的研究机构,例如IBM、德州仪器、施乐和福特等。这些研究机构在各自领域取得了一些重大科学和技术发现,但最终未能像贝尔实验室那样保持长期的基础研究环境。文章最后指出,不受限制的基础研究的时代可能只是一个注定要破灭的泡沫。
阅读更多
英国通信管理局Ofcom的《在线国家报告》显示,英国成年人每天上网时间平均为4小时20分钟,而社交平台X(前身为Twitter)的用户数量持续下降,从2022年5月的2680万降至2024年5月的2210万,同比下降8%。报告还指出,超过一半的英国成年人未使用过生成式人工智能工具,其中38%表示不感兴趣,35%表示不需要。虽然48%的成年人使用过,但主要出于娱乐目的,只有18%的人信任其输出结果。
阅读更多
研究人员在亚利桑那州出土了一门与1539-1542年弗朗西斯科·巴斯克斯·德·科罗纳多探险队有关的青铜大炮,这是美国大陆发现的最古老的火器。这门大炮是在圣克鲁斯山谷一个西班牙石头和土坯结构的地板上发现的,经放射性碳测年和光释光技术测定,其年代可追溯到科罗纳多时代。该火炮长42英寸,重约40磅,通常需要两人操作,主要用于防御工事的城墙,科罗纳多探险队用其作为攻击性武器。大炮未装填且没有战斗痕迹,推测其被遗弃的原因可能是当地索拜普里奥哈姆人袭击了定居点,导致西班牙人撤退。
阅读更多
不消费日是一个全球性的活动,旨在让人们反思消费主义对环境和社会的影响。该活动鼓励人们在11月29日停止购物24小时,以此来体验减少消费带来的改变。文章呼吁人们减少使用一次性包装、避免快时尚消费、选择更环保的礼物包装,并关注生产商的道德行为。通过这些行动,我们可以共同减少对环境的负面影响,并促进更公平的社会发展。
阅读更多
中国石岛湾核电站高温气冷堆示范工程(HTR-PM)通过了安全测试,证实其具备商业规模的固有安全性。该反应堆采用球床模块设计,燃料为包裹在石墨壳中的微型铀胶囊,能量密度远低于传统核反应堆。其冷却过程依靠氦气而非大量水,并在温度过高时自动减缓核反应,实现被动冷却,理论上可避免熔毁。清华大学研究人员进行的测试证实了该设计在商业规模上的固有安全性。该项目由清华大学、中国华能集团和中国核工业集团公司合作完成。
阅读更多
本文主要介绍了在PyTexas大会上演讲的相关信息,包括会议形式、征集提案的流程和时间、演讲主题建议、演讲者资格要求以及大会提供的支持。PyTexas大会是一个约250人参加的单轨会议,演讲时长为25分钟,包括问答环节。大会鼓励各种经验水平的人提交提案,主题可以涵盖Python编程语言的各个方面,以及Python社区感兴趣的内容。大会为演讲者提供免费门票,并为需要的人提供差旅经济支持。
阅读更多
Anthropic 的一篇研究论文提出了一种更严谨的 AI 模型评估方法,并为研究社区提供了报告评估结果的建议。该方法的核心是利用统计理论和实验设计,将评估问题视为来自一个未见的“问题宇宙”的样本,并使用中心极限定理来估计模型在所有可能问题上的平均得分。论文建议报告标准误差均值 (SEM) 并使用聚类标准误差来处理相关问题。此外,论文还建议通过多次重新采样答案或使用 next-token 概率来减少问题内方差,并使用配对差异分析来比较模型。最后,论文还建议使用功效分析来确定评估所需的样本量。
阅读更多
本文探讨了黑色星期五购物狂欢背后的消费主义陷阱。作者指出,如今商品质量下降,而购物节的频繁促销和“限时抢购”策略,利用了消费者追求新奇和害怕错过的心理,刺激非理性消费。文章认为,这种由社交媒体和全球化推动的消费模式,最终会导致消费者过度支出,并对环境造成负面影响。作者建议消费者保持理性,避免冲动消费,并警惕商家的营销策略。
阅读更多
本文详细介绍了如何在本地硬件上运行大型语言模型(LLM),重点讲解了llama.cpp。文章首先解答了一些关于硬件需求、性能预期、响应质量以及能否替代在线LLM服务商等常见问题。然后,逐步讲解了如何在Windows和Linux系统上构建llama.cpp,获取和转换HuggingFace模型到GGUF格式,以及如何量化模型以降低资源需求并提高运行速度。文章还介绍了llama.cpp服务器的运行和设置,以及其他工具如llama-bench和llama-cli的使用方法,并深入探讨了LLM的配置选项,包括系统消息、温度、Top-K、Top-P等参数对模型输出的影响。最后,文章提供了一些模型推荐和寻找模型的资源。
阅读更多
本文解释了为什么在终端使用管道命令时,有时会没有输出。原因是很多程序会缓冲输出数据,例如 grep 默认会缓冲 8KB 数据才输出,当输出到管道时,如果匹配的数据量不足 8KB,就不会有任何输出。文章列举了一些常用命令(grep、sed、awk、tcpdump、jq、tr 等)的缓冲机制以及如何禁用缓冲的标志,并提供了几种避免缓冲的解决方案:使用快速完成的命令、使用禁用缓冲的标志、使用 awk、使用 stdbuf 或 unbuffer。文章还讨论了编程语言中的缓冲机制以及如何禁用缓冲。最后,文章提出了一些改进缓冲机制的建议,例如设置环境变量来禁用缓冲。
阅读更多
文章指出冗长无意义的代码审查流程正在损害团队士气和生产力。作者认为,数百条关于代码风格的评论是流程出错的标志。文章建议使用代码格式化工具和Linter自动化风格检查,将代码审查的重点放在功能性、可维护性和架构上,并停止将评论数量作为绩效指标。清晰的代码规范和积极的团队文化比吹毛求疵的代码风格更重要,最终目标是交付高质量、可维护的软件。
阅读更多
由于俄乌战争和波罗的海地区海底基础设施遭破坏,波罗的海和北欧国家正在建议公民为危机或战争做好准备。这些建议包括储备水、食物、药品等物资,并关注如何在断电情况下生存三天。瑞典和芬兰采取了不同的宣传方式,瑞典印发了纸质宣传册,而芬兰则发布了在线指南。这些差异源于两国不同的历史经历和与俄罗斯的关系。
阅读更多
本文介绍了如何在Mac应用中通过服务质量(QoS)等级来优化能效。QoS等级允许开发者将任务分类为用户交互、用户启动、实用工具和后台四个主要级别,系统会根据优先级分配资源。文章详细解释了如何为NSOperation、GCD队列、线程等指定QoS,以及如何使用Xcode、powermetrics和spindump等工具调试和分析QoS等级的应用效果,从而提升应用的响应速度和能效。
阅读更多
本文提出了一个包含长期成分和多个周期的长记忆模型。该模型允许频谱中存在多个极点,从而可以模拟具有不同持续性的不同周期。模型还包含了时间切比雪夫多项式形式的非线性确定性结构。通过模拟分析了该模型的有限样本性质,结果表明,在大样本(至少1000个观测值)情况下,该模型表现良好。模型应用于1970年1月1日至2023年10月26日的标准普尔500指数周数据。基于对数差分值(即收益率)的估计结果表明,该序列存在三个周期结构,长度分别约为一个月、一年和四年,积分阶数在(0, 0.20)范围内,这意味着所有情况下的平稳长记忆。
阅读更多