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 ↗2046 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.
- GitHub · Repository created · First archived
pennant-dev/pennant ↗
Pennant for macOS: one open-source AI agent that does the work on your Mac, on a schedule, with any model. It asks before it publishes, sends, deletes or spends. Free, Apache-2.0.
- Hacker News · Posted on Hacker News · First archived
Show HN: Symmetric encrypted chat (text, file, audio, video) in browser ↗
https://chat.hesamian.com https://github.com/amir734jj/symmetric-crypto-chat-room I started working on this many years ago and incrementally improved this over-time. The idea is if two people choose a (channel + encryption key) then they should be able to communicate with each other (text, file, audio, video) fully encrypted all in your browser. The "server" just relays the data. It doesn't know what is being send/received. If you join the channe…
- Hacker News · Posted on Hacker News · First archived
Clipx – An open-source AI-native creative suite for macOS ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Rust to WGSL transpiler `wgsl-rs` released ↗
Hacker News discussion.
- OpenAlex · Published · First archived
CAST: A Compiler-Based Framework for Systematically Testing LLM Compositional Safety ↗
Large language models (LLMs) are increasingly used in software pipelines, raising concerns about harmful behaviors in security-critical domains. Existing safety evaluations predominantly probe models with single prompts or short interactions, and therefore do not capture how safety behaves under multi-step workflows where individual requests are composed into complex behavior. This paper introduces compositional safety, the property that an LLM remains safe not only against isolated malicious prompts, but also under structured, long-horizon decompositions of harmful intents. We propose CAST, a…
- OpenAlex · Published · First archived
Research on Yard Segment Allocation of Automated Container Terminals Considering Vessel Arrival Uncertainty ↗
Automated Container Terminals (ACTs) are increasingly challenged by uncertain vessel arrival times, which cause fluctuations in unloading demand and disrupt pre-established yard allocation plans. To address this issue, this study develops a yard allocation model integrating dynamic inventory, main-road capacity constraints, and collaborative yard crane operations. The model jointly minimizes the range of traffic flows across periods and the range of terminal inventory levels across yard segments, aiming to improve traffic smoothness and spatial balance. An Improved Detective Behavior Algorithm…
- OpenAlex · Published · First archived
Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events ↗
Capturing the control-flow and/or coverage profiles of Python code becomes a pressing need for Python development community, which is commonly used in a wide spectrum of tasks including program testing/fuzzing, debugging, understanding, and optimizations. Existing tracing approaches either suffer from prohibitively high overhead or only collect approximate information, which cannot satisfy the practical requirements. In this paper, we propose to leverage modern hardware tracing modules to achieve precise and low-overhead control-flow tracing for Python programs. To this goal, we develop Pyrisc…
- OpenAlex · Published · First archived
AsyncLeakBench: A Curated Benchmark of Asynchronous Resource Leaks in Open-Source Java Projects ↗
Asynchronous programming is widely used in modern Java software, including server-side processing, network I/O, reactive streams, task scheduling, and RPC communication. Unlike synchronous executions, resource creation and release in asynchronous programs are distributed across callbacks, Future/Promise chains, threads, and scheduler boundaries. Consequently, resource lifecycles may depend on execution ordering, races, cancellation, and timeouts, making resource leaks a significant source of performance degradation and reliability failures. Prior research and public datasets have largely focus…
- OpenAlex · Published · First archived
Unpacking AI Agent Participation in Issue-Centered Collaboration in Open-Source Software Development ↗
The increasing participation of AI agents in open-source software development raises questions about their role in collaborative processes. This paper investigates how AI agent participation relates to the structure and outcomes of issue-centered collaboration in open-source software projects. We adopt a process-level perspective by modeling issue handling as sequences of events and extending dynamic issue-pr entropy to distinguish between agent-related and non-agent-related contributions. Using large-scale issue event data from 83 GitHub repositories, we construct a project–month panel datase…
- OpenAlex · Published · First archived
Systematically Cover SQL Syntactic Structures via 𝑘-Sequence ↗
Testing Relational Database Management Systems (RDBMSs) is inherently challenging because SQL, the primary language for interacting with RDBMSs, exhibits a vast and highly complex grammar with hundreds of interdependent production rules in the Extended Backus--Naur Form. While existing grammar-based testing techniques have made progress in covering SQL syntactic structures, they predominantly focus on parent-child relationships in derivation paths, which capture vertical expansions from a non-terminal to its alternatives. However, they overlook an equally critical dimension, sibling-like relat…
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.