Independent work in mathematics, scientific computing, and reliable software systems—grounded in long-term testing and engineering practice.
An independent notebook by Viktor Mikhalkin. Notes also examine papers, books, and software by other authors through clearly attributed commentary, reviews, and thematic digests.
Test architecture, domain models, property-based and metamorphic testing, observability, and failure analysis.
Structural methods for linear and nonlinear systems, executable numerical certificates, and adversarial experiments.
Geometric integration, Radon-type transforms, sparse reconstruction, and ideas developed through calculation and falsification.
Research fields describe what a question is about. Notes, projects, and publications describe the form and maturity of the work.
An item may appear in more than one field.
August 2025–August 2026 · 5 sources
MCP, A2A, and ACP did not converge into one universal protocol. Their current roles make sense once agent systems are divided by interaction boundary.
Discusses: Agentic Testing: Where Agents Fit in the E2E Testing Stack + 1 more
Slack's agent-driven E2E experiments expose a useful new execution model, but adaptation must remain separate from the authority to declare success.
Discusses: Software Architecture: It Might Not Be What You Think It Is
Pierre Pureur and Kurt Bittner correctly place decisions at the centre of architecture; their importance follows from reversal cost and blast radius.
Discusses: Old and new apps, via modern coding agents
Terence Tao's restored mathematical applets show where coding agents have real leverage—tasks whose outputs remain cheap for an expert to verify.
New and updated notes via RSS, without an account.