We are looking for a senior Scala software engineer and aspiring functional programmer to join our team! Please, check out the details here: https://t.co/UQ1rZAXhkm
Today I wrote several proofs in Coq to validate some claims from this old post. Particularly, any `MonadState[State[S, ?], A]` instance hides a very well-behaved `Lens[S, A]`. https://t.co/Wun6qndxwc
BIG news: announcing new #Akka Multi-Datacenter Clustering and Akka Multi-Datacenter Persistence modules!
Blog: https://t.co/0EqdVKeFwi
Video intro by @ktosopl: https://t.co/QX6AUw5fAY
If I got 1€ for each duplicated line I've been able to remove thanks to the use of type classes in @scala_lang I'd be able to pay a trip to Lausanne just to take a look at that famous staircase and yet save money.