自 2023 年 11 月旅行者 1 号航天器出现计算机问题以来，该航天器首次恢复了其四台仪器中的两台的科学数据返回。目前，该任务的科学仪器团队正在确定重新校准其余两台仪器的步骤，这可能会在未来几周内进行。这一成就标志着航天器恢复正常运行取得了重大进展。旅行者1号于 1977 年发射，与其孪生兄弟旅行者2号一起，将在今年晚些时候庆祝运行 47 周年。
阅读更多
Tarsier是一个为网页交互代理设计的视觉工具，它可以通过括号和ID标记网页上的可交互元素，并提供OCR算法将网页截图转换为结构化字符串。Tarsier支持多种OCR服务，并提供详细的使用指南和示例。
阅读更多
萤火虫是一款 Chrome 浏览器扩展程序，可以为用户提供舒适的网页阅读体验。该扩展程序提供三种阅读模式：普通阅读模式、护眼阅读模式和暗色阅读模式，用户可以根据自己的喜好自由切换。
阅读更多
VisionGPT 是一款利用 Gemini Pro Vision 模型进行图像分析的应用程序。用户只需上传照片，应用程序就会通过 Next.js API 路由处理图像，并返回分析结果。
阅读更多
CHERI项目致力于解决内存安全漏洞问题，通过扩展传统硬件指令集架构，实现细粒度内存保护和高度可扩展的软件隔离。CHERI架构已在CHERI-MIPS、CHERI-RISC-V和Morello等原型中实现，并进行了广泛的软件移植。为了确保CHERI架构的安全性，研究人员使用了严格的工程方法，包括基于模型的测试生成和机器检验的数学证明，以验证其关键安全属性，例如可达能力单调性，确保软件无法伪造能力或提升权限。
阅读更多
Bend 是一种大规模并行的高级编程语言，具有类似 Python 和 Haskell 的表达能力，支持快速对象分配、高阶函数、闭包、递归和延续。它可以在 GPU 等大规模并行硬件上运行，具有接近线性的加速比，无需显式并行注释。Bend 由 HVM2 运行时提供支持，可以通过简单的代码实现高效的并行计算，例如递归分治方法。Bend 还支持各种并发系统，例如着色器和 Erlang 式的 actor 模型，可以通过全局 beta 约简和 HVM2 的原子链接器实现长距离通信。
阅读更多
本文以幽默的方式探讨了婴儿命名的学问。作者提出了一个基于博弈论的模型，假设父母是目光短浅且追求独特性的理性人，以此来解释婴儿命名趋势。文中使用了数学模型、数值实验和大型语言模型分析等方法，并对未来的研究方向进行了展望。
阅读更多
特朗普在自由党提名大会上发表讲话，承诺如果当选，将为自由党人提供内阁席位，并赦免丝绸之路创始人罗斯·乌布利希。此举旨在争取自由党选民的支持。然而，特朗普的演讲遭到了一些自由党代表的质疑和反对，他们认为特朗普之前的执政表现与自由主义理念相去甚远。
阅读更多
CPU Energy Meter 是一款 Linux 工具，能够以毫秒级精度监控英特尔 CPU 的功耗。它利用了英特尔 CPU 的 RAPL（运行平均功耗限制）功能，支持监控每个核心、每个封装、核外组件、内存节点和平台的功耗。该工具开源免费，用户可以通过 PPA 安装或从源码编译运行。
阅读更多
这篇文章介绍了如何在C语言中使用内联汇编来实现“Hello World”程序。不同于传统的调用printf函数，文章采用了直接调用系统调用的方式，通过寄存器传递参数并执行“syscall”指令来实现。文章还解释了如何在内联汇编中使用寄存器和指令，并提供了一个示例程序。
阅读更多
Deno 1.45版本发布，其中最突出的功能是引入了工作区，为管理monorepos提供了强大的解决方案。此版本简化了大型代码库中的依赖管理、配置共享和模块组织。除了工作区之外，此更新还包括对Node.js兼容性的改进、对deno install的更新、新的deno init --lib命令、弃用deno vendor等等。
阅读更多
本文节选自艾德·西蒙的新书《魔鬼的契约：浮士德式交易的历史》，探讨了从文艺复兴时期至今，关于浮士德与魔鬼交易的文学作品，以及这种交易如何反映了人类在现代社会中对权力、贪婪和虚荣的追求，最终导致我们可能面临自身毁灭的结局。
阅读更多
谷歌文档即将原生支持 Markdown 语法，允许用户直接粘贴或导入 Markdown 文本，并将其转换为相应的格式。用户还可以将文档导出为 Markdown 格式。这一功能对技术内容作者尤其有用，他们现在可以使用谷歌文档进行实时同步和协作，同时保留 Markdown 的格式。
阅读更多
本文介绍了一个以国际象棋为诱因的反射性癫痫病例研究。患者在进行国际象棋比赛的中局阶段，特别是在需要进行决策和计算的时候，会出现手臂抽搐的症状。研究发现，这种症状与空间操控和运动计划有关，而与记忆或视觉模式识别无关。通过脑电图和肌电图分析，研究人员确定了患者大脑中与癫痫发作相关的区域，并进一步了解了国际象棋过程中不同认知过程之间的联系。
阅读更多
这篇文章揭露了泰坦号潜水器灾难背后的内幕，包括OceanGate公司CEO Stockton Rush如何忽视安全警告，无视行业规范，执意使用碳纤维材料，最终导致悲剧发生。文章详细描述了泰坦号的设计、制造和测试过程，以及OceanGate内部员工和外部专家的担忧和反对意见。文章还揭露了Rush为了节省成本，不惜牺牲安全性能，最终导致了五名乘客的死亡。
阅读更多
《星际战甲》的开发商Digital Extremes报告称，游戏崩溃中有80%发生在英特尔的酷睿i9可超频芯片上，酷睿i7 K系列CPU的崩溃率也很高。他们发现，BIOS更新似乎可以解决问题，但这可能并非故事的全部。其他游戏开发者，如《泰坦之路》的开发者Alderon Games，也报告了英特尔13代和14代CPU存在类似的崩溃问题。目前，尚不清楚崩溃的根本原因，但英特尔CPU的功耗和温度管理不善可能是罪魁祸首。
阅读更多
Prelude 是一款简单易用的工具，可以帮助用户从代码库构建大型语言模型（LLM）提示。它可以生成包含指定目录下文件树和文件内容的提示，并将其复制到剪贴板或保存到文件中。Prelude 支持使用相对路径、文件名匹配模式和忽略文件来定制提示生成过程。
阅读更多
为保障游客安全，纽约市在海滩部署无人机巡逻，以搜寻鲨鱼和遇险游泳者。然而，此举引发了当地鸟类的强烈不满。据报道，自5月无人机投入使用以来，经常有鸟群对其进行俯冲攻击，迫使警方和其他机构调整飞行计划。野生动物专家对此表示担忧，认为无人机可能会对海岸线筑巢的濒危鸟类造成负面影响。
阅读更多
Pocket 386 是一款售价约 200 美元的复古笔记本电脑，搭载 386 处理器和 8MB 内存，可以运行 MS-DOS、Windows 3.x 甚至 Windows 95 系统，让人重温 Windows 3.1 时代。这款笔记本配备 VGA 显示输出、USB 接口和 CompactFlash 存储卡插槽，并通过外接扩展坞支持 PS/2、VGA、并口和串口等接口。
阅读更多
本文总结了系统评估中出现的六个怪象：指标名称重复、指标实现重复、重复计数导致结果过高、打破平局导致结果过高、错误预测导致分数更高、对“平衡”概念的误解。作者建议深入了解评估指标的实际测量内容、评估问题，并确保正确实现指标。
阅读更多
最新研究表明，美国犹他州大盐湖的干涸已成为全球温室气体排放的重要来源，加剧了气候变暖。近年来，由于农民用水量增加和犹他州人口快速增长，大盐湖的面积已缩减了近一半。干涸的湖床释放出大量二氧化碳等温室气体，相当于犹他州人为排放量的7%。
阅读更多
马来西亚通讯及多媒体委员会(MCMC)被要求暂缓实施要求所有互联网服务提供商(ISP)执行域名系统(DNS)重定向的指令。通讯部长法米表示，MCMC应继续与所有利益相关者举行交流会议，以收集意见、建议和建议，以确保共同实现更安全的网络环境的目标。他强调，网络犯罪问题，包括访问赌博、卖淫和色情网站，非常令人担忧，需要全面的解决方案。
阅读更多
Onlook 是一款浏览器驱动的可视化编辑器，支持任何 React 和 TailwindCSS 应用。它允许开发者使用 Webflow 的强大功能来构建用户界面，并直接生成 React 代码。Onlook 提供了插件，可以集成到 Next.js、Babel 等项目中，并支持代码导出和组件库等功能。
阅读更多
本文介绍了温布尔登网球公开赛草地球场背后的科学与艺术。草场负责人Neil Stubley带领团队常年对球场进行数据分析和精心维护，以确保草皮的耐用性、弹性和美观性，为球员提供最佳比赛条件。文章详细描述了他们如何监测草皮生长、调整草种以及模拟比赛环境进行测试，以达到完美平衡功能性和美观性的目标。
阅读更多
sqlite-vec 是一款小巧高效的向量搜索 SQLite 扩展，使用 C 语言编写，可在任何 SQLite 运行的环境中运行，包括 Linux、MacOS、Windows，甚至可以通过 WASM 在浏览器中运行。它允许用户在 vec0 虚拟表中存储和查询浮点数、int8 和二进制向量，并支持使用 rowid IN (...) 子查询进行预过滤。
阅读更多
OpenAI专注于人工智能潜在风险的团队已经解散，其成员要么辞职，要么被并入其他研究小组。该团队名为“超级对齐团队”，由OpenAI首席科学家Ilya Sutskever和前DeepMind研究员Jan Leike共同领导，旨在研究如何控制超级人工智能，防止其失控。团队解散的原因可能是公司内部动荡以及对人工智能风险的担忧降温。OpenAI表示，将由John Schulman领导与更强大模型相关的风险研究。
阅读更多
票务巨头 Ticketmaster 向美国证券交易委员会提交文件，证实了近期传闻的数据泄露事件。泄露源于第三方云数据库提供商 Snowflake 的安全漏洞，黑客窃取了 Ticketmaster 母公司 Live Nation Entertainment 的大量用户数据，并在暗网出售。安全机构正在调查此事，Ticketmaster 表示将采取措施保护用户权益。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/24016885/STK093_Google_04.jpg)
谷歌宣布，其短链接服务goo.gl将于2025年8月25日停止运营，届时所有goo.gl链接将返回404错误。从2024年8月23日起，部分goo.gl链接将开始显示提示页面，提醒用户该链接即将失效。谷歌鼓励开发者尽快更新受影响的链接，以避免链接重定向中断。
阅读更多