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 ↗2290 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
Show HN: OpenArcade – open-source software from the VR arcade I ran for 4 years ↗
Hacker News discussion.
- GitHub · Repository created · First archived
lucaznguyen/COMP1010-Fall26-Python ↗
Open-source repository in TeX.
- Hacker News · Posted on Hacker News · First archived
DBDelve: Fast and modern DB Client made in Rust and gpui ↗
Every DB Client I've used so far falls into two categories: Memory hogs (DBeaver, Beekeeper, Datagrip) Better but paid (TablePlus) I switched to zed from vscode some years back and while my code editor got fast, my db client was always the bottle neck. I had known about GPUI so started building a DB Client in it, to start with I just made it for my own use but kept on adding features so it now has most of the feature you'd expect from a DB client…
- GitHub · Repository created · First archived
Its-Satyajit/proxy-benchmarker ↗
Fast public proxy benchmarker that tests latency, anonymity, reachability, and performance across 50 websites.
- GitHub · Repository created · First archived
Enclave-Labs-Inc/Ontos ↗
Audit-first, in-VPC knowledge-graph runtime with permission-aware traversal and per-fact provenance. Agent-native (MCP). Subset of Enclave.
- GitHub · Repository created · First archived
ahmdd4vd/MotionCraft ↗
Clean, high-taste motion graphics videos made by your AI agent with Remotion. One-command Agent Skill: npx skills add ahmdd4vd/motioncraft
- arXiv · Published · First archived
Jev-Mobile: Jev as an Executor for Mobile GUI Agents ↗
Vision-language models (VLMs) have become a common foundation for autonomous mobile GUI agents, but most existing systems rely on the VLM for both planning and action grounding at nearly every interaction step, leading to substantial latency and model-serving cost. We introduce Jev-Mobile, which shifts this paradigm to low-frequency VLM planning and high-frequency lightweight execution: the VLM specifies local goals, the accessibility tree defines a structured executable action space, and Jev, a fast typed decision model, repeatedly selects actions within this space. This design allows multipl…
- arXiv · Published · First archived
NEUROTESTGEN: Neuro-Symbolic Guided Test Generation with Large Language Models ↗
Ensuring high structural coverage remains a fundamental challenge in automated test generation, particularly for complex software systems where reaching specific lines or branches requires satisfying intricate control- and data-flow constraints. Large Language Models (LLMs) have recently demonstrated strong capabilities in producing human-like test cases; however, they often struggle to generate inputs that satisfy precise path conditions. Conversely, symbolic execution can systematically derive such constraints, but it often fails to construct realistic, executable test cases and is constrain…
- GitHub · Repository created · First archived
bugyal/skeptic ↗
Runs BOTH controls (nop + oracle) across EVERY task in a coding-agent benchmark, classifies the outcome, captures evidence, and lints leaks statically. One binary, zero LLM calls.
- Hacker News · Posted on Hacker News · First archived
Show HN: Whiteboard (YC W26) – An open-source IDE for thoughtful software design ↗
Hello! We’re Sid, Alex, Ketan, and Milan. We’re building Whiteboard ( https://whiteboard.dev.fast/ ), an open-source desktop app where humans and agents can architect software together in a common workspace. Here’s our repo: https://github.com/devdotfast/whiteboard . We were missing the feeling of a “whiteboard session” with another dev where you leave with a deep understanding of a system, so we built this app for ourselves. Whiteboard plugs int…
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.