Nikita Karetnikov

blog.karetnikov.org

A personal blog by Nikita Karetnikov featuring articles on programming topics such as logical frameworks and PyTorch.

why we picked it

A personal blog with posts on technical topics including logical frameworks and PyTorch, offering a glimpse into the author's interests.

Checked with Google Web Risk · 2 hours ago

Visit blog.karetnikov.org ↗ ♡ Save ↻ Surf somewhere else