Serokell

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

[Serokell @serokell]

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.

https://t.co/G29CSIzuK4

[Serokell @serokell]

@garious14 @haskellhutt @jer_gib Great! I’ve sent you a DM🤝

[Serokell @serokell]

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.

https://t.co/hEEXqYVPZZ

[Type Theory Forall @ttforall]

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: https://t.co/mT1JUPu5wp

If you enjoy the show, consider supporting TTFA on Patreon, with a one-off donation, or by sponsoring an episode.

[Serokell @serokell]

In the new episode of @ttforall podcast, @int_index discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell.

https://t.co/J5FDL4Bxa7

[Serokell @serokell]

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.

https://t.co/nPGE3EJdoz

[Serokell @serokell]

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: https://t.co/XTIj6tJlp6

[cube dex @cubee_ee]

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.

[Serokell @serokell]

Hiring: DevOps Engineer at Serokell

Looking for a strong infra-focused engineer with experience in Docker, Kubernetes, CI/CD, monitoring, Linux, networking, and production reliability.

Remote.

Details: https://t.co/X1LUsntVE9

[Serokell @serokell]

MonadBaseControl is tricky to use correctly and easy to misuse, even for experienced developers.

This article builds a clear mental model for using it safely, highlights the risks, and shows how to avoid common pitfalls.

https://t.co/eBCwEaqJfP

[Serokell @serokell]

We’re seeking a middle to senior level Solidity Developer to join a team of fierce and fun Serokellers.

https://t.co/mMpiGpMLSW

[Serokell @serokell]

@ChShersh @lisyarus ❤️🤘

[Serokell @serokell]

We are looking for a Protocol Engineer to join our team and work on blockchain infrastructure and protocol-level components.

https://t.co/Qp729PHXhk

[Serokell @serokell]

In this blog post, we’ll discuss the peculiarities of Solana and its architecture and cover the basics of developing smart contracts on it.

https://t.co/8lKV8ILaEh

[RustRover, a JetBrains IDE @rustrover]

Why was RustRover created, and how does real user data shape what we build next?

In this interview with @serokell, @VBragilevsky explains how we support Rust and why our focus areas include debugging, async workflows, and cargo-nextest.

Read the full conversation 👇
https://t.co/OW8MAvmYdE

[Serokell @serokell]

This interview covers how JetBrains supports Rust language, why they launched RustRover, and how user data drives focus on debugging, async workflows, and cargo-nextest.

Today’s guest is the Head of the Rust Ecosystem at @jetbrains, @VBragilevsky.

https://t.co/t3xiJ582Uy

[Serokell @serokell]

We're among the top AI agent providers! Thanks to @clutch_co for recognizing our efforts!

[Serokell @serokell]

GenAI hype is everywhere, but an MIT-backed 2025 study finds 95% of organizations see no measurable ROI despite $30–40B in spend.

We unpack the “GenAI Divide” and how to move from pilots to real business impact.

https://t.co/EjlIF81TEe

[Serokell @serokell]

Emerging systems such as MemGPT and modular agent frameworks point toward a future of autonomous, self-managing memory.

https://t.co/YXu2crGfOX