Good designs. Premium cotton. Ready to gift. Shipped worldwide.
Find your favorite tee: shop.serokell.io/
A correct Haskell submission can be excellent and still say nothing about what the student has learned.
We’re developing a functional programming course that allows LLMs. Here’s why we chose that approach and what it complicates.
serokell.io/blog/teaching-ha…
We turned Serokell’s internal engineering guidelines into 15 Claude Code skills covering repo setup, testing, CI, reviews, releases, and more.
Here’s how we built and tested the plugin: serokell.io/blog/how-we-use-…
Our friends at @UnrealLabs just released a general-purpose agent harness written in Go. It can reduce agent costs by up to 39% without sacrificing task performance.
Serokell retweeted
Coffer completed 2 audit rounds with @serokell
Serokell has built and audited blockchain systems since 2015, from the original Cardano node to the Solana programs of 1inch.
For us they went through all 3 on-chain programs end to end: architecture review, 2 independent line-by-line reads, static analysis, dependency audit, stateful fuzzing and runnable exploit PoCs.
48 findings came back, 0 of them critical, and every one is now resolved.
Both reports are public, every finding listed 👇
Hi! I'm Arseniy Seroka, CEO of Serokell.
In 2023, we launched the Haskell Certification Program. Three years later, Serokell is concluding its active involvement in the initiative.
A look back at what we built and why we’re stepping away:
serokell.io/blog/sunsetting-…
We spoke with @solana cofounder @garious14 about Rust’s role in building a high-performance blockchain runtime, what Haskell taught him about system design, and why ownership changes how functional programmers think.
serokell.io/blog/rust-haskel…
Our new guide explores how @CantonNetwork enables private, interoperable workflows, how @Damldriven models authorization and selective disclosure, and how it compares with @solidity through a practical banking workflow.
serokell.io/blog/daml-smart-…
We built an AI knowledge platform for VC teams that turns scattered company data into a searchable knowledge base with LLM agents.
The article covers its architecture, ingestion pipeline, agent layer, and key production lessons.
serokell.io/blog/building-a-…
In this interview, we discuss the future of Haskell with Laurent René de Cotret, Chair of the Haskell Foundation: the ecosystem, Haskell at @Bitnomial, advanced type safety, and ideas that could influence software engineering more broadly.
serokell.io/blog/from-scient…
In this interview, our Daml Team Lead, Heitor, explains how @Damldriven differs from Haskell, how to reason about authorization and contract lifecycles, and what developers can expect from our upcoming Daml Smart Contracts Development Guide.
serokell.io/blog/daml-for-ha…
In this interview, Michal Gajda discusses how Haskell supports reliable, scalable bioinformatics through strong types, purity, and functional abstractions.
serokell.io/blog/haskell-str…
Serokell retweeted
the TAM for good looking shirts about functional programming is like 13 people
I am one of them
Serokell Shop is welcoming back our US customers — starting today, we’re accepting orders from the United States again.
Premium cotton Haskell merch that looks as good as it feels: shop.serokell.io/
🇺🇸👕🤘
Serokell Shop is welcoming back our US customers — starting today, we’re accepting orders from the United States again.
Premium cotton Haskell merch that looks as good as it feels: shop.serokell.io/
🇺🇸👕🤘
Serokell retweeted
Soon after, through a referral from Solana Armenia, Levon joined @IthacaProtocol as its Solana Development Lead.
The skills, experience, and connections he gained throughout that journey later helped him move into senior and leadership roles, including Senior Rust Developer at @1inch, Team Lead at @serokell, and his current role as Team Lead and Researcher at @debridge.
Due to a growing number of clarification requests, we’d like to remind everyone that Serokell only sends emails from the @ serokell. io domain.
Addresses using domains such as @ serokell. co, @ serokell .lo, or other similar-looking variations may be phishing attempts.
Over the past years, Serokell has worked on several parts of the Haskell ecosystem: GHC development, Dependent Haskell, developer tooling, and education.
In this article, we’ll go through the main contributions and explain why they matter.
serokell.io/blog/how-serokel…
Serokell retweeted
New Type Theory Forall episode is out!
I had the pleasure to partner with @serokell to bring you a conversation with @int_index, one of the main GHC contributors, former GHC Steering Committee member, and current implementer of Dependent Haskell.
We talked about how GHC is developed, how the Haskell community decides to evolve the language, what it takes to start hacking on GHC, and then went deep into the theory and implementation of Dependent Haskell.
This one gets technical in the best way.
Watch here: twp.ai/E5D124
If you enjoy the show, consider supporting TTFA on Patreon, with a one-off donation, or by sponsoring an episode.
In the new episode of @ttforall podcast, @int_index discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell.
typetheoryforall.com/episode…
In this interview, @lisyarus discusses C++, Rust, systems programming, and game development, including memory safety, language complexity, engine design, and lessons from shipping Costa Verde.
serokell.io/blog/rust-c-and-…
