将意识上传到电脑，实现数字永生，听起来像是科幻小说，但一位脑科学家认为这在理论上是可行的。尽管目前面临巨大挑战，例如需要对大脑进行极其精细的三维扫描和模拟，以及模拟人类感官的复杂性，但这项技术的发展速度可能超乎想象。虽然乐观估计认为2045年就能实现，但作者认为100年内实现的可能性不大，但200年内或许可以。这项技术一旦成功，将彻底改变人类的生存方式，引发伦理和哲学上的巨大冲击。
阅读更多
Kate's App是一款旨在帮助医疗护理人员及其所照顾对象的应用程序。它提供安全私密的医疗数据共享和协调功能，用户可以安全地分享处方、医生信息、预约记录等，并设置访问权限控制，确保隐私。应用还提供通知功能，及时提醒用户记录更新和新消息。无论是癌症治疗还是普通感冒，Kate's App都能帮助用户更好地管理医疗信息，并与家人朋友协作，共同应对医疗挑战。
阅读更多
苹果公司去年因专利侵权被Masimo公司起诉，导致Apple Watch的血氧功能被禁。尽管苹果通过软件禁用了该功能，但近日却宣布重新启用该功能，并称其为“重新设计的血氧功能”。Masimo认为美国海关和边境保护局（CBP）越权且未经正当程序就允许苹果恢复该功能，因此再次提起诉讼，要求法院阻止CBP的决定，并恢复最初的禁令。这场诉讼的核心在于CBP是否违反了正当程序，以及苹果新的“重新设计”功能是否仍然构成专利侵权。
阅读更多
1822年，一只名为“罗斯托克箭鹳”的白鹳被发现，其颈部插着一支来自非洲的75厘米长矛。这一发现彻底推翻了当时关于鸟类冬季休眠或变形的理论，有力地证明了鸟类长距离迁徙的现象。此后，越来越多的案例佐证了这一结论，尽管随着弓箭被枪支取代，类似的案例逐渐减少。这只箭鹳的发现，不仅改写了鸟类学历史，也向我们展示了自然界的神奇与奥秘。
阅读更多
本文详细介绍了如何配置FreeBSD作为发烧级音频服务器，涵盖系统参数、音频子系统参数、实时操作、无损信号处理以及系统图形均衡器和FFmpeg滤镜的高品质音频均衡配置方法。文章还比较了FreeBSD和Linux在音频处理方面的优劣，并提供了大量的命令和配置示例，帮助读者打造完美的音频系统。
阅读更多
本文介绍了如何配置QEMU虚拟机的控制台输出，并使用shell脚本实现自动化控制。文章涵盖了多种方法，包括将串口输出重定向到主机终端，通过命名管道进行输入输出，以及使用expect和ssh工具进行自动化操作。文中详细讲解了每种方法的步骤和注意事项，并提供了相应的代码示例和下载链接，方便读者进行实践。无论是初学者还是经验丰富的用户，都能从本文中获益良多，从而高效地管理和控制QEMU虚拟机。
阅读更多
自2022年国防部启用新的医疗记录平台“创世纪”以来，美国军队征兵人数急剧下降。该系统在应征者体检站使用，可以访问应征者的完整医疗记录，包括过往病史和处方，这使得应征者更难掩盖或忽略一些小的医疗问题，例如过去使用多动症药物或吸入器。许多征兵人员认为，“创世纪”系统的启用结束了应征者掩盖医疗记录的时代，导致合格申请人数骤减，使原本就困难的征兵工作更加艰难。尽管五角大楼发言人表示该系统不会减少合格申请人数量，但多名征兵人员认为，“创世纪”是造成当前征兵危机的主要原因。
阅读更多
作者为了计算其17个VPS节点间的网络延迟，避免手动ping测，尝试用Nix计算节点经纬度间的物理距离来近似延迟。由于Nix缺乏三角函数，作者最终选择用纯Nix实现了sin、cos、tan、arctan和sqrt函数，并基于此实现了Haversine公式计算节点间距离及延迟。该项目避免了使用Python等外部依赖，提升了计算效率和可重复性。
阅读更多
澳大利亚Q-CTRL公司首次公开展示了其商业化的量子导航系统——Ironstone Opal。该系统无需依赖GPS，且不受干扰，精度更是传统系统的50倍以上。这项技术利用量子传感器读取地球磁场变化进行定位，并通过AI软件滤除干扰，实现了即使在飞机内部也能比现有系统高11倍精度的导航。此技术有望应用于军事、航空、自动驾驶等领域，彻底改变GPS受限环境下的导航方式。
阅读更多
一名安全研究员发现，许多创业公司在关闭谷歌Workspace账户时未能正确注销，导致其域名被出售后，新域名所有者可以重新激活旧员工的谷歌账户。这使得攻击者能够访问这些员工通过谷歌OAuth登录的第三方服务，例如Slack、ChatGPT和Zoom等，获取敏感数据。谷歌最初回应称这不是漏洞，但在安全研究员在Shmoocon大会上公开此问题后，谷歌重新评估了该问题，并支付了赏金。此事件突显了创业公司在关闭运营时妥善处理谷歌账户的必要性，以及OAuth安全机制中存在的潜在风险。
阅读更多
Trellis是一家斯坦福AI实验室的衍生公司，致力于利用AI自动化医疗文档处理、预授权和申诉流程，从而帮助医疗机构更快地治疗更多患者。他们与医疗提供商、制药公司和诊断实验室直接合作，解决其运营挑战，例如降低预授权拒绝率和简化药物项目注册流程。Trellis已帮助客户将治疗时间缩短90%以上，并提高了预授权批准和报销率。
阅读更多
作者在使用了数月Zig语言后，对其进行了深入的反思。文章从优点和缺点两方面进行了阐述。优点包括任意大小整数、紧凑结构体、类型级别的泛型函数以及优秀的 C 互操作性等。缺点则集中在错误处理机制的不足、禁止阴影变量、编译时鸭子类型带来的不确定性、缺乏类型类/特性以及内存安全性的误解等方面。作者认为，Zig 牺牲了内存安全性和健壮性来换取简洁性，这在大型项目中可能带来风险，最终决定放弃使用Zig。
阅读更多
欧洲汽车行业面临危机，传统车企裁员关厂。世界向电动汽车转型之际，中国已成为全球最大的汽车出口国。中国在电池生产领域取得领先地位，其电动汽车制造成本远低于西方竞争对手，这主要得益于其对电池生产的长期投资和政府补贴。西方国家为应对中国电动汽车的竞争，纷纷加征关税，但英国尚未采取行动，这使得英国成为中国汽车制造商最具吸引力的市场之一，同时也对英国本土汽车行业构成挑战。
阅读更多
arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
作者探索如何编写一个优雅的重试循环，该循环能清晰地限制重试次数、避免最后一次尝试后的无用休眠、在重试失败时报告原始错误，且避免代码冗余。文章比较了几种方法，最终采用了一个 `try while` 循环，并通过添加循环上限来保证循环的终止，解决了之前的方案中存在的边界问题和潜在的无限循环风险。最终方案虽然仍有不完美之处，但相比之前的尝试，在简洁性和可靠性上有了显著提升。
阅读更多
Gemma 项目成功离不开 Gemma 和 Google Privacy 团队的通力合作。本文特别感谢 Peter Kairouz、Brendan McMahan 和 Dan Ramage 提供的博客反馈，Mark Simborg 和 Kimberly Schwede 提供的可视化帮助，以及 Google 各团队在算法设计、基础设施实施和生产维护方面提供的支持。文中还列出了对项目直接贡献的 20 位成员名单。
阅读更多
谷歌Pixel Watch 4在硬件和软件上都进行了重大升级。新款手表拥有更薄的边框、更亮的屏幕和更长的电池续航时间。此外，它还采用了创新的侧置充电方式，并支持显示屏和电池的更换和维修。在软件方面，Pixel Watch 4搭载了Gemini AI，提供更强大的语音助手和个性化的健康教练功能，以及卫星SOS紧急呼叫功能。总而言之，Pixel Watch 4代表着谷歌在智能手表领域的一次大胆尝试，它努力打造一款持久耐用、功能强大的“必备伙伴”。
阅读更多
Pico是一个极简的CSS框架，它只使用不到10个类名直接样式化HTML标签，甚至提供无类名版本。它无需依赖、包管理器或外部文件，完全通过纯CSS实现优雅的样式，并原生支持响应式设计和明暗模式自动切换，只需修改CSS变量即可轻松定制。Pico注重性能优化，保持HTML简洁，减少内存占用和加载文件数量，是追求速度和优雅的完美选择。
阅读更多
本文探讨了DARPA历史上三个关键因素如何塑造其运作模式：组织监督水平、项目愿景来源（办公室主任vs.项目经理）以及项目预期回报时间线。文章以早期计算项目为例，分析了后越战/水门事件时代官僚主义和采购规则的增加如何影响项目管理，以及办公室主任主导的愿景与项目经理自主创新的差异。此外，文章还探讨了对项目回报时间线和军事应用导向的不同态度如何影响项目选择和执行。总而言之，理解这些因素对于解读DARPA的历史成败至关重要。
阅读更多
这份指南旨在帮助活动家保护他们在数字世界中的安全和隐私。文章强调了在当今技术环境下，活动家面临的风险越来越大，因为执法部门可以轻易地获取用户数据。指南建议使用注重隐私的工具，例如DuckDuckGo搜索引擎、Signal通讯软件、Jitsi视频会议软件以及Bitwarden密码管理器，并提供了详细的手机安全设置指南，包括禁用GPS、蓝牙和WiFi等功能，以及设置强大的密码和启用双因素身份验证。指南还建议活动家在参与活动前、活动中和活动后采取相应的安全措施，以最大限度地减少个人信息泄露的风险。
阅读更多
2025年前五个月，美国新增电力发电装机容量中，太阳能和风能占比近91%。太阳能连续21个月成为新增装机容量最大来源，并有望在两年内成为仅次于天然气的第二大电力来源。根据联邦能源监管委员会（FERC）的数据，到2028年5月，太阳能新增装机容量预计将达到89513兆瓦，是风能的近四倍。可再生能源的快速增长，正在逐步取代煤炭和核电，并逐渐缩小与天然气的差距。
阅读更多
命令与征服：红色警戒的源代码现已在GitHub上公开！虽然代码并非完全可编译，需要一定的修复工作，特别是需要替换DirectX 5 SDK等过时库。但对于怀旧玩家和开发者来说，这无疑是一个宝贵的资源。该项目仅用于存档目的，不提供支持，鼓励开发者自行创建分支进行修改和协作。
阅读更多
爱荷华城，凭借其享誉全球的作家工作室，成为文学重镇。然而，在这座看似平静的城市背后，却隐藏着一段充满反叛和先锋精神的地下文化史。从上世纪60年代的反战运动到如今蓬勃发展的非裔未来主义研究中心，爱荷华城始终孕育着独特的文化活力。本文通过探访标志性酒吧Fox Head Tavern、艺术家Ana Mendieta的创作灵感地Black Angel雕塑等地，展现了这座城市多元且充满张力的文化面貌，以及其对挑战现状、保持创造力的坚持。
阅读更多
1933年，希特勒上台后，纳粹德国颁布法令，驱逐哥廷根大学的犹太裔数学家。这导致了德国数学的衰落，而美国却因此受益匪浅。大量流亡的顶尖数学家涌入美国，如爱因斯坦、冯·诺依曼等，极大促进了美国数学和科学的发展。这篇文章以哥廷根大学的遭遇为警示，探讨了反科学和反智主义的潜在危害，以及对美国当前政治气候的隐忧。
阅读更多
佛罗里达自然历史博物馆启动了“开放脊椎动物”（oVert）项目，这是一个雄心勃勃的计划，旨在向研究人员、教育工作者、学生和公众免费提供超过13000个脊椎动物的数字化3D解剖模型和数据。该项目利用CT扫描技术，对包括两栖动物、爬行动物、鱼类和哺乳动物在内的超过半数的脊椎动物属进行了扫描，创建了详细的骨骼和部分软组织的三维模型。未来，oVert项目还将扫描20000个保存的标本，以期覆盖超过80%的脊椎动物属。这些模型的开放共享将极大地促进生物学研究和教育。
阅读更多
本文回顾了七篇对现代计算机科学产生深远影响的论文，从图灵的计算理论到谷歌的PageRank算法，每一篇都奠定了重要的基础。文章不仅介绍了每篇论文的核心思想及意义，还提供了深入学习的链接，是一篇引人入胜的科技史回顾。
阅读更多
一项针对5600万人的研究发现，长期暴露于PM2.5等空气污染物中，会增加患路易体痴呆症的风险。研究人员发现，PM2.5并非直接导致该疾病，而是加速了已具有遗传易感性人群的发病进程。动物实验显示，PM2.5暴露会导致小鼠脑内α-突触核蛋白聚集，并出现空间记忆和物体识别能力下降等痴呆症状。研究还发现，PM2.5可能通过肠-脑轴促进α-突触核蛋白的传播，最终导致路易体痴呆症。
阅读更多
一名安全研究员发现一款名为MESH by Viscount的公寓楼门禁系统存在严重安全漏洞：默认密码“freedom:viscount”未被更改，导致数百栋建筑的访问控制系统完全暴露在互联网上。攻击者可轻易通过该漏洞远程注册新门禁卡、禁用现有门禁卡，甚至完全控制建筑物出入权限，获取住户姓名、单元号、电话号码等大量个人信息。研究员已将漏洞报告给厂商，并申请了CVE编号，但目前厂商尚未采取有效措施通知受影响的用户。此事件凸显了物联网设备安全的重要性，以及默认密码带来的巨大风险。
阅读更多
俄亥俄州立大学交互式数据系统实验室研发了Vidformer，这是一个用于视频原生界面的基础设施项目，旨在加速计算机视觉可视化。Vidformer 通过声明式规范格式高效转换视频，无需关注性能即可实现更快的视频数据标注、编辑和处理。它支持OpenCV、Supervision、FFmpeg、Jupyter和Apache OpenDAL等开放技术，并提供cv2前端，方便Python用户使用。Vidformer并非传统的视频编辑器或数据库，但它与计算机视觉库和AI模型高度互补，适用于处理视频相关任务。
阅读更多
一个名为`formal_verif_ml`的项目使用Lean 4提供了一个框架，用于形式化验证机器学习模型的属性，例如鲁棒性、公平性和可解释性。该项目包含Lean库、模型转换器、网络界面、CI/CD管道等，支持多种模型类型，并提供交互式网页门户，允许用户上传模型、查看生成的Lean代码、触发Lean证明编译以及可视化模型架构。
阅读更多