| Tweetovi |
|
Serokell
@serokell
|
11 h |
|
What can you do with Haskell? Quite a lot, it turns out. Learn about Haskell libraries & tools that can increase your productivity, manage your files, and convert your documents:
serokell.io/blog/top-haske…
|
||
|
|
||
|
Serokell
@serokell
|
29. sij |
|
"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: serokell.io/blog/developin…
|
||
|
|
||
|
Serokell
@serokell
|
27. sij |
|
Agda is a dependently typed programming language and theorem prover. Learn more about it together with @p_morphism:
serokell.io/blog/agda-in-n…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
Stephen Diehl
@smdiehl
|
23. sij |
|
I always do year end retrospective about #haskell, but decided to do a forward looking piece instead.
Haskell Problems For a New Decade
stephendiehl.com/posts/decade.h…
|
||
|
|
||
|
Serokell
@serokell
|
24. sij |
|
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:
serokell.io/blog/haskell-i…
|
||
|
|
||
|
Serokell
@serokell
|
16. sij |
|
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:
serokell.io/blog/rapid-int… pic.twitter.com/tqdDLhzK0x
|
||
|
|
||
|
Serokell
@serokell
|
13. sij |
|
Outsourcing your software development to another company can severely reduce risks and increase opportunities. 7 reasons why you should do it:
serokell.io/blog/outsourci…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
Tezos Commons
@TezosCommons
|
8. sij |
|
a featured piece on StakerDAO -- a new type of dao built on Tezos featuring its founder, @jonaslamis
medium.com/tezoscommons/s…
|
||
|
|
||
|
Serokell
@serokell
|
8. sij |
|
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: serokell.io/blog/introduct…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
deech
@deech
|
6. sij |
|
StandaloneKindSignatures seem like a pretty nice feature. But beyond that this is some really great technical writing. Learned a lot in many ways.
ryanglscott.github.io/2020/01/05/fiv…
|
||
|
|
||
|
Serokell
@serokell
|
6. sij |
|
Are blockchain and DLT the same? Discover the differences and learn more about DLT:
serokell.io/blog/blockchai…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
Haskell LibHunt
@HaskellLibHunt
|
2. sij |
|
Our #Haskell Newsletter #148 is out haskell.libhunt.com/newsletter/148
Featuring @serokell @yairchu @cvlad
|
||
|
|
||
|
Serokell
@serokell
|
2. sij |
|
“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:
serokell.io/blog/physics-h…
|
||
|
|
||
|
Serokell
@serokell
|
30. pro |
|
Which are the best resources for learning Haskell? Discover books & courses that will get you on your way to Haskell mastery:
serokell.io/blog/how-to-le…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
Sasha Bogicevic
@Webmarmun
|
29. pro |
|
Just wanted to say big thank you to @serokell for all the things I learned (and still learn) from them. You guys rock!
|
||
|
|
||
|
Serokell
@serokell
|
29. pro |
|
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: tl.net/forum/sc2-tour…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
Chris Penner
@chrislpenner
|
27. pro |
|
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 😉
serokell.io/blog/haskell-h…
leanpub.com/optics-by-exam…
Thanks for the shout-out Serokell!
|
||
|
|
||
|
Serokell
@serokell
|
27. pro |
|
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. ;)
serokell.io/blog/haskell-h…
|
||
|
|
||
| Serokell proslijedio/la je tweet | ||
|
TQ Tezos
@TQTezos
|
24. pro |
|
Jointly developed with @serokell and @LabosNomades, in June 2019 we published a standard interface for fungible assets on Tezos.
#Tezos2019
Read the original post: medium.com/tqtezos/assets… pic.twitter.com/Xkdia6ujOt
|
||
|
|
||
|
Serokell
@serokell
|
24. pro |
|
|
||