Tools

PGSimCity, a new open-source visualization tool by Nikolay Samokhvalov, transforms PostgreSQL 18 cluster internals into an interactive 3D city simulation that runs entirely in a web browser.

ProofRun, a new open-source verification tool, launched to give AI coding agents a cryptographic receipt for claims that tests pass.

SugarTrack, a free Android logbook for blood sugar, launches with a strict privacy stance: no account, no internet, no cloud.

The DeadLock ransomware group has adopted decentralized infrastructure, including Polygon smart contracts, to make its extortion operations significantly harder to disrupt, according to Microsoft Threat Intelligence.

Kvcachescope, released on GitHub, is described as a logical memory profiler and state inspector for PagedAttention-based engines like vLLM and SGLang.