The Curious Engineer

All blogs / Haskell

Serokell

serokell.io/blog

Learn about the latest technologies, functional programming, and mathematics on our blog

HaskellFunctional / PL theoryAI / ML

’19’20’21’22’23’24’25’26
Posts
636 from 17 May 2019 to 21 Oct 2026
Posting
monthly (8 in the last year)
Kind
company blog

2026 7

  1. Denis Oleynikov
  2. Blog: Haskell
  3. Blog: Ai
  4. Blog: Solana
  5. Haskell, Strong Types, and the Next Generation of Bioinformatics: interview with Michal Gajda
  6. Claude Code: From Agent to Useful Tool
  7. Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa

2025 2

  1. Blog: Agents
  2. Blog: Functional Programming

2024 55

  1. Blog: Model evaluatiom
  2. Blog: ML
  3. Blog: AI tools
  4. Blog: Automl
  5. Blog: Ai business tools
  6. Blog: Bert model
  7. Blog: Data Analytics
  8. Blog: Databases
  9. Blog: Glasgow Haskell Compiler
  10. Blog: Llms for business
  11. Blog: Running llms
  12. Blog: Effective altruism
  13. Blog: Effective accelerationism
  14. Blog: Ai blockchain convergence
  15. Blog: Ml datasets
  16. Blog: Healthcare
  17. Blog: Medicine
  18. Blog: Ton blockchain
  19. Blog: Ai app builders
  20. Blog: Jei
  21. Blog: Young innovative company
  22. Blog: Blockchain app development
  23. Blog: Agi
  24. Blog: Artificial general intelligence
  25. Blog: Character ai
  26. Blog: Rust business use cases
  27. Blog: Sora
  28. Blog: Text-to-video
  29. Blog: Textcontent
  30. Blog: Haskell in Production
  31. Blog: Ensemble learning
  32. Blog: Project management
  33. Blog: Graph neural networks
  34. Blog: Kubernetes
  35. Blog: Container orchestration
  36. Blog: Semi-supervised learning
  37. Blog: AI in manufacturing
  38. Blog: Bayesian optimization
  39. Blog: Generative ai security threats
  40. Blog: Lambda Calculus
  41. Blog: Business
  42. Blog: Solana smart contract development
  43. Blog: Reinforcement learning
  44. Blog: Github copilot
  45. Blog: Fossa
  46. Blog: Cybersecurity
  47. Blog: Programming languages
  48. Blog: Ai events
  49. Blog: Medtech conferences
  50. Blog: Microservices
  51. Blog: Multi-runtime architecture
  52. Blog: Website deployment
  53. Blog: Open source
  54. Blog: Python
  55. Blog: Data prepocessing

2023 31

  1. Blog: Software development trends 2024
  2. Blog: Backpropagation
  3. Blog: LLaMA
  4. Blog: Open source software
  5. Blog: OSS development
  6. Blog: Python IDEs
  7. Blog: Rust libraries
  8. Blog: AI agents
  9. Blog: Tech conferences 2024
  10. Blog: Time series analysis
  11. Blog: Federated ml
  12. Blog: Devops
  13. Blog: Drug repurposing
  14. Blog: Chatgpt
  15. Blog: Rust roadmap
  16. Blog: Markdown
  17. Blog: Foundation models
  18. Blog: Chatgpt alternatives
  19. Blog: Design
  20. Blog: Ml models
  21. Blog: Generative AI
  22. Blog: Machine Learning
  23. Blog: Computer Science
  24. Blog: TinyML
  25. Blog: Transformers
  26. Blog: Gpt
  27. Blog: Purescript
  28. Blog: Nlp
  29. Blog: Biotech
  30. Blog: Data Science
  31. Blog: Algorithms

2022 23

  1. Blog: Feature engineering
  2. Blog: Image generation
  3. Blog: ML Algorithms
  4. Blog: Agda
  5. Blog: Coq
  6. Blog: Dependent Types
  7. Blog: Functional Futures
  8. Blog: Idris
  9. Blog: Lean
  10. Blog: Computer Vision
  11. Blog: Existential types
  12. Blog: Higher-Rank Types
  13. Blog: Game development
  14. Blog: Lisp
  15. Blog: Haskell Software
  16. Blog: Data mining
  17. Blog: Blockchain
  18. Blog: Erlang
  19. Blog: Learn Haskell
  20. Blog: eDSL
  21. Blog: Free monads
  22. Blog: Elixir
  23. Blog: Metaprogramming

