Hi, I'm Henrik Tscherny — a curious mind exploring the intersection of computer science, mathematics, and ideas that make you think differently.
I'm interested in understanding how things work — especially when the answer isn't obvious.
I enjoy working on problems where precision matters, assumptions need to be questioned, and elegant ideas can make complicated systems easier to understand. My interests span theoretical computer science, mathematical reasoning, and building useful tools.
Outside any single discipline, I value independent thinking, technical depth, and the freedom to explore ideas simply because they are interesting.
I like breaking difficult problems into precise pieces.
I follow questions, not just predefined roadmaps.
Ideas are better when you can test and build with them.
A selection of projects, experiments, and ongoing explorations.
Exploring formal reasoning, logical systems, and the structures that make rigorous computation possible.
Explore projectSmall, practical tools that automate repetitive tasks and make technical work more enjoyable.
Explore projectAn evolving collection of experiments, prototypes, visualizations, and things built just to see what happens.
Explore projectThe best solutions often happen where disciplines overlap.
Formal logic, mathematical structures, proof techniques, and rigorous problem-solving.
Algorithms, theoretical foundations, software systems, and translating ideas into working implementations.
Self-hosting, Linux, networking, automation, and building systems that remain understandable and maintainable.
Following interesting questions, learning unfamiliar technologies, and testing unconventional approaches.
The most interesting work starts with a better question.
Whether it's an interesting research problem, a project, a technical discussion, or just an idea worth exploring, I'd be happy to hear from you.