Serokell (@serokell) header
Serokell (@serokell) profile picture

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

Joined November 2015
Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)Photo by Serokell (@serokell)
Our friends in Blooper are live on Product Hunt 🚀 They’ve built a genuinely useful workspace for teams working with AI video, especially when projects involve lots of iterations, feedback, and creative decisions that need to stay consistent. producthunt.com/products/blo…
14
16
411
GHC now has a policy for AI-assisted contributions. Generated material is allowed, but contributors must disclose it and take responsibility for it. We looked at the policy and how it compares with LLVM, OpenJDK, GCC, Zig, and others. Read the article: serokell.io/blog/ai-contribu…
1
15
787
Millions of developers use Rust, and keeping its infrastructure running takes constant effort. We talked to @marcoieni from the @rust_foundation about CI costs, security, the shortage of reviewers, and the challenges of maintaining Rust's infrastructure. serokell.io/blog/the-hidden-…
1
2
8
544
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…
1
20
3,817
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.
Introducing Unreal Agent: An open-source harness with state-of-the-art cost efficiency 39% cheaper than Codex+Astra on Terminal-Bench 4.0 while maintaining performance
1
10
876
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 👇
1
1
7
361
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-…
2
4
2
27
1,496
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-…
1
345
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…
4
430
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…
1
5
675
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/ 🇺🇸👕🤘
1
5
892
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/ 🇺🇸👕🤘
1
1
10
1,723
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.
1
1
6
238
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.
3
512