Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @serokell
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @serokell
-
Pinned Tweet
"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,
@int_index:https://serokell.io/blog/developing-ghc-for-a-living?utm_source=twitter&utm_medium=social&utm_campaign=ghc_interview …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Agda is a dependently typed programming language and theorem prover. Learn more about it together with
@p_morphism:https://serokell.io/blog/agda-in-nutshell …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
I always do year end retrospective about
#haskell, but decided to do a forward looking piece instead. Haskell Problems For a New Decade http://www.stephendiehl.com/posts/decade.html …Thanks. Twitter will use this to make your timeline better. UndoUndo -
We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with
@AsheshAmbasta, the co-founder & CTO of CentralApp:https://serokell.io/blog/haskell-in-production-centralapp?utm_source=twitter&utm_medium=social&utm_campaign=hipc …Thanks. Twitter will use this to make your timeline better. UndoUndo -
In the second part of his modal logic series,
@p_morphism shows how modal logic is connected with topology, foundations of mathematics, and computer science: https://serokell.io/blog/rapid-introduction-to-modal-logic-2?utm_source=twitter&utm_medium=social&utm_campaign=ml2 …pic.twitter.com/tqdDLhzK0x
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Outsourcing your software development to another company can severely reduce risks and increase opportunities. 7 reasons why you should do it:https://serokell.io/blog/outsourcing-software-development …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
a featured piece on StakerDAO -- a new type of dao built on Tezos featuring its founder,
@jonaslamishttps://medium.com/tezoscommons/stakerdao-a-new-dao-built-on-the-tezos-blockchain-10eddab05e26 …Thanks. Twitter will use this to make your timeline better. UndoUndo -
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:https://serokell.io/blog/introduction-to-functional-programming …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
StandaloneKindSignatures seem like a pretty nice feature. But beyond that this is some really great technical writing. Learned a lot in many ways.https://ryanglscott.github.io/2020/01/05/five-benefits-to-using-standalonekindsignatures/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Are blockchain and DLT the same? Discover the differences and learn more about DLT:https://serokell.io/blog/blockchain-vs-dlt …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
Our
#Haskell Newsletter #148 is out https://haskell.libhunt.com/newsletter/148 Featuring@serokell@yairchu@cvladThanks. Twitter will use this to make your timeline better. UndoUndo -
“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:https://serokell.io/blog/physics-history-haskell-interview?utm_source=twitter&utm_medium=social&utm_campaign=rinat_interview_post …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Which are the best resources for learning Haskell? Discover books & courses that will get you on your way to Haskell mastery:https://serokell.io/blog/how-to-learn-haskell-in-10-minutes …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
Just wanted to say big thank you to
@serokell for all the things I learned (and still learn) from them. You guys rock!Thanks. Twitter will use this to make your timeline better. UndoUndo -
Celebrate the history of StarCraft II with
@WhiteRaSC and other legends of past and present, starting from today (17:00 GMT) up until 31st! The three-day event will be hosted by@kabyraGe on his YouTube channel. Broadcast in Russian. More info: https://tl.net/forum/sc2-tournaments/554199-cis-new-year-show-2019-20-wol-hots-lotv …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
My new book
@opticsbyexample makes up half of the book recommendations in@serokell's 2019 Book List, so if you haven't read it yet, you're officially missing out
https://serokell.io/blog/haskell-highlights-2019 …
https://leanpub.com/optics-by-example …
Thanks for the shout-out Serokell!Thanks. Twitter will use this to make your timeline better. UndoUndo -
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. ;)https://serokell.io/blog/haskell-highlights-2019?utm_source=twitter&utm_medium=social&utm_campaign=haskell_highlights_initial_post …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
Jointly developed with
@serokell and@LabosNomades, in June 2019 we published a standard interface for fungible assets on Tezos.#Tezos2019 Read the original post: https://medium.com/tqtezos/assets-on-tezos-3c103e03abc9 …pic.twitter.com/Xkdia6ujOt
Thanks. Twitter will use this to make your timeline better. UndoUndo -
How to thrive in remote work environments? Check out tips and tricks from our employees:https://serokell.io/blog/survive-remote-work …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Serokell Retweeted
Our
#Haskell Newsletter #146 is out https://haskell.libhunt.com/newsletter/146 Featuring@serokell@thehufsch@chrislpenner@FPCompleteThanks. Twitter will use this to make your timeline better. UndoUndo
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.