1
Rust vs. Haskell
Even though Rust and Haskell are quite different languages, they are also surprisingly alike. If you know Rust, you have a head start with Haskell, and vice versa.
Serokell Blog
High-assurance software engineering in Haskell and Rust, backed by formal methods when correctness matters most. For fintech, blockchain, and deep tech.
- Popular posts
- 16
- Total points
- 2,575
- HN comments
- 1,423
- Rank
- #466 company
Visit serokell.io → On Hacker News Dec 2018 – May 2023
Programming Languages 13Software Engineering 12Tech Industry & Business 4Systems & Performance 1Career & Management 1AI & Machine Learning 1
2
A Brief Guide to OTP in Elixir
Learn about OTP, a set of tools and libraries that Elixir inherits from Erlang.
3
Parser Combinators in Elixir
Learn what parser combinators are, what they are made of, and how to make your own CSV parser using NimbleParsec, a parser combinator library written in Elixir.
4
Dependent Haskell Is the Future (2018)
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
5
Introduction to Convolutional Neural Networks
This beginner guide will help you understand how convolution neural networks (CNNs) work and what they are useful for.
6
Lunatic brings Erlang's principles to WebAssembly
In this month’s episode of the Functional Futures podcast, our guest is Bernard Kolobara – the creator of Lunatic, an Erlang-inspired runtime for WebAssembly. Listen to the episode to find out how Erlang's guiding principles helped Bernard create a runtime that's fast, robust, and scalable.
7
Dependent Haskell
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
8
Rust in Production: Qovery
What are the pros and cons of using Rust for production applications? Find out in our interview with Benjamin Chastanier, a senior software engineer at Qovery.
9
Metaprogramming in Elixir
In this article, we cover metaprogramming and macros in Elixir. Discover how you can use Elixir to write code that writes code.
10
Introduction to Haskell Typeclasses
In this article, we introduce you to typeclasses in Haskell: what they are, how they can be used, and how to define your own instances of typeclasses.
11
Parser Combinators in Haskell
In this article, we will show you how to implement simple parser combinators from scratch and how to use the Megaparsec library to implement a parser for S-expressions.
12
Algebraic Data Types in Haskell
In this article, we introduce you to the concept of algebraic data types and show how you can build your own data types in Haskell.