Personal site of Dmytro Zahorodnii, Full-stack Java Developer at EnBW. Articles on mathematics, programming and more.https://dmytrozah.dev/https://dmytrozah.dev/articles/bulp-etymology-through-nlp/https://dmytrozah.dev/articles/bulp-etymology-through-nlp/A personal project about tracing Ukrainian words through dated sources, mining language data, and building an evidence-first tool that can grow with its communities.Tue, 13 Oct 2026 00:00:00 GMTarticlesukrainianetymologynlpaicorporahttps://dmytrozah.dev/articles/terence-tao-ai-and-understanding/https://dmytrozah.dev/articles/terence-tao-ai-and-understanding/What Terence Tao has actually said and done about AI in mathematics, and why I think the real test for AI companies is whether humans can still understand the mathematics their models produce.Sun, 11 Oct 2026 00:00:00 GMTarticlesaimathematicsproofleanformalizationhttps://dmytrozah.dev/articles/principia-mathematica/https://dmytrozah.dev/articles/principia-mathematica/How Russell and Whitehead tried to build all of mathematics from pure logic, and what their attempt taught us about sets, numbers, types and the limits of proof.Sun, 11 Oct 2026 00:00:00 GMTarticleslogicfoundationsset theorytype theoryhistoryhttps://dmytrozah.dev/articles/ai-and-specification-driven-development/https://dmytrozah.dev/articles/ai-and-specification-driven-development/AI assistants are changing what a developer’s day consists of. Why adapting early matters, where the tools fail, and why the specification is becoming the most important artifact we write.Sun, 11 Oct 2026 00:00:00 GMTarticlesaisoftware engineeringspecificationcareerhttps://dmytrozah.dev/articles/kafka-share-consumers/https://dmytrozah.dev/articles/kafka-share-consumers/Share groups (KIP-932) let many consumers read the same partition and acknowledge records one by one. How they work, how they differ from consumer groups, and how to use KafkaShareConsumer from Java.Sun, 11 Oct 2026 00:00:00 GMTarticleskafkajavamessagingdistributed systemshttps://dmytrozah.dev/articles/java-microbenchmarking-jmh-and-new-jeps/https://dmytrozah.dev/articles/java-microbenchmarking-jmh-and-new-jeps/How to measure Java code correctly with JMH, and how virtual threads, compact object headers, AOT caches, the Vector API and lazy constants change what a benchmark actually tells you.Sun, 11 Oct 2026 00:00:00 GMTarticlesjavajvmperformancejmhbenchmarkinghttps://dmytrozah.dev/blog/jvm-reading-list/https://dmytrozah.dev/blog/jvm-reading-list/Books and resources that helped me understand what actually happens when Java code runs.Thu, 08 Oct 2026 00:00:00 GMTblogjavajvmbookshttps://dmytrozah.dev/articles/virtual-threads-in-practice/https://dmytrozah.dev/articles/virtual-threads-in-practice/Java virtual threads make thread-per-request cheap again. Here is how to adopt them, what pinning is, and the habits you should drop.Mon, 05 Oct 2026 00:00:00 GMTarticlesjavaconcurrencyjvmhttps://dmytrozah.dev/articles/fast-fibonacci/https://dmytrozah.dev/articles/fast-fibonacci/Why the naive Fibonacci is exponential, how a 2×2 matrix turns it logarithmic, and a fast-doubling BigInteger implementation that computes F(1 000 000) in a fraction of a second.Fri, 02 Oct 2026 00:00:00 GMTarticlesalgorithmslinear algebrajavahttps://dmytrozah.dev/articles/backpressure-in-project-reactor/https://dmytrozah.dev/articles/backpressure-in-project-reactor/What request(n) really means, how prefetch and limitRate shape demand, and how to choose an overflow strategy when a producer is faster than its consumer.Mon, 28 Sep 2026 00:00:00 GMTarticlesjavareactivereactorhttps://dmytrozah.dev/articles/jvm-bytecode-instrumentation-with-asm/https://dmytrozah.dev/articles/jvm-bytecode-instrumentation-with-asm/Build a tiny Java agent that rewrites classes at load time with ASM and records how long each method takes, and learn the pitfalls on the way.Mon, 14 Sep 2026 00:00:00 GMTarticlesjavajvmbytecodeasm