Serokell

@serokell

The most bizarre company with brave ideas of functional programming application.

Joined November 2015

Tweets

You blocked @serokell

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @serokell

  1. Pinned Tweet
    Jan 29

    "For me, a programming language is an instrument of thought, and I’d like this instrument to be as versatile as possible." Read an interview with one of our GHC developers, :

    Undo
  2. Jan 27

    Agda is a dependently typed programming language and theorem prover. Learn more about it together with :

    Undo
  3. Retweeted
    Jan 23

    I always do year end retrospective about , but decided to do a forward looking piece instead. Haskell Problems For a New Decade

    Undo
  4. Jan 24

    We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with , the co-founder & CTO of CentralApp:

    Undo
  5. Jan 16

    In the second part of his modal logic series, shows how modal logic is connected with topology, foundations of mathematics, and computer science:

    Undo
  6. Jan 13

    Outsourcing your software development to another company can severely reduce risks and increase opportunities. 7 reasons why you should do it:

    Undo
  7. Retweeted
    Jan 8

    a featured piece on StakerDAO -- a new type of dao built on Tezos featuring its founder,

    Undo
  8. Jan 8

    So what exactly is functional programming? In our latest blog post, we give a brief introduction and look at some of the most popular FP languages:

    Undo
  9. Retweeted
    Jan 6

    StandaloneKindSignatures seem like a pretty nice feature. But beyond that this is some really great technical writing. Learned a lot in many ways.

    Undo
  10. Jan 6

    Are blockchain and DLT the same? Discover the differences and learn more about DLT:

    Undo
  11. Retweeted
    Jan 2
    Undo
  12. Jan 2

    “I chose functional programming and the most “functional” of all the languages – Haskell. It seriously changed my life.” Rinat Styrungis on physics, teaching and Haskell:

    Undo
  13. 30 Dec 2019

    Which are the best resources for learning Haskell? Discover books & courses that will get you on your way to Haskell mastery:

    Undo
  14. Retweeted
    29 Dec 2019

    Just wanted to say big thank you to for all the things I learned (and still learn) from them. You guys rock!

    Undo
  15. 29 Dec 2019

    Celebrate the history of StarCraft II with and other legends of past and present, starting from today (17:00 GMT) up until 31st! The three-day event will be hosted by on his YouTube channel. Broadcast in Russian. More info:

    Undo
  16. Retweeted
    27 Dec 2019

    My new book makes up half of the book recommendations in 's 2019 Book List, so if you haven't read it yet, you're officially missing out 😉 Thanks for the shout-out Serokell!

    Undo
  17. 27 Dec 2019

    It’s more or less the end of 2019, and we have compiled some Haskell highlights from the past year: releases, books, talks, and blog posts. Check out our list and see if we haven’t missed anything important. ;)

    Undo
  18. Retweeted
    24 Dec 2019

    Jointly developed with and , in June 2019 we published a standard interface for fungible assets on Tezos. Read the original post:

    Undo
  19. 23 Dec 2019

    How to thrive in remote work environments? Check out tips and tricks from our employees:

    Undo
  20. Retweeted
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·