Blog: Introduction
![introduction to exto thumbnail](/files/26/thumb.26pmek9h.normal_(19).jpg)
![introduction to exto thumbnail](/files/r8/thumb.r8ns52a3.mobile-1.jpg)
Ecto: An Introduction to Elixir's Database Toolkit
Ecto is the go-to database toolkit for Elixir developers. Read our beginner-oriented article to learn how it works and what's special about it.
![introduction to phoenix thumbnail](/files/1i/thumb.1i1a4lhg.normal_(10).jpg)
![introduction to phoenix thumbnail](/files/zb/thumb.zb7j2j2p.mobile_(10).jpg)
Phoenix: An Introduction to Elixir's Web Framework
Phoenix is the main web framework in the Elixir ecosystem. Learn how it works and what's special about it.
![What is computer vision, and how it works](/files/dd/thumb.dd43n4zp.normal_(3).jpg)
![What is computer vision, and how it works](/files/hi/thumb.hi4xwf8b.mobile_(3).jpg)
What Is Computer Vision and How It Works
Discover how computer vision works, where it is used, and what are the main obstacles ML engineers run into when solving computer vision problems.
![What is big data thumbnail](/files/xw/thumb.xwj5h2lg.thumbnail3_(3).jpg)
![What is big data thumbnail](/files/1k/thumb.1kb22r98.thumbnail-mobile3_(1).jpg)
What Is Big Data?
Big data is data that cannot be processed without special tools due to its volume and variety. Read this article to learn more about how big data can be used in business.
![introduction to erlang](/files/8l/thumb.8lwi3s97.thumbnail_(37).jpg)
![introduction to erlang](/files/er/thumb.eru1a6r0.thumbnail-mob_(5).jpg)
Introduction to Erlang
Learn more about Erlang, a functional, concurrency-oriented programming language that powers applications like WhatsApp and WeChat.
![Rust programming language guide](/files/a1/thumb.a1wodo11.thumbnaila.jpg)
![Rust programming language guide](/files/do/thumb.don4u9c2.thumbnail-mobile_(8).jpg)
Introduction to Rust
According to the StackOverflow surveys, Rust has been the most loved programming language for the last four years in a row. But if you haven’t used it, you might wonder – what is Rust, why is it so special, and what makes it so popular amongst developers?
![Why TypeScript? TypeScript vs JavaScript comparison](/files/zq/thumb.zqchhwzr.thumbnail_(9).jpg)
![Why TypeScript? TypeScript vs JavaScript comparison](/files/80/thumb.80pa5f6m.mobile-thumb.jpg)
Why You Should Choose TypeScript Over JavaScript
Angular, one of the largest frontend frameworks, is using TypeScript. About 60% of JS programmers already use TypeScript, and 22% wish to try. Why?
![What is Nix? And why you should use Nix programming language and package manager](/files/tw/thumb.twj9avz9.thumbnail_(8).jpg)
![What is Nix? And why you should use Nix programming language and package manager](/files/00/thumb.003mc6op.thumbnail-mobile.jpg)
What Is Nix and Why You Should Use It
How often do you find yourself in a situation where something builds and works on your machine, but doesn’t build on CI or fails catastrophically in production?
![Beginner's guide to Elixir programming language](/files/y9/thumb.y9a8ny9d.1_(10).jpg)
![Beginner's guide to Elixir programming language](/files/az/thumb.azdn6e07.introduction-to-elixir.jpg)
Introduction to Elixir
Elixir is a functional, dynamically typed language that is built on top of Erlang’s VM and compiles down to Erlang bytecode. In this article, we talk about its features and benefits.
![Rapid introduction to modal logic, part 2](/files/cm/thumb.cmgtl00q.serokell-introdaction-to-modal-logic-part2.jpg)
![Rapid introduction to modal logic, part 2](/files/60/thumb.609egqzu.modal-logic-2.jpg)
Incomplete and Utter Introduction to Modal Logic, Pt. 2
In the first part, we introduced the reader to basic modal logic. In this part of the introduction to the modal logic, we observe use cases and take a look at connections of modal logic with topology, foundations of mathematics, and computer science.
![What is functional programming](/files/tr/thumb.tr83kzbt.functional-programming-introduction.jpg)
![What is functional programming](/files/gw/thumb.gwiq3y7v.reddit.jpg)
Introduction to Functional Programming
“One withstands the invasion of armies; one does not withstand the invasion of ideas.” - Victor Hugo.
![Incomplete and Utter Introduction to Modal Logic, Part 1](/files/cv/thumb.cvrl96v4.ModalLogic-post-header.jpg)
![Incomplete and Utter Introduction to Modal Logic, Part 1](/files/iz/thumb.iz02s2eo.logic-1.jpg)
Incomplete and Utter Introduction to Modal Logic, Pt. 1
Modal logic covers such areas of human knowledge as mathematics (especially topology and graph theory), computer science, linguistics, artificial intelligence, and philosophy. Explore this branch of logic together with Danya Rogozin.