2021 22

  1. Blog: Gleam
  2. Blog: Ecto
  3. Blog: Elixir Tutorial
  4. Blog: Introduction
  5. Blog: Compilers
  6. Blog: Lorentz
  7. Blog: Dependent Haskell
  8. Blog: Library
  9. Blog: Convolutional Neural Networks (CNN)
  10. Blog: Deep Learning
  11. Blog: ICFP Contest
  12. Blog: Elixir in Production
  13. Blog: AI Ethics
  14. Blog: History
  15. Blog: Women in Tech
  16. Blog: Education
  17. Blog: Elixir Software
  18. Blog: Genetics
  19. Blog: ML Resources
  20. Blog: ML Applications
  21. Blog: ML Ideas
  22. Blog: ML Projects

2020 5

  1. Blog: Big Data
  2. Blog: Fintech
  3. Blog: Formal Verification
  4. Blog: Logic
  5. Blog: Mathematics

2019 9

  1. Blog: Cardano
  2. Blog: Distributed Ledger Technology
  3. Blog: GitHub
  4. Blog: GitLab
  5. Blog: Conferences
  6. Blog: Events
  7. Blog: Michelson
  8. Blog: Cryptography
  9. Blog: Hobby

Undated 482

  1. Morley
  2. Mtl
  3. Neural networks
  4. Nix
  5. No code
  6. Ocaml
  7. Open source projects
  8. Optimization
  9. Outsourcing
  10. Parsers
  11. Pattern recognition
  12. Phoenix
  13. Physics
  14. Quantum computers
  15. Random numbers
  16. Reason
  17. Remote work
  18. Resource guide
  19. Rust
  20. Rust in production
  21. Rust software
  22. Rust tutorial
  23. Scala
  24. Serokell
  25. Serokellchat
  26. Servant
  27. Signal processing
  28. Smart contracts
  29. Software development
  30. Supervised learning
  31. Support vector machine
  32. Tagless final
  33. Template haskell
  34. Testing
  35. Text analysis
  36. Text to speech
  37. Tezos
  38. Ton
  39. Topology
  40. Top projects
  41. Trends
  42. Type families
  43. Typescript
  44. Unsupervised learning
  45. Web3
  46. Webassembly
  47. Web development
  48. Web summit
  49. Trends in ai
  50. Ai tools 2023
  51. Hyperparameter tuning
  52. Python libraries
  53. Python development
  54. Cloud native software
  55. Ai in oil and gas
  56. https://serokell.io/blog/2024
  57. It conferences
  58. Enterprise data storage
  59. Chain of thought prompting
  60. Clustering algorithms
  61. Blockchain scalability
  62. Egge ai
  63. Collaboration tools
  64. Llms fine tuning
  65. Llms risks
  66. What's that typeclass
  67. Research
  68. Programming
  69. Artificial intelligence
  70. Interviews
  71. Other
  72. The hidden challenges of rust infrastructure interview with marco ieni
  73. Teaching haskell in the age of llms
  74. How we use claude code at serokell
  75. Sunsetting the haskell certification program
  76. Rust haskell and the architecture behind solana interview with greg fitzgerald
  77. Daml smart contract guide
  78. Building a rag investment assistant
  79. From scientific computing to type safe finance bitnomial
  80. Daml for haskellers interview with heitor toledo lassarote de paula
  81. How serokell contributes to the future of haskell
  82. Type theory forall dependent types
  83. Serokell s work on ghc dependent types part 5
  84. The hidden perils of monadbasecontrol
  85. Rust in production jetbrains
  86. Beyond the hype crossing the genai divide in real world business
  87. Design patterns for long term memory in llm powered architectures
  88. The real limits of ai agents in 2025
  89. Reviving an old imac with nixos
  90. Haskell in production scrive
  91. A bit late but ultimate analysis deepseek
  92. Rust is not a functional language
  93. Kalman filter
  94. Model performance evaluation
  95. Ai tools for developers
  96. Automl explained
  97. Ai business use cases
  98. Bert explanation
  99. Databases for business
  100. Haskell mercury functionalfutures
  101. How to develop ton smart contract
  102. Llms fine tuning avoiding risks
  103. Serokell s work on ghc dependent types part 4
  104. How to run llms for business
  105. What is edge ai
  106. Team collaboration tools
  107. Scalability blockchain
  108. Altruism vs accelerationism ai
  109. Data analytics trends
  110. Ai blockchain integration
  111. Free ml datasets
  112. Clustering algorithms in ml
  113. Ai in healthcare
  114. Ton blockchain guide
  115. Best ai app builders
  116. Chain of thought prompting llms
  117. Jei status award
  118. Blockchain app creation guide
  119. Agi meaning
  120. Data storage solutions
  121. Character ai guide
  122. Best rust in use cases
  123. How sora works
  124. Recognized as top developers
  125. Best it conferences 2024
  126. Rated as top it outsourcing company
  127. Haskell in production textcontent
  128. Ensemble learning guide
  129. Software development project management
  130. Graph neural networks in bioinformatics
  131. Kubernetes guide
  132. Semi supervised learning basics
  133. Ai innovations in manufacturing
  134. Ghc dependent types in haskell 3
  135. Unsupervised learning guide
  136. Ai application in oil and gas
  137. Supervised learning guide
  138. Bayesian optimization algorithm
  139. Security risks of generative ai
  140. Look at typed lambda calculus
  141. Cloud native software development
  142. Ai tools for industries
  143. Solana smart contract guide
  144. Reinforcement learning guide
  145. Github copilot overview
  146. Best python libraries
  147. Rust in production fossa
  148. Programming languages for cybersecurity
  149. Serokell top ml company 2024
  150. Top ai conferences medtech 2024
  151. Microservices vs mecha
  152. Website deployment runtime verification
  153. Artificial intelligence trends
  154. How to manage oss project
  155. How to preprocess data in python
  156. Haskell in production chordify
  157. Software development trends
  158. Ghc dependent types in haskell 2
  159. Serokell listed among top ai developers
  160. Understanding backpropagation
  161. What is llama
  162. Is open source the future
  163. Best python ides
  164. Most popular rust libraries
  165. Haskell in production fossa
  166. What are ai agents
  167. Top tech conferences 2024
  168. Time series analysis in ml
  169. Python pros and cons
  170. Listed as top blockchain developers
  171. Typescript faqs
  172. Recognized as leading us software outsourcing companies
  173. Haskell in production finn interview
  174. Federated machine learning
  175. Continuous delivery with nix
  176. Drug repurposing with gnns
  177. The dark side of chatgpt
  178. Rust development
  179. Markdown editor tips
  180. Top ai tools in 2023
  181. Ml model post deployment
  182. Ghc dependent types in haskell
  183. Guide to foundation models
  184. Relex solutions interview
  185. Best chatgpt alternatives
  186. How is ai used in graphic design
  187. Functional futures best podcast
  188. Ml model deployment
  189. Whats that typeclass alternative
  190. Serokell top b2b company estonia
  191. Hyperparameter tuning in ml
  192. Haskell in production verity
  193. Serokell listed among the top us it service companies
  194. What is prompt engineering
  195. A guide to f1 score
  196. What is ai security
  197. Interview with impure pics
  198. What is quantum computing
  199. Introduction to tinyml
  200. Serokell recognized as one of the top ai companies by topdevelopers
  201. It leader
  202. Language models behind chatgpt
  203. Recognized by softwareoutsourcing journal
  204. What is ai alignment
  205. Deepfakes detection
  206. Haskell in production collegevine
  207. Among top it service companies
  208. Word2vec
  209. Haskell in production standard chartered
  210. Optimizing k framework part 2
  211. Listed as top blockchain developer
  212. Ai ml project ideas
  213. Transformers in ml
  214. Haskell in production meta
  215. Interview with jesse johnson
  216. Rust for haskellers
  217. Bias variance tradeoff
  218. Among top it firms
  219. Haskell in enterprise interview with rob harrison
  220. Most popular ml libraries
  221. Optimizing k framework
  222. Rust vs haskell
  223. Multimodal machine learning
  224. Smart dev approach
  225. Chatgpt a game changer in the world of ai
  226. Introduction to generative ai
  227. K means clustering in machine learning
  228. Rust generics
  229. Feature engineering for machine learning
  230. Listed among fastest growing developers
  231. Haskell in production e bot7
  232. Ai ml trends
  233. Interview with quantori
  234. Stable diffusion
  235. Datakinds are not what you think
  236. Rust traits
  237. Guide to transfer learning
  238. Enums and pattern matching
  239. Support vector machine algorithm
  240. Connecting talent and employers
  241. Haskell in production caribou
  242. Data warehouse vs lake vs lakehouse
  243. Haskell in production noredink
  244. Knn algorithm in ml
  245. Dependent types with david christiansen
  246. Nn and one shot learning
  247. Haskell in production mercury
  248. Across the kmettverse with edward kmett
  249. Listed among top software developers
  250. Structs in rust
  251. Neural networks with varun ojha
  252. Deep learning for computer vision
  253. Kinds and hkts in haskell
  254. Whats that typeclass functor
  255. Universal and existential quantification
  256. Carp with erik svedang
  257. Best haskell open source projects
  258. Applications of pattern recognition
  259. Parsing with happy
  260. Lexing with alex
  261. Haskell in production channable
  262. Random forest classification
  263. Grain with oscar spencer
  264. Serokell at zurihac 2022
  265. Guide to data mining techniques
  266. Haskell in production haskoin
  267. Lunatic with bernard kolobara
  268. Haskell in production simplex
  269. Untyped lambda calculus
  270. Top software written in haskell
  271. Serokell opens a merch store
  272. Haskell typeclasses
  273. Doctests in haskell
  274. Whats that typeclass monoid
  275. Haskell in production freckle
  276. Typescript for haskellers
  277. Algebraic data types in haskell
  278. Live coding rust with tim mcnamara
  279. How to learn haskell in 10 minutes
  280. Xai explainable artificial intelligence
  281. Ihp interview
  282. Introduction to free monads
  283. Functional programming and web3 with brooklyn zelenka
  284. Typed template haskell in ghc 9
  285. Website planet interviews arseniy seroka
  286. How sber built rudall e
  287. Parser combinators in haskell
  288. Rust in production astropad
  289. Anomaly detection in machine learning
  290. Whats that typeclass foldable
  291. Interview with louis pilfold
  292. Serokell at zhf hackathon
  293. Ecto guide for beginners
  294. How scarf uses haskell
  295. Serokell blog year 3
  296. Is self supervised learning future of ai
  297. From whitespace to idris
  298. Learn from errors overlapping instances
  299. The future of design ai
  300. Data science vs machine learning
  301. Typed template haskell overview
  302. Polynomial regression analysis
  303. Lorentz type safe storage migrations
  304. Serokell listed as top blockchain developers
  305. How dependent haskell can improve industry projects
  306. Serokell among the best fintech software development companies
  307. Dependency analysis haskell
  308. Interview with andrew boardman
  309. Benefits of no code applications
  310. Serokell computer summer school
  311. Serokell open ai codex
  312. Introducing servant util
  313. Rust in production qovery
  314. Introduction to convolutional neural networks
  315. Serokell among top big data companies
  316. Serokell icfpc 2021
  317. Elixir in production statuspal
  318. Ai ethics guide
  319. Introduction to template haskell
  320. Past and present of haskell
  321. Serokell at zurihac 2021
  322. 40 years in computer science
  323. Elixir in production glific
  324. Daniel rogozin blast 2021
  325. Serokell ranked fastest growing by clutch
  326. Introduction to phoenix
  327. How to implement lr1 parser
  328. Serokell sponsors bioinformatics contest
  329. Detecting genetic disorders
  330. Elixir metaprogramming
  331. Topdevelopers serokell interview
  332. Top ml jobs
  333. Practical nix flakes
  334. Fake news detection via ml
  335. Lorentz upgradeable storage
  336. Guide to computer vision
  337. Watch programming lectures
  338. Type families haskell
  339. Rust in production meilisearch
  340. Parser combinators in elixir
  341. Kaggle competition
  342. Top no code platforms
  343. Vladislav zavialov joins ghc steering committee
  344. Great women in programming and science
  345. Ai ethics questions
  346. Elixir in production papercups
  347. Naive bayes classifiers
  348. Serokell academy 1
  349. Learn rust
  350. Digital savages interview
  351. Ai trends
  352. Open source rust
  353. Serokell top techreviewer
  354. Machine learning project ideas
  355. Rust in production 1password
  356. Journal of logic and computation paper
  357. Elixir for beginners
  358. What is big data
  359. Compile time evaluation haskell
  360. Lorentz smart contract documentation
  361. Introduction to erlang
  362. Machine learning text analysis
  363. Hackage search
  364. Daml interview
  365. Ml optimization
  366. Deploy rs
  367. Rust companies
  368. Machine learning testing
  369. Goodfirms serokell interview
  370. Serokell blog year 2 review
  371. Uncaught exception handling
  372. Serokell at nixcon 2020
  373. Pattern recognition in simple words
  374. Functional programming in fintech
  375. Deep learning and neural network guide
  376. Serokell top writer artificial intelligence
  377. Elixir otp guide
  378. Gui programming talk
  379. Data preprocessing
  380. Elixir in production plausible analytics
  381. Regression analysis overview
  382. Haskell love conference interview
  383. Serokell at aiml 2020
  384. Best machine learning datasets
  385. Rust guide
  386. Haskell to core
  387. Try out pont
  388. Classification algorithms
  389. Lorentz haskell newtypes
  390. Vladislav zavialov haskell love
  391. Best machine learning applications
  392. Elixir open source projects
  393. How to choose ml technique
  394. Elixir in production venu
  395. Popular machine learning tools
  396. Serokell among top app developers
  397. Why typescript
  398. Machine learning algorithm classification overview
  399. Lorentz complex objects
  400. What is nix
  401. Serokellchat on june 4th
  402. Hexlet interview
  403. Learn elixir
  404. Formal verification history
  405. Listed as top developers
  406. Elixir companies
  407. Serokellchat wrap up
  408. 10 reasons to use haskell
  409. Serokellchat growing as haskeller
  410. Top resources to learn ml
  411. Introduction to elixir
  412. Itfirms interviews serokell ceo arseniy seroka
  413. Ai ml dl difference
  414. History of erlang and elixir
  415. Serokell offers free consultations
  416. Serokell encourages remote work
  417. Surviving remote work
  418. How developers master skills
  419. Serokell at mlhack
  420. Itmo interview
  421. Haskell with utf8
  422. Serokell launches scholarship
  423. Haskell at 200 mph
  424. How did you start with functional programming
  425. Top on techreviewer
  426. Haskell type level witness
  427. Haskell in industry riskbook
  428. Lorentz implementing smart contract edsl in haskell
  429. Developing ghc for a living
  430. Haskell in production centralapp
  431. Lcfs 2020
  432. Rapid introduction to modal logic 2
  433. Introduction to functional programming
  434. Physics history haskell interview
  435. Haskell highlights 2019
  436. Top haskell open source projects for linux
  437. Blockchain vs dlt
  438. Comparison of github and gitlab
  439. Incomplete and utter introduction to modal logic
  440. Ton contest winners
  441. Win at web summit
  442. Web summit 2019
  443. Serokell nixcon2019
  444. Serokell anniversary infographic
  445. Ton blockchain competition
  446. Serokell tquorum new york
  447. Haskell sources
  448. Learning haskell
  449. Serokell at tquorum berlin
  450. Haskell history
  451. Survive remote work
  452. Elixir conferences
  453. Haskell love story
  454. Dimensions haskell singletons
  455. Serokell grows next generation
  456. Long line properties
  457. Best haskell conferences
  458. Serokell at zurihac 2019
  459. Libra review
  460. Parsing typed edsl
  461. The worst random number generator
  462. Serokell at fpure2019
  463. Serokell opening machine learning lab
  464. Dimensions and haskell introduction
  465. Remote workers more hobbies
  466. Turing degrees
  467. Remote workers hobbies
  468. Outsourcing software development
  469. Modeling large quantum computers
  470. Three months of hustle
  471. Trees that melt use of avl tree in blockchains
  472. Catching runtime errors typescript
  473. Year of serokell
  474. Why dependent haskell
  475. Introduction tagless final
  476. Why remote
  477. Playing with negation
  478. Choosing software partner
  479. Agda in nutshell
  480. Logical background
  481. Signal processing in haskell
  482. Welcome to our blog