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.
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:
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
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:
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.
