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 ↗2301 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
Linux support is coming to Snapdragon X2 series ↗
Hacker News discussion.
- GitHub · Repository created · First archived
packetinspector/jellybeam ↗
Native Android TV client for Jellyfin. Kotlin/Compose over a Rust core, Direct Play first.
- GitHub · Repository created · First archived
ollaya-dev/ollaya ↗
Run open decision models locally: pull and serve Laya, decider, NLI and GLiClass behind a TypeSafe-compatible API. Ollama for decision models.
- Hacker News · Posted on Hacker News · First archived
We just shipped support for the ugliest part of HTTP: Vary ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
VSCode's SSH Agent Is Bananas (2025) ↗
Hacker News discussion.
- GitHub · Repository created · First archived
Arturo-Quiroga-MSFT/azure-architecture-diagram-builder ↗
AI-powered Azure Architecture Diagram Builder with interactive workflow explanations, ARM template import, and export capabilities
- GitHub · Repository created · First archived
keithadler/leanstudio ↗
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
- GitHub · Repository created · First archived
ascendedent/8bitdo-Linux-Software ↗
8BitDo Linux Software: what Ultimate Software sends to 8BitDo pads, what their firmware answers, and read-only Linux tools to build a config tool on
- GitHub · Repository created · First archived
Jwuthri/SelfJev ↗
Open decisions model with Jev's API: typed answers (yes/no, choice, score, multi) with probabilities from forward passes, no generation. Qwen3.5-4B + LoRA, one GPU.
- Hacker News · Posted on Hacker News · First archived
Show HN: I built a post-mortem debugger for native Windows x64/x86 crashes ↗
Hello HN! I've spent years debugging Windows crashes with tools that were either friendly but limited (e.g. Visual Studio) or powerful but archaic (e.g. WinDbg). I developed patterns and methods for understanding what was going on, and decided to build it into a much more effective debugging tool called ForensicDbg. I built a modern interface to minimize the friction when debugging. All of the data shown to you is analyzed, interpreted, and…
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.