THE INTERNET IS THINKING
Earlier sources: Software
Software turns computational ideas into tools and services. This region follows open source projects, developer tools, programming languages, databases, operating systems, and web and cloud platforms.
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 ↗2044 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.
- arXiv · Published · First archived
MoSE: Mode-Switching Expander for Mixed LLM Training and Inference ↗
AI clusters increasingly run large language model (LLM) inference and training on the same fabric. Prefill-decode (P-D) disaggregation creates key-value (KV) cache transfers between prefill and decode groups, whereas training collectives and all-to-all traffic benefit from near-uniform global connectivity. A static sparse topology can therefore be poorly matched to one of the two traffic patterns. We present Mode-Switching Expander (MoSE), a reconfigurable expander that treats topology design as a fixed-degree edge-allocation problem. MoSE reallocates the same sparse edge budget toward direct…
- Hacker News · Posted on Hacker News · First archived
Postgres with QUIC ↗
Hacker News discussion.
- arXiv · Published · First archived
Trustworthy Runtime Error Healing in Real-World Repositories: A Benchmark and Guardrail ↗
Runtime error healing lets a crashed program continue by generating code that repairs its live runtime state. Recent work shows that LLMs can generate such healing code, but it is evaluated only on small competition programs, and executing LLM-generated code inside a live process raises safety concerns that remain unaddressed. In this paper, we take LLM-based runtime healing toward practical use in real-world repositories. We first build HealBench, a benchmark of 265 runtime errors from 18 real-world repositories, each paired with a reference execution on the patched version. HealBench also pr…
- GitHub · Repository created · First archived
mdpsec/bug-bounty-hunting-prompts ↗
Reusable prompts for a structured, evidence-first bug bounty hunting workflow
- Hacker News · Posted on Hacker News · First archived
I tried Orca and VSCode Agents window: I went back to tmux shortly after ↗
Hacker News discussion.
- 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
Termablo – a Diablo-like terminal roguelike ↗
Hacker News discussion.
- 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
The open-source AI platforms vying to become China's Hugging Face ↗
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 Software
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.