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.

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…

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/ 🇺🇸👕🤘

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…

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-…

Serokell’s GHC team continues sharing progress on Dependent Haskell. @int_index presents three major contributions and a host of smaller improvements that push Dependent Haskell closer to becoming a practical reality. serokell.io/blog/serokell-s-…

Let’s connect in Miami 🌴 Meet our CBDO, Roman Alterman, at @consensus2026 — a flagship crypto and Web3 conference bringing together global blockchain leaders. May 5-7, Miami Beach Convention Center Schedule a meeting: linkedin.com/in/roman-alterm…

We’ve just completed a deep code & architecture review with @serokell ahead of mainnet. Cube – concentrated liquidity DEX on @solana that combines multi-token pools and leverage, natively giving high double-digit APYs (achieved in real tests). Scope included: • core smart contracts • execution logic (incl. virtual balances / leverage mechanics) • edge cases, attack surfaces, performance Serokell is an engineering and research team with 11 years of experience in blockchain security. They bring experience from projects like @1inch and other complex DeFi systems to our dex! Cube is now in a much stronger position to ship.