cloudflare/security-audit-skill
JavaScript · ★ 36,133 · 🍴 2,260 · 📈 1,997 stars today
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
中文介绍 为多阶段安全审计提供代码代理技能,实现可验证、机器可读的发现结果。
JavaScript · ★ 36,133 · 🍴 2,260 · 📈 1,997 stars today
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
中文介绍 为多阶段安全审计提供代码代理技能,实现可验证、机器可读的发现结果。
Python · ★ 94,827 · 🍴 23,737 · 📈 439 stars today
A high-throughput and memory-efficient inference and serving engine for LLMs
中文介绍 为大型语言模型(LLM)提供高效和内存优化的推理和服务器引擎。
TypeScript · ★ 101,140 · 🍴 6,396 · 📈 1,543 stars today
Orca is the place for working with a fleet of agents (e.g. Grok Bot, Claude Code). Run any coding agent with your own subscription. Available on desktop, mobile and remote runtime.
中文介绍 Orca 是用于与多个代理(如 Grok Bot、Claude Code)协同工作的平台。支持在桌面、移动和远程环境中运行任意编码代理。
Python · ★ 77,207 · 🍴 5,989 · 📈 477 stars today
Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 20% fewer tokens for coding agents, 60-95% fewer tokens for JSON, same answers. Library, proxy, MCP server.
中文介绍 压缩工具输出、日志、文件和RAG块,减少LLM使用令牌数。适用于代码代理和JSON数据,保持相同答案。
JavaScript · ★ 171,465 · 🍴 9,335 · 📈 2,051 stars today
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
中文介绍 使AI代理思考方式如同最懒惰的资深开发者。实现最佳代码,即你从未写过的代码。
Python · ★ 141,460 · 🍴 16,721 · 📈 914 stars today
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface. The fastest local inference engine in the world.
中文介绍 提供强大、模块化的扩散模型GUI、API和后端,具备图/节点界面,是全球最快的本地推理引擎。
TypeScript · ★ 112,940 · 🍴 16,912 · 📈 509 stars today
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
中文介绍 PostgreSQL开发平台,提供专用PostgreSQL数据库以构建Web、移动和AI应用。
TypeScript · ★ 59,103 · 🍴 9,658 · 📈 105 stars today
The open alternative to Salesforce, designed for AI.
中文介绍 Salesforce的开放替代方案,专为AI设计。
Python · ★ 42,788 · 🍴 7,066 · 📈 570 stars today
Kronos: A Foundation Model for the Language of Financial Markets
中文介绍 Kronos:金融市场语言的基准模型。
Go · ★ 2,337 · 🍴 243 · 📈 396 stars today
freehire — the open-source search engine for job seekers
中文介绍 为求职者提供的开源搜索引擎。
Rust · ★ 12,272 · 🍴 868 · 📈 303 stars today
Solution for long term memory for agent coding CLIs and to facilitate handoff between different agent vendors
中文介绍 为代理编码CLI提供长期记忆解决方案,便于不同供应商之间移交。
Python · ★ 131,535 · 🍴 12,628 · 📈 1,434 stars today
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.
中文介绍 将代码库、文档、SQL模式、配置和PDF转换为可查询的知识图。
👍 4
Training coding agents typically updates the policy while keeping the harness fixed. During training, trajectories reveal flawed repair strategies and interaction problems that vary across tasks and change as the policy learns. We introduce HarnessAdapt-RL, which trains the policy and adapts its har
👍 1
Real-world observations are noisy and often contain excessive task-irrelevant information. Effective world modeling and planning need to abstract observations into world state representations while filtering out irrelevant information. However, encoders in existing world models are typically non-ada
👍 4
LLM agents are commonly trained with RLVR, but the sparse nature of typical RLVR rewards makes credit assignment challenging, especially for long-horizon tasks. We propose Self-Credit, an end-to-end agentic RL method that creates dense supervision signals from sparse outcome rewards using self-gener
👍 3
Geometric Relative Positional Encoding has become the primary mechanism for injecting spatial inductive biases into multi-view transformers. Existing designs condition attention on camera-level frustums or ray-marched depth, associating cross-view tokens through the sensor geometry. Such sensor-cent
👍 4
Despite the success of video world models, extending them to multiple agents is difficult because it requires generating several agent-specific video streams that are consistent in time and between agents. To address this gap, we introduce OverSeer, a multi-agent world model that augments egocentric
👍 17
Computer-use agents are limited by the interfaces humans give them. An agent may type a spreadsheet cell by cell when a single line of code would do, or print all two thousand lines of a file through a shell to find one function. Both the interfaces and the knowledge of when to use each are built by
👍 19
Mixture-of-experts (MoE) models often exceed a single accelerator's memory capacity. Offloading experts to host memory creates a severe PCIe I/O bottleneck because data-dependent routing keeps transfers on the critical path. We present Specter, an inference system that uses quantization to combine s
👍 10
Long-horizon terminal agents may solve a task in one run yet fail across repeated runs. Stochastic errors can propagate through actions and context, creating a gap between capability and reliable execution. We present RiseHarness, a framework for iteratively improving agent harnesses with model weig
👍 14
Decision models support routing, guardrails, and output verification in LLM systems. However, item accuracy alone cannot establish whether models make correct decisions across controlled variations or assign reliable confidence to their predictions. We introduce DecisionPivot, a diagnostic benchmark
👍 1
Diffusion-based video matting has recently emerged as a leading approach, leveraging video diffusion priors from internet-scale pretraining to achieve strong zero-shot generalization from limited synthetic data. However, the heavy compute of these diffusion backbones limits inference to a short chun
👍 7
Modern language models are increasingly asked to handle several tasks within a single prompt. Doing so requires solving each task correctly while integrating the resulting answers into a coherent response. In this paper, we identify a fundamental limitation in this process, where models make substan
👍 5
Recent video generation models produce visually compelling outputs, yet their physical plausibility remains poorly measured. Physical plausibility asks whether generated objects obey geometry, kinematics, dynamics, and conservation laws. Existing benchmarks rely on coarse visual-language model judgm
👍 10
Coding agents can answer analytical questions over a data lake by discovering, cleaning, and joining the relevant data. However, they discard this work after each question and redo it from scratch for the next one. Tool evolution, which automatically builds and refines reusable tools across tasks, i
👍 3
Scaling laws suggest that increasing model size, training data, and compute generally yields monotonic performance improvements. While this often holds at the aggregate level, we present systematic evidence that vision-language models (VLMs) exhibit inverse scaling at the subtask level: specific que
👍 7
LLM agents can improve across tasks without updating model parameters by storing experience from their own executions in external memory and reusing it to guide later decisions. A central design question is whether to retain only observed trajectories and outcomes or also the rules, summaries, and s
👍 18
Drafting an answer allows a reasoning model to reconsider each decision in the context of the others. Yet repeated diffusion denoising does not ensure that individually plausible token updates form a better answer together. We introduce Draft Refinement Language Models (DRLMs), which use a single de
👍 1
Bimanual manipulation with dexterous hands has attracted growing attention in research on robotic action models. However, few studies have developed benchmarks specifically tailored for dexterous manipulation, leaving the dexterous manipulation capabilities of existing models insufficiently characte
👍 5
Neural simulation of high-fidelity deformable bodies is a foundational challenge in computer graphics and physical AI. Long-horizon prediction for high-resolution 3D volumetric meshes is hard: autoregressive methods are prone to error accumulation, while direct multi-frame prediction at native resol
👍 16
We present Épi, an autonomous research agent that sustains investigations across model sessions and evolves its methods through accumulated experience. Épi combines persistent research history, hierarchical memory, branching and independent review to maintain research continuity, learn from experime
👍 59
Model--harness co-evolution has emerged as a prominent paradigm for recursive self-improving (RSI) agents, jointly evolving their execution scaffolds and intrinsic capabilities. We study the persistent yet often overlooked brain--body mismatch problem in this paradigm, where an evolving harness (bod
👍 1
Recent research-level physics-reasoning benchmarks for LLMs reveal a failure mode that lies not in knowledge or execution, but in modeling the world being reasoned about. Models often silently alter given quantities, fabricate laws, or inject unstated assumptions to force a problem into familiar pat
👍 5
We introduce Muse Glimmer, an open-source 30B parameter causal language model with perception encoder, purpose-built for autonomous agentic tasks on consumer hardware. Muse Glimmer integrates multi-step reasoning, reliable tool use and failure recovery into a single model that runs locally on consum
👍 11
Agent scaffolds increasingly delegate small decisions (whether to stop, verify, or change approach) to cheaper models. We ask whether a typed decision model, Jev 1.13, consulted only at deterministic decision points, makes a Claude Sonnet 5.5 terminal agent cheaper without making it worse. In a pre-
👍 3
Large language models often answer factual questions incorrectly in closed-book settings, and such errors are usually attributed to missing knowledge. Yet models often encode answers they fail to produce. We show that many closed-book errors are first-token recall failures: the model commits to a wr
👍 15
Spatio-Temporal Video Grounding (STVG) aims to jointly localize a target in space and time given a natural-language query. Despite continued advances, existing STVG benchmarks remain largely centered on localizing targets through instance-specific descriptions, leaving them largely decoupled from lo
👍 6
Lean verifies that a generated declaration is well typed, but cannot check whether it states what the user intended. We measure how far compilation overstates faithfulness in statement autoformalization without canonical Lean targets. Our criterion requires Lean compilation and agreement of two LLM
👍 8
Agentic capabilities are increasingly important for modern LLMs, yet remain difficult to evaluate during pretraining. Existing approaches typically rely on static trajectory-derived tasks or likelihood-based proxies, which are lightweight but provide limited visibility into how base models behave in
👍 20
3D part assembly aims to reconstruct a complete shape from a set of unassembled parts by predicting a rigid SE(3) transformation for each part. Because the placement of a part is rarely determined by its own geometry, the task demands reasoning over the entire part set, and existing methods, which r
👍 9
Training LLM agents to interact with users over multiple turns is challenging because the learning signal depends not only on the agent, but also on the user simulator and environment, which jointly shape the agent's experience. Simulated users can be stochastic or inconsistent, while environments m
👍 15
Long-horizon tasks require LLM agents to continually draw on information from earlier interactions. However, retaining the full history increases context costs, while compressing it risks losing details needed later, and the relevance of historical information often becomes apparent as the task prog
@HamelHusain · 61.6K 粉丝 · 101.6K 阅 · 1.2K 赞 · 108 转
Co-authored with Antaripa Saha. Decision models have exploded onto the scene recently, starting with TypeSafe’s Jev, followed by Perplexity’s Decider, Liquid’s d1, Cloudflare’s Clef, and OpenAI’s
中文介绍 HamelHusain与Antaripa Saha合作用Decision Models进行评估,介绍了Jev、Decider、d1、Clef等决策模型的使用方法。
How OpenAI works with distribution partners to uphold consistent safeguards, support responsible access, and clarify expectations in our Usage Policies.
中文介绍 OpenAI与合作伙伴合作,通过一致的标准维护安全措施,支持负责任的访问,并明确使用政策中的期望。
中文介绍 NVIDIA Kumo Relational无需训练即可在关系数据上优于监督式机器学习。
中文介绍 通过专业化SLMs的词汇,实际应用中推理成本可降低77%。
AT&T is working with OpenAI to make legal knowledge easier to access. Learn how its LegalEdge team is rethinking intake and scaling legal judgment.
中文介绍 AT&T与OpenAI合作,使法律知识更容易获取,LegalEdge团队重新思考了法律判断的获取和扩展。
中文介绍 在AWS Trainium上对TorchNeuron进行系统级分析。
中文介绍 Granite Speech 5.0可更准确、更快速地转录、翻译和归因。
Claude Mods is an early form of the Attention Interface. It flips the agent harness paradigm from the harness facing the machine, to the harness facing the human.
中文介绍 Claude Mods是早期注意力界面的形式,将代理的 harness 从面向机器转变为面向人类。
From local businesses to global brands, more advertisers can now reach people as they explore, compare and decide what to buy in ChatGPT.
中文介绍 ChatGPT广告扩展至26个新国家,超过10万名广告商已使用该平台。
OpenAI and Google Cloud are bringing frontier models and Codex workflows to Gemini’s Model Garden, available through Google Cloud Marketplace.
中文介绍 OpenAI模型即将登陆Google Cloud,将前沿模型和Codex工作流程带到Gemini的Model Garden。
Patch the Planet connects security researchers, maintainers, and incident responders to help address critical vulnerabilities across open source.
中文介绍 Patch the Planet连接安全研究人员、维护者和事件响应者,帮助解决开源中的关键漏洞。
Learn how OpenAI built ChatGPT’s LLM-powered ad stack to understand conversational intent, keep ads separate from answers, and deliver relevant ads at scale.
中文介绍 了解OpenAI如何构建ChatGPT的LLM驱动的广告堆栈,以理解对话意图,将广告与答案分开,并大规模地提供相关广告。
An open source “bomb” drops from China
中文介绍 中国开源项目DeepSeek DeepInfer每天运行155T toks/集群,日收入2200万美元,利润率约80%,81天收回投资。
Listen now (44 mins) | Paying for outcomes, building with agents, and the last mile of enterprise AI adoption
中文介绍 听Alex Lieberman和CJ Hess讨论Tenex如何构建AI原生SDLC,以及企业AI采用的最后一英里。
See how OpenAI, PerturbAI, and Scripps Research used distributed AI agents to uncover promising research leads in data from millions of brain cells.
中文介绍 OpenAI、PerturbAI和Scripps Research使用分布式AI代理在数百万个脑细胞的数据中揭示新的研究线索。
OpenAI outlines a blueprint for empowering cyber defenders with frontier AI, stronger safeguards, modernized cybersecurity, and more resilient public institutions.
中文介绍 OpenAI概述了一个蓝图,通过前沿AI、更强的保护、现代化的网络安全和更具有韧性的公共机构来赋予网络防御者权力。
Test results after the operation showed that the cancer was localized.
Hotel chaos, transport mishaps and diplomatic blunders cast a spotlight on organisers and the firm hired to deliver the games.
House prices in Sydney are at a two-year low after falling 4.7% in the September quarter, to $1.66m according to Domain report House prices are falling across every capital city for the first time in 15 years and the second time on record, according to figures from Domain’s September Quarter 2026 Ho
The fine is the largest to date against Facebook's owner, larger than an $18bn deal with California.
Russia says it is "ready in principle" to resume peace talks and US President Donald Trump says the world is "the closest we've been" to ending the war.
The participation of US agents in an April drug operation has raised questions about whether Mexico's laws were upheld.
Russia frees Stephen Hubbard after US request while Steve Witkoff praises Putin, wanted by ICC as war criminal, as a ‘humanitarian’ US politics live – latest updates Vladimir Putin ordered the release of an American man from a Russian jail as he met Donald Trump’s envoy Steve Witkoff in St Petersbur
The race between the sister of late Senator Lindsey Graham and Democrat Annie Andrews has tightened in deep-red state.
Since high school students began protesting in France in September, they’ve been joined by young demonstrators in at least seven other European countries.
A jury found Meta guilty of lying to Facebook users in New Mexico about access to their data.
Moscow dispatches its inaugural diesel shipment to the US, aiming to ease fuel shortages as midterm elections loom.
Colombian authorities have seized 7.6 tonnes of cocaine at the Caribbean port of Cartagena
Thélyson Orélien, a celebrated novelist, used artificial intelligence while writing a breakout book, his publisher says.
The 10-foot-long dusky shark, nicknamed “Bukangi,” was successfully guided back to the open ocean after a third rescue attempt.
Some democracies seem caught in a trap: Spend more and risk market panic, or cut benefits and empower the far right.
Oil rose following a deadly attack on a Saudi oil field, raising concerns that escalating hostilities in the Middle East could hit supply even as exports through the Strait of Hormuz have accelerated in recent months.
中文摘要 沙特油田遭袭后油价上涨,中东地区紧张局势升级引发对供应影响的担忧,尽管霍尔木兹海峡出口加速。
EEUU se encamina a las elecciones de mitad de mandato más caras de su historia. Elon Musk vuelve a ocupar un papel central entre los grandes donantes, mientras republicanos y demócratas destinan cientos de millones de dólares a la batalla por el control del Congreso. (Source: Bloomberg)
中文摘要 美国中期选举开支创历史新高,埃隆·马斯克再次成为主要捐款人,共和党和民主党为争夺国会控制权投入数亿美元。
The fine is the largest to date against Facebook's owner, larger than an $18bn deal with California.
中文摘要 Meta因用户数据隐私问题被罚款250亿美元,创下迄今为止最大罚款记录。
Group to create new class of non-voting shares to allow stock sales without diluting the founder’s control
中文摘要 Meta达成协议,尽管面临财富税提案,仍将扎克伯格留在加利福尼亚,将通过新类别非投票股份来允许股票出售而不稀释创始人控制。
Also in today’s newsletter: Elon Musk’s $3.6tn gamble and China’s battery makers race to invest abroad
中文摘要 Elon Musk的3.6万亿美元赌注和中国的电池制造商海外投资竞争成为今日焦点。
Armando Senra, Head of the Americas Institutional Business at BlackRock, said family offices generally view geopolitical tensions as a source of short-term market and allocation effects, rather than a reason for major long-term portfolio changes. He said investors are attentive to current events but
中文摘要 贝莱德美洲机构业务负责人Armando Senra表示,家族办公室通常将地缘政治紧张视为短期市场和配置效应的来源,而非长期投资组合变化的原因。
Join us for a live Ask an Expert Q&A with Richard Waters, the FT’s tech writer at large, and George Hammond, the FT’s venture capital correspondent, at 8am (PDT)/4pm (BST) on Thursday October 22
中文摘要 金融时报将举办一场专家问答活动,探讨Anthropic的IPO是否是AI领域的转折点。
Hong Kong and Singapore are locked in a fight for Asia’s billionaires and fund managers. Now, with an IPO boom and Mainland China’s backing, Hong Kong is making a move with tax exemptions on carried interest. (Source: Bloomberg)
中文摘要 香港和新加坡争夺亚洲富豪和基金经理的资金,香港通过免除附带权益税来吸引投资。
Musk’s carmaker reports flat revenue as it considers merger with SpaceX
中文摘要 特斯拉因汽车销量下降,利润下滑,同时考虑与SpaceX合并。
When economics are downstream from politics.
中文摘要 政治因素影响经济趋势的假设成为讨论焦点。
Kai Liekefett, partner & co-chair of shareholder activism practice at Sidley Austin, and Rebecca Van Derlaske, partner in the shareholder activism group at Olshan Frome Wolosky, join Dani Burger on "Bloomberg Deals." They take us inside what really happens amid activism fights. (Source: Bloomberg)
中文摘要 Sidley Austin的Kai Liekefett和Olshan Frome Wolosky的Rebecca Van Derlaske讨论股东激进主义斗争背后的实际情况。
US healthcare group plans to create standalone public company with $8.5bn in annual sales
中文摘要 美国医疗保健集团计划将婴儿配方奶粉诉讼中心的营养部门独立成为一家年销售额85亿美元的上市公司。
6 回复 · 程序员 节点
7 回复 · 程序员 节点
16 回复 · 程序员 节点
11 回复 · 程序员 节点
5 回复 · 程序员 节点
11 回复 · 程序员 节点
10 回复 · Apple 节点
6 回复 · Apple 节点
114 回复 · Python 节点
20 回复 · Linux 节点
该源今日无内容。