Functional Vilnius

I saw a post on LinkedIn that recommended adding an emoji at the beginning of your name because you could see who was using some sort of automation tool to send out connection requests. I can now confirm it works.

In case you ever need to load some data from Kafka: github.com/adform/stream-… 🤓

@AlgimantasKras1 teaches some ZIO

Slides and code are here: gitlab.com/d12frosted/tal…

Boris talks about ECA!

A friendly reminder: meetup.com/functional-vil… :)

Next (#13) Functional Vilnius meetup is on Oct 30: Zippers and Zio meetup.com/functional-vil… Please come!

There are a lot of problems with Docker. Its monolithic design is outdated, the Moby split really harmed the community, and the company itself is struggling financially. That's why Red Hat won't be including Docker in future releases linkedin.com/pulse/part-ii-…

I am so excited! My bachelor student Domantas Jadenkus implemented (a very basic, but still...) WebAssembly backend for Blodwen (Idris2): github.com/jDomantas/idri… @edwinbrady

try catch

@hmemcpy @clayrat @clayrat will go to @fby_conf with this talk so we will have a better recording :)

(quiet audio) recording of @clayrat's talk on Sequent calculus from @fpvilnius meetup youtube.com/watch?v=9l6FD9…

And a ticket to @fby_conf conference (fby.by) goes to @JVitkauskas. Congrats!

@fpvilnius code base used in yesterday’s talk about implicit induction github.com/Algiras/Presen…

Holidays are coming🎄 and @fby_conf is giving presents - discounts for the conference tickets 🎁 The promocode HAPPYFBY is valid till December 25th (incl). Be happy! Be functional! Be in Minsk on January 26th :) fby.by #funcby #haskell #clojure #scala

Functional Vilnius#12 @clayrat talk on sequent calculus: m.youtube.com/watch?v=9l6FD9… @fpvilnius

Finally I made it to be on @fpvilnius meetup. Looks like a cool place where people are studying fundamental topics and not just next cool frameworks.

code to play with

homework @clayrat

"Sorry, but what is that?" - audience

@clayrat !!!!