X509-limbo: testvectors and tooling for evaluating X.509 path validation6 days agohttps://x509-limbo.com/x509-limbo 是一套用于评估 X.509 路径验证实现方案的测试向量及工具集。本网站提供对该测试套件中每个测试用例的用户友好且可链接的呈现。奖杯陈列室展示了 x509-limbo 发现的漏洞示例。作为 C2SP 项目的一部分进行维护，该项目最初由 Trail of Bits 创建。更多信息可在仓库的 README 文件中查看。
Not everything should cost a token: the case for deterministic AI6 days agohttps://www.vybe.build/blog/learn-what-not-to-tokenize将AI用于数据格式化这类确定性任务，与简单的脚本相比效率低下、成本高昂且容易出错。对于一次性任务，提示法速度很快，但用于重复性工作时会变得昂贵且不确定性高，导致高昂的token成本和上下文膨胀。应将任务分类为概率性（需要判断）的任务交由AI智能体处理，或确定性（精确且可重复）的任务交由应用处理，以优化成本和性能。避免将AI记忆笔记用作结构化数据的数据库；相反，对于结构化的大容量数据应使用真实数据库，对于非结构化的解释性上下文则使用笔记。Vybe的架构将用于推理的AI智能体与处理确定性任务的应用相集成，从而减少了token使用并提高了效率。大多数工具缺乏推理智能体和确定性应用的双层结构，迫使所有任务都通过基于token的模型处理，从而增加了成本。检查清单有助于识别不应token化的任务，例如计划任务、API调用或结构化数据存储。目标是将AI智能仅应用于能增加价值的领域，对其他任务使用确定性代码，以最大限度地减少支出并提高可靠性。
Ternlight – 7 MB embedding model that runs in browser (WASM)6 days agohttps://ternlight-demo.vercel.app/嵌入模型在浏览器中本地运行，无需API调用。紧凑体积：完整版7 MB，迷你变体5 MB。快速嵌入处理：仅CPU环境下约5毫秒完成，无需GPU。通过npm包轻松集成，无需下载模型或设置服务器。包含embed和similar等功能，适用于语义搜索等任务。应用示例：基于5 MB迷你变体的React文档搜索系统。
Majority of id software to be laid off by Microsoft7 days agohttps://bsky.app/profile/dark1x.bsky.social/post/3mpyugwk5yc27该应用是交互式的，需要JavaScript支持。作者对可能对id软件技术团队造成的伤害表示担忧。最近的新闻导致对当前领导层失去了信心。作者因最近的事态发展感到无言以对。
The Carney government's expanding power to identify Canadians online7 days agohttps://thehub.ca/2026/07/06/the-carney-governments-expanding-power-to-identify-...《C-22号法案》（合法访问法，2026年）扩大了政府用于识别和追踪加拿大人在线活动的法律工具，可能对言论自由产生寒蝉效应。该法案在有限的议会辩论和修正后通过，引发了公民自由团体、律师和反对党议员的担忧。英国类似的法律框架导致对在线言论的高逮捕率，为加拿大提供了一个警示性的例子。C-22号法案允许基于‘合理嫌疑理由’发布生产令，并强制要求服务提供商建立监控能力并保留元数据长达六个月。批评者认为关键条款违宪，可能削弱加密技术，并在未充分证明必要性的情况下侵犯隐私。该法案是更广泛立法模式的一部分，包括C-8号法案（网络安全）和C-9号法案（仇恨言论），增强了国家对数字活动的管控权力。隐私倡导者警告称，外国数据共享条款可能通过《云法案》等协议，为美国获取加拿大人数据提供便利。参议院的审查被视为对该法案的最终制约，将决定其对数字权利的影响以及与民主规范的契合度。
Data centers make nearby neighborhoods hotter7 days agohttps://coloradosun.com/2026/07/03/data-centers-make-nearby-neighborhoods-hotter...数据中心平均可使附近街区气温升高1-2°C。亚利桑那州凤凰城的一项研究发现，数据中心废热导致下风区域平均升温0.7-0.9°C，最高可达2.2°C。另一项研究表明，位于城市外围的数据中心使周边气温平均升高2°C，某些情况下可达9°C。科罗拉多州的数据中心因高耗水和高耗能受到审查，其中一处设施耗电30-60兆瓦，预计将持续增长。1兆瓦电力可为约800户家庭供电，科罗拉多州现有57个数据中心，其中45个位于丹佛地区。
California's winery shakedown tests limits of free speech, association7 days agohttps://nypost.com/2026/07/05/us-news/californias-winery-shakedown-tests-limits-...圣巴巴拉县创建了一个葡萄酒商业改进区，要求酒庄支付1%的直接面向消费者销售的评估费，并加入圣巴巴拉县葡萄酒商协会，这是一个私人贸易组织。该指令引发了关于根据《第一修正案》的强制言论和结社的合法性问题，像飞行山羊酒窖这样的酒庄被迫资助他们不同意的宣传，类似于最高法院案件Janus诉AFSCME所解决的问题。戈德华特研究所已代表飞行山羊酒窖提起诉讼，认为该要求违反宪法保护，如果不被推翻，可能为其他企业树立先例。类似的葡萄酒区存在于加州其他地区，如果诉讼失败，强制性的贸易协会会员资格可能扩散，影响到酒庄以外的行业。该案件突显了关于政府越权和中小企业捍卫自身权利的更广泛问题，对加州的言论自由和经济自由具有影响。
The Junior Developer Extinction: 67% Hiring Collapse Reshaping Tech Careers6 days agohttps://hakia.com/news/junior-developer-crisis-2026/2022年至2026年间，初级开发人员岗位数量下降了67%。许多标注为‘初级’的职位实际上由资深开发人员担任，真实初级招聘下降了73%，而招聘发布数量却增加了47%。22至25岁软件开发人员的就业率自2022年峰值以来已下降近20%，计算机工程专业毕业生的失业率达到7.5%。虽然公司常将人工智能作为削减初级岗位的理由，但利率上升和成本削减等经济因素才是主要驱动因素，仅人工智能导致的初级招聘减少约占10%。入门级职位的要求显著提高，现在需掌握系统设计知识、AI工具熟练度和生产环境经验等曾在工作中学习的技能。初级岗位招聘的大幅减少可能引发未来人才输送危机，导致未来几十年出现中级人才短缺和领导力断层。尽管市场环境严峻，但通过构建真实项目、瞄准成长型细分领域（如网络安全、人工智能/机器学习）以及利用人脉网络等策略，仍可提高进入行业的机会。
Chat Control 1.0 vs. 2.07 days agohttps://fightchatcontrol.eu/chat-control-overviewChat Control 1.0 是欧盟法规 (EU) 2021/1232，这是一项允许对私人信息进行自愿扫描以检测儿童性虐待材料的临时法律，但不包括加密信息；该法规已于2026年4月到期，但欧盟理事会正通过快速通道程序试图恢复它。Chat Control 2.0 是拟议的永久性儿童性虐待法规，它将强制要求检测和报告；关于强制扫描和加密等问题的谈判陷入僵局，经过五轮三方会谈仍未达成协议。欧盟议会采取了保护性立场，拒绝了Chat Control 1.0的延期，并主张在司法监督下进行针对性扫描，而理事会则推动更广泛的扫描措施。关键事件包括Chat Control 1.0的到期、理事会试图恢复该法规的尝试，以及Chat Control 2.0三方会谈的持续失败，其中加密和无嫌疑扫描是主要的争议点。截至2026年7月，Chat Control 1.0的恢复正等待议会紧急投票，需要绝对多数才能阻止其恢复，而Chat Control 2.0的谈判则在爱尔兰轮值主席国的主持下继续进行。
Apollo economist says a 'painful repricing' of AI markets is possible7 days agohttps://fortune.com/2026/07/06/ai-productivity-gains-bubble-painful-repricing-ma...知名经济学家警告，人工智能带来的生产率提升主要集中在科技行业，对于大多数财富500强企业而言，AI部署缓慢且投资回报滞后。监管障碍、数据保护和工作流程整合推迟了AI应用；当前市场定价可能超出实际收益，存在痛苦的价格重估风险。利润率呈现分化：科技七巨头从15%提升至25%（2023-2026年），而标普493成分股维持在10%左右，凸显了对更广泛经济影响的局限性。麻省理工学院研究发现，仅5%的企业从生成式AI试点项目中获得显著投资回报；若回报无法快速实现，企业可能放缓AI支出。福特聘请资深工程师培训员工并重新编程AI工具，承认人类监督对于有效实施AI至关重要。当前AI成本超过人力成本；标记优化努力表明企业难以从AI投资中获得价值。AI应用压力和攀比心理导致企业在缺乏明确用例的情况下无效部署；波士顿咨询研究显示，AI节省的时间往往未被战略性地利用。理光案例研究：将保险理赔外包给AI的成本是人工处理的三倍，而人员缩减有限（44人减至39人），突显了初期高昂的时间和资金投入。
Even banks and hyperscalers are now sounding the alarm about the AI bubble7 days agohttps://www.theregister.com/ai-and-ml/2026/07/06/even-banks-and-hyperscalers-are...国际清算银行警告人工智能泡沫破裂可能危及全球经济甲骨文股价一月内下跌40%，暴露人工智能泡沫风险亚马逊、微软、谷歌、Meta等超大规模公司投入数百亿美元但回报不确定风险已延伸至供应商、建筑公司及小型企业企业寻求可控性、开源模型和可预测定价而非前沿人工智能甲骨文提交给美国证券交易委员会的文件凸显对OpenAI不确定付款及产能风险的依赖挑战包括数据中心审批、电力供应以及政治反对人工智能公司可能提价，但市场承受能力有限转向减少人工智能模型使用并优化成本预示着泡沫压力
Canonization and the Overhang7 days agohttps://laughingmeme.org/2026/06/30/canonization-and-the-overhang.html大卫·贝西斯认为，数学过于重视定理证明，而低估了创造力、清晰度和教学的重要性，这些因素对于进步至关重要。LLM驱动的定理证明器可以在不依赖人类协作和直觉有益副作用的情况下证明定理。在软件领域，通过测试的代码与为团队可用性和迭代而进行社会建构的代码之间存在着类似性。规范化是将一次性解决方案转化为可重用、连贯且兼容的系统或库的过程，这一过程耗时但具有长期价值。软件通过规范化的代码受益于稳定的抽象和可靠的系统，这与可丢弃、单次使用的软件形成对比，后者在传统标准下可能显得'糟糕'。'知识悬置'指的是来自过去创造力的未实现潜力，连接现有想法可以产生新的解决方案，这一概念既适用于数学也适用于软件。LLM适合通过记忆和跨大规模文本库的模式匹配来搜索'知识悬置'，而人类则依赖于直觉飞跃。开源软件代表了可基于其进行未来开发的规范化工作的'知识悬置'。仅重视定理证明或编码而不进行规范化和知识传播，可能会耗尽'知识悬置'并低估清理和教学等关键的'衔接工作'。
GLM 5.2 and the coming AI margin collapse7 days agohttps://martinalderson.com/posts/the-upcoming-ai-margin-collapse-part-1-glm-5-2/DeepSeek的R1模型因训练成本低廉引发市场反应，但AI经济学其实更为复杂。训练成本是固定的，而推理成本则随需求变化，对于前沿实验室来说，推理具有很高的毛利率。GLM 5.2是像Opus和GPT这类模型的强力开源权重竞争者，具备近乎同等的质量。GLM 5.2的缺点包括交互使用速度较慢、缺乏视觉支持，以及网络搜索能力较差。转向GLM 5.2这类开源权重模型非常容易，因为其提供与OpenAI/Anthropic兼容的接口，且切换成本低。成本节省显著：GLM 5.2定价约为4.40美元/百万token，不到Opus的20%，且通过优化可能进一步降价。企业对Z.ai等提供商数据隐私的担忧，可通过使用其他提供商或本地部署来缓解。推理利润率的压缩可能重塑AI行业，让那些能善用低成本优势的玩家受益。
Taiganet.com, Home of the WS4000 Simulator7 days agohttps://www.taiganet.com/文本概述了天气模拟器的功能，包括当前和预测的天气观测、雷达显示以及来自国家气象局的警报。模拟器提供可定制的节目编排、通过FMOD引擎的声音集成，并支持具有调度选项的用户定义爬行消息。该模拟器作为64位应用程序构建，具有用于精确视觉重现的自定义渲染引擎，具有最小文件且可移植，并将设置存储在本地，不使用系统注册表。
Titan's Resources and Their Utilization7 days agohttps://arxiv.org/abs/2606.06608土卫六是太阳系中独特的星体，其大气主要由氮气和甲烷组成。它拥有丰富的表面碳氢化合物，以液态（海洋、湖泊）和固态（沙丘）形式存在。地壳中的水可提供氧气，从而能够利用资源生产食物、燃料和建筑材料。土卫六可能缺乏较重的元素（如金属），这些元素需要从其他地方获取。文章将土卫六的资源潜力与月球和火星等其他宜居目的地进行了比较。未来需要开展工作以评估土卫六的资源特征并开发相关利用技术。
M/PC – A Concatenative OS7 days agohttps://wiki.xxiivv.com/site/m_pc.htmlM/PC 是专为 Varvara 设计的级联式操作系统，灵感来源于 Openfirmware，其设计目标是在无需文件浏览器的情况下管理文件。它采用后缀表示法，即函数紧随其操作数之后，并允许使用波浪号前缀将可重复使用的命令序列存储在文件中。界面在屏幕顶部设有单一输入提示，通过控件实现导航和执行，大部分操作无需键盘即可完成。M/PC 可作为 BIOS 固件启动，此时按 F4 将返回 BIOS 而非重启系统，并且会根据屏幕分辨率在启动时自动绘制 ICN 格式的壁纸文件。基本命令包括目录导航、文件操作、堆栈管理、算术运算以及调整大小和退出等系统功能。
AI: The ROI Runway Could Be Long Outside the Tech Sector7 days agohttps://www.apollo.com/wealth/insights-news/insights/daily-spark/ai-the-roi-runw...人工智能有望在科技以外的行业提升利润率，但目前尚未显现迹象。当前人工智能公司的估值依赖于对未来盈利的承诺，这又与标准普尔493指数成分公司利润率增长的假设挂钩。关于代币成本和市场的争论至关重要；如果成本趋近于零，收入可能无法满足超大规模云服务供应商的需求。投资回报的跑道长短不一：科技和软件行业能快速部署人工智能，但许多行业因需重新设计和遵守法规而进展缓慢。医疗、银行、能源和制造等行业的人工智能生产力提升可能较为缓慢。若人工智能生产力的提升需数年而非数月，估值与现金流的背离风险将导致市场重新定价。如果无法快速获得投资回报，企业可能削减人工智能支出；代币优化策略暗示了更慢、更坎坷的落地路径。盈利预期与实际投资回报时间线的错位可能严重影响人工智能公司的估值。
Pruning RAG context down to what the answer actually needs7 days agohttps://www.kapa.ai/blog/how-we-prune-rag-context在检索与生成之间引入了一个小型、廉价的LLM来剪枝无关的上下文块。剪枝器丢弃了约68%的检索块，同时保持了96%的召回率，将查询成本降低了约34%。相关性分级采用五级量表（从“关键”到“无关”），并基于完整上下文进行判断，以考虑部分或间接相关性。剪枝为每次查询增加了约0.7秒的延迟，但在涉及多次模型调用的智能体工作流中影响可忽略。该方法通过集体评估块集来弥补点式重排器的局限性，从而优化了压缩与召回之间的权衡。
ThinkingCap-Qwen3.6-27B: Qwen3.6 capabilities with 50% fewer thinking tokens7 days agohttps://huggingface.co/bottlecapai/ThinkingCap-Qwen3.6-27BThinkingCap-Qwen3.6-27B模型是Qwen3.6-27B的精调版本，旨在平均减少50%的思考tokens的同时保持答案质量。它可以与Transformers和vLLM等库以及Google Colab、Kaggle和Docker等平台一起使用，用于本地部署。领域外评估显示，在GPQA-Diamond等基准测试上，tokens减少幅度高达67.8%，同时在知识、数学和多模态任务等领域保持准确性。在GSM8K和ARC-Challenge等留出数据集上的领域内评估展示了更高的token效率，tokens减少幅度高达74.1%，并且准确性有所提高。安全基准测试表明防护机制得以保留，拒绝率与基础模型相似，且在安全提示上的tokens减少了约20-24%。该模型支持GGUF量化，可通过llama.cpp和兼容的运行时进行高效的本地推理，量化版本可在相关的仓库中找到。使用示例包括图像-文本到文本任务，并且模型需要特定的采样参数（例如temperature=1.0），以获得最佳性能。
SOTA genome interpretation with agentic AI: Interstitial lung disease case study7 days agohttps://gamowlabs.com/sota-genome-interpretation-with-agentic-ai.html全基因组测序改善了新生儿重症监护室的治疗效果，但面临复杂性、成本和时间方面的挑战。Gamow Labs 的 AI 代理 George-0.1 在诊断来自 FASTQ 文件的遗传病方面与专家表现相当，解决了 26 例中的 19 例，并额外添加了 2 例。在一项涉及 46 人的研究中，George-0.1 的表现优于临床实验室，并与人类专家相当，而 ChatGPT 5.5 Pro 也击败了实验室，但错误更多。案例研究突显了诸如实验室过滤错误导致的假阴性，以及 AI 草率下结论或忽略数据导致的假阳性等问题。研究表明，AI 代理可以通过避免预过滤的陷阱并高效扩展，来增强罕见疾病的诊断能力。