Serokell

@serokell

The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI

Joined November 2015

5KFollowing

7KFollowers

Pinned

Serokell@serokell · Feb 26

Serokell's GHC team published a task breakdown for Dependent Types in Haskell, covering both planned changes and the recent history of related work (2018–2024). Check it out: ghc.serokell.io/dh

12.0K

Pinned

Serokell@serokell · Mar 10

Our CEO, Arseniy, just launched his latest project on Product Hunt! 🎉 We’d love your support in helping it gain visibility: producthunt.com/posts/blooper

710

Serokell@serokell · Jul 18

In the mid-1960s, Peter Landin showed that lambda calculus models arbitrarily complex programming languages. Arguably, this insight kickstarted the research on functional programming languages. serokell.io/blog/untyped-l…

serokell's tweet card. Lambda calculus is a theoretic framework used to define the meaning of computation in languages like Haskell, Agda, Idris, and others. In this article, we introduce you to lambda calculus by explor...

643

Serokell@serokell · Jul 3

Rust has seen increasing adoption by both big tech companies and startups in recent years. In this blog post, we will examine 12 prominent business applications of Rust in the real world, from Disney to the Falcon 9 launch. serokell.io/blog/best-rust…

serokell's tweet card. Discover 10 use cases of Rust from major companies and successful startups.

510

Serokell Retweeted

DFINITY Developers ∞@DFINITYDev · Jun 19

The @serokell team recently provided a meaningful contribution to enable local #SNS testing via Pocket-IC👏 Read the blog post👉 forum.dfinity.org/t/rust-based-s… Watch the demo👀 👇

2.0K

Serokell@serokell · Jun 17

We at Serokell are thrilled to join ICP Alliance as a Gold Partner! @dfinity team, many thanks for inviting us for the first ICP Alliance meeting It’s a great honour for us

serokell's tweet image. We at Serokell are thrilled to join ICP Alliance as a Gold Partner!

@dfinity team, many thanks for inviting us for the first ICP Alliance meeting

It’s a great honour for us

445

Serokell Retweeted

@flaviocorpa.com 🦋@FlavioCorpa · Jun 5

Please don’t be fooled by memes, there are lots of companies using Haskell in production! @scrive @tweagio @serokell @welltyped just to name a few…

454

Serokell Retweeted

DFINITY@dfinity · Jun 4

Lead the Next Web - Build Sovereign Clouds and Apps - Join the ICP Alliance Big shout out to our trusted implementation partners racing towards data sovereignty and self-writing apps! dfinity.org/alliance @CoreLedger, @InactaVentures, @eiger_co, @serokell, @iconworldwide,…

312

12.0K

Serokell@serokell · Jun 4

Meet our GHC Team Lead @int_index at the Haskell Implementors' Workshop and @ZuriHac 2025, June 6th to 9th✌️ In his talk, Vlad will present RequiredTypeArguments, a new Haskell extension that enables better API design and brings us closer to dependent types.

serokell's tweet image. Meet our GHC Team Lead @int_index at the Haskell Implementors' Workshop and @ZuriHac 2025, June 6th to 9th✌️

In his talk, Vlad will present RequiredTypeArguments, a new Haskell extension that enables better API design and brings us closer to dependent types.

3.0K

Serokell@serokell · May 30

🚀Haskell devs — Serokell is hiring! Apply now: serokell.io/jobs/haskell-e… If Haskell is your daily language and you want to build real systems with an FP-first team, this is for you. ✔️2+ yrs experience ✔️Remote ✔️Growth-focused team #haskell #fp #remotejobs

serokell's tweet card. Serokell is seeking a Senior Haskell Engineer to join our team! Apply and get a remote job at Serokell.

1.0K

Serokell@serokell · May 28

Hiring: Solidity Dev (mid-sr) at Serokell. Fully remote, project-based (140–160 h/mo), start June. 2+ yrs software dev, 1+ yr Solidity, EVM/DeFi, fluent English. Apply: serokell.io/jobs/solidity-… #Solidity #RemoteJobs

serokell's tweet card. We’re seeking a middle to senior level Solidity Developer to join a team of fierce and fun Serokellers. Apply and get a remote job at Serokell.

820

Serokell@serokell · May 27

Serokell Blog has been selected as one of the Top 15 Functional Programming Blogs by @_feedspot

705

Serokell@serokell · May 23

We’re thrilled to share that Serokell has been recognized as a 2025 Spring Clutch Global Award winner for our excellence in Robotics and Artificial Intelligence services. This honor places us among the top 15 Robotics and AI service providers worldwide on Clutch.

494

Serokell@serokell · Mar 13

Updating your wardrobe? We have something for you ⬇️ shop.serokell.io

serokell's tweet card. Buy functional programming merch at Serokell Shop. Designs from experienced artists that are afterwards vetted by our team of functional programmers.

1.0K

Serokell@serokell · May 1

Hey there! Our blog was featured in the 10 Best Elixir Programming Blogs & News Websites in 2025 by @_feedspot 🤯 Check out the best Elixir blogs to follow in 2025: bloggers.feedspot.com/elixir_program… Your favorite Elixir articles: serokell.io/blog/elixir #elixir

serokell's tweet image. Hey there! Our blog was featured in the 10 Best Elixir Programming Blogs &amp; News Websites in 2025 by @_feedspot 🤯

Check out the best Elixir blogs to follow in 2025: bloggers.feedspot.com/elixir_program…

Your favorite Elixir articles: serokell.io/blog/elixir

#elixir

853

Serokell Retweeted

DFINITY Developers ∞@DFINITYDev · Apr 25

Watch out for the upcoming release of the #Motoko VSCode Extension!👀 The @serokell team completed their grant and shipped some cool improvements: ✅Autocompletion for imported module symbols. ✅Support for finding references and improved goto-definition. ✅Syntax error…

2.0K

Serokell@serokell · Apr 19

Serokell is looking for a senior Solana + Rust dev to join our remote team. If you know your way around decentralized systems and can start ASAP—we want to hear from you. Details + apply: serokell.io/jobs/senior-so… #RustLang #Solana #Web3Jobs #RemoteWork

serokell's tweet card. We’re seeking a senior-level Solana Developer to join a team of fierce and fun Serokellers. Apply and get a remote job at Serokell.

755

Serokell@serokell · Apr 11

🎙️The new Pitch, Build, Scale episode is out! Big North Marketing CEO explores the double life of Arseniy — founder of Serokell by day and film tech disruptor by night. From open-source to shady clients — it's a wild ride. Listen now: youtu.be/Av-9nLbuCkE?si…

719

Serokell@serokell · Apr 1

At Serokell, we’re expanding our AI/ML talent pool for upcoming internal initiatives and long-term collaborations. We’re looking for an experienced AI/ML Engineer with a strong background in Python, data pipelines, LLMs, and vector search. serokell.io/jobs/ai-ml-eng…

serokell's tweet card. Join Serokell as an AI/ML Engineer to work on cutting-edge projects with LLMs, vector search, and data orchestration. Fully remote, flexible hours, and a global team. Apply and get a remote job at...

525

Serokell@serokell · Mar 26

Rust and Haskell are both powerful but challenging languages to learn, yet understanding one can make learning the other easier. This article explores the conceptual connections between them to help developers transition smoothly. serokell.io/blog/rust-vs-h…

serokell's tweet card. 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.

3.0K