Tesla to pay $243M judgement over Autopilot crash6 days agohttps://electrek.co/2026/02/20/tesla-has-to-pay-historical-243-million-judgement...联邦法官驳回特斯拉请求,维持2019年自动驾驶致命事故2.43亿美元陪审团裁决事故涉及启用自动驾驶功能的Model S,碰撞造成1人死亡1人重伤特斯拉被判担责33%,需支付4300万美元补偿性赔偿及2亿美元惩罚性赔偿法官认为特斯拉未提交新证据或法律依据,驳回撤销裁决动议特斯拉表示将上诉,但面临全美多起类似诉讼与日俱增的法律压力监管措施已迫使特斯拉在加州和加拿大停用'自动驾驶'营销宣传与自动驾驶相关案件的法律和财务风险持续攀升,潜在赔偿总额或达数十亿美元
Lessons learned from `oapi-codegen`'s time in the GitHub Secure Open Source Fund9 days agohttps://www.jvt.me/posts/2026/02/17/oapi-codegen-github-secure/oapi-codegen 参与了 GitHub 的安全开源基金计划以提升项目安全性该项目通过 OpenAPI 规范生成 Go 代码,涉及敏感数据处理,安全性至关重要单独维护 oapi-codegen 存在挑战,因此正在积极扩展维护者团队优先落实安全措施以确保与新维护者的安全协作识别安全漏洞并实施了多项改进,包括安全策略和 GitHub 高级安全检查与维护者社区互动交流,实现经验共享与互助支持GitHub 的计划为项目安全提升提供了宝贵资源和专业指导未来计划包括分享更多经验教训,持续加强安全性和维护工作
Lil' Fun Langs6 days agohttps://taylor.town/scrapscript-000小型编程语言实现的概述,包含其代码行数(LOC)、宿主语言、特性与目标平台。重点特性包括Hindley-Milner类型推断、代数数据类型、模式匹配和闭包。著名实现案例:Hirrolot的CoC(约70行OCaml)、Harrop MiniML(约100行OCaml)、Algorithm W(约300行Haskell)、THIH(约429行Haskell)。特色项目:Simple-sub的代数子类型系统、EYG的行类型推断、Grace的JSON超集语法。较大规模项目如MinCaml(约2,000行OCaml)和MicroHs(1.5-3万行Haskell/C)展示了高级功能。学习资源推荐:《用Haskell写个编译器》《实现函数式语言》《ML现代编译器实现》。创新实现案例:Hackett(Racket宏系统)、Scrapscript(内容可寻址编程)因其独特方法而突出。
Making frontier cybersecurity capabilities available to defenders6 days agohttps://www.anthropic.com/news/claude-code-securityClaude代码安全是一项新功能,可扫描代码库中的安全漏洞并提供修复建议供人工审核。它通过检测传统工具易忽略的、依赖上下文的细微问题,解决了漏洞过多而人力不足的行业难题。与基于规则的静态分析不同,Claude代码安全能像人类研究员一样理解代码交互和数据流,从而发现复杂漏洞。所有发现需经过多阶段验证流程以过滤误报,并根据严重程度进行优先级排序。经验证的漏洞会显示在仪表盘中,附带修复建议和置信度评级,所有修复方案需经人工确认方可实施。该功能基于超过一年的研究成果,包括CTF竞赛经验以及与国家级实验室的合作成果。使用Claude Opus 4.6模型已在开源代码库中发现500多个既往未检测到的漏洞,后续将进行负责任披露。企业版和团队版客户现可申请限量的研究预览,开源项目维护者可获得快速通道。预计AI技术很快将能扫描全球大部分代码,攻击方与防御方都将运用AI能力。Claude代码安全致力于通过快速发现和修复漏洞来提升全行业的安全水平。
F-Droid: "Keep Android Open"6 days agohttps://f-droid.org/2026/02/20/twif.html尽管有传言称谷歌将放弃该计划,但其锁定安卓系统的措施仍在推进中F-Droid等应用下载平台已开始添加警告横幅,提醒用户即将到来的安卓系统限制F-Droid Basic 2.0-alpha3版本发布,新增CSV导出、安装历史记录及Material Design 3界面更新等功能社区动态包含Conversations即时通讯、Dolphin Emulator模拟器及Nextcloud系列应用的更新ProtonVPN现采用WireGuard和Stealth协议,安装包体积缩减40%F-Droid移除了5款应用,新增NeoDB You客户端287款应用获得更新,涵盖功能优化与多类别新特性
Write-Only Code9 days agohttps://www.heavybit.com/library/article/write-only-code'只写代码'的概念指的是生产环境中从不被人类阅读、审查、浏览或修改的代码。在企业团队中,AI越来越多地被用于编写代码,使人类工程师的角色从编写和审查代码转变为设计系统和管理约束条件。AI模型能力的最新进展正在打破传统软件开发生命周期的假设,使得无需人类逐行审查就能生产复杂软件成为可能。软件工程师的角色正在向降低风险的方向演变,重点关注系统设计、接口和故障模式,而非手动编写代码。历史上有类似的转变,比如从硬件采购瓶颈转向开发速度的提升,这表明行业会随着时间适应新的约束条件。未来的实践可能包括'代码阅读覆盖率'指标,并将人工代码审查视为仅适用于关键子系统的昂贵权衡。工程师将以为构建正确且具有弹性的系统而自豪,而无需理解每一行代码,从'我写代码'转变为'我构建软件'。向只写代码的过渡需要建立信任、问责和控制的新基础,成功的组织将尽早适应这些变化。
Dual Income, No Kids: What We Know About 'DINKs' in the U.S.6 days agohttps://www.pewresearch.org/short-reads/2025/11/03/dual-income-no-kids-what-we-k...美国30-49岁已婚夫妇中12%是丁克族(双收入无子女),较2013年的8%有所上升。丁克族定义为夫妻双方都有工作、有收入且没有子女的已婚夫妇。丁克族(中位年龄36岁)比有子女的双收入夫妇(中位年龄43岁)更年轻。58%的丁克族至少拥有学士学位,而有子女的双收入夫妇中这一比例为43%。81%的丁克族从事全职工作,而有子女的双收入夫妇中这一比例为68%。丁克族家庭收入中位数更高(19.39万美元),但财富中位数(21.47万美元)低于有子女的双收入夫妇。丁克族拥有房产的比例(71%)低于有子女的双收入夫妇(79%)。丁克族的房屋净值(16.5万美元)低于有子女的双收入夫妇(22.2万美元)。
Why Is the American Diet So Deadly?6 days agohttps://www.newyorker.com/magazine/2025/01/13/why-is-the-american-diet-so-deadly法国暖通空调技术员纪尧姆·雷纳里参与了一项美国国立卫生研究院关于超加工食品对体重增加和慢性疾病影响的研究。研究发现,与食用微加工食品相比,参与者在超加工饮食中每天多摄入500卡路里并出现体重增加。超加工食品与肥胖、糖尿病、心脏病、癌症、焦虑症和痴呆等健康问题相关。NOVA食品分类系统根据加工程度对食品进行分类,其中第4类为含工业成分和添加剂的超加工食品。批评者指出并非所有超加工食品都有害,且加工技术具有延长保质期和提高食品可获得性等优势。该研究强调了热量密度和超适口性在暴饮暴食中的作用,但也表明并非所有超加工饮食必然导致体重增加。公共卫生专家就减少超加工食品消费的可行性展开辩论,考虑到经济成本和便利性等因素。食品行业通过营销和游说影响饮食习惯,这使得推广健康饮食的努力变得复杂。
No Skill. No Taste6 days agohttps://blog.kinglycrow.com/no-skill-no-taste/作者反思了当前'Show HN'和HN的现状,对LLM技术造成'编程门槛降低'的假象表示担忧通过引入'品味与技能的魔法象限'理论,批评了当下泛滥的既缺乏技艺又毫无创意的低劣应用文章指出:技术能力固然重要,但无论项目复杂度如何,真正能引起受众共鸣的关键在于审美品位列举了几个因独特品味而成功的简约应用案例,与当前大量低质量投稿形成鲜明对比作者认为LLM加剧了这一问题——它使不具备必要审美和技术的人也能轻易创作,导致劣质内容泛滥将现状比作加密货币热潮:多数人幻想快速致富却鲜有成功者,借此强调审美品位的永恒价值最后强调开发者应当先培养审美品位再分享作品,避免为互联网增添无意义的噪音
Race between primes of the forms 4k and 1 and 4k and 38 days agohttps://www.johndcook.com/blog/2026/02/15/chebyshev-bias/一个奇素数p可以表示为两个平方数之和,当且仅当p形如4k + 1。梅森素数由于卢卡斯-莱默检验的存在更易被发现,其通常形如4k + 3。当n趋近于无穷大时,模4余3的素数数量与模4余1的素数数量之比趋近于1。模4余3与余1的素数计数差(称为领函数)无限振荡,但常为正。领函数在特定素数处变号,这些素数记录在OEIS序列A038691中。
Email blunder exposes $90B Russian oil smuggling ring6 days agohttps://www.ft.com/content/4310f010-2b3c-493e-ba0a-26dc6d156b2e您的浏览器已禁用JavaScript。由于浏览器扩展、网络问题或浏览器设置等原因,网站的必要部分无法加载。建议操作包括检查网络连接、禁用广告拦截器或尝试使用其他浏览器。
Supreme Court strikes down most of Trump's tariffs in a blow to the president6 days agohttps://www.nbcnews.com/politics/supreme-court/supreme-court-strikes-trumps-tari...最高法院以6比3裁定特朗普总统依据《国际紧急经济权力法》(IEEPA)实施全面关税的行为超越职权范围该判决废除了特朗普多项关税政策,但部分关税仍可能通过其他法律重新实施特朗普称该裁决'可耻',并声称已制定备用方案首席大法官约翰·罗伯茨主笔判决书,明确指出IEEPA未授权总统征收关税大法官克拉伦斯·托马斯、布雷特·卡瓦诺和塞缪尔·阿利托持反对意见缴纳关税的企业主对判决表示欢迎,称这些关税'武断'且'违宪'裁决影响针对加拿大、中国和墨西哥等国商品的国别关税及25%特别关税企业或可向财政部申请退税,但法院判决未直接涉及该问题美国宪法将关税制定权赋予国会,但特朗普动用了此前从未用于关税的IEEPA此案凸显最高法院对行政单边权力的审慎态度,类似其对拜登学生贷款减免计划的立场截至12月中旬,IEEPA关税已征收约1300亿美元,但特朗普宣称金额更高
Trump overstepped executive power by imposing tariffs, Supreme Court rules6 days agohttps://www.theguardian.com/us-news/2026/feb/20/trump-supreme-court-tariffs-ruli...美国最高法院裁定,唐纳德·特朗普通过对全球进口商品征收高额关税的行为超越了其行政权限。这项6比3的裁决指出,1977年通过的法律不能为特朗普政府实施的大部分关税提供法律依据。该判决对特朗普的经济议程和行政扩权主张构成重大打击。经济学家警告称,在通货膨胀背景下,这些关税可能导致美国民众面临物价上涨。关税政策通常需经国会批准,但特朗普援引《国际紧急经济权力法》(IEEPA)主张行政授权。美国司法部副部长辩称关税属于监管措施而非创收手段,但大法官们仍持怀疑态度。自由派与保守派大法官均质疑政府立场,首席大法官罗伯茨特别强调国会独有的征税权。特朗普声称该裁决将对其'让美国再次伟大'议程及美国经济造成剧烈冲击。
Supreme Court strikes down Trump's tariffs6 days agohttps://www.npr.org/2026/02/20/nx-s1-5672383/supreme-court-tariffs美国最高法院裁定特朗普总统依据《国际紧急经济权力法》实施的关税政策违宪首席大法官约翰·罗伯茨撰写了6比3的多数意见,托马斯大法官、阿利托大法官和卡瓦诺大法官持反对意见特朗普关税最初对大多数国家商品征收至少10%的关税,对中国等国家税率更高(最高达145%)对加拿大、墨西哥等盟友的关税最初设定为25%,后期对加拿大税率提高至35%美国企业界对关税政策提出诉讼,认为特朗普超越了总统权限此前对总统权力主张持开放态度的最高法院,本次作出了不利于特朗普的裁决这是最高法院在完成完整诉讼程序并听取加速辩论后,首次否决特朗普的重大政策
The Gay Tech Mafia6 days agohttps://www.wired.com/story/inside-the-gay-tech-mafia/过去五年间,硅谷高层被认为由男同性恋群体主导,科技圈内甚至流传着'同性恋科技黑手党'的窃窃私语。关于'同性恋科技黑手党'的说法既被斥为恐同言论,又被部分人奉为行业潜规则——一些直男高管声称遭遇排挤或处于竞争劣势。科技界男同领袖构建了强大的社交网络,通过专属派对活动与人脉扶持体系形成封闭圈子,往往将女性及其他LGBTQ+群体排除在外。关于科技大佬与创业新秀存在亲密关系的传闻从未间断,暗示性交易可能成为职场晋升的潜规则。部分科技界男同从业者自述遭遇过不当性暗示或潜规则压力,使职场关系与私人交往的界限变得模糊。硅谷男同科技圈被形容为充满权力欲望、关系至上与性张力的名利场,常被类比为好莱坞黄金时代的'选角沙发'文化。尽管流言纷飞,许多男同科技领袖坚称成功源于实力与勤奋,而非性资源交换。这则报道揭示了硅谷权力场中欲望与野心的复杂生态,在这里,同性恋群体的影响力既被推崇又备受审视。
Trump's global tariffs struck down by US Supreme Court6 days agohttps://www.bbc.com/news/live/c0l9r67drg7t贸易律师认为企业最终将获得关税退款,但具体流程仍不明确国际贸易法院将裁定如何执行最高法院反对特朗普关税政策的裁决企业希望无需提起诉讼就能通过有序程序获得退款特朗普政府可能已制定应急预案,准备通过其他法律授权实施关税潜在手段包括动用允许临时关税的法律,或针对特定国家/行业征税
Collection of Slide Rule Replicas8 days agohttps://thingsabove.github.io/Sliderule-Simulator-with-Solver/高质量基于JavaScript的滑尺复制品集合。复制品通过逆向工程数学方程程序化绘制,确保不使用任何图像进行可视化。所有复制品均可免费下载,且无需互联网连接即可运行。功能包括输入数字值、预定义常数以及用于自动化的附加刻度线。提供交互式教程和训练游戏,帮助学习如何使用滑尺。源代码托管于GitHub,用户可自行构建模型。可通过HERCs音乐系统联系作者Robert P. Wolf博士,或加入邮件列表参与讨论。提供Faber-Castell 2/83N复制品的模拟示例。
Accenture combats AI refuseniks by linking promotions to log-ins7 days agohttps://www.ft.com/content/ac672f97-a603-4c56-afa3-4a5273d45674您的浏览器禁用了JavaScript。由于浏览器扩展、网络问题或浏览器设置等原因,网站的必要部分无法加载。建议的解决方案包括检查网络连接、禁用广告拦截器或尝试使用其他浏览器。
Supreme Court strikes down Trump's tariffs6 days agohttps://apnews.com/article/supreme-court-tariffs-trump-0485fcda30a7310501123e493...最高法院驳回了唐纳德·特朗普总统的全球关税政策,这是他经济议程的核心部分。6比3的裁决认定宪法赋予国会(而非行政部门)征收关税的权力。首席大法官约翰·罗伯茨强调,制宪者从未将征税权授予行政部门。阿利托、托马斯和卡瓦诺大法官提出异议,卡瓦诺认为根据法律文本、历史和先例,这些关税是合法的。该裁决并不妨碍特朗普依据其他更具限制性的法律征收关税。特朗普以国家紧急状态为由实施的关税政策,曾面临各州和企业的法律挑战。据估计这些关税十年内将造成3万亿美元经济影响,目前已征收1330亿美元。好市多等企业正在通过诉讼寻求关税退款。
Supreme Court rules that Trump's emergency tariffs are illegal6 days agohttps://www.cnn.com/2026/02/20/politics/supreme-court-tariffs最高法院裁定特朗普总统单方面实施全球关税违反了联邦法律该裁决以6比3的多数票通过,首席大法官约翰·罗伯茨撰写了多数意见书法院未明确说明已征收的1300亿美元关税应如何处理特朗普援引《国际紧急经济权力法》作为依据,但最高法院认定该法律未授权其行动关税退还问题可能将由下级法院裁决此案对美国经济影响重大,涉及对中国、墨西哥、加拿大等多国加征的关税特朗普声称关税对国家财富至关重要,反对者则认为这是权力越权该裁决与最高法院此前限制未经国会批准的行政单边行动的判例一致政府警告退还关税可能造成严重经济后果本案绕过下级法院直接由最高法院进行加速审理