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 ↗5996 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
JEV based Effort-router picks Claude Code's reasoning effort for each prompt ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Local-SEO-lint – find local SEO and AI-crawler mistakes in static sites ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
The Future of AI: Five Possible Scenarios – Centre for Future Generations ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Notes on long-running LLM tasks ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
What should we open source in the age of AI? ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
A Vision-Language Model as a Teacher for Bird Vocalization Detection ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
The ACToRS in AI Framework ↗
Hacker News discussion.
- arXiv · Published · First archived
LLM-Assisted Automatic Security Proofs for Cryptographic Protocols: How Far Are We? ↗
Large language models (LLMs) have shown strong potential for assisting software and security analysis tasks, yet their effectiveness in cryptographic symbolic protocol verification remains insufficiently understood. In this paper, we conduct the first systematic evaluation of the capability of state-of-the-art LLMs in cryptographic symbolic protocol verification. To quantify this capability, we propose \textsc{CRoST} (Coverage Rate of Solve Tree), a proof-based metric derived from the verifier's proof skeleton that measures the similarity between generated lemmas and reference lemmas. We then…
- GitHub · Repository created · First archived
Mort1d/motion-graphics-skills ↗
Showreel-grade motion graphics from code, with an original soundtrack for every video. An Agent Skill for Claude Code, Codex, Cursor and other agents.
- Hacker News · Posted on Hacker News · First archived
Show HN: Agentic Engineered Social Connections and Travel App ↗
Hey everyone! I'm just trying to share the app I made that launched this past Saturday on Google Play and the App Store. I work in non-profit and have an MFA in Screenwriting. Despite all this unrelated experience I was able to take an idea I've had in my head for about 4 years and bring it to life in 90 days with the help of Codex and Claude. I hadn't touched anything related to coding since probably the Myspace days and that definitely doesn't…
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.