参议院预算委员会主席发布联合报告,揭露大型石油公司的气候否认、虚假信息和模棱两可的言论
美国参议院预算委员会主席Sheldon Whitehouse与众议院监督和问责委员会高级成员Jamie Raskin发布联合员工报告,揭露大型石油公司在气候变化问题上的虚假信息和阻碍行动。报告指出,石油公司明知化石燃料危害气候,却持续误导公众,阻挠气候行动,并通过绿色宣传掩盖其对化石燃料的持续投资和减排失败。报告还揭露了石油公司如何利用行业协会、智库和大学来传播虚假信息,并阻挠国会调查。
阅读更多
美国参议院预算委员会主席Sheldon Whitehouse与众议院监督和问责委员会高级成员Jamie Raskin发布联合员工报告,揭露大型石油公司在气候变化问题上的虚假信息和阻碍行动。报告指出,石油公司明知化石燃料危害气候,却持续误导公众,阻挠气候行动,并通过绿色宣传掩盖其对化石燃料的持续投资和减排失败。报告还揭露了石油公司如何利用行业协会、智库和大学来传播虚假信息,并阻挠国会调查。
阅读更多
NanaBox 是一款基于 XAML 的轻量级第三方 Hyper-V 虚拟化软件,它利用了主机计算系统 API、远程桌面 ActiveX 控件和 XAML Islands 等技术。NanaBox 并非 Hyper-V 客户端,因为它使用的是 Hyper-V WMI 提供程序的低级 API,并且是无状态的,无法管理 Hyper-V 管理器中列出的虚拟机。NanaBox 选择主机计算系统 API 而不是 Hyper-V WMI 提供程序,是因为作者希望拥有可移植的虚拟机配置,并且不喜欢将虚拟机配置注册到系统中。NanaBox 选择定义自己的基于 JSON 的虚拟机配置格式,是因为 Hyper-V 的 VMCX 是一种二进制格式,Microsoft 没有提供文档化的格式定义。
阅读更多
U++是一个C++跨平台快速应用程序开发框架,专注于提高程序员的生产力。它包括一组库(GUI、SQL等)和一个集成开发环境。U++通过智能和积极地使用C++,而不是通过花哨的代码生成器来实现快速开发。U++支持以下平台:Windows、macOS、GNU/Linux和FreeBSD。
阅读更多
将于6月25日发射的GOES-U卫星将完善NOAA的GOES-R气象卫星星座,为其兄弟姐妹的能力锦上添花,并将更加关注空间天气。GOES-U卫星上的一项新传感器CCOR,将监测地球大气层外的空间天气事件,这些事件可能会影响我们的星球。
阅读更多
Garage 是一款开源的分布式对象存储服务,专为自托管而设计。它具有轻量级、易于部署、高可用性等特点,可在各种硬件平台上运行,并兼容 Amazon S3 API。Garage 通过数据分片和跨区域复制来实现冗余和容错,并利用了分布式系统领域的最新研究成果,例如 Dynamo、CRDT 和 Maglev。
阅读更多
本文旨在为学习现代人工智能系统背后的关键概念提供一份手册。鉴于人工智能最近发展的速度,目前还没有一本好的教科书式的资源可以让人快速了解大型语言模型或其他生成模型的最新创新,但互联网上散布着大量关于这些主题的优秀解释性资源(博客文章、视频等)。本文的目标是将这些资源中的“精华”整理成教科书式的形式,作为填补个人人工智能相关学习目标的先决条件的路线图。
阅读更多
文章分析了深度学习领域,特别是大型语言模型(LLM)的快速发展。作者认为,从GPT-2到GPT-4的进步并非偶然,而是计算规模、算法效率和“解锁”能力(如强化学习、思维链、工具和脚手架)持续提升的结果。通过量化这些因素的增长,作者预测到2027年,我们将看到GPT-2到GPT-4那样巨大的飞跃,届时AI系统将能够像专家一样工作,甚至可能实现通用人工智能(AGI)。
阅读更多
2024年5月,超过65000名开发者参与了Stack Overflow年度调查,分享了关于编程、技术、工具、人工智能以及开发者工作体验的见解。调查结果显示,PostgreSQL连续第二年成为最受欢迎的数据库,JavaScript、Python和SQL仍然是需求量很高的编程语言,而Rust仍然是最受赞赏的编程语言。人工智能工具的使用率持续上升,76%的受访者正在使用或计划使用人工智能工具进行开发,但同时也引发了开发者对伦理问题的担忧。
阅读更多
JPEG XL是一种全新的图像压缩标准,与JPEG、WebP和AVIF等格式相比,它在压缩效率、图像质量和功能方面都有显著提升。JPEG XL能够在保持高视觉质量的同时,将文件大小缩减高达55%,并支持无损压缩、渐进式加载、广色域和HDR等特性,适用于各种应用场景,包括网页、摄影和印刷等领域。
阅读更多
本文介绍了如何使用现代 CSS 功能(如 Grid 和 Flexbox)创建灵活且可复用的布局,而无需依赖外部框架。文章详细讲解了四种 CSS 工具类的构建方法,包括“重复网格”、“重复弹性布局”、“流动网格”和“流动弹性布局”,并解释了如何使用 CSS 变量、容器查询和 Subgrid 等技术来自定义布局、实现响应式设计以及增强布局的控制能力。
阅读更多
Fluent 是一款语言学习应用程序,旨在帮助用户快速提高口语流利度。该应用程序通过角色扮演解决现实生活场景,帮助用户建立自信,并提供发音反馈,让用户掌握地道的发音。超过 10000 名用户发送信息,完成了 1500 多个聊天对话,Fluent 的有效性得到了验证。
阅读更多
美国医疗行业公司 Alegeus Technologies 因其数百个客户的系统无法在24小时内完成证书更新,起诉证书颁发机构 DigiCert,要求法院阻止 DigiCert 吊销其有问题的证书。
DigiCert 此前发现其域名验证流程存在问题,可能导致证书被错误颁发,因此通知客户将吊销相关证书。根据 CA/Browser Forum 的规定,证书颁发机构必须在 24 小时内吊销存在问题的证书。
Alegeus 认为,根据与其客户签订的协议,他们需要更长的通知时间才能完成证书更新。此次诉讼引发了关于证书吊销时限和安全问题的讨论。
威斯康辛州兴起了一种将农场与餐桌直接连接起来的餐饮形式——披萨农场。这些农场利用自己种植的食材或者与当地供应商合作,为顾客提供新鲜美味的披萨。顾客可以在田园诗般的环境中享受美食、放松身心,感受农场生活。
阅读更多
本文介绍了英特尔全新的Lion Cove架构,重点介绍了其关键改进,包括分离的整数和向量调度器、新的L1缓存层级、可选的超线程技术以及前端和乱序执行引擎的改进。这些改进使Lion Cove的每时钟性能提升了14%,并为未来针对特定设计进行优化提供了更大的灵活性。
阅读更多
《华盛顿邮报》获得的一封举报信声称,OpenAI阻止员工向监管机构警告其技术对人类构成的严重风险,并施压员工签署限制性协议,阻止他们披露安全问题。举报人已向美国证券交易委员会投诉,要求对OpenAI展开调查。
阅读更多
麦当劳高管表示,由于在旧金山和达拉斯的测试失败,公司没有计划重新推出植物肉汉堡McPlant。消费者对植物肉汉堡的需求不高,反而更青睐薯条、5美元套餐和新鲜的热三明治。麦当劳将专注于鸡肉产品,并推出5美元套餐和每周五免费薯条等促销活动来吸引顾客。
阅读更多
美国国家航空航天局(NASA)正在推进一项在月球上建造磁悬浮列车的计划,该项目被称为“轨道上的灵活悬浮”(FLOAT)。FLOAT项目旨在开发一种可靠、自主和高效的月球货物运输系统,预计在2030年代投入使用。该系统将由磁悬浮机器人组成,在三层薄膜轨道上运行,以减少月球表面灰尘的磨损。安装在机器人上的货车将以约1英里/小时(1.61公里/小时)的速度移动,每天可以运送约100吨(90公吨)的材料。
阅读更多
美国纽约Qunnect公司的科学家们在纽约市地下进行了一项量子互联网原型网络测试。他们使用了一种名为GothamQ回路的34公里长光纤电路,利用偏振纠缠光子实现了长达15天的连续运行,系统正常运行时间高达99.84%。这项研究解决了光纤环境中纠缠态的脆弱性和信号传输效率问题,为量子互联网的实际应用迈出了重要一步。
阅读更多
avante.nvim 是一个 Neovim 插件,旨在模拟 Cursor AI IDE 的行为。它为用户提供 AI 驱动的代码建议,并能够以最小的努力将这些建议直接应用于他们的源文件。该插件目前只兼容 Neovim 0.10.0 或更高版本,并且主要支持 OpenAI 和 Claude。
阅读更多
网络安全公司CrowdStrike的软件更新导致全球技术故障,影响了航空公司、医院、紧急服务等多个行业,导致其股价周五暴跌15%,创下2022年11月以来的最大单日跌幅。CrowdStrike的股价跌至每股290美元的低点,为4月25日以来的最低点。此次暴跌是该公司五年上市历史上第三大单日跌幅。
阅读更多
本文介绍了PostHog公司如何围绕小团队构建其初创公司。小团队模式使他们能够快速行动、保持创新并赋予个人更大的影响力。文章详细阐述了PostHog小团队的运作方式、选择这种结构的原因以及为享受小团队优势而做出的权衡。文章还列出了小团队的五条黄金法则:保持团队真正的小规模、团队自治、设立团队领导、明确团队使命以及保持灵活性。
阅读更多
Loop 是一款 macOS 应用,可简化窗口管理。它允许用户使用简单的按键触发径向菜单,轻松选择窗口方向,并根据个人喜好自定义颜色和设置。用户只需点击几下即可移动、调整大小和排列窗口,从而节省宝贵的时间和精力。
阅读更多
文章介绍了全球范围内追求更高效热泵的趋势。热泵作为一种节能环保的供暖设备,其效率近年来得到显著提升。工程师和安装人员通过优化系统设计、采用新型制冷剂和智能控制等方式,不断刷新热泵的性能记录。文章还探讨了不同类型热泵的优缺点,以及影响热泵效率的因素。
阅读更多
因担心其社交媒体帖子存在潜在的非法市场操纵行为,E-Trade平台正在考虑限制网红“咆哮小猫” (Roaring Kitty) 基思·吉尔 (Keith Gill) 的股票交易。吉尔近期发布的迷因内容引发游戏驿站股票价格飙升,引发了监管机构和交易平台的担忧。E-Trade担心限制吉尔的交易可能会引发其支持者抵制,但同时也担心放任不管会带来法律风险。
阅读更多
富士胶片日本公司开发了一款新的 Linux 软件开发工具包 (SDK),用于远程控制富士胶片 GFX100 系列相机。此前,富士相机的远程控制SDK只兼容macOS和Windows系统,此次新增Linux SDK,将为无人机制造商提供更多选择。Linux是无人机操作系统的常用系统,此次合作将使无人机能够搭载高分辨率的GFX100系列相机进行航空、基础设施检查等工业应用。
阅读更多
Spotify-player是一款功能丰富的终端Spotify播放器,具有极简的界面和直观的分页和弹出系统。它提供与官方Spotify应用程序相同的功能,支持Spotify Connect远程控制、直接从终端流式传输歌曲、歌词显示、跨平台媒体控制、图像渲染、桌面通知以及作为守护程序运行等功能。
阅读更多
OpenWorm 是一个开源项目,旨在在计算机中创造第一个虚拟生物。该项目模拟简单的蠕虫神经系统,希望能为理解更复杂的人脑提供帮助。OpenWorm 项目采用开放科学模式,所有代码、数据和模型均在 MIT 许可下开源,并通过 GitHub 等平台进行协作开发。
阅读更多
Ribbon Health是一家医疗保健公司,为雇主、健康计划和提供者提供软件和服务。本网站展示了其当前开放的职位列表,包括产品管理、工程、数据科学和客户成功方面的职位。申请人可以搜索特定职位或提交一般申请。
阅读更多