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 13 Software Engineering 12 Tech Industry & Business 4 Systems & Performance 1 Career & Management 1 AI & Machine Learning 1

Most points Most discussed Most cited Newest

Developing GHC for a Living

2020167 points55 comments Programming Languages details

What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019.