Serokell
@serokell
Followers
7K
Following
2K
Media
245
Statuses
1K
The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Joined November 2015
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:
1
15
68
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
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...
1
2
19
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
Discover 10 use cases of Rust from major companies and successful startups.
0
0
1
RT @DFINITYDev: The @serokell team recently provided a meaningful contribution to enable local #SNS testing via Pocket-IC👏 . Read the blog….
0
6
0
RT @FlavioCorpa: @TarmicaChiwara @effectfully Please don’t be fooled by memes, there are lots of companies using Haskell in production! @sc….
0
1
0
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.
1
2
29
🚀Haskell devs — Serokell is hiring! . Apply now: 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.io
Serokell is seeking a Senior Haskell Engineer to join our team! Apply and get a remote job at Serokell.
0
6
18
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: . #Solidity #RemoteJobs.
serokell.io
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.
3
1
10
Serokell Blog has been selected as one of the Top 15 Functional Programming Blogs by @_feedspot
3
0
16
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.
1
1
7
RT @serokell: Updating your wardrobe? We have something for you ⬇️.
shop.serokell.io
Buy functional programming merch at Serokell Shop. Designs from experienced artists that are afterwards vetted by our team of functional programmers.
0
2
0
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: Your favorite Elixir articles: #elixir
2
3
7
RT @DFINITYDev: Watch out for the upcoming release of the #Motoko VSCode Extension!👀. The @serokell team completed their grant and shipped….
0
9
0
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: #RustLang #Solana #Web3Jobs #RemoteWork.
serokell.io
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.
5
1
13
🎙️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:
0
0
0
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
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...
0
0
2
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
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.
2
10
76
Updating your wardrobe? We have something for you ⬇️.
shop.serokell.io
Buy functional programming merch at Serokell Shop. Designs from experienced artists that are afterwards vetted by our team of functional programmers.
1
2
5
Our CEO, Arseniy, just launched his latest project on Product Hunt! 🎉 . We’d love your support in helping it gain visibility:
1
1
8