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 ↗2049 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
Linus Torvalds is using AI to develop Linux kernel code now ↗
Hacker News discussion.
- GitHub · Repository created · First archived
tangency-labs/fieldcraft ↗
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- GitHub · Repository created · First archived
vryan95/rustyprint ↗
HTML and CSS to PDF, with a layout engine written in Rust. No browser, deterministic output, safe for untrusted input. Use it as a CLI, HTTP service, Ruby gem, NuGet package or Rust/C library.
- arXiv · Published · First archived
AegisAsync: Symbolic Async-Event Simulation for Risks in Python Asynchronous Programs ↗
Security and robustness risks in Python async programs depend on event order, object identity, and execution after exceptions or cancellation. Detecting these risks requires connecting related operations across function calls and tracking their effects along execution paths. We present AegisAsync, a bytecode-based analysis of Python async risks for CPython 3.10-3.14. Its Async Event Transition Graph combines bytecode control flow, resolved calls, async events, and symbolic object relations. Bounded path-local simulation tracks event order and object states and explores cancellation at await su…
- Hacker News · Posted on Hacker News · First archived
A browser animation app I built for my little sister ↗
Hacker News discussion.
- Hacker News · Posted on Hacker News · First archived
Show HN: Deslop – Oxlint rules for AI-generated TypeScript ↗
Catches unsafe types, duplicate code, and low-value tests.
- GitHub · Repository created · First archived
seandavi/quarto-revealjs-live-questions ↗
Live audience polls, quizzes, word clouds and rating scales for Quarto revealjs slides, with a self-hosted Cloudflare Workers or Docker server
- Hacker News · Posted on Hacker News · First archived
Show HN: Pippin – macOS High-Performance Screen Sharing Client for Linux ↗
Hi HN, I built pippin, a native Rust client for macOS's "High-Performance" Screen Sharing mode on Linux. There are lots of options that can get you usable, high resolution remote access to macOS from non-Apple devices, but until recently there were no options that did not require installing and maintaining a server on your Mac. Apple normally restricts High-Performance Screen Sharing (HEVC 4:4:4 video, system audio, and dynamic display resizing)…
- GitHub · Repository created · First archived
UnkAtreus/ice-rust ↗
A Rust port of Ice by Jordan Baird: macOS menu bar manager with hidden sections, Always-Hidden, Ice Bar and drag-and-drop layout
- GitHub · Repository created · First archived
JonathanQUANLEE/JobKoi-AI ↗
JobKoi-AI (求职锦鲤) · 全智能求职锦鲤助手 ｜ 基于 AI 智能管家驱动的 BOSS直聘/猎聘/51Job 全流程拟人化自动化投递与求职提效神器
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.