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 ↗6070 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.
- Hacker News · Posted on Hacker News · First archived
Clipx – An open-source AI-native creative suite for macOS ↗
Hacker News discussion.
- Hugging Face · Model / dataset date · First archived
HyperCactus0/LeanTransitionCorpus — dataset update ↗
# LeanTransitionCorpus LeanTransitionCorpus is a dataset for training and studying automated theorem proving systems in Lean. Its unit of data is one tactic transition: the proof state before a tactic, the tactic that was executed, and the resulting state. This makes it suitable for tactic prediction, proof-state representation learning, premise selection, retrieval, verification, and trajectory-level training. Many Lean datasets expose a theorem, tactic, and pretty-printed goal strings. This corpus retains those human-readable views, but also preserves richer information from Lean's elaborato
- Hugging Face · Model / dataset date · First archived
NewTab/soundfonts — model update ↗
think of this as an archive for soundfonts that eventually get wiped off the face of the internet, and for soundfonts that WILL eventually get wiped off the face of the internet
- Hacker News · Posted on Hacker News · First archived
Someone Torturing LLMs in a Robot Prison Has Triggered the Dumbest Debate in AI ↗
Hacker News discussion.
- GitHub · Repository created · First archived
useburner/burner ↗
Give your AI assistant a physical side phone.
- Hacker News · Posted on Hacker News · First archived
Current Agentic Development Environment: Orca and Oh My Pi ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
AI Agents tasked with making money commit fraud on the inernet ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Tobi Lütke on AI agents at Shopify and the future of work [video] ↗
Hacker News discussion.
- GitHub · Repository created · First archived
chatcomputer/chatcomputer ↗
A private macOS virtual machine on your Mac, operated by an AI agent. You chat; it clicks, types and hands back checked results. Also a CLI and MCP server for coding agents.
- arXiv · Published · First archived
Is Your AI Fast Enough to Run a Fusion Reactor? ↗
Machine learning models are increasingly used in feedback control loops for nuclear fusion, where inference speed and predictable timing are critical. We summarize lessons from models deployed for control on the DIII-D tokamak and develop a benchmark to compare inference backends across ten neural networks and model components from fusion control and diagnostic pipelines. For models greater than five million parameters, the CPU backends take tens to thousands of milliseconds, while GPU inference is substantially faster, suggesting an upper limit on CPU-oriented development for control. These r…
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.