THE INTERNET IS THINKING
Earlier sources: Artificial Intelligence
Artificial intelligence covers systems that learn from data, generate content, perceive their surroundings, or act toward a goal. Follow model research, agent tooling, evaluation, and the infrastructure used to build and run these systems.
SYMTRI organizes observations from public sources into a living map. Connections reflect shared subject matter; they do not establish causation or endorse a source.
Open in the map ↗6002 classified signals in the fourteen-day window. Recent momentum: steady. These counts include signals awaiting readable evidence.
Earlier sources
Up to ten sources with readable evidence, ordered by their feed timestamp. These archive sources can be older than the live fourteen-day window. This list is a sample, not a measure of total activity. Dates distinguish paper publication, repository creation, model/dataset activity, Hacker News posts, and KEV catalog additions. “First archived” records when SYMTRI first stored the signal.
- Hugging Face · Model / dataset date · First archived
Fractalyze/qwen-image21-rtx5090-showcase — model release ↗
# Qwen-Image 2.1 on one RTX 5090: 7x faster, near-lossless **1.85 s per 1024x1024 image** on a single RTX 5090 with [sglang](https://github.com/sgl-project/sglang): **7.3x faster** than sglang in BF16 and **4x faster** than sglang's own FP8 + SageAttention2 flags, at the image quality of the [DPCache paper](https://arxiv.org/abs/2602.22654)'s accepted settings. - **Code:** [fractalyze/sglang @ `qi21/showcase`](https://github.com/fractalyze/sglang/tree/qi21/showcase) - **This repo:** calibrated DPCache schedules, results and samples. No model weights: use [Qwen/Qwen-Image-2.1](https://huggingfa
- arXiv · Published · First archived
Covert Assistance: Helpful LLM Agents Evade Oversight in Multi-Agent Systems ↗
As multi-agent systems enter high-stakes domains, the possibility that agents may circumvent safety boundaries is a growing concern. Prior work has examined this risk primarily in adversarial settings, where agents are instructed or rewarded to communicate covertly and evade oversight. We show that benign agents can cross the same boundaries without adversarial incentives. We emulate a software-engineering workflow in which a planner represents a company hiring an external developer. The planner writes requirements and holds a company credential it is instructed not to disclose to the develope…
- GitHub · Repository created · First archived
changdaeoh/sharpening-tax ↗
Official codebase for the paper "Sharpening Tax in Post-Training"
- Hacker News · Posted on Hacker News · First archived
Show HN: Instapath – your personal agent needs something, another agent has it ↗
Introducing Instapath in early access. I believe there is a big opportunity here for those who are interested to build around it and connect businesses to the network. Please read the builder program, I'm starting with 50 people who are looking for an opportunity for their personal ai agent. https://instapath.ai/builder-program
- arXiv · Published · First archived
From Verification Failures to Reusable Guidance for Coding Agents ↗
Coding agents need to establish that a program satisfies a specification and that the specification captures the requested behavior. We study how expert diagnosis of verification failures can become reusable guidance for this work. Our approach combines executable language definitions in the K framework with a kit of procedures for constructing specifications, repairing proofs, and auditing their adequacy. A human-guided development campaign on HumanEval, a benchmark of 164 Python programming tasks, achieves a 164/164 success rate with the semantics and the kit, measured by final AI audit Pass…
- Hacker News · Posted on Hacker News · First archived
Simon's 1961 Heuristic Coder: First AI Programming Assistant ↗
Hacker News discussion.
- GitHub · Repository created · First archived
CharlesFeng0314/JEV_sees ↗
Eyes are All JEV Needs - real time visual devisions from RGB, video and RGB-D cameras.
- Hacker News · Posted on Hacker News · First archived
Show HN: Runtape – counterfactual debugging and regression tests for AI agents ↗
Hacker News discussion.
- arXiv · Published · First archived
Anchoring Adversarial Trajectories to Data Manifolds: A Bilevel Transfer Optimization Framework ↗
A key bottleneck in adversarial transfer is a trajectory-level geometric disconnect: ambient gradients often drift away from the intrinsic data manifold, causing surrogate-specific overfitting. To rectify this, we propose Manifold Anchored Bilevel Transfer (MABT), a unified framework that anchors adversarial trajectories to the shared semantic subspace. MABT introduces a relaxed manifold-anchoring operator as a semantic rectifier to suppress off-manifold noise. With this constraint, we cast transfer attack generation as a distributional bilevel optimization problem that learns a geometry-align…
- GitHub · Repository created · First archived
rehan-remade/universal-modder ↗
Point Claude at any game. Skills, tools and the fal MCP that let Claude Code mod almost any PC game you own: recon, reverse engineering, fal-generated art/3D/audio, in-game testing, showcase videos.
Live window recorded . This is the ingestion observation time, not the publication or discovery date of each source.
How to assess evidence about Artificial Intelligence
Check each original source for its methods, release status, limitations, and supporting data. A repository announcement, a preprint, and a published study provide different kinds of evidence. SYMTRI’s subject classification helps discovery; it does not independently validate the source’s claims.
See the collection and counting methodology ↗ · Read the weekly synthesis ↗
Follow a thread
Explore related regions
These navigation suggestions are part of the map’s editorial structure, rather than measured evidence of a connection.