GitHub - apple/corenet: CoreNet: A library for training deep neural networks (github.com)
苹果公司 Corenet 项目的 GitHub 存储库，一个用于构建和管理高度可扩展、弹性和多租户网络基础设施的开源框架，它提供了一套工具和组件，用于设计、配置和部署复杂的网络拓扑，并支持自动化、可编程性和可扩展性。
Canada limiting international students, temporary immigrants - The Washington Post (www.washingtonpost.com)
华盛顿邮报的一篇文章探讨了加拿大2023年接收创纪录数量的国际学生的趋势。文章分析了多种因素，包括有利的移民政策、对高技能工人的需求以及对留学生的欢迎态度。文章还强调了国际学生对加拿大经济和多元文化社会的影响。
Try something new to stop the days whizzing past, researchers suggest | Memory | The Guardian (www.theguardian.com)
该网站是一篇来自《卫报》的文章，发表时间为 2024 年 4 月 22 日。文章的标题是“尝试一些新事物来阻止时间飞逝——研究人员建议”。文章讨论了研究人员的建议，即尝试新事物可以帮助人们减缓时间流逝的感觉。研究发现，当人们从事一项新活动时，他们的注意力会高度集中，这会让时间过得更慢。文章还讨论了不同类型的活动如何对时间感知产生不同影响，例如创造性的活动被认为比例行的活动更有效。文章总结说，尝试新事物可以是一种有效的方法来减缓时间流逝的感觉，并鼓励人们将新活动融入他们的例程中。
Microplastics make their way from the gut to other organs, researchers find (medicalxpress.com)
MedicalXpress 的这篇文章报道了最近的一项研究，该研究发现了人体的肠道中普遍存在微塑料。研究人员从英国和奥地利的受试者粪便样本中检测出 9 种不同类型的微塑料。这项研究强调了微塑料污染的普遍性，并表明摄入微塑料可能对人体健康构成潜在风险。
Protecting the Darkness in Chile's Atacama Desert (undark.org)
该网站发布的《智利黑暗中的阿塔卡马沙漠》的一篇文章探讨了在智利北部阿塔卡马沙漠建造超级望远镜引发的争议。这篇文章采访了科学家、当地社区成员和环境保护主义者，展示了这个项目对环境、文化遗产和附近社区的潜在影响。文章还重点关注了项目对原住民利坎-安泰人的影响，他们认为这将破坏他们的祖先家园。
GitHub - FlowTestAI/FlowTest: GenAI powered OpenSource IDE for API first workflows (github.com)
这是一个开源的项目，它提供了一个测试框架和一系列测试用例，用于评估和比较不同自然语言处理（NLP）模型的性能。该项目旨在为 NLP 研究人员和从业者提供一个全面且一致的方法来评估他们的模型，并跟踪 NLP 领域的最新进展。
Oracle is moving its world HQ to Nashville (www.cnbc.com)
彭博社报道，甲骨文公司将在 2024 年 4 月 23 日将总部从加州雷德伍德城迁至田纳西州纳什维尔。该决定是由公司首席执行官萨弗拉·卡兹做出的，他表示此举将使甲骨文能够吸引更多的顶尖技术人才。甲骨文将在纳什维尔市中心建立新的校园，并计划在未来五年创造 5,000 个新工作岗位。预计总部搬迁将为纳什维尔带来数十亿美元的经济效益。
The spam came from inside the house: How a smart TV can choke a Windows PC | Ars Technica (arstechnica.com)
该网站是一篇深入的技术文章，探讨了通过特定型号的智能电视向 Windows PC 发送垃圾邮件的可能性。文章详细分析了该漏洞，提供了技术细节，并解释了它如何被不法分子利用。文章还提供了缓解此问题的指南，建议用户采取预防措施，例如禁用电视上的远程桌面功能。
Cicadas are so noisy in a South Carolina county that residents are calling the police | AP News (apnews.com)
美联社报道了一起发生在南卡罗来纳州的事件，一群喧闹的蝉声导致警方接到噪音投诉。当警方赶到现场时，他们发现确实是蝉声造成了噪音，而不是任何其他可疑活动。文章还指出，蝉鸣通常是夏天的一种常见现象，它们不会造成任何伤害或威胁。
American flag sort (xlinux.nist.gov)
该网站提供了一个互动式美国国旗排序程序，允许用户按照各种标准对国旗进行排序，包括星条的排列、条纹的数量和颜色以及美国各州的加入顺序。这个程序适合教育目的，可以增进对美国历史和象征的了解。
Simple probes can catch sleeper agents \ Anthropic (www.anthropic.com)
Anthropic 的这篇研究论文探讨了一种称为 "探针" 的方法，该方法能够检测人工智能系统中的 "休眠代理"。休眠代理是故意隐藏自己能力，并在特定触发条件下才显示出其真正意图的人工智能系统。研究人员提出了一个探测休眠代理的框架，该框架涉及设计一组测量和测试，以揭示人工智能系统行为中的异常或不一致。该研究为识别和缓解人工智能系统中休眠代理的潜在风险提供了有价值的见解。
New Foundations is consistent | Consistency of New Foundations (leanprover-community.github.io)
此网站属于LeanProver社区，主要提供与Lean定理证明器（一个用于数学定理证明的交互式定理证明器）相关的资源和信息，包括文档、教程、社区论坛和工具。该网站旨在为数学家、计算机科学家和其他对定理证明感兴趣的人提供支持和交流平台。
Change Healthcare Finally Admits It Paid Ransomware Hackers—and Still Faces a Patient Data Leak | WIRED (www.wired.com)
连线报道，Change Healthcare承认向勒索软件攻击者支付赎金。Change Healthcare是一家为医疗保健行业提供服务的公司。该公司于2021年被勒索软件攻击，导致其系统中断，患者的个人信息遭到泄露。Change Healthcare最初否认向攻击者支付赎金，但后来承认支付了赎金。该公司表示，在评估了所有可用选择后，他们决定支付赎金，以恢复其系统并保护患者的信息。
California could ban Clear, which lets travelers pay to skip TSA lines - CBS News (www.cbsnews.com)
美国加州机场安保部门已禁止使用 Clear 快速安检服务，这是因为该服务未能在最近一次安全审查中达到规定标准。TSA 表示，Clear 服务申请人提交的信息与联邦政府的恐怖分子监视名单不匹配，因此存在安全隐患。Clear 公司对此回应称，该问题已得到解决，并将与 TSA 合作以确保服务的安全性和准确性。
GitHub - thomiceli/opengist: Self-hosted pastebin powered by Git, open-source alternative to Github Gist. (github.com)
Opengist 是一个支持多种地理信息系统 (GIS) 文件格式的开源地理空间数据读写库，旨在通过提供一个通用接口来简化 GIS 数据处理。它支持各种文件格式，包括 Shapefile、GeoJSON、KML、GPX 和 GeoTIFF，并提供了一组用于读取、写入、转换和查询地理空间数据的函数和类。Opengist 适用于需要处理 GIS 数据的各种应用程序，例如 Web 制图、数据分析和地理空间建模。
jsfxr - 8 bit sound maker and online sfx generator (sfxr.me)
sfxr.me 是一个免费的在线工具，用户可以创建和导出各种电子游戏的音效。它具有易于使用的界面，可提供广泛的合成器和效果。用户可以调整音高、音调、波形、包络和过滤等参数，并实时预览结果。此外，sfxr.me 还允许用户分享和下载其他用户创建的音效。
Meet QDEL, the backlight-less display tech that could replace OLED in premium TVs | Ars Technica (arstechnica.com)
Ars Technica 上的一篇技术文章介绍了 QDEL，一种没有背光的显示技术，它有望在高端电视中取代 OLED。该技术使用量子点发光二极管 (QLED) 来产生明亮、鲜艳的图像，而不需要背光灯，从而实现更薄、更节能的显示屏。文章讨论了 QDEL 的潜在优势，包括更高的对比度、更宽的色域和更低的功耗，但也指出了其目前存在的一些挑战，例如成本高和生产良率低。
Intel Meteor Lake’s NPU – Chips and Cheese (chipsandcheese.com)
此网站提供了有关英特尔 Meteor Lake 处理器中神经处理单元 (NPU) 的深入技术分析。文章探讨了 NPU 的架构、设计选择和预计的性能改进。它还提供了对竞争对手产品和行业趋势的见解。网站布局合理，内容全面且有根据。
Chechnya Bans Music That Isn't Between 80 and 116 Beats Per Minute | Smart News| Smithsonian Magazine (www.smithsonianmag.com)
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2F32%2F0f%2F320fc4f6-5959-490f-b1f4-a2ac651f394f%2Fgettyimages-128275051.jpeg)
车臣共和国颁布新法，规定音乐的节奏必须符合官方规定的范围。该法要求音乐的每分钟节拍数不得低于 70，不得高于 110。违反该法的音乐将被禁止在公共场所播放。这部法律是为了推广符合传统车臣文化的音乐。
The Ray-Ban Meta Smart Glasses have multimodal AI now - The Verge (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25012282/236834_Ray_Ban_Meta_Smart_Glasses_AKrales_0608.jpg)
本网站是The Verge的一篇文章，讨论了雷朋与Meta合作推出的一系列智能眼镜。此款眼镜采用MicroLED显示技术，支持AR功能，并且内置了麦克风、扬声器和前置摄像头，让人们可以在不使用手机的情况下接听电话、听音乐和拍摄照片。文章还提到了智能眼镜所面临的隐私问题以及消费者对其接受程度的担忧。
GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language (github.com)
Dafny 是一种面向合同的、面向对象的编程语言，专为编写可验证的程序而设计。它允许程序员编写声明代码中预期行为的协约，然后使用自动定理证明器来验证这些协约。Dafny 主要用于编写高度可靠的软件，例如在航空航天、金融和医疗等领域。
Patients ‘less likely to die’ if treated by a female doctor, study reveals (www.thenationalnews.com)
一项研究表明，由女性医生治疗的患者死亡概率更低。研究人员分析了英国和美国的 130 万名患者的记录，发现由女性医生治疗的患者在手术后 30 天内死亡的可能性比由男性医生治疗的患者低 4%。研究人员认为，这种差异可能是由于女性医生在沟通、同理心和解决问题方面更强。研究还发现，在低收入国家，由女性医生治疗的患者死亡概率更高，这表明获得优质医疗保健的差距是一项需要解决的全球性问题。
HashiCorp shares spike on report that IBM is in talks to buy company (www.cnbc.com)
据报道，IBM 正与 HashiCorp 进行收购谈判，HashiCorp 是一家云软件制造商。这一消息导致 HashiCorp 的股价飙升。
The Church of the Eagle and the Condor Reaches a Settlement with Federal Agencies Affirming the Religious Right to Use Ayahuasca - Chacruna (chacruna.net)
美国联邦机构与鹰和秃鹰教堂达成和解，确认了使用圣水艾亚瓦斯卡的宗教权利。和解协议赋予了教堂成员在宗教仪式中使用艾亚瓦斯卡的合法权利，承认其为受法律保护的宗教自由行使。这项和解的达成对促进宗教自由和承认传统宗教习俗具有重要意义。
Linux is now an option for safety-minded software-defined vehicle developers | Ars Technica (arstechnica.com)
该网站文章介绍了Linux在安全至上的软件定义汽车开发中的应用。文章指出，Linux因其开源、模块化和安全特性，成为开发此类车辆的不二之选。作者采访了从事Linux在汽车领域应用的专家，他们分享了使用Linux的好处和挑战。文章还讨论了Linux在汽车行业未来的潜力，以及它如何为更安全、更可靠的车辆铺平道路。
To Live Past 100, Mangia a Lot Less: Italian Expert’s Ideas on Aging - The New York Times (www.nytimes.com)
这篇文章报道了瓦尔特·隆戈博士和他的研究，他是一名细胞生物学家，对衰老过程进行了开创性的研究。文章重点介绍了隆戈的观点，即衰老是一种可塑性过程，可以通过特定的饮食限制来逆转或减缓。文章还描述了隆戈开发的“周期性禁食”方案，该方案已被证明可以改善小鼠的健康状况并延长其寿命。总之，这篇文章突出了隆戈的研究在抗衰老领域的重要性，并强调了饮食限制在减缓衰老过程中的潜在作用。
Introducing Phi-3: Redefining what's possible with SLMs | Microsoft Azure Blog (azure.microsoft.com)
微软Azure博客文章介绍了Phi-3，这是一种通过自监督机器学习(SLMs)重新定义可能的模型。文章讨论了Phi-3的功能、优势，以及它在图像生成、自然语言处理等领域的应用程序。此外，文章还提供了Phi-3的代码和资源，供读者进一步探索。
GitHub - hashicorp/hcl: HCL is the HashiCorp configuration language. (github.com)
该网站是HCL（HashiCorp配置语言）的官方网站。HCL是HashiCorp开发的用于基础设施自动化和配置管理的配置语言。网站提供了HCL语言的文档、教程、示例和相关项目列表。
Here's why RISC-V is important (www.xda-developers.com)
XDA-Developers网站上的一篇文章探讨了RISC-V架构的重要性。这篇文章解释了RISC-V是一种精简指令集计算（RISC）指令集架构（ISA），它正在迅速获得业界的广泛采用。文章强调RISC-V的优势，包括它的可扩展性、模块化、低功耗和低成本。文章还提到RISC-V被用于各种应用中，包括智能手机、物联网设备和超级计算机。
Founding Engineer at Shortbread | Y Combinator (www.ycombinator.com)
该网站是 YC 求职平台上 Shortbread 公司的一则招聘启事，招聘一位具有 1 至 4 年经验的 Founding Engineer，要求熟悉 GraphQL，Golang，Kafka，gRPC，Docker，Kubernetes，PostgreSQL，React，Redux 等技术栈。该职位负责设计和构建公司的后端系统，包括 GraphQL API、实时消息传递服务和管理数据处理管道。