morluto/rea
TypeScript · ★ 239,939 · 🍴 59,668 · 📈 41,187 stars today
Reverse engineer anything with agents, from app behavior down to native binaries.
中文介绍 rea项目通过智能代理逆向工程各类软件,从应用行为到原生二进制文件,适用于需要逆向工程多种软件行为的开发者。
TypeScript · ★ 239,939 · 🍴 59,668 · 📈 41,187 stars today
Reverse engineer anything with agents, from app behavior down to native binaries.
中文介绍 rea项目通过智能代理逆向工程各类软件,从应用行为到原生二进制文件,适用于需要逆向工程多种软件行为的开发者。
Python · ★ 66,124 · 🍴 7,293 · 📈 3,547 stars today
VoiceStudio is the open-source, fully-local ElevenLabs alternative — voice cloning, voice design, video dubbing, dictation, transcription & audiobook creation in 646 languages.
中文介绍 VoiceStudio是一个开源的语音克隆和设计工具,支持视频配音、语音识别、转写和有声书创作,适用于需要多语言语音处理的应用开发者。
TypeScript · ★ 29,052 · 🍴 2,040 · 📈 946 stars today
Context window optimization for AI coding agents. Sandboxes tool output (98% reduction), persists session memory, and enforces routing across 17 platforms via MCP + hooks.
中文介绍 context-mode项目优化AI编码代理的上下文窗口,通过沙盒工具输出、持久化会话记忆和跨17个平台的路由增强,适用于需要高效AI编码工具的开发者。
Shell · ★ 95,441 · 🍴 10,516 · 📈 70 stars today
Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions.
中文介绍 nvm是一个POSIX兼容的bash脚本,用于管理多个Node.js版本,适用于需要灵活管理Node.js版本的开发者。
Python · ★ 49,272 · 🍴 4,417 · 📈 146 stars today
Turn any AI agent into an AI Scientist. The #1 Agent Skills library for science, used by 250,000+ scientists worldwide. 177 ready-to-use validated skills plus 100+ scientific databases covering biology, chemistry, medicine, and drug discovery. Compatible with Cursor, Claude Code, Codex, Pi, Antigrav
中文介绍 scientific-agent-skills项目将AI代理转变为AI科学家,提供丰富的科学技能库和数据库,适用于全球科学研究和数据分析人员。
Python · ★ 52,439 · 🍴 4,772 · 📈 94 stars today
"CLI-Anything: Making ALL Software Agent-Native" -- CLI-Hub: https://clianything.cc/
中文介绍 CLI-Anything项目旨在使所有软件都支持命令行代理,适用于需要统一命令行接口的软件开发者。
Python · ★ 27,291 · 🍴 1,501 · 📈 2,143 stars today
Independent Auditing of AI Agents. Run by human or the agent itself, to answer the most crucial question in the AI Agent Economy. Is the agent doing what is supposed to do? With iFixAi you can have this answer in less than 120 seconds.
中文介绍 iFixAi项目提供AI代理的独立审计,用于验证代理是否按预期执行,适用于AI代理经济中的审计和合规人员。
Go · ★ 29,348 · 🍴 4,406 · 📈 1,070 stars today
Fully autonomous AI Agents system capable of performing complex penetration testing tasks
中文介绍 pentagi项目是一个完全自主的AI代理系统,用于执行复杂的渗透测试任务,适用于网络安全和渗透测试专家。
Rust · ★ 119,984 · 🍴 18,700 · 📈 205 stars today
Empowering everyone to build reliable and efficient software.
中文介绍 rust项目是一个系统编程语言,旨在构建可靠和高效的软件,适用于系统级编程和性能敏感的应用开发者。
Swift · ★ 10,701 · 🍴 473 · 📈 1,510 stars today
Cross-platform Xcode replacement. Build and deploy iOS apps with SwiftPM on Linux, Windows, macOS.
中文介绍 xtool项目是一个跨平台的Xcode替代品,支持在Linux、Windows和macOS上使用SwiftPM构建和部署iOS应用,适用于iOS开发者和多平台开发者。
C# · ★ 20,185 · 🍴 1,553 · 📈 194 stars today
WinUI app for building smaller, customized Windows 11 images.
中文介绍 tiny11builder项目是一个WinUI应用程序,用于构建更小、定制的Windows 11镜像,适用于系统管理员和Windows爱好者。
Java · ★ 87,405 · 🍴 9,759 · 📈 1,002 stars today
Ghidra is a software reverse engineering (SRE) framework
中文介绍 Ghidra项目是一个软件逆向工程框架,适用于需要分析软件行为的逆向工程师和安全研究人员。
👍 0
Tool-call judges evaluate argument values proposed by LLM agents. We find that they accept a correct value less often when their input holds no reference for it, that is, no text that says what the value should be. This happens when the value is a default value from the function schema that the user
👍 4
Test-time scaling for large language models (LLMs) can involve generating multiple candidate solutions for selection or revising an earlier attempt. To guide selection and revision, we need a verifier that can estimate candidate correctness and provide evidence of failure. In competitive programming
👍 1
Off-policy data in reinforcement learning with verifiable rewards (RLVR) can arise from asynchronous generation, rollout-training mismatch, and response reuse. Token-wise importance weighting avoids multiplying likelihood ratios across a response but generally biases policy gradients. We prove that,
👍 5
System One models choose an agent's next action by scoring a supplied set of options in a single pass. This makes them fast and cheap, but when they choose wrongly there is nothing to inspect: did the model misread what the agent has seen, or read it correctly and still act wrongly? We answer behavi
👍 1
Controlling an acting LLM agent means deciding, at each step of a long-horizon task, whether to trust its next action, abstain, or hand off to a human. That decision needs a per-step confidence signal predicting whether the current rollout will eventually succeed. The agent's own self-reported verba
👍 1
A robot following a multi-step instruction needs to act on the right objects in the right order, even as the scene changes. It must also maintain awareness of task progress and determine when to advance. To address these challenges, we introduce Orchestra, an agent harness that separates task planni
👍 15
Deep research (DR) agents address open-ended information needs through multi-step reasoning, long-horizon web search, and evidence synthesis. However, existing benchmarks primarily focus on academic research or synthetic tasks, leaving DR agents' capabilities in real-world life and professional prod
👍 1
Test-time scaling has enabled LLMs to solve increasingly complex reasoning, discovery, and optimization tasks. However, existing approaches often gather observations while seeking evidence for current hypotheses, then generate new hypotheses conditioned on those hypotheses and their associated evide
👍 1
For video generation in dynamic world modeling, observed static and dynamic content should be efficiently reused to provide conditions for repeated generation at different times and viewpoints. We introduce 4LC, a 4D latent cache with composite visual representations and a flexible spatiotemporal ac
👍 9
We present SWE-MISBEHAVIOR, the first taxonomy and evaluation framework for diagnosing boundary-violating misbehaviors in coding agents. It contains 7.4K human-in-the-loop synthesized samples spanning three layers of agent action space: (i) Code Generation, (ii) File Management, and (iii) System Int
👍 2
Omni-modal large language models (Omni-LLMs) extend LLMs to process heterogeneous modalities (e.g., vision, audio, and IMU signals) alongside language, enabling a broader range of multimodal tasks. Yet we find that these models often fail to express information from non-textual modalities even when
👍 1
Processing multilingual text requires both identifying a broad range of languages and distinguishing the language of each token in inputs containing multiple languages. We introduce MixLID, a token-level language identification model supporting 111 language-script combinations. MixLID follows a two-
👍 10
Vision-language-action (VLA) models show strong potential for end-to-end autonomous driving by leveraging world knowledge and understanding to excel in long-tail scenarios. However, current VLAs have two limitations: 1) Degeneration into vision-action (VA) models. For low latency, regression/flow-ba
👍 1
Recent multimodal large language models (MLLMs) achieve strong results on video question answering, yet often fail to recover the temporal structure that makes a video coherent. They may merge neighboring events, miss single-event progression, or infer implausible relations across events. We study s
👍 13
Reinforcement Learning (RL) has emerged as a key driver for LLM reasoning. This capability is equally pivotal in long-context scenarios---such as long-dialogue understanding and structured data analysis---where the challenge extends beyond consuming tokens to performing rigorous deduction. While exi
👍 29
On-policy self-distillation (OPSD) trains a large language model using supervision from a teacher instantiated from the same model as the student. The teacher is conditioned on privileged information (PI), such as verified solutions. The student, which does not observe PI, learns from the teacher's
👍 25
Vision-language navigation requires agents to follow natural-language instructions to reach target locations, making high-quality language supervision essential. Since human annotation is costly, prior work has explored scalable data synthesis methods. However, existing methods typically either use
👍 1
Multi-robot systems (MRS) offer significant advantages over single-robot platforms by enabling information sharing and coordination for different tasks in complex environments. However, reliable cooperation critically depends on inferring trust over both information sources and their reported hypoth
👍 0
Words are increasingly becoming an interface for action: large language models (LLMs) can now invoke tools, operate devices, and make decisions that affect the physical world. However, current benchmarks largely evaluate LLMs through static text responses, offline tool calls, or simulated tasks, lea
👍 42
AI coding agents now write much of the code that ships, yet whether that code is secure remains unclear. We introduce the Last Secure Code Benchmark, a comprehensive evaluation of secure code generation by coding agents. Built from 150 real vulnerabilities, its 450 tasks span seven widely used langu
👍 10
Contrastive learning has become the standard paradigm for multimodal representation learning, aligning semantically matched pairs while separating mismatched ones in a shared embedding space. Although various contrastive training strategies have been proposed across negative selection, batch constru
👍 51
Determining whether an image is AI-generated does not establish whether the situation it depicts is factually supported. We formulate Image Factuality Assessment: given an image and a generic verification instruction, a system returns a supported or refuted verdict with an evidence-grounded explanat
👍 15
Latent diffusion models enable high-quality video generation, but video VAE encoding and decoding remain computationally expensive. Existing methods use stage-specific lightweight operators, yet either constrain spatial and temporal computation jointly or remove temporal computation altogether, with
👍 0
Intent-based network management automates 6G service lifecycles, but existing fulfilment and assurance approaches require traffic inspection, per-flow tracking, or vendor-internal telemetry. These requirements conflict with privacy constraints in multi-tenant networks and vendor opacity in O-RAN dep
👍 7
Understanding and tracking a dynamic world are fundamental to visual intelligence. Existing video benchmarks provide limited insight into whether models can maintain a coherent understanding of evolving world state. Building such a benchmark from real-world videos is challenging because the underlyi
👍 1
World-action models inherit broad visual and physical priors from video pre-training. However, standard within-video next-frame prediction allows them to rely on appearance shared between the context and future, rather than learning interactions that transfer across scenes and embodiments. We introd
👍 12
Pixel-space world models have recently emerged as a promising approach for GUI agents, predicting future screens prior to execution and subsequently re-perceiving them for action selection. However, this two-stage paradigm faces two key challenges in GUI environments: (L1) the high computational cos
👍 11
Training on broad, unfiltered data enables high-quality image generation, but can also teach models concepts that should not be generated; restricting the training data ensures safety, but reduces quality because examples containing unsafe concepts also provide useful knowledge that is not itself un
👍 1
Work agents operate over digital artifacts to execute professional knowledge-intensive work, requiring training environments that support long-horizon interaction and trustworthy verification. However, hand-crafted environments incur prohibitive engineering overhead that prevents environment scaling
👍 10
Improving embodied agents often focuses on optimizing the underlying model through training, while the surrounding agent harness that controls planning, context, and tool use is typically engineered. We ask whether this harness can instead improve itself directly from experience traces under sparse
@melvindvivas · 6.3K 粉丝 · 209.9K 阅 · 541 赞 · 83 转
I've been using AI coding assistants like Claude Code, Codex, and Cursor for quite some time. They've already changed how I build software, but Grok Bot has changed something else: how I work
中文介绍 分享使用 AI 编码助手 Claude Code、Codex 和 Cursor 的体验,特别是 Grok Bot 如何改变工作方式。
@eglyman · 393.9K 粉丝 · 88.6K 阅 · 724 赞 · 58 转
Last week, David Senra asked me: “How does Ramp move so fast?” Today we’re launching the answer. But before we do, I’d like to tell you why we built it. Giving every employee AI — the best models, the
中文介绍 介绍 Glass 系统,强调通过 AI 为每位员工提供最佳模型,提升工作效率。
@rexsooo · 8.5K 粉丝 · 83.4K 阅 · 703 赞 · 46 转
Adult AI image and video generators, NSFW character chat, anime tools, and AI companions This list covers 35 uncensored or NSFW-capable AI platforms across image generation, video creation, anime, AI
中文介绍 列出 35 个成人 AI 图像和视频生成平台,涵盖动漫工具和 AI 伴侣。
@GottliebEli · 809 粉丝 · 28.9K 阅 · 506 赞 · 37 转
I’ve been making lots of tasks lately. Many poor, some decent, and now finally, a few good. Through this work I’ve gained what I believe to be valuable insights into the task generation process that
中文介绍 探讨如何制作好的强化学习任务,分享任务生成过程中的见解。
@googlecloud · 573.7K 粉丝 · 21.2K 阅 · 502 赞 · 70 转
Last week we announced that Gemini Enterprise has evolved to make it even simpler to get work done, and introduced the Gemini agent, your new universal agent for work. But model intelligence underpins
中文介绍 介绍 Gemini 4 Argon 在 Google Cloud 上可用,旨在解决企业最棘手的问题。
@GoogleAIStudio · 208.3K 粉丝 · 19.6K 阅 · 635 赞 · 45 转
Gemini 4 Argon is now globally available today for developers and enterprises via the API in AI Studio and Gemini platform, for Google AI Ultra subscribers in Google Antigravity, and Google AI Ultra
中文介绍 Gemini 4 Argon 全球发布,为开发者和企业提供解决方案。
@zack0x01_ · 5.3K 粉丝 · 19.3K 阅 · 501 赞 · 71 转
I built an AI agent that hunts bugs while I sleep. Not a chatbot that gives me advice about hacking, an agent on my own server with hands. It maps a target, tests the bug classes I actually care
中文介绍 构建 AI 漏洞挖掘代理,实现睡眠时自动寻找漏洞。
At AI Engineer New York, frontier labs and financial firms explored how to give agents useful autonomy while keeping consequential decisions under control.
中文介绍 AI工程师纽约前沿实验室和金融公司探讨如何在保持关键决策控制的同时赋予代理有用自主性。
How Leash Bio tamed DELs, the assay that traumatizes everyone, and used the data to catch cheating models. And why that same data is perfect for AI agents learning to think like chemists.
中文介绍 Leash Bio通过DELs测试数据捕捉作弊模型,并利用这些数据训练像化学家一样思考的AI代理。
中文介绍 HiRO-ACEv2以较低成本模拟极端天气,分辨率达到3公里。
See how Amp pushes the frontier of what agents can do with GPT-6 Astra, Ultrafast, GPT-Live-1, and Sign in with ChatGPT.
中文介绍 Amp利用OpenAI模型将AI代理应用于代码之外的领域,如GPT-6 Astra、Ultrafast、GPT-Live-1和ChatGPT。
With OpenAI Daybreak, SentinelOne cuts weeks of malware analysis to hours, creating capacity to investigate more threats.
中文介绍 SentinelOne利用OpenAI Daybreak将恶意软件分析时间从数周缩短至数小时。
With GPT-6 Astra and GPT-6.1 Sol, Codex, and Daybreak for cybersecurity, this AI lab builds agents that focus for days and improve with use.
中文介绍 Third Moment Research使用GPT-6 Astra和GPT-6.1 Sol等工具运行10,000个代理超过36小时。
Gemini 4 Argon went GA today, but we already gave it title story 2 weeks ago and most benchmarks, like CursorBench, simply independently confirm their claims.
中文介绍 Gemini 4 Argon正式发布,此前CursorBench等基准测试已独立证实其性能。
Learn how Google DeepMind and GovTech Singapore uses lightweight on-device Gemma models to intercept conversational scams in private chats with zero cloud data egress.
中文介绍 Google DeepMind与新加坡政府合作,开发用于诈骗检测的定制AI模型。
New analysis shows how agentic AI adoption is growing across EU enterprises and small businesses—and where deeper use could unlock more value.
中文介绍 欧盟AI新篇章聚焦于代理型AI的采用,分析显示其在企业和中小企业中增长,更深层次的应用可释放更多价值。
中文介绍 OpenAI开发者被捕,Pi API和OpenCode 2.0发布。
Our first robotics pod with Dyna’s Chief Scientist on their big bet on World Action Models & the Next Frontier of Physical AI
中文介绍 Dyna Robotics推出Dyna-2,具有一小时自主性的通用物理代理。
中文介绍 DeepMind负责任和安全地开发Gemini 4 Argon。
中文介绍 在设备上运行快速、私有的LFM2.5-24B-A2B代理。
中文介绍 DeepMind推出Gemini 4 Argon,用于机器人技术。
中文介绍 Gemini 4 Argon:专为解决最复杂问题而设计。
All of the spots are in South Australia, reportedly because the state government paid for incognito inspectors to visit.
中文摘要 澳大利亚首获米其林星级的11家餐厅均位于南澳大利亚州,据悉州政府支付了匿名审查员前往审查的费用。
Follow the day’s news live. Get our breaking news email, free app or daily news podcast Private health insurance changes ‘recalibrating precious taxpayer dollars’, says Wells The health minister, Mark Butler, yesterday promised to reintroduce a bill to reduce private health insurance rebates for ove
中文摘要 澳大利亚政治新闻:Paterson指责Labor党在参议院对私人健康补助法案表示“藐视”,澳大利亚选举委员会警告人工智能风险。
Our national security and White House correspondent David E. Sanger breaks down why President Donald Trump struck a deal with President Vladimir V. Putin to import Russian diesel fuel in the coming months, despite having signed recent congressional legislation tightening energy sanctions on Russia.
中文摘要 美国总统特朗普与普京达成柴油进口协议,尽管近期签署了加强能源安全的立法。
Ms. Rooney and her publisher said that she could no longer receive royalties from British sales because she pledged to donate book revenues to Palestine Action, which is banned in Britain.
中文摘要 作家Sally Rooney因支持巴勒斯坦行动,其书籍在英国的销售收入将不再获得,因为她承诺将捐赠给巴勒斯坦行动。
Former President Gustavo Petro joined thousands of demonstrators in Bogota in march against austerity, Israel ties.
中文摘要 哥伦比亚反对派团体在波哥大举行抗议,反对de la Espriella的减支政策。
Ukraine says Starlink access has improved but it is still facing speed limits which are disrupting its battlefield "missions".
中文摘要 马斯克表示,乌克兰Starlink服务的限制问题责任在美国,而非其公司。
Shai Hope’s 102 gives West Indies a 24-run series-leveling win over India in fourth cricket T20 as another record falls.
中文摘要 西印度群岛队在第四场T20比赛中以24分击败印度队,将系列赛扳平,Shai Hope的102分创下了新纪录。
A huge attack cut power to 600,000 people in Kyiv, and a Pentagon-funded satellite internet program appeared to be curbed without warning.
中文摘要 乌克兰的卫星使用受到限制,俄罗斯升级行动,乌克兰的电力供应中断,影响60万人。
An Israeli quadcopter drone was filmed dropping a bomb on the outskirts of the village of Zibqin in southern Lebanon.
中文摘要 以色列四旋翼无人机在黎巴嫩边境地区投下炸弹。
With a narrow presidential election looming, President Luiz Inácio Lula da Silva and his allies claim Meta is trying to give his right-wing rival an advantage.
中文摘要 巴西总统Lula指责Meta公司帮助其右翼对手赢得总统选举。
The Trump administration has killed at least 239 people in boat strikes denounced as extrajudicial killings.
中文摘要 特立尼达和多巴哥男子在美国船只袭击事件中丧生,其家属要求追究责任。
Prime Minister Andy Burnham welcomed President Zelensky to Downing Street on Wednesday, as Ukraine's leader looks to shore up his European allies five years into Russia's war on Ukraine.
中文摘要 乌克兰总统泽连斯基与英国首相Burnham会晤,旨在加强乌克兰的欧洲盟友关系。
An orange haze is blanketing Indonesia’s Central Kalimantan as wildfires rage across the province.
中文摘要 印度尼西亚发生大规模森林火灾,导致该国中卡里曼丹省上空出现橙色烟雾。
A bitter generational battle over resources is boiling over as economic growth on the continent stalls.
中文摘要 随着欧洲经济增长停滞,资源争夺的代际之战愈演愈烈。
Clay analysis traces recovered storage jars to early history workshops operating across the Jordan Valley.
中文摘要 在土耳其海岸外发现世界上最早的沉船,通过粘土分析,发现的存储罐可追溯到约旦河谷的早期历史作坊。
Huel CEO James McMaster discusses Danone’s roughly $1.2 billion acquisition of the UK-based meal-replacement and protein-shake maker. He says Huel established local manufacturing and warehouses when it entered the U.S. about eight years ago, and has since grown internationally; the company views Dan
中文摘要 英国食品品牌Huel首席执行官詹姆斯·麦克斯科尔曼表示,达能以12亿美元收购了该公司,并已在美国设立工厂和仓库,实现国际化发展。
Loop Capital is buying $450 million in client assets from Lifeline Capital to expand its wealth management business and serve more athletes and entertainers. Founder, Chairman and CEO Jim Reynolds said the firm encourages athletes to invest in companies and gain ownership rather than rely on short-t
中文摘要 Loop Capital将从Lifeline Capital手中收购4.5亿美元客户资产,以扩大财富管理业务,服务更多运动员和艺人。
Asian stocks were set for declines, tracking a tech-led Wall Street selloff after hotter-than-expected US inflation fueled bets on more aggressive Federal Reserve rate hikes.
中文摘要 亚洲股市预计下跌,受美国通胀高于预期推动,预计美联储将采取更加激进的加息政策。
Oil held a gain as a flare-up in attacks from Russia to the Middle East threatened supply that only recently recovered to near pre-war levels.
中文摘要 俄罗斯对中东地区的攻击威胁到近战前水平的供应,油价因此上涨。
A Canadian consumer lender has left creditors with potential claims of more than C$613 million ($430 million), while a court-appointed receiver struggles to account for the firms’ loans and determine how investor money was used.
中文摘要 加拿大消费者贷款机构Cash Today Inc.因44,000笔贷款消失,债权人可能提出超过6.13亿加元(4.3亿美元)的索赔。
While inflation numbers might not be disastrous, they’re still disappointing and moving in the wrong direction. Bloomberg Opinion columnist John Authers explains where this leaves the US, and if it will lead to any more rate hikes from the Fed. (Source: Bloomberg)
中文摘要 Bloomberg Opinion专栏作家约翰·奥瑟斯认为,虽然通胀数字不令人恐慌,但仍然令人失望,并朝错误的方向发展。
Tech companies face off in court as ChatGPT maker prepares to unveil AI device designed by Sir Jony Ive
中文摘要 作为ChatGPT制造商的OpenAI面临与苹果公司的法庭对峙,因为一名员工被指控泄露了秘密设备信息。
Conservative leader’s intervention comes as investors warn of a potential hit to UK competitiveness
中文摘要 保守党领袖对可能的预算对银行的征税表示“警报”,投资者警告称这可能会影响英国的竞争力。
Oil gained Wednesday as hostilities intensified from Russia to the Middle East, threatening supply flows that only recently recovered to near pre-war levels. Brent traded above $106 after Iran-backed Houthi rebels launched missile and drone strikes across Saudi Arabia, including a hit that damaged S
中文摘要 中东和俄罗斯冲突升级,威胁到供应流动,油价上涨,布伦特原油交易价超过106美元。
Investors rush into Treasuries as sell-off triggers demand for haven assets
中文摘要 随着股市下跌和AI债务恐惧心理,投资者纷纷涌入美国国债,寻求避险资产。
The US stock market’s longest streak of tranquility since before the Covid-19 pandemic is over.
中文摘要 美国股市自新冠疫情前以来最长的平静期结束,因为AI交易下降。
Comprehensive cross-platform coverage of the U.S. market close on Bloomberg Television, Bloomberg Radio, and YouTube with Romaine Bostick, Carol Massar and Tim Stenovec. (Source: Bloomberg)
中文摘要 美国银行因12亿美元的罚款而股价下跌,同时芯片股暴跌。
4 回复 · 程序员 节点
38 回复 · 程序员 节点
16 回复 · 程序员 节点
13 回复 · 程序员 节点
16 回复 · Apple 节点
6 回复 · Apple 节点
4 回复 · Apple 节点
24 回复 · Apple 节点
10 回复 · Apple 节点
10 回复 · Python 节点
该源今日无内容。