Serokell - Podcast Details

Shows

Pitch, Build, Scale002 - From Code to Cinema with Arseniy Seroka, CEO of Serokell and Blooper.aiIn this episode of Pitch, Build, Scale, host Chris Fanchi sits down with Arseniy Seroka, CEO of Serokell and Blooper.ai. Arseniy’s unique journey—from a mathematics and computer science prodigy to a film director turned serial entrepreneur—has fueled his passion for functional programming and cutting-edge AI solutions. Discover how his team at Serokell leverages languages like Haskell to tackle complex challenges in biotech, fintech, and crypto, and why they’re betting big on open-source innovation. Then, dive into the story behind Blooper.ai, a groundbreaking AI-powered tool that’s streamlining pre-production for filmmakers, bridging the gap between cr...2025-04-0840 min

Full Time NixFormatting Nixpkgs with Silvan Mosbergerhttps://www.youtube.com/@molybdenumsoftwarehttps://github.com/NixOS/rfcs/pull/101https://github.com/NixOS/nixfmtnixfmt created by https://serokell.io/https://github.com/nix-community/nixpkgs-fmthttps://github.com/NixOS/rfcs/pull/166https://github.com/kamadorueda/alejandrahttps://piegames.de/https://github.com/0x4A6Fhttps://github.com/tomberekhttps://github.com/dasJhttps://nixos.org/community/teams/formatting/https://github.com/numtide/treefmthttps://github.com/NixOS/nixpkgs/pull/322537https://github.com/NixOS...2024-12-241h 12

The Haskell Interlude49: Arseniy SerokaWouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for Haskell itself, and about the Haskell Developer Certification.2024-05-1548 min

Being Modern, Being Human#18 The art of science and the science of artHow different are art and science from each other? What kind of mindset defines artists and scientists? What mental process is behind creative insights? In this episode, we discuss these questions with Arseniy Seroka, a founder of a successful software development company, Serokell, and an aspiring filmmaker with two short films in his portfolio. Serokell’s website: https://serokell.io/2023-03-1327 min

Edge Free ShowAI: In the ArtsWe discuss AI and it's uses in Art, Film, TV, Music and Literature. ----- Show Notes -----DefinitionsAI vs Machine Learning vs Deep Learninghttps://www.youtube.com/watch?v=J4Qsr93L1qsAI vs Machine Learninghttps://www.youtube.com/watch?v=9QErWiClGjMArtificial Intelligence vs. Machine Learning vs. Deep Learning:Essentialshttps://serokell.io/blog/ai-ml-dl-differenceWhat is artificial intelligence? (IBM)https://www.ibm.com/cloud/learn/what-is-artificial-intelligence 2022-11-071h 25

Rust ReviewGATs, Turbopack, Prop Testing, and Buffers on the EdgeOn the Rust Review I cover recent articles from the Rust community and why I found them interesting! This week's episode highlights Generic Associated Types and their impending stabilization, implementing critical Network Time Protocol services in Rust, the recent announcement of Turbopack in the JavaScript ecosystem, running a JavaScript engine inside your Rust process, Python and Rust interoperability, Property-based testing, and more! Generic associated types to be stable in Rust 1.65 https://blog.rust-lang.org/2022/10/28/gats-stabilization.html Implementing the Network Time Protocol (NTP) in Rust https://foundation.rust-lang.org/news/implementing-the-network-time-protocol-ntp-in-rust/ Introducing Turbopack: Rust-based successor to Webpack https://vercel.com...2022-11-0242 min

Functional FuturesDependent Types with David ChristiansenIn this month’s episode of Functional Futures, our guest is David Christiansen, the executive director of the Haskell Foundation, a contributor to a number of dependently typed languages, and a dependent type advocate that has managed to introduce many people to the topic today through his work, talks, and texts. In the episode, we cover topics such as dependent types, theorem proving, metaprogramming, and many more. We also discuss the book David co-authored with Daniel P. Friedman, The Little Typer, and his current work in progress: Functional Programming in Lean. Get FP merch that doesn't suc...2022-09-151h 46

