Top all-time · #869
Serokell
Company blog · serokell.io/blogprogrammingai
Serokell is the company blog at serokell.io, writing about programming and ai. Since 2018, 75 different Hacker News readers have linked it 289 times, most often “Companies That Use Haskell in Production”. It is still writing: the last post was on 2026-10-28, and you can follow it by feed.
Serokell provides custom software development services in the domains of fintech, blockchain, machine learning, biotech, edtech, and ecommerce. We use functional programming to build custom high-performance IT solutions that serve 1B of users globally.
Most-linked posts?
- Companies That Use Haskell in Production8 people · 8 mentions · first linked 2019-10-18
- Practical Nix Flakes5 people · 5 mentions · first linked 2021-05-05
- Haskell in Production: Riskbook3 people · 4 mentions · first linked 2020-02-12
- /blog/haskell-in-production3 people · 4 mentions · first linked 2022-05-03
- Awesome Open-Source Haskell Projects3 people · 4 mentions · first linked 2019-10-23
- Dependent Haskell Is the Future (2018)3 people · 3 mentions · first linked 2019-08-16
- How to Implement an LR(1) Parser3 people · 3 mentions · first linked 2021-06-03
- Haskell in Production: Meta3 people · 3 mentions · first linked 2023-04-06
- Metaprogramming in Haskell3 people · 3 mentions · first linked 2021-07-06
- Haskell in Production: Freckle3 people · 3 mentions · first linked 2022-04-05
What Hacker News says?
Here is one example: https://serokell.io/blog/rust-in-production-1password
Comment linking /blog/rust-in-production-1password
on “Carbon Language: An experimental successor to C++”Submitted A Brief Guide to OTP in Elixir as a story · 242 points
HN discussionWhat I did on my M1 was: 1. Grab a pre-release of Nix 2.4 from the `binaryTarball.aarch64-darwin` job on Hydra: https://hydra.nixos.org/jobset/nix/master#tabs-jobs 2. Run the installer with: ./install --daemon --no-channel-add 3. Edit `/etc/nix/nix.conf` to include the line: experimental-features = nix-command flakes ca-references 4. Restart the daemon with: sudo launchctl kickstart -k system/org.nixos.nix-daemon 5.…
Comment linking /blog/practical-nix-flakes
on “macOS Nix setup: an alternative to Homebrew (2020)”Submitted Companies That Use Haskell in Production as a story · 202 points
HN discussionI'd give this article a read, as it can explain it more clearly than I can: https://serokell.io/blog/what-is-nix But to briefly answer your specific questions: Docker files are commonly not reproducible because they contain arbitary stateful commands like `apt-get update`, `curl`, etc. For a layer with these kinds of commands to be reproducible you would need a mechanism to version and verify the result. Nix provide…
Comment linking /blog/what-is-nix
on “Nix is a better Docker image builder than Docker's image builder”Submitted Parser Combinators in Elixir as a story · 174 points
HN discussionInterestingly, Mercury [0] is VC-backed, and their backend is entirely Haskell. In an interview [1], their CTO mentions that it’s actually quite easy to hire for Haskell, as the demand is much lower than the supply, and, as he slyly puts it, “interest in Haskell acts as a decent proxy for baseline developer quality.” So while the pool is larger for JS/TS and Python, that may not always be beneficial. [0]: https://me…
Comment linking /blog/haskell-in-production-mercury
on “Sonos CEO steps down after app update debacle”Submitted Developing GHC for a Living as a story · 167 points
HN discussionThis is actually a very good comment. Haskell has had these features since early ~2000s and it was a major competitive advantage in the language space, but today I would argue that if you're using a modern language then they don't stand out as much. Nevertheless, not all popular languages provide all the above mentioned features and in case they implement them it's usually in a compromised fashion. For example, null…
Comment linking /blog/introduction-to-template-haskell
on “Why Haskell?”Submitted Dependent Haskell Is the Future (2018) as a story · 166 points
HN discussion> The compiler and the build system have gotten a lot more stable over the past several years. GHC2021 promises backwards compatibility, but it includes ill-specified extensions like ScopedTypeVariables. TypeAbstractions were just added, and they do the same thing, but differently.[0] It hasn't even been decided yet which extensions are stable[1], yet GHC2021 still promises compatibility in future compiler versions.…
Comment linking /blog/ghc-dependent-types-in-haskell-3
on “Why Haskell?”Submitted Software projects written in Haskell as a story · 151 points
HN discussionRiskbook | Haskell Backend Developer | REMOTE (Worldwide) | Full-time We're looking for another Haskell developer to help us build the world's best reinsurance trading platform. # About Us Riskbook is a funded startup based in London, but our team are distributed. We intend to keep it that way. We favour asynchronous communication, and try to hire "managers of one". We don't do daily stand-ups. We don't count your h…
Comment linking /blog/haskell-in-industry-riskbook
on “Ask HN: Who is hiring? (October 2020)”Submitted Introduction to Convolutional Neural Networks as a story · 150 points
HN discussionThanks for your comments. There does seem to be three languages sure to engender disparate opinions: Lisp, Prolog, and Haskell. I suppose that their advocates can be forgiven for their enthusiasm. They are all quite remarkable languages. I am unqualified to assess the benefits of an advanced type system, after all, I've only worked through examples in a few Haskell books. I've never used Haskell professionally. Hask…
Comment linking /blog/why-dependent-haskell
on “Learning Haskell is no harder than learning any other programming language”Submitted Haskell in Production: Channable as a story · 148 points
HN discussionYou might like to read https://serokell.io/blog/why-dependent-haskell , which describes a roadmap for making dependent types practical in Haskell. Useful steps on the road: singleton types (needed to make it easy to represent basic values as types), higher-kinded types (needed to implement functions at the type level), kind polymorphism (needed to be able to reuse the same functions at the type and the value level).…
Comment linking /blog/why-dependent-haskell
on “Why is Idris 2 so much faster than Idris 1?”Submitted Lunatic brings Erlang's principles to WebAssembly as a story · 143 points
HN discussionYou’re correct that Mercury uses Haskell for its backend: https://serokell.io/blog/haskell-in-production-mercury
Comment linking /blog/haskell-in-production-mercury
on “Haskell: A Great Procedural Language”Submitted Dependent Haskell as a story · 137 points
HN discussionThere are also some blog posts over at Serokell about tagless final in Haskell: https://serokell.io/blog/tagless-final .
Comment linking /blog/tagless-final
on “Defunctionalize the Continuation”Submitted Rust in Production: Qovery as a story · 127 points
HN discussionhttps://serokell.io/blog/learn-elixir - I've made a guide to Elixir resources.
Comment linking /blog/learn-elixir
on “The Development of Erlang (1997)”Submitted Metaprogramming in Elixir as a story · 125 points
HN discussionJust to be clear, the list is not supposed to be exclusive -- there's a lot of companies using Haskell out there. :) I just wanted to feature some of the biggest names and some of the cool use cases. BTW, if you're interested in Haskell case studies, we have a series called Haskell in Production ( https://serokell.io/blog/haskell-in-production ) with interviews with Haskell projects that covers more ground. -- Author
Comment linking /blog/haskell-in-production
on “Companies That Use Haskell in Production”Submitted Introduction to Haskell Typeclasses as a story · 120 points
HN discussion>Personally Ive been in the industry for roughly 20 years and I’ve yet to meet anyone IRL who has even dabbled in Haskell. See that's the bubble ;) If you work at a company who makes archival, language-detection and ocr you will see C/C++ Haskell and OCaml..well and perl in no time. http://wiki.haskell.org/Haskell_in_industry https://serokell.io/blog/top-software-written-in-haskell
Comment linking /blog/top-software-written-in-haskell
on “Spectrum OS: a declarative, reproducible, compartmentalized Linux”Submitted Parser Combinators in Haskell as a story · 115 points
HN discussion> read this: https://serokell.io/blog/dimensions-and-haskell-introduction , then look into the referenced libraries. Dude, I actually work with dependent type proof assistants (Lean), with a HOL proof assistants (Why3), and FOL/ZFC proof assistant (TLA+'s TLAPS), as well as with a model checker for TLA+ (TLC); I've also worked with a model checker for Java in the past. I have read several books on the subject, and h…
Comment linking /blog/dimensions-and-haskell-introduction
on “Dependent Haskell Is the Future (2018)”Submitted Algebraic Data Types in Haskell as a story · 102 points
HN discussion
