Serokell Academy

In this video, Danya Rogozin will talk about historical mathematics milestones like Cantor’s theorem and Continuum Hypothesis, Hilbert’s program, and Gödel’s incompleteness theorems.

Learn how to use Haskell and GTK+ to build graphical user interfaces in a functional programming language! In this talk, Vladislav Zavialov covers how to initialize a build environment on Nix, use GTK+ widgets to build an app with a graphical user interface, and which resources and documentation to check when building your own app with a GUI.

Learn the details of GHC evaluation and GC.

What's the future of Elixir? Listen to the discussion between Saša Jurić, the author of Elixir in Action, and Serokell CAO Jonn Mostovoy to learn their thoughts on Elixir and frameworks like Nx and Nerves.

In his talk on product development, Ivan Gromakovskii will cover basic product management concepts we use at Serokell and things you need to take in mind when kicking off a new product.

In his Serokell Academy lecture, Kirill Kuvshinov will teach you how to protect your personal data, accounts, and devices properly: what risks are there and what countermeasures to take to stay safe.

In our last Serokell Academy lecture, Ivan Markov talked about fake news and ML algorithms that can be used for fake news detection, such as Naive Bayes, SVM, and BERT.

In his ZuriHac 2021 talk, Artem explores how GHC analyzes Haskell code to type-check it in the correct order, shows the flaws of the current implementation, and takes a look at what a future algorithm might look like.

Some time ago, we got a fantastic opportunity to interview Simon Peyton Jones, who was a key contributor to the design of Haskell and one of the lead designers of Glasgow Haskell Compiler (GHC). Right now, Simon is working at Microsoft Research, where he researches functional programming languages. In the interview, we discussed the past, present, and future of Haskell, Haskell’s benefits and downsides, GHC, walking the line between Haskell being a research and industry language, and multiple other topics.

Haskell is a high-level, declarative language that frees you from worrying about how your programs are actually executed, and that is a good thing. Nevertheless, it can be quite useful to know how things work under the hood. In his talk, our guest speaker Joachim takes you on a tour to the heap of a running Haskell program, where you’ll get to see the shape of data types, observe sharing and laziness, distinguish infinite and cyclic data structures, and watch a lazy tree grow as a recursive function gets memoized.

As part of our video interview series, we interview Edwin Brady, the creator of Idris, a dependently-typed programming language. In the interview, we discuss two of the programming languages Edwin has participated in the creation of: Whitespace and Idris. Edwin also shares some tips and tricks about language creation and talks about the future plans of the Idris language.

In this video, we introduce you to some of the basic data types in Haskell. We have a look at some examples of algebraic data types, pattern matching, and field labels.

In this video, you will learn about basic operators in Haskell. In particular, we discuss the composition operators, operator sections, and the type class Num.

In the first episode of the Functional Futures podcast, our guest is Brooklyn Zelenka, the co-founder & CTO of FISSION, an applied research company developing local-first and user-controlled applications. Brooklyn is also the author of Witchcraft, a library for writing Haskell “fan-fiction” in Elixir. In the episode, we talk about her path towards becoming a developer, functional programming in general, and Witchcraft. We also discuss the good and bad parts of Web3.

In this month’s episode of Functional Futures, our guest is Tim McNamara – author of Rust in Action and a prolific YouTube content creator. During the episode, we live-code in Rust, talk about programming patterns, and discuss Tim's book – Rust in Action.

In this month’s episode of Functional Futures, our guest is Tim McNamara – author of Rust in Action and a prolific YouTube content creator. During the episode, we live-code in Rust, talk about programming patterns, and discuss Tim's book – Rust in Action.

In this video, we cover the basics of laziness. You will learn what the lazy evaluation strategy is, how it is different from the eager evaluation strategy, and what advantages it can bring.