Blog

+ More
+ More
deploy-rs in 2026: reviving our Nix deployment tooldeploy-rs in 2026: reviving our Nix deployment tool
Upstream posts
What Anthropic's AI Proofs Mean for Formal VerificationWhat Anthropic's AI Proofs Mean for Formal Verification
AI Contributions to GHCAI Contributions to GHC
The Hidden Challenges of Rust Infrastructure: Interview with Marco IeniThe Hidden Challenges of Rust Infrastructure: Interview with Marco Ieni
Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?Teaching Haskell in the Age of LLMs, Part 1: Ban or Embrace?
How We Use Claude Code at SerokellHow We Use Claude Code at Serokell
Haskell Certification Program: What We Built and Why We’re Stepping Back | SerokellHaskell Certification Program: What We Built and Why We’re Stepping Back | Serokell
Editor’s pick
Why Solana Chose Rust: Greg Fitzgerald on Haskell & Systems | SerokellWhy Solana Chose Rust: Greg Fitzgerald on Haskell & Systems | Serokell
Upstream posts
Daml Smart Contracts on Canton: A Developer Guide | SerokellDaml Smart Contracts on Canton: A Developer Guide | Serokell
Building a RAG Investment AssistantBuilding a RAG Investment Assistant
From Scientific Computing to Type-Safe Finance: BitnomialFrom Scientific Computing to Type-Safe Finance: Bitnomial
Daml for Haskellers: interview with Heitor Toledo Lassarote de PaulaDaml for Haskellers: interview with Heitor Toledo Lassarote de Paula
Haskell, Strong Types, and the Next Generation of Bioinformatics: interview with Michal GajdaHaskell, Strong Types, and the Next Generation of Bioinformatics: interview with Michal Gajda
Claude Code: From Agent to Useful ToolClaude Code: From Agent to Useful Tool
Thanks for visiting the Serokell blog.
Serokell is a multinational team of programmers, joined by love towards functional languages. Science and education are among the core values of Serokell. Our blog is a place for our specialists to talk about things that matter to them. Stay tuned to read more about pioneering research and practical applications of functional programming, mathematics, artificial intelligence, and computer science.

Paris, France52 boulevard de Sébastopol, 75003

Tallinn, EstoniaPille tn 7/5-13, Kesklinna linnaosa,
Harju maakond, 10135

2015–2026 SerokellLegalPrivacy Policy