Dmitry Vostokov
Dmitry Vostokov
@dumpanalysis.bsky.social
Diagnostician. The Author of Diagnomicon. The Gang of One. Software Surgeon. Machine Learning and AI for Software Diagnostics and Observability. Generative Debugging.
139 followers52 following1.6K posts
Prolog for Pattern-Oriented Diagnostics: Logic Programming for Memory Dump, Trace, and Log Analysis - a book I asked to be written for me, both to brush up on Prolog and to experiment with my pattern languages. Full PDF: www.dumpanalysis.org/prolog-for-p...
The initial version of the Prolog WinDbg extension is out there: github.com/DumpAnalysis... The accompanying book will be published later today. Finally, I resumed work that I started more than 15 years ago... www.dumpanalysis.org/blog/index.p...
Interesting find: The Historiography and Memory of the Crusades in the Modern Arab World (open access) trivent-publishing.eu/home/210-393...
Dictionary of Debugging www.dumpanalysis.org/dictionary-d...
Electronic Design Automation Acronym Dictionary www.dumpanalysis.org/electronic-d...
Linux Coredumps Via Sockets Can Be Much Smaller Now With Sparse Support - Phoronix share.google/GFzYsEgsLuIk...
Diagnostics, Observability, and Debugging in Sciences, Humanities, and Arts: An overview and synthesis of six histories www.dumpanalysis.org/history-diag...
The Ninth Thermidor lnkd.in/p/eamDcXQt
Codesign: Between Code and Design. Codesign with LLMs and the Software Codesigner Profession. www.dumpanalysis.org/codesign-bet... PS. I need to mull this text over...
"Mathematical ideas and notions of quantum field theory" by P. Etingof, AMS, 2026 math.mit.edu/~etingof/boo...
History of Diagnostics, Observability, and Debugging in Engineering Sciences: From control and systems integration to security and resilience www.dumpanalysis.org/history-diag...
Astra on residuality lnkd.in/p/eZgW-pS2
Forms of Computational Death www.dumpanalysis.org/forms-comput...
Endless Endings: The Many Forms of Death and What They Teach Us About Life lnkd.in/p/dxjXSSFm
History of Diagnostics, Observability, and Debugging in Arts: Artistic evidence and the examination of change www.dumpanalysis.org/history-diag...
History of Diagnostics, Observability, and Debugging in Humanities: Humanistic evidence and the examination of interpretations www.dumpanalysis.org/history-diag...
History of Diagnostics, Observability, and Debugging in Social Sciences: Social evidence and the examination of explanations www.dumpanalysis.org/history-diag...
History of Diagnostics, Observability, and Debugging in Formal Sciences: Mathematical arguments and machine checked evidence www.dumpanalysis.org/history-diag...
History of Diagnostics, Observability, and Debugging in Natural Sciences: From recorded observations and laboratory experiments to distributed observatories and computational evidence www.dumpanalysis.org/history-diag...
Version 20 of Five Strands of Diagnostics, Observability, and Debugging now uses my writing style and was rerun through Astra Max and Fable 5.1 Extra, with a few additions and corrections: www.dumpanalysis.org/five-strands...
Visual Dia|gram Language Studio, based on ideas and examples from the "Trace, Log, Text, Narrative, Data" book. I will start using it for new trace and log analysis patterns instead of Visio and see what else I can add or improve. github.com/DumpAnalysis...
Also, The Whole Part thewholepart.com and Gnostic Models gnosticmodels.com