# Mykola Palamarchuk

> Livid Work — personal site of Mykola Palamarchuk, a Staff / Principal-level software engineer (20+ years) working on AI agents, LLMs, ML and data engineering.

## Pages

- [Livid Work](https://www.livid.work/) — Home of Mykola Palamarchuk — software engineer working on AI, LLMs and agentic systems. Projects, writing, and how to get in touch.
  - markdown: https://www.livid.work/index.md
- [About](https://www.livid.work/about/) — A bit more about Mykola Palamarchuk — how I approach engineering and what I'm into now.
  - markdown: https://www.livid.work/about.md
- [Projects](https://www.livid.work/projects/) — Projects by Mykola Palamarchuk — AI and agent experiments, formal verification, data and systems work.
  - markdown: https://www.livid.work/projects.md
- [Blog](https://www.livid.work/blog/) — Writing by Mykola Palamarchuk — notes on software, AI, coding agents, and the projects behind this site.
  - markdown: https://www.livid.work/blog.md

## Projects

- [research-kit](https://www.livid.work/projects/research-kit/) — A kit for doing research with a coding agent — a project's ideas, questions, tasks, findings and cited works kept as checked Markdown in its own repository.
  - markdown: https://www.livid.work/projects/research-kit.md
  - project site: https://research-kit.livid.work/ (index for LLMs: https://research-kit.livid.work/llms.txt)
  - latest release: v0.1.0, 2026-10-26
- [Lean Algorithmic Learning Theory](https://www.livid.work/projects/lean-algorithmic-learning-theory/) — Machine-checked learning theory and algorithmic information theory in Lean 4 — what a bounded observer inside a system can learn about its rules, and what it costs.
  - markdown: https://www.livid.work/projects/lean-algorithmic-learning-theory.md

## Blog posts

- [Building a prototype with a coding agent, milestone by milestone](https://www.livid.work/blog/coding-agent-milestone-workflow/) — A practical workflow for taking an idea to a working proof of concept with an LLM chat and a coding agent — architecture proposal, milestones, and a plan–build–report loop with human sign-off.
  - markdown: https://www.livid.work/blog/coding-agent-milestone-workflow.md

## CV

- [CV](https://www.livid.work/about/cv/) — experience, competencies and education
  - markdown: https://www.livid.work/about/cv.md
  - pdf: https://www.livid.work/about/cv.pdf