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 ↗2055 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.
- OpenAlex · Published · First archived
Beyond the Surface: Towards Feature-Driven Fuzzing on the Chrome Browser ↗
The Chrome browser constitutes a complex software system responsible for processing and rendering diverse web content. Despite extensive testing and security measures implemented by the vendor and the community, the inherent complexity of this system makes the complete elimination of vulnerabilities practically infeasible. Existing DOM and API fuzzing techniques inadequately address the expanded attack surface introduced by Chrome features and extensions, resulting in a substantial number of elusive vulnerabilities remaining undetected. This paper presents Feazzer, an efficient feature-driven…
- OpenAlex · Published · First archived
An Open-Source Simulation Model of a Medical Oxygen Concentrator ↗
Abstract This work presents an open-source dynamic model of a pressure swing adsorption (PSA)-based medical oxygen concentrator, enabling a systematic investigation of its process behavior. The model describes the coupled interaction of the compressor, adsorption columns, valves, and auxiliary volumes, and is based on a one-dimensional isothermal formulation including mass transfer, adsorption kinetics, and pressure drop. The governing equations are discretized using a finite volume approach and numerically solved in MATLAB. Simulation results are compared with experimental data from a commerc…
- OpenAlex · Published · First archived
Testing Computation Pushdown in Distributed Database Systems ↗
Computation pushdown is a critical technique in distributed database management systems (DBMSs), enabling certain operations to be executed closer to the data to reduce network overhead and improve performance. However, its behavior depends on multiple factors beyond the input query itself, such as data distribution and resource utilization. This makes it difficult to validate correctness using only input queries in a black-box manner. Existing testing methods that rely solely on query manipulation cannot effectively control or predict pushdown behavior, and are therefore insufficient. In this…
- OpenAlex · Published · First archived
Towards Understanding the Bugs in Verilator, a Hardware Description Language Compiler ↗
Verilator is the premier open-source Hardware Description Language (HDL) compiler. It transforms Verilog and SystemVerilog designs into optimized C++ or SystemC models, enabling high-speed, cycle-accurate simulation prior to large-scale production. As a cornerstone of the hardware verification ecosystem, the correctness of Verilator is paramount; compiler faults can lead to silent simulation errors or unexpected failures, undermining the integrity of the hardware development lifecycle. Unlike traditional software compilers, HDL compilers manage unique concurrency and synthesis semantics, poten…
- OpenAlex · Published · First archived
Three-Dimensional Continuum Point Cloud Method for Finite-Strain Thermoelasticity ↗
We present applications of the Continuum Point Cloud Method (CPCM) to three-dimensional, geometrically nonlinear thermoelastic problems. A set of partial differential equations that govern the mechanical and thermal responses of a continuous medium was established by employing the conservation of mass, momentum, and energy, enabling analysis of a body and the interacting thermal field. The partial differential equations for the resulting nonlinear field were directly linearized and discretized using CPCM differential operators, yielding a system of algebraic equations. This system was solved i…
- OpenAlex · Published · First archived
Traceable Point-Cloud Inspection of Variable-Diameter Steel Pipes Using Multi-Scale Residual Projection and Field-Oriented Joint Calibration ↗
Surface inspection in continuous steel-pipe production is increasingly expected to provide timely and traceable quality information for downstream review and disposition, rather than only identifying visible defects. This requirement becomes challenging when changes in pipe specification simultaneously alter point-cloud scale and cylindrical surface geometry, while surface disturbances, processing-time constraints, and asymmetric field costs further affect inspection decisions. To address these coupled issues, this study develops a traceable 3D inspection framework that connects point-cloud or…
- OpenAlex · Published · First archived
NSync: Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents ↗
Cloud infrastructure is managed through a mix of interfaces—traditionally, cloud consoles, command-line interfaces (CLI), and SDKs are the tools of choice. Recently, Infrastructure-as-Code/IaC frameworks (e.g., Terraform) have quickly gained popularity. Unlike conventional tools, IaC frameworks encode the infrastructure in a ”source-of-truth” configuration. They are capable of automatically carrying out modifications to the cloud—deploying, updating, or destroying resources—to bring the actual infrastructure into alignment with the IaC configuration. When IaC frameworks are used together with…
- OpenAlex · Published · First archived
Bringing Foundational Verification to Real-World Rust Code ↗
Rust is a modern systems programming language that, thanks to its strong memory safety guarantees, is well-suited to the domain of safety-critical systems. Since memory safety alone is not ultimately enough for safety-critical systems, there have emerged in recent years a number of tools for deductive verification of functional correctness of Rust programs. One recent tool, RefinedRust, is notable in that it both handles unsafe pointer-manipulating Rust code and produces foundational, machine-checked proofs in the Rocq prover. However, RefinedRust is a prototype tool and lacks support for seve…
- OpenAlex · Published · First archived
Rust’s Type Checker Implementation Is Unsound: An Empirical Study on Soundness Bugs in rustc ↗
Rust is claimed to be a type-sound language capable of preventing various undesirable behaviors, including memory bugs. However, rustc, the official Rust compiler, is not immune to defects; it contains soundness bugs, where the compiler accepts programs that should be rejected during type checking. In this work, we present an empirical study of 30 issues that report potential soundness bugs in rustc, collected from the GitHub issue tracker between January 1, 2022 and September 1, 2025. We analyze each issue in depth, focusing on its affected feature, symptom (how the feature is mishandled), co…
- OpenAlex · Published · First archived
Granthi: Higher-Order Quantum Programming via Unitary Wiring ↗
Existing quantum programming languages confine higher-order structure to a classical host while restricting the quantum layer to first-order operations on qubits. This paper presents Granthi, a purely unitary higher-order quantum programming language built on three design commitments: quantum programs are first-class values that may be passed, returned, and coherently composed; additive structure is tag-preserving routing rather than observational branching, so control may remain in superposition; and programmer-facing finite label types with named reversible operations provide domain-level co…
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.