Functional FuturesAcross the Kmettverse with Edward KmettIn this month’s episode of Functional Futures, our guest is Edward Kmett – Head of Software Engineering at Groq and the author of many widely-used Haskell libraries. In the episode, we talk about his life story – how he got from being broke and in debt to learning category theory and authoring numerous Haskell libraries. We also talk about programming languages and projects beyond Haskell that make Edward excited right now. Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ Follow on social media: https://twitter.com/kmett https://twitter.com/serokell Some it...2022-08-181h 33

Functional FuturesCarp with Erik SvedängCan functional programming be used for game development? Listen to this episode of Functional Futures to find out. Our guest this time is Erik Svedäng. Erik is a game designer that has designed else Heart.Break(), a programming puzzle video game, and many other board and video games. He is also the creator of Carp, a statically-typed Lisp for real-time applications. Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/e_svedang Learn more about Carp: https://github.com/carp-lan...2022-07-141h 31

Functional FuturesGrain with Oscar SpencerIn this month’s episode of Functional Futures, our guest is Oscar Spencer – the creator of Grain, a functional programming language for WASM. In the episode, we cover Grain, WASM, how to sell functional programming to mases, and many other topics. Get FP merch that doesn't suck. 👇 https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/oscar_spen Learn more about Grain: https://github.com/grain-lang/grain https://discord.com/invite/fhn4n8FrxG Learn more about us: https://serokell...2022-06-211h 11

Functional FuturesLunatic with Bernard KolobaraIn this month’s episode of Functional Futures, our guest is Bernard Kolobara – the creator of Lunatic, an Erlang-inspired runtime for WASM.In the episode, we talk about Lunatic, WASM, BEAM (Erlang’s VM), and more. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https://twitter.com/bkolobara Learn more about Lunatic: https://github.com/lunatic-solutions/lunatic https://discord.com/invite/a7ZdjRuabU Learn more about us: https://serokell.io/ Contact us: academy@seroke...2022-05-311h 05

Functional FuturesLive-Coding Rust with Tim McNamaraIn this month’s episode of Functional Futures, our guest is Tim McNamara – author of Rust in Action and a prolific YouTube content creator. During the episode, we live-code in Rust, talk about Rust programming patterns, and discuss Tim's book – Rust in Action. If you want to watch the live-coding session in video format and participate in the giveaway of Rust in Action ebooks, head to our YouTube channel. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell https...2022-03-151h 21

Functional FuturesFunctional Programming and Web3 with Brooklyn ZelenkaIn the first episode of the Functional Futures podcast, our guest is Brooklyn Zelenka, the co-founder & CTO of FISSION, an applied research company developing local-first and user-controlled applications. Brooklyn is also the author of Witchcraft, a library for writing Haskell “fan-fiction” in Elixir. In the episode, we talk about her path towards becoming a developer, functional programming in general, and Witchcraft. We also discuss the good and bad parts of Web3. FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/serokell http...2022-01-281h 35

Functional FuturesA Portrait of the Language Designer as a Young Man with Louis PilfoldAs part of the interview series, we interviewed Louis Pilfold, the creator of the Gleam programming language. Gleam is a fast, friendly, and functional language for building type-safe, scalable systems. It runs on BEAM, the same VM that Erlang and Elixir uses. We talked about how humanities can help you become a better software developer, compiler development, Rust, and, of course, Gleam. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=NP4n89RlNsQ FP merch that doesn't suck: 2022-01-201h 20

Functional FuturesFrom Whitespace to Idris with Edwin BradyAs part of our interview series, we interviewed Edwin Brady, the creator of Idris, a dependently-typed programming language. In the interview, we discussed two of the programming languages Edwin has participated in the creation of: Whitespace and Idris. Edwin also shared some tips and tricks about language creation and talked about the future plans of the Idris language. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=_prvbd0e_pI FP merch th...2022-01-201h 07

