morluto/rea
TypeScript · ★ 103,235 · 🍴 22,640 · 📈 25,585 stars today
Reverse engineer anything with agents, from app behavior down to native binaries.
中文介绍 使用代理逆向工程各类软件,从应用行为到原生二进制文件,适用于软件逆向工程师。
TypeScript · ★ 103,235 · 🍴 22,640 · 📈 25,585 stars today
Reverse engineer anything with agents, from app behavior down to native binaries.
中文介绍 使用代理逆向工程各类软件,从应用行为到原生二进制文件,适用于软件逆向工程师。
C++ · ★ 30,035 · 🍴 2,580 · 📈 3,977 stars today
Tool for automatic PS5 executables porting to Linux and Windows
中文介绍 自动将PS5可执行文件移植到Linux和Windows的工具,适用于游戏开发者和系统移植人员。
Rust · ★ 17,799 · 🍴 2,914 · 📈 2,956 stars today
ArtCraft is an intentional crafting engine for artists, designers, and filmmakers
中文介绍 为艺术家、设计师和电影制作人员提供的创作引擎,支持多种工艺设计。
HTML · ★ 50,299 · 🍴 3,196 · 📈 1,083 stars today
Editorial diagram design for Claude Code, Codex, GitHub Copilot, Cursor, Factory Droid, and Pi. 44 diagram types. Self-contained HTML + SVG. No shadows. No Mermaid slop.
中文介绍 适用于多种代码和编程工具的图表设计编辑器,提供44种图表类型,适用于技术文档编写。
JavaScript · ★ 51,629 · 🍴 10,369 · 📈 872 stars today
A spy satellite simulator in your browser, except the data is real. Live open source spatial intelligence on a photorealistic 3D globe.
中文介绍 浏览器中的间谍卫星模拟器,提供真实数据,适用于地理信息系统和空间数据分析。
Python · ★ 104,471 · 🍴 32,112 · 📈 314 stars today
Tensors and Dynamic neural networks in Python with strong GPU acceleration
中文介绍 Python中的张量和动态神经网络库,具有强大的GPU加速,适用于深度学习研究。
Jupyter Notebook · ★ 36,456 · 🍴 3,817 · 📈 541 stars today
AirLLM 70B inference with single 4GB GPU
中文介绍 在单个4GB GPU上实现70B推理的AirLLM模型,适用于大规模语言模型研究。
Assembly · ★ 74,233 · 🍴 8,099 · 📈 581 stars today
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
中文介绍 阿波罗11号指令和登月模块的原始导航计算机(AGC)源代码,适用于历史研究和航天爱好者。
👍 5
Diffusion and autoregression (AR) have long been seen as different categories of generative models, with diffusion specialising in continuous fields and AR specialising in discrete tokens. Recent work seeks to combine the advantages of the two models, and each hybrid fixes its decoding schedule by d
👍 14
Long-horizon coding agents need timely corrections, yet feedback can be ineffective or even harmful when it misjudges ongoing work or fails to address the underlying problem. Existing critics focus on evaluating trajectories and generating feedback, but rarely track what happens after feedback is de
👍 5
Agent skills are SKILL.md instructions and scripts that AI coding agents such as Claude Code and Codex run with the permissions of their user. Developers share skills by copying them between repositories, which makes them a software supply chain without a registry, versions or provenance. The origin
👍 7
In this work, we show that a single Transformer block, applied recurrently, can match the accuracy of a full-depth vision encoder at comparable inference FLOPs without intermediate feature distillation. reViT restores depth-specific transformations by representing the FFN at each recurrent depth as
👍 8
Black-box optimization (BBO) arises in many scientific and engineering problems where objective evaluations are expensive and limited. Recent large language model (LLM) agents offer a new way to approach BBO by combining task semantics, computation, optimization tools, and feedback-driven decision m
👍 35
Learning to act in unfamiliar environments requires agents to infer how the world works and revise that understanding as new evidence arrives. Yet limited observations can support multiple world models that explain past interactions but predict different outcomes in unseen states. We introduce Memen
👍 38
Long-horizon agents compact their history to continue within a finite context window, but a textual summary alone may not support every subsequent decision. We introduce REMORY, a neural memory network that supplements the summary with a bounded sequence of soft memory tokens. Given the history and
👍 5
When a coordinator compares answers from heterogeneous foundation models, self-reported confidence may have different meanings across responders and changing workloads. This paper presents MARGIN (Multi-Agent Runtime Grading via Incremental Normalisation), a runtime calibration method that learns mo
👍 74
Reinforcement learning (RL) is the central training paradigm for advancing large foundation models towards self-improvement. This report introduces the MiMo-V2.6 series, an omni-modal family that pushes the frontier of model intelligence by scaling RL compute. Prior to RL, we conduct mid-training on
👍 42
This is a book about large language models. As indicated by the title, it primarily focuses on foundational concepts rather than comprehensive coverage of all cutting-edge technologies. The book is structured into six main chapters, each exploring a key area: pre-training, generative models, prompti
👍 7
We propose BrickBench, a benchmark for agentic text-conditioned LEGO-set design. Given a prompt, an agent is tasked with producing an assembly that not only satisfies semantic and design criteria, but that can also be physically built. To do so, it must select parts from a discrete library and reaso
👍 15
Multimodal large language models (MLLMs) are rapidly evolving toward continuous audio--visual reasoning, creating an urgent need for evaluations that expose their capability limits. Audio--visual captioning is an ideal diagnostic task, yet current benchmarks face a coupled trade-off: whole-caption s
👍 8
When retrieved evidence contradicts an agent's prior beliefs, does it revise its answer, acknowledge uncertainty, or persist with an incorrect conclusion? Existing evaluations of agentic systems focus primarily on task success, offering limited insight into how agents handle such conflicts. We propo
👍 4
This work examines the transfer of a co-evolved communication mechanism between two robotic agents from a discrete two-dimensional (2D) simulator to a three-dimensional simulator with real physics (3D). The study focuses on whether a communication mechanism co-evolved in a 2D environment retains its
👍 8
Text-to-music systems produce increasingly convincing audio, yet evaluation reveals little about whether the result matches user intent. A global text-audio relevance score can overlook the implicit intent in underspecified prompts and mask failures in specific requirements, such as instrumentation,
👍 6
On-policy distillation (OPD) strengthens language-model reasoning, yet whether students acquire new factual knowledge or compositional skill for multi-step reasoning remains unknown. We separate these capabilities using a controlled synthetic framework that measures the student's initial capabilitie
👍 6
Large language models (LLMs) are increasingly relied upon to support ambient documentation and clinical reasoning. Here we examine the impact of a failure mode shared between these two applications by assessing their sensitivity to information incidental to the patient encounter. In 576 patient-clin
👍 6
Large language models (LLMs) and vision-language models (VLMs) are usually frozen after deployment, so they do not learn from the cases they solve. This is especially concerning in medicine, where new clinical evidence, updated guidelines, and new therapies can change established practice. Fine-tuni
👍 7
Diffusion large language models (DLLMs) generate text through iterative block denoising, and multi-branch speculative decoding accelerates this process by verifying a main branch together with multiple draft branches in a single forward pass. While prior DLLM acceleration methods primarily exploit t
👍 8
Recent AI systems have made rapid progress in scientific discovery when given well-defined metrics, but whether they can autonomously undertake open-ended scientific discovery remains unclear. We investigate AI's ability to tackle open-ended tasks in Station, an open-world environment in which multi
👍 6
Sparse GNN training reduces computation, but deciding which edges to keep can be costly. Reusing one sparse graph is cheap, but locks training to a fixed topology, while varying it across epochs can require repeated sampling or recomputation. We introduce EDiS (Edge-Disjoint Subgraph sparsification
👍 39
Large language models are informing decisions with ever-higher stakes. As the consequences of their errors grow, a central question becomes harder to ignore: how much can we trust an individual answer? Yet recognizing when to defer remains difficult because language models can present incorrect conc
👍 7
While vision-language-action (VLA) models have advanced rapidly, running them at every control step remains expensive. Prior work accelerates VLA inference using techniques like action chunking and visual-token pruning, typically evaluating based on latency and average task success. However, acceler
👍 5
Language-guided panoramic video generation benefits various downstream applications, such as interactive 3D scene exploration, virtual reality experiences, and embodied agent training. Existing panoramic generators follow predefined trajectories, and interactive world models act through low-level ac
👍 5
Reasoning traces improve large language models (LLMs), but current models are trained to reason mostly in English. It has been shown that forcing a model to reason in another language degrades accuracy, even when the reasoning language matches the language of the prompt -- but only for a setting whe
👍 4
This work evaluates the direct transfer of a co-evolved communication protocol from a 2D simulation to a 3D physical environment, without retraining the network weights. Two e-puck-type robots, controlled by a GRU network with residual connection, were evaluated in a food-seeking task with social si
👍 5
Reinforcement learning (RL) has become a key paradigm for enhancing the reasoning of large language models, yet the high dimensionality of parameter updates makes its training dynamics hard to analyze. We study reinforcement learning with verifiable rewards (RLVR) and use vector steering to identify
👍 12
Reinforcement learning from verifiable rewards (RLVR) frequently reuses rollouts across multiple policy updates, increasing the mismatch between the current policy and the data-generating policy. We identify a sign-dependent gradient starvation problem in clipped policy optimization: clipping suppre
👍 5
Urban uncrewed aerial vehicle (UAV) vision-language navigation (VLN) requires agents to follow instructions across extended urban spaces, inherently demanding long-term memory and geospatial grounding. However, scaling existing benchmarks remains difficult because of their reliance on costly reconst
👍 7
Tool-calling agents have become central to enterprise AI, yet training and evaluating them at scale remains severely constrained due to business and legal restrictions on enterprise systems, data, and database schemas. Tabular data synthesis offers a natural alternative, but its effectiveness is fun
@satyanadella · 9.6M 粉丝 · 448.2K 阅 · 1.3K 赞 · 183 转
As traditional software systems were being deployed across the economy over the last few decades, we had the tools and capability to trace behaviors to a specific code path. That same kind of
中文介绍 纳德拉探讨超级智能时代模型作为内部风险的问题,指出传统软件系统追踪行为的能力在智能时代面临挑战。
@sermakarevich · 1.0K 粉丝 · 30.6K 阅 · 504 赞 · 80 转
An article for engineers who ship agents built on large language models (LLMs): systems that call tools, change records, and act on a customer's behalf over several steps. After reading it you will be
中文介绍 瑟梅卡雷维奇分享工程师如何评估基于大型语言模型的AI代理是否完成工作及其可靠性,提供实用评估方法。
Tomorrow and Tuesday. If you see this you’re in!
中文介绍 Latent Space将举办纽约订阅者聚会,时间为明天和周二。
Inside Standard Bots’ AI stack, pretrained models learn factory tasks from demonstrations and improve through corrections from real deployments.
中文介绍 Standard Bots展示了其AI堆栈,通过演示和实际部署中的纠正来学习工厂任务。
Wow.
中文介绍 TypeSafe/Jev在推出3周后达到超过1亿美元的收入和75亿美元的估值。
From the Bitter Lesson of AI scaling to the unsolved mysteries of protein folding, Google DeepMind’s Pushmeet Kohli and Biohub’s Sal Candido are rethinking what it takes to build AI that truly understands biology.
中文介绍 Google DeepMind的Pushmeet Kohli和Biohub的Sal Candido正在重新思考构建真正理解生物学的AI所需条件。
中文介绍 Hugging Face博客讨论了GPU集群的有效调度。
Ever since people first seriously contemplated giving machines an intelligence modeled on our own, there has never been any question that they would, like us, be able to say no. The sci-fi canon is full of stories of robotic disobedience. Most of these capers are, of course, cautionary. But recently
中文介绍 MIT Tech Review AI指出,人们对AI拒绝能力的信任过多。
Discover how Sophos uses OpenAI’s Daybreak to cut cyber-threat investigation time by 96% and automate 52% of MDR cases while preserving human oversight.
中文介绍 Sophos利用OpenAI的Daybreak将网络安全威胁调查时间缩短96%。
Using GPT-6 Astra in Codex, Asana made its browser agent 76x cheaper and 5x faster in tests to offer customers more capable models.
中文介绍 Asana使用GPT-6 Astra将浏览器代理的成本降低了76倍。
Friday, October 16, 2026 Can AI design new life forms? In 2025, Stanford University PhD student Samuel King came up with a preliminary answer when he used a generative AI model to propose genetic blueprints for microscopic viruses. It isn’t yet an example of AI-generated life, but that could be next
中文介绍 MIT Tech Review AI将举行关于AI设计病毒创造者的圆桌讨论。
中文介绍 TLDR AI介绍了GPT-6.1 Ultrafast、Gemini universal agent和speculative decoding。
a quiet day.
中文介绍 Latent Space报道今天没有发生太多事情。
A special Science pod and Engineering pod crossover.. with Forward Deployed Engineering kicker!
中文介绍 Periodic Labs的Liam Fedus和Ekin Dogus Cubuk探讨了从半导体到超导体的合成超级智能。
Across recruiting, engineering, and operations, Oracle turns specialist knowledge into fast, repeatable workflows with ChatGPT Work and Codex.
中文介绍 Oracle利用ChatGPT和Codex将工作日缩短到分钟。
With GPT-5.6, GPT-6 Astra, and GPT‑Image‑2.5, Pollo AI helps creators turn bold ideas into detailed images and cinematic video ads.
中文介绍 Pollo AI利用OpenAI将创意想法转化为详细图像和视频广告。
LegalOn cut estimated daily Codex costs by 65% while maintaining development speed. It matched Astra, Sol, and Luna to tasks and managed budgets strategically.
中文介绍 LegalOn将Codex成本削减了一半,同时保持开发速度。
At least one person was killed in the Saudi capital, Riyadh, kingdom authorities said. The Houthis said Saudi aircraft hit the Yemeni capital’s airport.
中文摘要 沙特首都利雅得机场遭胡塞武装袭击,造成至少一人死亡。
Follow the day’s news live Get our breaking news email, free app or daily news podcast Labor not watering down 30% tax on discretionary trusts, says assistant treasurer The assistant treasurer, Daniel Mulino, says Labor is not watering down proposed changes to put a minimum 30% tax on discretionary
中文摘要 澳大利亚工党助理财长丹尼尔·穆利诺表示,工党不会削弱对可自由支配信托的30%税收提案。
Saudi authorities say a Pakistani national was killed and several people injured in a second strike on Riyadh’s Airport.
中文摘要 沙特当局表示,在利雅得机场的第二次胡塞武装袭击中,一名巴基斯坦国民被杀,多人受伤。
Decision to livestream Nidal Hasan execution has led to harsh criticism and warnings that it could encourage violence.
中文摘要 美国国土安全部长表示,直播处决事件没有风险。
CCTV footage shows the moment of a Russian strike on a residential street in Kharkiv, Ukraine.
中文摘要 CCTV录像显示,俄罗斯空袭乌克兰一家杂货店。
The Saudi capital has been hit by multiple attacks from the Iran-backed Yemeni group over the weekend.
中文摘要 沙特首都利雅得机场再次遭到胡塞武装导弹袭击,造成一人死亡,11人受伤。
Second boy, 16, also charged in relation to the stabbing death of a 30-year-old man in Mount Druitt Get our breaking news email, free app or daily news podcast A 13-year-old boy has been charged with murder after a man was stabbed to death in Sydney’s west on Friday. Emergency services were called t
中文摘要 一名13岁男孩在悉尼西部因涉嫌谋杀被起诉,另有一名16岁男孩也被指控与一名30岁男子被刺死有关。
Unidentified projectile strikes King Khalid airport, killing one and injuring 11, as escalating attacks threaten to draw more countries into Yemen conflict Analysis: attack will force rethink of Trump strategy A projectile hit a passenger terminal at the airport in Riyadh on Sunday, the day after a
中文摘要 沙特当局表示,利雅得机场遭到不明飞行物的袭击,造成一人死亡,11人受伤,这加剧了也门冲突。
CCTV footage released by Al Arabiya shows the moment of a Houthi strike on Riyadh’s international airport on Saturday.
中文摘要 阿拉伯卫星电视台发布的CCTV录像显示,胡塞武装周六对利雅得国际机场发动袭击。
Zelensky says Kyiv would support such a truce. Moscow has yet to comment.
中文摘要 乌克兰总统泽连斯基表示,基辅将支持特朗普提出的“能源休战”声明,但俄罗斯尚未发表评论。
As attacks continue to mount on shipping vessels transiting the Strait of Hormuz, a seafarer's union official says some crews are being offered big rewards for making the crossing.
中文摘要 随着霍尔木兹海峡对船只的袭击持续增加,海员工会官员表示,一些船员被提供高额报酬以穿越海峡。
Madi Bolanos and Anna Sussman's new podcast We Are Jane Doe, by KQED and Snap Studios, investigates rampant sex abuse at the Central California Women's Facility in Chowchilla, Ca.
中文摘要 新播客《我们是简·多伊》揭露了加利福尼亚中央女子监狱普遍存在的性虐待。
NPR's Joel Rose speaks with Ukrainian Minister of Parliament, Oleksandr Merezhko, about the U.S.'s diesel deal with Russia will impact Ukraine.
中文摘要 乌克兰议员奥列格·梅热日科称,美国与俄罗斯达成的柴油交易是对乌克兰的背叛。
Neither Egypt nor Sudan has commented on the alleged strikes on an artisanal mining camp on Saturday.
中文摘要 据人权组织称,在埃及-苏丹边境的打击中,数十名淘金者被杀。
Construction crews were seen trying to block waves entering homes along California's coast
中文摘要 随着挖掘机试图保护加利福尼亚的房产,巨浪冲进家园。
One in 10 scams reported to Citizens Advice relate to fraudsters charging for work not done, or done badly.
中文摘要 Citizens Advice报告显示,每十起诈骗中有一起涉及欺诈者收取未完成或完成质量差的工程费用。
People are increasingly falling behind on credit card repayments, so here's the best way to get debt advice.
中文摘要 越来越多的人无法按时偿还信用卡,BBC Business提供获取债务建议的最佳方式。
People are increasingly falling behind on credit card repayments, so here's the best way to get debt advice.
中文摘要 越来越多的人无法按时偿还信用卡,BBC Business提供获取债务建议的最佳方式。
Both Republican and Democratic lawmakers have criticised the deal, which was announced weeks before the US midterm elections.
中文摘要 特朗普计划从俄罗斯进口柴油引发共和党和民主党议员批评,该计划在中期选举前几周宣布。
New Zealand’s ruling National Party says the nation’s debt burden and budget deficit mean now is not the time to cut taxes.
中文摘要 新西兰执政的国家党表示,由于国家债务负担和预算赤字,现在不是减税的时候。
Brad Smith calls for global rules on AI, and says the UK is in the "best position" to lead the charge.
中文摘要 微软总裁布拉德·史密斯呼吁全球对人工智能制定规则,并表示英国处于领导地位的最佳位置。
The impact of the Iran war poses significant risks for the government’s spending plans, the Institute for Fiscal Studies says.
中文摘要 伊朗战争对政府支出计划构成重大风险,英国预算研究所警告。
Prime minister and chancellor to meet chief executives and lobby groups after complaints about lack of detail on plans for economy
中文摘要 英国首相和财政大臣将与企业高管和游说团体会面,以解决对经济计划细节不足的投诉。
Prime minister’s pledge is backed by tech groups but hedge funds and banks say it will damage competitiveness
中文摘要 首相承诺取消非竞争条款得到科技集团支持,但对冲基金和银行表示这将损害竞争力。
Automatic enrolment worked for pensions — a similar scheme could pool the risk of heavy costs from illness and infirmity in later life
中文摘要 自动登记制度对养老金有效,类似的计划可能有助于分担晚年疾病和残疾带来的高额成本风险。
UK Chancellor of the Exchequer John Healey must find £35 billion ($46 billion) to meet the Labour government’s spending ambitions, the Institute for Fiscal Studies warned ahead of the budget later this month.
中文摘要 英国财政大臣约翰·海利必须找到350亿英镑(460亿美元)以满足工党政府的支出目标,英国预算研究所警告。
US equity-index futures extended their gains after oil reversed an early advance that was triggered by Houthi attacks on Saudi Arabia.
中文摘要 美国股票期货继续上涨,油价抹去早先因也门胡塞武装对沙特阿拉伯的袭击而引发的涨幅。
12 回复 · 程序员 节点
2 回复 · 程序员 节点
13 回复 · 程序员 节点
19 回复 · 程序员 节点
2 回复 · 程序员 节点
6 回复 · Apple 节点
17 回复 · Apple 节点
4 回复 · 程序员 节点
69 回复 · Linux 节点
5 回复 · Apple 节点
该源今日无内容。