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 ↗6030 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
Martin Fowler: AI needs a conscience more than consciousness ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Can AI get out of the way? ↗
Hacker News discussion.
- arXiv · Published · First archived
Complexity-Aware Evaluation of LLM Comprehension ↗
Large language models (LLMs) are increasingly used for software engineering tasks that require understanding existing source code, including behavior prediction, function explanation, debugging, and code review. However, aggregate benchmark accuracy can conceal how model reliability changes as source code becomes structurally more complex. This paper presents a complexity-aware framework for evaluating LLM code comprehension using cyclomatic complexity, nesting depth, branching factor, and Halstead volume. We evaluate DeepSeek-Coder-V2 and Llama through two complementary tasks: automatic input…
- arXiv · Published · First archived
Confidence-Guided Protocol IR for LLM-Aided Security Protocol Modeling ↗
Large language models offer a promising interface for translating natural-language protocol descriptions into formal security models, but their outputs remain difficult to trust without expert validation. In this paper, we present a human-in-the-loop framework for generating Tamarin-verifiable formal models of security protocols. Our key observation is that the main correctness bottleneck is the semantic accuracy rather than the syntactic validity of the intermediate protocol representation. To address this problem, we introduce a protocol intermediate representation (IR) that serves as a huma…
- Hacker News · Posted on Hacker News · First archived
Show HN: Search2o – Search that finds and runs an AI agent for each request ↗
I have been working on search systems for a while, and I always wondered: What if search, instead of matching documents, matched workflows and ran those workflows? I called it “Search that executes” — as opposed to search that retrieves information. When AI agents showed up a few years ago, I realized that those workflows could be agents — capable of understanding a user’s query and taking branches dynamically. That’s when I got excited enough ab…
- Hacker News · Posted on Hacker News · First archived
I can spam anyone about the OpenAI DevDay ↗
The OpenAI DevDay 2026 page has an Email form to "Sign up for livestream". Nothing stops me from entering any random email there. I do not think that is a good design. https://devday.openai.com/
- Hacker News · Posted on Hacker News · First archived
Show HN: 5 mins daily programming quiz to prevent skill rot from AI coding ↗
My daily fata results: TypeScript / Medium ⬛⬛⬛⬛⬛⬛⬛⬛ 2:11 https://fata.app/daily?r=EyoeoEHQxjKMYxjK There are many topics and difficulty level to pick from, choose one and share your results in the thread, no login required.
- Hacker News · Posted on Hacker News · First archived
Building a Skill Interview with AI ↗
Hacker News discussion.
- GitHub · Repository created · First archived
SerendipityOneInc/instinct ↗
Instinct: single-forward-pass decision models (choice / true-false / score) returning a probability per candidate
- Hacker News · Posted on Hacker News · First archived
Anthropic's prospectus details losses, growth, and, yes, a warning that its AI ↗
Hacker News discussion.
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.