alexandersechin

5 ms·

1.
by alexandersechin 2mo ago
In this article, we’ll explore Canton, including its architecture, its raison d’être, its recommended smart contract language, Daml, and a quick-start guide to writing your first Daml smart contract on Canton. In the tutorial, we’ll impleme
2.
by alexandersechin 4mo ago
At Serokell, we believe that Haskell still has a lot of room to grow. The language already has one of the most expressive type systems in practical use. It gives programmers algebraic data types, type classes, higher-kinded types, GADTs, ty
3.
by alexandersechin 4mo ago
In this episode, Vlad discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell. He explains how changes to Haskell are proposed and evaluated through the Haskell Steering Committee, gives a practical ov
4.
Dependent Haskell – Vladislav Zavialov(typetheoryforall.com)
5 points by alexandersechin 4mo ago|1 comments
5.
by alexandersechin 4mo ago
In this post, we interview Nikita Lisitsa about C++, Rust, systems programming, and game development. We discuss whether C++ is still the default path into systems programming, where Rust fits in, and how both languages may coexist over the
6.
by alexandersechin 5mo ago
This article continues the fine tradition of Serokell’s GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. In this edition, Vladislav Zavialov pres
7.
Rust vs. Haskell(serokell.io)
5 points by alexandersechin 5mo ago|1 comments
8.
by alexandersechin 5mo ago
Rust and Haskell don’t shy away from powerful features. As a result, both languages have steep learning curves when compared with other languages. Trying to learn Rust or Haskell can be frustrating, especially in the first couple of months.
9.
Haskell – MonadBaseControl(serokell.io)
4 points by alexandersechin 7mo ago|0 comments
10.
Rust in Production: JetBrains(serokell.io)
4 points by alexandersechin 8mo ago|1 comments
11.
by alexandersechin 8mo ago
This interview explores JetBrains’ strategy for supporting the Rust Foundation and collaborating around shared tooling like rust-analyzer, the rationale behind launching RustRover, and how user adoption data shapes priorities such as debugg
12.
Dependent Types: Current Status by Serokell GHC Team(ghc.serokell.io)
3 points by alexandersechin 2y ago|0 comments
13.
by alexandersechin 2y ago
I'm working on software for filmmakers, directors, producers, etc. which drastically saves time on pre-production. We tested our competitors apps and make our own blend of tools that actually ease the process. Effortless script breakdo
14.
Optics and Extensions in Haskell. Courses(serokell.io)
3 points by alexandersechin 2y ago|0 comments
15.
We are where video generation isn't enough(blooper.ai)
1 points by alexandersechin 2y ago|0 comments
16.
Rust is not a functional language(serokell.io)
2 points by alexandersechin 2y ago|0 comments
17.
Optics, Extensions, Monads(serokell.io)
4 points by alexandersechin 3y ago|1 comments
18.
by alexandersechin 3y ago
Guys from serokell lauched 3 Haskell courses, Monads course is free
19.
Haskell in Production: Meta(serokell.io)
4 points by alexandersechin 4y ago|0 comments
20.
by alexandersechin 5y ago
Can ML be used to detect fake news? In this lecture, Ivan Markov talks about fake news and ML algorithms that can be used for fake news detection, such as Naive Bayes, SVM, and BERT.