Functional FuturesElixir in 2021 with Saša JurićWhat's the future of Elixir? Listen to the discussion between Saša Jurić, the author of Elixir in Action, and Serokell CAO Jonn Mostovoy to learn their thoughts on Elixir and frameworks like Nx and Nerves. This is an audio version of the discussion. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=me4cANg9RMU FP merch that doesn't suck: https://shop.serokell.io/ Follow on social media: https://twitter.com/sasajuric https://twitter.com/serokell Learn more about us...2022-01-201h 24

Functional FuturesPast and Present of Haskell with Simon Peyton JonesAs part of our interview series, we got the fantastic opportunity to interview Simon Peyton Jones, who was a key contributor to the design of Haskell and one of the lead designers of Glasgow Haskell Compiler (GHC). In the interview, we discussed the past, present, and future of Haskell, Haskell’s benefits and downsides, GHC, walking the line between Haskell being a research and industry language, and multiple other topics. This is an audio-only version of the interview. You can watch the original on our YouTube channel: https://www.youtube.com/watch?v=4RuLzL_q0zs...2022-01-201h 02

NixCon 2020Nix Flakes in Production: What, Why and HowNix Flakes in Production: What, Why and How - Alexander Bantyev 2020-10-16 At Serokell, we have been using Nix for over 5 years. In the last half-year, we have started an effort to use flakes to build our infrastructure and projects. In this talk, I would like to give a refresher of what flakes are, explain why we are so excited about them, and share experiences, thoughts, and advice on the matter. 2021-12-3000 min

Haskell WeeklyDependent Haskell with Vladislav ZavialovCurious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more! https://serokell.io/blog/developing-ghc-for-a-living https://twitter.com/int_index 2021-08-2356 min

InferenceHaskell and Dependent Types with GHC TSC member Vladislav ZavialovIn this episode, I had the honor to talk with Vladislav Zavialov, Software Engineer at #Serokell and #Haskell #GHC Technical Steering Committee member. We talked about dependent types, type systems, and functional programming.2021-04-0840 min

InferenceDriving an FP-first company, with Serokell CEO Arseniy Serokagot my microphone broken and realized it right after the recording. In this episode of InferencePodcast, I had a fantastic conversation with Arseniy Seroka, the co-founder and chief executive officer of Serokell, a company specialized in blockchain, fintech, IoT, Machine Learning, and... functional programming in Haskell, Erlang, Elixir, and Rust!2021-03-2330 min

Challenging the Status QuoDon't lie to yourself with Arseniy SerokaDigital Savages proudly presents the new episode of 'Challenging the Status Quo' podcast season two with Arseniy Seroka, CEO at Serokell, CEO and co-founder at Ment and Associate Professor at ITMO University. The meaning of life is the process of life itself. He believes that if you reach any goal, you shouldn't stop but instead go further and achieve other hights. 'Do things you want to do and try to do them with your soul and passion! And keep in mind it shouldn't be something extraordinary, that is not a must!'2021-01-3027 min

Confessions, volumes 1 and 2 by ROUSSEAU, Jean-Jac??-051: ???? ???????? ? ??????? ?????? (Serokell) ? ????????-??????????...Serokell (blog) Ariadne Disciplina Authenticated data structures Contribution to GHC (Vladislav Zavialov) basicblockradio.libsyn.com 2018-12-061h 29

Базовый Блок: подкаст про блокчейнББ-051: Йонн Мостовой и Георгий Агапов (Serokell) о блокчейн-фреймворке на Haskell, Cardano-кошельке в терминале и крипто-зиме Serokell (blog) Ariadne Disciplina Authenticated data structures Contribution to GHC (Vladislav Zavialov) basicblockradio.com 2018-12-061h 29