昆士兰大学的研究人员在理解衰老和发育的分子机制方面取得了重大进展，强调了基因调控元件及其与转录因子相互作用的关键作用。研究发现，一种名为AP-1的转录因子是决定基因活性从出生到成年再到老年转变的关键因素。AP-1通过激活成人基因并抑制早期基因的活性，在不同细胞类型中表现出持续的活性，这表明了衰老的基本机制。该研究为解决阿尔茨海默病、代谢紊乱和中风等与年龄相关的疾病提供了希望。
阅读更多
欧盟委员会宣布对德国外卖巨头Delivery Hero及其西班牙子公司Glovo展开正式调查，怀疑其存在卡特尔行为。此前，欧盟委员会于2022年7月和2023年11月对这两家公司进行了突击搜查。调查重点是Delivery Hero和Glovo之间是否存在市场分配、共享商业敏感信息以及阻止对方挖走员工的协议。Delivery Hero和Glovo均表示将全力配合调查。
阅读更多
Rust基金会联合AdaCore、Arm等公司宣布成立安全关键型Rust联盟，致力于支持Rust编程语言在安全关键型软件中的负责任使用。该联盟将制定指南、规范和工具，以满足行业和法律要求，并与Rust项目团队紧密合作。联盟成员包括行业、学术界和法律专家，其目标是弥合Rust生态系统在安全关键型领域资源方面的差距，并促进Rust在需要高安全性和可靠性的行业中的应用。
阅读更多
DevHub 是一款功能丰富的离线应用程序，旨在为开发人员的日常任务提供支持，同时确保其数据的最高安全性。它包含超过 100 种实用程序，涵盖 SSL 管理、图像处理、文本处理、代码生成、日期时间转换、网络工具等多个类别，并提供 URL Scheme 集成以与其他应用程序和工作流程集成。
阅读更多
该研究通过向磷灰石框架中大量掺杂硫，合成了一种主要由变体磷灰石和铜蓝（硫化铜）组成的新型混合物。磁性测量表明，在260K附近出现明显的抗磁性，并在30K以下急剧下降，这意味着两种超导相共存。电学测量表明，电流-电压曲线偏离了正常的线性形状，表明存在零电阻效应。这些奇异的磁学和电学特征强烈表明，变体磷灰石和铜蓝这两种成分分别在接近室温和低温下触发了两种超导相。
阅读更多
微软正在与辅导机构可汗学院合作，为美国所有教师免费提供生成式人工智能助手。这款名为“可汗教师助手”的程序可以帮助教师备课、分析学生表现、规划作业，并为教师提供提升自身学习的机会。该程序已于周二向美国所有教育工作者免费开放。微软和可汗学院还计划通过微软Phi-3人工智能技术提供新的开源小型语言模型，为学生提供更多人工智能驱动的数学辅导。
阅读更多
本文介绍了 AT 协议，一种用于构建开放式社交网络的去中心化技术。它从传统 Web 后端的局限性开始，探讨了如何通过采用最终一致性、NoSQL 数据库和事件日志来实现可扩展性。文章进一步解释了 AT 协议如何将这些组件去中心化，允许任何人加入并贡献数据和处理能力。它引入了用户数据存储库的概念，并详细说明了数据如何在应用程序、存储库和事件日志之间流动，从而实现可扩展和开放的应用程序网络。
阅读更多
本文分析了CrowdStrike软件故障导致全球数字基础设施瘫痪的事件，指出过度依赖少数科技巨头导致了单点故障，呼吁打破科技垄断，建立更加开放、安全和有弹性的数字生态系统，以避免未来类似灾难的发生。
阅读更多
CodiumAI发布了Cover-Agent，它是Meta的TestGen-LLM的第一个开源实现。TestGen-LLM是一个完全自动化的工具，用于增加测试覆盖率，它首先生成大量测试，然后过滤掉那些无法构建/运行的测试，删除任何未通过的测试，最后丢弃那些没有增加代码覆盖率的测试。Cover-Agent 在实现TestGen-LLM的过程中遇到了一些挑战，例如处理 Python 中重要的空格、为 LLM 提供额外的上下文、处理复杂的代码需要多次迭代，以及无法在扩展现有测试套件时添加库导入。
阅读更多
这篇文章重点介绍了 Bumble 首席执行官惠特尼·沃尔夫·赫德对“约会礼宾专家”这个新兴领域的看法。约会礼宾专家旨在通过使用人工智能来帮助个人找到更匹配的约会对象，并根据用户偏好定制体验。赫德认为，这一领域具有巨大的潜力，因为人工智能可以消除在线约会中的许多摩擦和偏见。文章还探讨了 Bumble 在利用人工智能改善约会体验方面所做的具体努力，包括 Bumble BFF 和 Bumble Bizz 等功能。
阅读更多
本文探讨了以“构建是执行的第一阶段”为理念的构建系统。作者认为，命令本身就是计算，构建也应该被视为计算的一部分，并主张将构建和执行视为同一个计算过程。作者还讨论了缓存中间结果、增量构建以及将测试集成到构建中的优缺点。
阅读更多
这篇文章分析了开源云平台OpenStack和Kata容器复苏的原因。越来越多的公司出于数据安全、成本控制以及数字主权等考虑，从公有云转向私有云，而OpenStack作为成熟、安全的开源云平台，自然成为首选。同时，Kata容器凭借其隔离工作负载的能力，在AI工作负载和云环境安全方面表现突出，也受到越来越多企业的青睐。
阅读更多
该网站是斯坦福大学在线密码学课程的官方网站，提供课程讲座视频、阅读材料、作业和考试信息以及其他相关资源。该课程涵盖了密码学的基础知识，包括加密、解密、数字签名和密钥交换。
阅读更多
麻省理工学院和哈佛医学院的研究人员开发了一种新的可摄入设备，可以记录用户的胃肠道中的电生理信号。该设备封装在一个3D打印的胶囊状外壳中，包含一个电子模块和各种柔性测量电极，由生物相容性材料制成。该设备可以记录胃肠道的电信号并将其发送到患者体外的接收器，帮助医生安全地诊断和监测影响食物和液体消化的疾病的进展。
阅读更多
Anthropic的研究人员成功地从大型语言模型Claude Sonnet中提取了数百万个特征，这些特征对应于各种概念，如城市、人物、科学领域、编程语法等，甚至还有一些抽象概念，如代码错误、性别偏见和保密。研究人员可以通过放大或抑制这些特征来观察模型行为的变化，例如，放大“金门大桥”特征会导致模型在回答问题时过度关注金门大桥，即使问题与金门大桥无关。这项研究为理解和提高人工智能模型的安全性提供了新的视角。
阅读更多
科琳·胡佛是一位非常成功的浪漫小说作家，其作品借助TikTok平台大火，销量超过五千万册。然而，随着名气的增长，她也遭受了越来越多的批评，这让她感到困扰和焦虑，甚至陷入了创作瓶颈。虽然她仍在坚持创作，但对于未来的写作方向和如何应对负面评价感到迷茫。
阅读更多
PGlite 是一个功能齐全的 Postgres 数据库，可以通过 WASM 在本地运行，并支持响应式和实时同步。它非常轻量级，压缩后的体积不到 3MB。PGlite 还支持动态扩展加载，包括对 pgvector 和 PostGIS 的支持。此外，它还内置了对数据加载、同步和实时查询原语的支持。
阅读更多
2024 年巴黎奥运会游泳比赛中，选手们的成绩普遍低于预期，引发了关于游泳池是否“慢”的讨论。一些专家认为，巴黎奥运会游泳池深度较浅，导致运动员划水时产生的水波反弹，影响了游泳速度，尤其是在仰泳比赛中。数据专家 Ken Ono 指出，虽然游泳池比一般的游泳馆要快，但并不利于打破纪录。一些游泳运动员也表示比赛成绩“奇怪”，速度比平时慢。然而，也有观点认为，游泳池的深度对速度的影响微乎其微，成绩不佳可能与比赛压力、场馆氛围以及运动员自身状态等因素有关。
阅读更多
这篇文章由一位从软件行业转行到木工的作者撰写，作者分享了他的经历和心得。作者认为软件行业存在许多荒谬之处，例如过度依赖软件工具、过分强调效率和生产力、缺乏对工艺和细节的关注。而木工则提供了一种不同的体验，它注重动手实践、工艺和创造力，使作者能够逃离软件世界的种种荒谬。
阅读更多
一款名为Forewarn的应用正在房地产行业迅速普及。该应用由数据代理公司red violet所有，它可以让房地产经纪人只需输入潜在客户的电话号码，就能立即获取他们的详细数据，包括犯罪记录、地址历史、财务状况等。Forewarn的支持者认为它是一个有价值的安全工具，而批评者则担心它会助长歧视，并在用户不知情的情况下对其进行大规模画像。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25580609/1329760.jpeg)
Valve 禁止玩家在《反恐精英2》中使用 Razer 和 Wooting 键盘上的 SOCD（同时按下相反方向键）功能，该功能可以自动化完美反扫射，被认为模糊了手动输入和自动化的界限。Valve 表示将对使用该功能的玩家进行踢出游戏处理，但目前似乎还没有封禁账号的计划。
阅读更多
尽管目前太阳正处于第25个活动周期的中期，预计将在2025年年中达到峰值，但伯明翰大学的研究人员在分析太阳内部声波数据时发现，太阳下一个11年活动周期的迹象已经出现。研究人员通过太阳旋转速度和太阳扭转震荡的变化模式推测，第26个太阳周期预计将于2030年左右开始。
阅读更多
Forsp 是一种将 Forth 和 Lisp 结合起来的新型编程语言，它基于 Lambda 演算，语法类似 Lisp，使用 S 表达式，函数抽象也类似 Lisp，但函数应用像 Forth。Forsp 拥有类似 Lisp 的环境结构和词法作用域闭包，使用 Cons-cell、列表和原子，并像 Forth 一样使用值/操作数堆栈。它能够表达 Lambda 演算，采用按值传递调用顺序，只有三个语法特殊形式：'、^、$，只有一个求值时特殊形式：quote，只需要 10 个基本函数即可自我实现。
阅读更多
Yoshi Mobility 公司宣布将开始把通用汽车 BrightDrop Zevo 600 电动送货车改装成移动电动汽车超级充电站，为车队运营商提供更便捷的充电服务。这些移动充电站配备 240 kW 直流快速充电器，可以为 5 到 7 辆车提供服务，并计划在 2025 年第一季度开始大规模商业化。 Yoshi Mobility 还计划推出其他车型的移动充电站，并通过收购 Mobile Auto Concepts Inc. 等公司扩展其服务范围，致力于加速车队电动化转型。
阅读更多
本文介绍了一个名为“Educator Tool Suite '87”的BASICA程序套件，由作者的父亲Mike Knox在20世纪80年代后期编写。该程序套件旨在自动化和简化八年级科学教学中的日常工作，例如评分测试、分配课堂和实验室座位、监控出勤率、评分测试和州立 Regents 考试等等。该程序套件包括用于评分测试、生成随机学生座位分配、处理出勤率和曲线评分的实用程序。
阅读更多
