Explore >> Select a destination

You are here

 www.poberezkin.com
Evgeny Poberezkin - Dependent types to code are what static types to data
| | blog.jle.im
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code
15.1 parsecs away

Travel
| | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
16.9 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | blog.jle.im
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime · in Code
17.3 parsecs away

Travel
| | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.
| | comsci.blog
Step-by-Step Guide to Image Classification with Vision Transformers (ViT) | ML and robotics notes
74.9 parsecs away

Travel
| In this blog post, we will learn about vision transformers (ViT), and implement an MNIST classifier with it. We will go step-by-step and understand every part of the vision transformers clearly, and you will see the motivations of the authors of the original paper in some of the parts of the architecture.