"Sorry, but what is that?" - audience

homework Alex G

code to play with

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

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

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

Holidays are coming🎄 and F(by) Conference 2020 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

And a ticket to F(by) Conference 2020 conference (fby.by) goes to Julius Vitkauskas. Congrats!

try catch

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

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-…

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

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

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

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.