Skip to content
View DiadkoShmek's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report DiadkoShmek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DiadkoShmek/README.md

DiadkoShmek

Engineering with evidence — AI systems, runtime reliability and verifiable results

AI-системи · надійність виконання · перевірні результати

English · Результати · Інженерні кейси

Проєкти

  • Evidence-gated Agent Workflows — перевірки підстав, життєвий цикл задач і передача артефактів.
  • AI Ontology — книга, запропонований профіль аудиту й виконувані приклади тяглості та перегляду.
  • Signal Desk — відкриті джерела, рішення людини й передача контексту. Код.
  • STROIKA — архітектурний 3D-переглядач із проєктними посиланнями. Код.

Зовнішні результати

Книга й журнал →

  • Код прийнято: BlackJAX #1068 — стабільність MCMC; Braintrust #2701 — UTF-8 у потоках; Kraft #1227 — повторна ініціалізація skills; FilesDrop #32 · merged — два API-виправлення.
  • TensorLy #695 - single-factor Khatri-Rao: weights/mask; merged.
  • Prime Intellect — підтверджений внесок дослідження у verifiers #2973 та prime-rl. verifiers #2925 — superseded, не злитий.
  • TensorDict — відтворення й тести, відзначені у злитому maintainer fix #3427; наш #3426 superseded.
  • TVM-FFI - мейнтейнерський #898 merged; наш #897 superseded.
  • M7 MCP — технічний аудит із публічним review/triage credit у релізі v3.18.1.
  • Змагання: Zoria / UA SKILLS — призер сезону; CodinGame — Legend, 86/1657 у зрізі 21.10.2026.

Дати, першоджерела й статуси всіх результатів →

Документація

Онтологія Дому · українською · English · PDF

Статус і перевірки

Розробка з AI-інструментами. Прототипи мають окремі контракти й межі; це не історії про впровадження в клієнтів. Для workflow-прикладів: python3 run_proof.py.

Технічні питання — через Issues відповідного репозиторію.

Pinned Loading

  1. evidence-gated-agent-workflows evidence-gated-agent-workflows Public

    Small, runnable examples of AI workflows that stop on missing or conflicting evidence.

    Python

  2. ai-ontology ai-ontology Public

    AI Ontology — research book, proposed continuity-audit profile and reproducible studies of agent memory, evidence and revision.

    Python

  3. talent-research-workflow-prototype talent-research-workflow-prototype Public

    Signal Desk — a public-source research prototype with a human review handoff.

    JavaScript

  4. mae7-viewer mae7-viewer Public

    STROIKA — an architectural 3D review viewer with source-linked facade and material references.

    JavaScript