Serokell

@serokell

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

Vrijeme pridruživanja: studeni 2015.

Medijski sadržaj

  1. 16. sij

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

  2. 24. pro 2019.
    Odgovor korisniku/ci
  3. 2. pro 2019.
    Odgovor korisniku/ci
  4. 4. stu 2019.

    Today is the start of an amazing week of in Lisbon, Portugal. Whatever happens, it looks like Arseniy and Roman are ready.

  5. 28. lis 2019.

    Great one as always, ! If you want to hear our developer Lars Jellema talk about developing nixfmt (and other nice talks as well), you can watch the recording of the livestream here:

  6. 2. lis 2019.

    Is Haskell the future of Tezos? See the slides from our presentation:

  7. 30. ruj 2019.

    Cheer up, , what you’ve started is fantastic. Congratulations on the second anniversary of Cardano!

  8. 24. ruj 2019.

    What is the place for Dependent Haskell in the future of high-assurance software development? Read this article by to find out:

  9. 21. ruj 2019.

    Searching for something to do on the weekends? Mountain biking, tube amplifiers, StarCraft - our employees share their hobbies in this wonderful series:

  10. 20. ruj 2019.

    Want to learn Haskell? We have compiled a list of resources to help you start and push you along the way. From entry-level books and courses to blogs and podcasts - we’ve got everything covered. Check out our list:

  11. 17. ruj 2019.

    Have you ever wanted to learn more about Agda and formal verification? Perhaps it’s time. Jump straight into Agda theorem proving with @CartesianClosed:

  12. 5. ruj 2019.

    Hey there! We’re searching for a remote Site Reliability Engineer for work with Nix. More info:

  13. 3. ruj 2019.

    Searching for a master of written word! If you are a copywriter that is well versed in writing, proofreading and content management, and would like to work on making complex technical things simpler to understand, we might have a spot. Read more:

  14. 22. kol 2019.

    What can be better than a speech about the Michelson tooling? We don’t know either. Less than in a hour our colleagues Ilya and Roman will bring this much joy for an ears at the . Good luck fellows!

  15. 13. kol 2019.

    Which of the currently available Haskell matrix and numerical libraries are the most useful for machine learning? Find the answer in our blog post:

  16. 9. kol 2019.

    Remote work isn’t all sunshine and rainbows. Learn how our employees tackle its challenges:

  17. 6. kol 2019.

    Embedded DSL is a popular technique for encoding domain specific languages into Haskell’s type system. Want to see how we use it to create Tezos developer tools? Read this blog post by George Agapov:

  18. 28. lip 2019.

    We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as , , and . Take a look and plan your trip!

  19. 25. lip 2019.

    We are searching for a Senior Elixir Engineer for work on awesome web applications! Remote work, exciting projects, creative chaos — we’re not your usual consulting company. Want more info? Check out the full description on our Facebook:

  20. 20. lip 2019.
    Odgovor korisnicima

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·